mongrel/common.rl

   1 %%{
   2
   3   machine http_parser_common;
   4
   5 #### HTTP PROTOCOL GRAMMAR
   6 # line endings
   7   CRLF = "\r\n";
   8
   9 # character types
  10   CTL = (cntrl | 127);
  11   safe = ("$" | "-" | "_" | ".");
  12   extra = ("!" | "*" | "'" | "(" | ")" | ",");
  13   reserved = (";" | "/" | "?" | ":" | "@" | "&" | "=" | "+");
  14   unsafe = (CTL | " " | "\"" | "#" | "%" | "<" | ">");
  15   national = any -- (alpha | digit | reserved | extra | safe | unsafe);
  16   unreserved = (alpha | digit | safe | extra | national);
  17   escape = ("%" xdigit xdigit);
  18   uchar = (unreserved | escape);
  19   pchar = (uchar | ":" | "@" | "&" | "=" | "+");
  20   tspecials = ("(" | ")" | "<" | ">" | "@" | "," | ";" | ":" | "\\" | "\"" | "/" | "[" | "]" | "?" | "=" | "{" | "}" | " " | "\t");
  21
  22 # elements
  23   token = (ascii -- (CTL | tspecials));
  24
  25 # URI schemes and absolute paths
  26   scheme = ( alpha | digit | "+" | "-" | "." )* ;
  27   absolute_uri = (scheme ":" (uchar | reserved )*);
  28
  29   path = ( pchar+ ( "/" pchar* )* ) ;
  30   query = ( uchar | reserved )* %query_string ;
  31   param = ( pchar | "/" )* ;
  32   params = ( param ( ";" param )* ) ;
  33   rel_path = ( path? %request_path (";" params)? ) ("?" %start_query query)?;
  34   absolute_path = ( "/"+ rel_path );
  35
  36   Request_URI = ( "*" | absolute_uri | absolute_path ) >mark %request_uri;
  37   Fragment = ( uchar | reserved )* >mark %fragment;
  38   Method = ( upper | digit | safe ){1,20} >mark %request_method;
  39
  40   http_number = ( digit+ "." digit+ ) ;
  41   HTTP_Version = ( "HTTP/" http_number ) >mark %http_version ;
  42   Request_Line = ( Method " " Request_URI ("#" Fragment){0,1} " " HTTP_Version CRLF ) ;
  43
  44   field_name = ( token -- ":" )+ >start_field %write_field;
  45
  46   field_value = any* >start_value %write_value;
  47
  48   message_header = field_name ":" " "* field_value :> CRLF;
  49
  50   Request = Request_Line ( message_header )* ( CRLF @done );
  51
  52 main := Request;
  53
  54 }%%