| | 1 | | // Copyright (c) ZeroC, Inc. |
| | 2 | |
|
| | 3 | | using System.Diagnostics; |
| | 4 | | using System.Text; |
| | 5 | |
|
| | 6 | | namespace Ice.Internal; |
| | 7 | |
|
| | 8 | | public sealed class WebSocketException : System.Exception |
| | 9 | | { |
| | 10 | | public WebSocketException(string message) |
| | 11 | | : base(message, null) |
| | 12 | | { |
| | 13 | | } |
| | 14 | | } |
| | 15 | |
|
| | 16 | | internal sealed class HttpParser |
| | 17 | | { |
| 1 | 18 | | internal HttpParser() |
| | 19 | | { |
| 1 | 20 | | _type = Type.Unknown; |
| 1 | 21 | | _versionMajor = 0; |
| 1 | 22 | | _versionMinor = 0; |
| 1 | 23 | | _status = 0; |
| 1 | 24 | | _state = State.Init; |
| 1 | 25 | | } |
| | 26 | |
|
| | 27 | | internal enum Type |
| | 28 | | { |
| | 29 | | Unknown, |
| | 30 | | Request, |
| | 31 | | Response |
| | 32 | | } |
| | 33 | |
|
| | 34 | | internal int isCompleteMessage(ByteBuffer buf, int begin, int end) |
| | 35 | | { |
| 1 | 36 | | byte[] raw = buf.rawBytes(); |
| 1 | 37 | | int p = begin; |
| | 38 | |
|
| | 39 | | // |
| | 40 | | // Skip any leading CR-LF characters. |
| | 41 | | // |
| 1 | 42 | | while (p < end) |
| | 43 | | { |
| 1 | 44 | | byte ch = raw[p]; |
| 1 | 45 | | if (ch != (byte)'\r' && ch != (byte)'\n') |
| | 46 | | { |
| | 47 | | break; |
| | 48 | | } |
| 0 | 49 | | ++p; |
| | 50 | | } |
| | 51 | |
|
| | 52 | | // |
| | 53 | | // Look for adjacent CR-LF/CR-LF or LF/LF. |
| | 54 | | // |
| 1 | 55 | | bool seenFirst = false; |
| 1 | 56 | | while (p < end) |
| | 57 | | { |
| 1 | 58 | | byte ch = raw[p++]; |
| 1 | 59 | | if (ch == (byte)'\n') |
| | 60 | | { |
| 1 | 61 | | if (seenFirst) |
| | 62 | | { |
| 1 | 63 | | return p; |
| | 64 | | } |
| | 65 | | else |
| | 66 | | { |
| 1 | 67 | | seenFirst = true; |
| | 68 | | } |
| | 69 | | } |
| 1 | 70 | | else if (ch != (byte)'\r') |
| | 71 | | { |
| 1 | 72 | | seenFirst = false; |
| | 73 | | } |
| | 74 | | } |
| | 75 | |
|
| 1 | 76 | | return -1; |
| | 77 | | } |
| | 78 | |
|
| | 79 | | internal bool parse(ByteBuffer buf, int begin, int end) |
| | 80 | | { |
| 1 | 81 | | byte[] raw = buf.rawBytes(); |
| 1 | 82 | | int p = begin; |
| 1 | 83 | | int start = 0; |
| | 84 | | const char CR = '\r'; |
| | 85 | | const char LF = '\n'; |
| | 86 | |
|
| 1 | 87 | | if (_state == State.Complete) |
| | 88 | | { |
| 0 | 89 | | _state = State.Init; |
| | 90 | | } |
| | 91 | |
|
| 1 | 92 | | while (p != end && _state != State.Complete) |
| | 93 | | { |
| 1 | 94 | | char c = (char)raw[p]; |
| | 95 | |
|
| 1 | 96 | | switch (_state) |
| | 97 | | { |
| | 98 | | case State.Init: |
| | 99 | | { |
| 1 | 100 | | _method = new StringBuilder(); |
| 1 | 101 | | _uri = new StringBuilder(); |
| 1 | 102 | | _versionMajor = -1; |
| 1 | 103 | | _versionMinor = -1; |
| 1 | 104 | | _status = -1; |
| 1 | 105 | | _reason = ""; |
| 1 | 106 | | _headers.Clear(); |
| 1 | 107 | | _state = State.Type; |
| 1 | 108 | | continue; |
| | 109 | | } |
| | 110 | | case State.Type: |
| | 111 | | { |
| 1 | 112 | | if (c == CR || c == LF) |
| | 113 | | { |
| | 114 | | break; |
| | 115 | | } |
| 1 | 116 | | else if (c == 'H') |
| | 117 | | { |
| | 118 | | // |
| | 119 | | // Could be the start of "HTTP/1.1" or "HEAD". |
| | 120 | | // |
| 1 | 121 | | _state = State.TypeCheck; |
| 1 | 122 | | break; |
| | 123 | | } |
| | 124 | | else |
| | 125 | | { |
| 1 | 126 | | _state = State.Request; |
| 1 | 127 | | continue; |
| | 128 | | } |
| | 129 | | } |
| | 130 | | case State.TypeCheck: |
| | 131 | | { |
| 1 | 132 | | if (c == 'T') // Continuing "H_T_TP/1.1" |
| | 133 | | { |
| 1 | 134 | | _state = State.Response; |
| | 135 | | } |
| 0 | 136 | | else if (c == 'E') // Expecting "HEAD" |
| | 137 | | { |
| 0 | 138 | | _state = State.Request; |
| 0 | 139 | | _method.Append('H'); |
| 0 | 140 | | _method.Append('E'); |
| | 141 | | } |
| | 142 | | else |
| | 143 | | { |
| 0 | 144 | | throw new WebSocketException("malformed request or response"); |
| | 145 | | } |
| | 146 | | break; |
| | 147 | | } |
| | 148 | | case State.Request: |
| | 149 | | { |
| 1 | 150 | | _type = Type.Request; |
| 1 | 151 | | _state = State.RequestMethod; |
| 1 | 152 | | continue; |
| | 153 | | } |
| | 154 | | case State.RequestMethod: |
| | 155 | | { |
| 1 | 156 | | if (c == ' ' || c == CR || c == LF) |
| | 157 | | { |
| 1 | 158 | | _state = State.RequestMethodSP; |
| 1 | 159 | | continue; |
| | 160 | | } |
| 1 | 161 | | _method.Append(c); |
| 1 | 162 | | break; |
| | 163 | | } |
| | 164 | | case State.RequestMethodSP: |
| | 165 | | { |
| 1 | 166 | | if (c == ' ') |
| | 167 | | { |
| | 168 | | break; |
| | 169 | | } |
| 1 | 170 | | else if (c == CR || c == LF) |
| | 171 | | { |
| 0 | 172 | | throw new WebSocketException("malformed request"); |
| | 173 | | } |
| 1 | 174 | | _state = State.RequestURI; |
| 1 | 175 | | continue; |
| | 176 | | } |
| | 177 | | case State.RequestURI: |
| | 178 | | { |
| 1 | 179 | | if (c == ' ' || c == CR || c == LF) |
| | 180 | | { |
| 1 | 181 | | _state = State.RequestURISP; |
| 1 | 182 | | continue; |
| | 183 | | } |
| 1 | 184 | | _uri.Append(c); |
| 1 | 185 | | break; |
| | 186 | | } |
| | 187 | | case State.RequestURISP: |
| | 188 | | { |
| 1 | 189 | | if (c == ' ') |
| | 190 | | { |
| | 191 | | break; |
| | 192 | | } |
| 1 | 193 | | else if (c == CR || c == LF) |
| | 194 | | { |
| 0 | 195 | | throw new WebSocketException("malformed request"); |
| | 196 | | } |
| 1 | 197 | | _state = State.Version; |
| 1 | 198 | | continue; |
| | 199 | | } |
| | 200 | | case State.RequestLF: |
| | 201 | | { |
| 1 | 202 | | if (c != LF) |
| | 203 | | { |
| 0 | 204 | | throw new WebSocketException("malformed request"); |
| | 205 | | } |
| 1 | 206 | | _state = State.HeaderFieldStart; |
| 1 | 207 | | break; |
| | 208 | | } |
| | 209 | | case State.HeaderFieldStart: |
| | 210 | | { |
| | 211 | | // |
| | 212 | | // We've already seen a LF to reach this state. |
| | 213 | | // |
| | 214 | | // Another CR or LF indicates the end of the header fields. |
| | 215 | | // |
| 1 | 216 | | if (c == CR) |
| | 217 | | { |
| 1 | 218 | | _state = State.HeaderFieldEndLF; |
| 1 | 219 | | break; |
| | 220 | | } |
| 1 | 221 | | else if (c == LF) |
| | 222 | | { |
| 0 | 223 | | _state = State.Complete; |
| 0 | 224 | | break; |
| | 225 | | } |
| 1 | 226 | | else if (c == ' ') |
| | 227 | | { |
| | 228 | | // |
| | 229 | | // Could be a continuation line. |
| | 230 | | // |
| 0 | 231 | | _state = State.HeaderFieldContStart; |
| 0 | 232 | | break; |
| | 233 | | } |
| | 234 | |
|
| 1 | 235 | | _state = State.HeaderFieldNameStart; |
| 1 | 236 | | continue; |
| | 237 | | } |
| | 238 | | case State.HeaderFieldContStart: |
| | 239 | | { |
| 0 | 240 | | if (c == ' ') |
| | 241 | | { |
| | 242 | | break; |
| | 243 | | } |
| | 244 | |
|
| 0 | 245 | | _state = State.HeaderFieldCont; |
| 0 | 246 | | start = p; |
| 0 | 247 | | continue; |
| | 248 | | } |
| | 249 | | case State.HeaderFieldCont: |
| | 250 | | { |
| 0 | 251 | | if (c == CR || c == LF) |
| | 252 | | { |
| 0 | 253 | | if (p > start) |
| | 254 | | { |
| 0 | 255 | | if (_headerName.Length == 0) |
| | 256 | | { |
| 0 | 257 | | throw new WebSocketException("malformed header"); |
| | 258 | | } |
| | 259 | | Debug.Assert(_headers.ContainsKey(_headerName)); |
| 0 | 260 | | string s = _headers[_headerName]; |
| 0 | 261 | | var newValue = new StringBuilder(s); |
| 0 | 262 | | newValue.Append(' '); |
| 0 | 263 | | for (int i = start; i < p; ++i) |
| | 264 | | { |
| 0 | 265 | | newValue.Append((char)raw[i]); |
| | 266 | | } |
| 0 | 267 | | _headers[_headerName] = newValue.ToString(); |
| 0 | 268 | | _state = c == CR ? State.HeaderFieldLF : State.HeaderFieldStart; |
| | 269 | | } |
| | 270 | | else |
| | 271 | | { |
| | 272 | | // |
| | 273 | | // Could mark the end of the header fields. |
| | 274 | | // |
| 0 | 275 | | _state = c == CR ? State.HeaderFieldEndLF : State.Complete; |
| | 276 | | } |
| | 277 | | } |
| | 278 | |
|
| 0 | 279 | | break; |
| | 280 | | } |
| | 281 | | case State.HeaderFieldNameStart: |
| | 282 | | { |
| | 283 | | Debug.Assert(c != ' '); |
| 1 | 284 | | start = p; |
| 1 | 285 | | _headerName = ""; |
| 1 | 286 | | _state = State.HeaderFieldName; |
| 1 | 287 | | continue; |
| | 288 | | } |
| | 289 | | case State.HeaderFieldName: |
| | 290 | | { |
| 1 | 291 | | if (c == ' ' || c == ':') |
| | 292 | | { |
| 1 | 293 | | _state = State.HeaderFieldNameEnd; |
| 1 | 294 | | continue; |
| | 295 | | } |
| 1 | 296 | | else if (c == CR || c == LF) |
| | 297 | | { |
| 0 | 298 | | throw new WebSocketException("malformed header"); |
| | 299 | | } |
| | 300 | | break; |
| | 301 | | } |
| | 302 | | case State.HeaderFieldNameEnd: |
| | 303 | | { |
| 1 | 304 | | if (_headerName.Length == 0) |
| | 305 | | { |
| 1 | 306 | | var str = new StringBuilder(); |
| 1 | 307 | | for (int i = start; i < p; ++i) |
| | 308 | | { |
| 1 | 309 | | str.Append((char)raw[i]); |
| | 310 | | } |
| 1 | 311 | | _headerName = str.ToString().ToLowerInvariant(); |
| | 312 | | // |
| | 313 | | // Add a placeholder entry if necessary. |
| | 314 | | // |
| 1 | 315 | | if (!_headers.ContainsKey(_headerName)) |
| | 316 | | { |
| 1 | 317 | | _headers[_headerName] = ""; |
| 1 | 318 | | _headerNames[_headerName] = str.ToString(); |
| | 319 | | } |
| | 320 | | } |
| | 321 | |
|
| 1 | 322 | | if (c == ' ') |
| | 323 | | { |
| | 324 | | break; |
| | 325 | | } |
| 1 | 326 | | else if (c != ':' || p == start) |
| | 327 | | { |
| 0 | 328 | | throw new WebSocketException("malformed header"); |
| | 329 | | } |
| | 330 | |
|
| 1 | 331 | | _state = State.HeaderFieldValueStart; |
| 1 | 332 | | break; |
| | 333 | | } |
| | 334 | | case State.HeaderFieldValueStart: |
| | 335 | | { |
| 1 | 336 | | if (c == ' ') |
| | 337 | | { |
| | 338 | | break; |
| | 339 | | } |
| | 340 | |
|
| | 341 | | // |
| | 342 | | // Check for "Name:\r\n" |
| | 343 | | // |
| 1 | 344 | | if (c == CR) |
| | 345 | | { |
| 0 | 346 | | _state = State.HeaderFieldLF; |
| 0 | 347 | | break; |
| | 348 | | } |
| 1 | 349 | | else if (c == LF) |
| | 350 | | { |
| 0 | 351 | | _state = State.HeaderFieldStart; |
| 0 | 352 | | break; |
| | 353 | | } |
| | 354 | |
|
| 1 | 355 | | start = p; |
| 1 | 356 | | _state = State.HeaderFieldValue; |
| 1 | 357 | | continue; |
| | 358 | | } |
| | 359 | | case State.HeaderFieldValue: |
| | 360 | | { |
| 1 | 361 | | if (c == CR || c == LF) |
| | 362 | | { |
| 1 | 363 | | _state = State.HeaderFieldValueEnd; |
| 1 | 364 | | continue; |
| | 365 | | } |
| | 366 | | break; |
| | 367 | | } |
| | 368 | | case State.HeaderFieldValueEnd: |
| | 369 | | { |
| | 370 | | Debug.Assert(c == CR || c == LF); |
| 1 | 371 | | if (p > start) |
| | 372 | | { |
| 1 | 373 | | var str = new StringBuilder(); |
| 1 | 374 | | for (int i = start; i < p; ++i) |
| | 375 | | { |
| 1 | 376 | | str.Append((char)raw[i]); |
| | 377 | | } |
| 1 | 378 | | if (!_headers.TryGetValue(_headerName, out string s) || s.Length == 0) |
| | 379 | | { |
| 1 | 380 | | _headers[_headerName] = str.ToString(); |
| | 381 | | } |
| | 382 | | else |
| | 383 | | { |
| 0 | 384 | | _headers[_headerName] = s + ", " + str.ToString(); |
| | 385 | | } |
| | 386 | | } |
| | 387 | |
|
| 1 | 388 | | if (c == CR) |
| | 389 | | { |
| 1 | 390 | | _state = State.HeaderFieldLF; |
| | 391 | | } |
| | 392 | | else |
| | 393 | | { |
| 0 | 394 | | _state = State.HeaderFieldStart; |
| | 395 | | } |
| 0 | 396 | | break; |
| | 397 | | } |
| | 398 | | case State.HeaderFieldLF: |
| | 399 | | { |
| 1 | 400 | | if (c != LF) |
| | 401 | | { |
| 0 | 402 | | throw new WebSocketException("malformed header"); |
| | 403 | | } |
| 1 | 404 | | _state = State.HeaderFieldStart; |
| 1 | 405 | | break; |
| | 406 | | } |
| | 407 | | case State.HeaderFieldEndLF: |
| | 408 | | { |
| 1 | 409 | | if (c != LF) |
| | 410 | | { |
| 0 | 411 | | throw new WebSocketException("malformed header"); |
| | 412 | | } |
| 1 | 413 | | _state = State.Complete; |
| 1 | 414 | | break; |
| | 415 | | } |
| | 416 | | case State.Version: |
| | 417 | | { |
| 1 | 418 | | if (c != 'H') |
| | 419 | | { |
| 0 | 420 | | throw new WebSocketException("malformed version"); |
| | 421 | | } |
| 1 | 422 | | _state = State.VersionH; |
| 1 | 423 | | break; |
| | 424 | | } |
| | 425 | | case State.VersionH: |
| | 426 | | { |
| 1 | 427 | | if (c != 'T') |
| | 428 | | { |
| 0 | 429 | | throw new WebSocketException("malformed version"); |
| | 430 | | } |
| 1 | 431 | | _state = State.VersionHT; |
| 1 | 432 | | break; |
| | 433 | | } |
| | 434 | | case State.VersionHT: |
| | 435 | | { |
| 1 | 436 | | if (c != 'T') |
| | 437 | | { |
| 0 | 438 | | throw new WebSocketException("malformed version"); |
| | 439 | | } |
| 1 | 440 | | _state = State.VersionHTT; |
| 1 | 441 | | break; |
| | 442 | | } |
| | 443 | | case State.VersionHTT: |
| | 444 | | { |
| 1 | 445 | | if (c != 'P') |
| | 446 | | { |
| 0 | 447 | | throw new WebSocketException("malformed version"); |
| | 448 | | } |
| 1 | 449 | | _state = State.VersionHTTP; |
| 1 | 450 | | break; |
| | 451 | | } |
| | 452 | | case State.VersionHTTP: |
| | 453 | | { |
| 1 | 454 | | if (c != '/') |
| | 455 | | { |
| 0 | 456 | | throw new WebSocketException("malformed version"); |
| | 457 | | } |
| 1 | 458 | | _state = State.VersionMajor; |
| 1 | 459 | | break; |
| | 460 | | } |
| | 461 | | case State.VersionMajor: |
| | 462 | | { |
| 1 | 463 | | if (c == '.') |
| | 464 | | { |
| 1 | 465 | | if (_versionMajor == -1) |
| | 466 | | { |
| 0 | 467 | | throw new WebSocketException("malformed version"); |
| | 468 | | } |
| 1 | 469 | | _state = State.VersionMinor; |
| 1 | 470 | | break; |
| | 471 | | } |
| 1 | 472 | | else if (c < '0' || c > '9') |
| | 473 | | { |
| 0 | 474 | | throw new WebSocketException("malformed version"); |
| | 475 | | } |
| 1 | 476 | | if (_versionMajor == -1) |
| | 477 | | { |
| 1 | 478 | | _versionMajor = 0; |
| | 479 | | } |
| 1 | 480 | | _versionMajor *= 10; |
| 1 | 481 | | _versionMajor += (int)(c - '0'); |
| 1 | 482 | | break; |
| | 483 | | } |
| | 484 | | case State.VersionMinor: |
| | 485 | | { |
| 1 | 486 | | if (c == CR) |
| | 487 | | { |
| 1 | 488 | | if (_versionMinor == -1 || _type != Type.Request) |
| | 489 | | { |
| 0 | 490 | | throw new WebSocketException("malformed version"); |
| | 491 | | } |
| 1 | 492 | | _state = State.RequestLF; |
| 1 | 493 | | break; |
| | 494 | | } |
| 1 | 495 | | else if (c == LF) |
| | 496 | | { |
| 0 | 497 | | if (_versionMinor == -1 || _type != Type.Request) |
| | 498 | | { |
| 0 | 499 | | throw new WebSocketException("malformed version"); |
| | 500 | | } |
| 0 | 501 | | _state = State.HeaderFieldStart; |
| 0 | 502 | | break; |
| | 503 | | } |
| 1 | 504 | | else if (c == ' ') |
| | 505 | | { |
| 1 | 506 | | if (_versionMinor == -1 || _type != Type.Response) |
| | 507 | | { |
| 0 | 508 | | throw new WebSocketException("malformed version"); |
| | 509 | | } |
| 1 | 510 | | _state = State.ResponseVersionSP; |
| 1 | 511 | | break; |
| | 512 | | } |
| 1 | 513 | | else if (c < '0' || c > '9') |
| | 514 | | { |
| 0 | 515 | | throw new WebSocketException("malformed version"); |
| | 516 | | } |
| 1 | 517 | | if (_versionMinor == -1) |
| | 518 | | { |
| 1 | 519 | | _versionMinor = 0; |
| | 520 | | } |
| 1 | 521 | | _versionMinor *= 10; |
| 1 | 522 | | _versionMinor += c - '0'; |
| 1 | 523 | | break; |
| | 524 | | } |
| | 525 | | case State.Response: |
| | 526 | | { |
| 1 | 527 | | _type = Type.Response; |
| 1 | 528 | | _state = State.VersionHT; |
| 1 | 529 | | continue; |
| | 530 | | } |
| | 531 | | case State.ResponseVersionSP: |
| | 532 | | { |
| 1 | 533 | | if (c == ' ') |
| | 534 | | { |
| | 535 | | break; |
| | 536 | | } |
| | 537 | |
|
| 1 | 538 | | _state = State.ResponseStatus; |
| 1 | 539 | | continue; |
| | 540 | | } |
| | 541 | | case State.ResponseStatus: |
| | 542 | | { |
| | 543 | | // TODO: Is reason string optional? |
| 1 | 544 | | if (c == CR) |
| | 545 | | { |
| 1 | 546 | | if (_status == -1) |
| | 547 | | { |
| 0 | 548 | | throw new WebSocketException("malformed response status"); |
| | 549 | | } |
| 1 | 550 | | _state = State.ResponseLF; |
| 1 | 551 | | break; |
| | 552 | | } |
| 1 | 553 | | else if (c == LF) |
| | 554 | | { |
| 0 | 555 | | if (_status == -1) |
| | 556 | | { |
| 0 | 557 | | throw new WebSocketException("malformed response status"); |
| | 558 | | } |
| 0 | 559 | | _state = State.HeaderFieldStart; |
| 0 | 560 | | break; |
| | 561 | | } |
| 1 | 562 | | else if (c == ' ') |
| | 563 | | { |
| 1 | 564 | | if (_status == -1) |
| | 565 | | { |
| 0 | 566 | | throw new WebSocketException("malformed response status"); |
| | 567 | | } |
| 1 | 568 | | _state = State.ResponseReasonStart; |
| 1 | 569 | | break; |
| | 570 | | } |
| 1 | 571 | | else if (c < '0' || c > '9') |
| | 572 | | { |
| 0 | 573 | | throw new WebSocketException("malformed response status"); |
| | 574 | | } |
| 1 | 575 | | if (_status == -1) |
| | 576 | | { |
| 1 | 577 | | _status = 0; |
| | 578 | | } |
| 1 | 579 | | _status *= 10; |
| 1 | 580 | | _status += c - '0'; |
| 1 | 581 | | break; |
| | 582 | | } |
| | 583 | | case State.ResponseReasonStart: |
| | 584 | | { |
| | 585 | | // |
| | 586 | | // Skip leading spaces. |
| | 587 | | // |
| 1 | 588 | | if (c == ' ') |
| | 589 | | { |
| | 590 | | break; |
| | 591 | | } |
| | 592 | |
|
| 1 | 593 | | _state = State.ResponseReason; |
| 1 | 594 | | start = p; |
| 1 | 595 | | continue; |
| | 596 | | } |
| | 597 | | case State.ResponseReason: |
| | 598 | | { |
| 1 | 599 | | if (c == CR || c == LF) |
| | 600 | | { |
| 1 | 601 | | if (p > start) |
| | 602 | | { |
| 1 | 603 | | var str = new StringBuilder(); |
| 1 | 604 | | for (int i = start; i < p; ++i) |
| | 605 | | { |
| 1 | 606 | | str.Append((char)raw[i]); |
| | 607 | | } |
| 1 | 608 | | _reason = str.ToString(); |
| | 609 | | } |
| 1 | 610 | | _state = c == CR ? State.ResponseLF : State.HeaderFieldStart; |
| | 611 | | } |
| | 612 | |
|
| 1 | 613 | | break; |
| | 614 | | } |
| | 615 | | case State.ResponseLF: |
| | 616 | | { |
| 1 | 617 | | if (c != LF) |
| | 618 | | { |
| 0 | 619 | | throw new WebSocketException("malformed status line"); |
| | 620 | | } |
| 1 | 621 | | _state = State.HeaderFieldStart; |
| | 622 | | break; |
| | 623 | | } |
| | 624 | | case State.Complete: |
| | 625 | | { |
| | 626 | | Debug.Assert(false); // Shouldn't reach |
| | 627 | | break; |
| | 628 | | } |
| | 629 | | } |
| | 630 | |
|
| 1 | 631 | | ++p; |
| | 632 | | } |
| | 633 | |
|
| 1 | 634 | | return _state == State.Complete; |
| | 635 | | } |
| | 636 | |
|
| 0 | 637 | | internal Type type() => _type; |
| | 638 | |
|
| | 639 | | internal string method() |
| | 640 | | { |
| | 641 | | Debug.Assert(_type == Type.Request); |
| 0 | 642 | | return _method.ToString(); |
| | 643 | | } |
| | 644 | |
|
| | 645 | | internal string uri() |
| | 646 | | { |
| | 647 | | Debug.Assert(_type == Type.Request); |
| 1 | 648 | | return _uri.ToString(); |
| | 649 | | } |
| | 650 | |
|
| 1 | 651 | | internal int versionMajor() => _versionMajor; |
| | 652 | |
|
| 1 | 653 | | internal int versionMinor() => _versionMinor; |
| | 654 | |
|
| 1 | 655 | | internal int status() => _status; |
| | 656 | |
|
| 0 | 657 | | internal string reason() => _reason; |
| | 658 | |
|
| | 659 | | internal string getHeader(string name, bool toLower) |
| | 660 | | { |
| 1 | 661 | | if (_headers.TryGetValue(name.ToLowerInvariant(), out string s)) |
| | 662 | | { |
| 1 | 663 | | return toLower ? s.Trim().ToLowerInvariant() : s.Trim(); |
| | 664 | | } |
| | 665 | |
|
| 0 | 666 | | return null; |
| | 667 | | } |
| | 668 | |
|
| | 669 | | internal Dictionary<string, string> getHeaders() |
| | 670 | | { |
| 1 | 671 | | var dict = new Dictionary<string, string>(); |
| 1 | 672 | | foreach (KeyValuePair<string, string> e in _headers) |
| | 673 | | { |
| 1 | 674 | | dict[_headerNames[e.Key]] = e.Value.Trim(); |
| | 675 | | } |
| 1 | 676 | | return dict; |
| | 677 | | } |
| | 678 | |
|
| | 679 | | private Type _type; |
| | 680 | |
|
| 1 | 681 | | private StringBuilder _method = new StringBuilder(); |
| 1 | 682 | | private StringBuilder _uri = new StringBuilder(); |
| | 683 | |
|
| 1 | 684 | | private readonly Dictionary<string, string> _headers = new Dictionary<string, string>(); |
| 1 | 685 | | private readonly Dictionary<string, string> _headerNames = new Dictionary<string, string>(); |
| 1 | 686 | | private string _headerName = ""; |
| | 687 | |
|
| | 688 | | private int _versionMajor; |
| | 689 | | private int _versionMinor; |
| | 690 | |
|
| | 691 | | private int _status; |
| | 692 | | private string _reason; |
| | 693 | |
|
| | 694 | | private enum State |
| | 695 | | { |
| | 696 | | Init, |
| | 697 | | Type, |
| | 698 | | TypeCheck, |
| | 699 | | Request, |
| | 700 | | RequestMethod, |
| | 701 | | RequestMethodSP, |
| | 702 | | RequestURI, |
| | 703 | | RequestURISP, |
| | 704 | | RequestLF, |
| | 705 | | HeaderFieldStart, |
| | 706 | | HeaderFieldContStart, |
| | 707 | | HeaderFieldCont, |
| | 708 | | HeaderFieldNameStart, |
| | 709 | | HeaderFieldName, |
| | 710 | | HeaderFieldNameEnd, |
| | 711 | | HeaderFieldValueStart, |
| | 712 | | HeaderFieldValue, |
| | 713 | | HeaderFieldValueEnd, |
| | 714 | | HeaderFieldLF, |
| | 715 | | HeaderFieldEndLF, |
| | 716 | | Version, |
| | 717 | | VersionH, |
| | 718 | | VersionHT, |
| | 719 | | VersionHTT, |
| | 720 | | VersionHTTP, |
| | 721 | | VersionMajor, |
| | 722 | | VersionMinor, |
| | 723 | | Response, |
| | 724 | | ResponseVersionSP, |
| | 725 | | ResponseStatus, |
| | 726 | | ResponseReasonStart, |
| | 727 | | ResponseReason, |
| | 728 | | ResponseLF, |
| | 729 | | Complete |
| | 730 | | } |
| | 731 | |
|
| | 732 | | private State _state; |
| | 733 | | } |