sketches/mongrel.gzl

   1 /*********************************************************************
   2
   3   This is a port of the Mongrel/Thin parser for HTTP, which was
   4   originally written in Ragel.  Mongrel and Thin use it for handling
   5   incoming HTTP requests, and its main design goals are speed and
   6   security.
   7
   8   Here is the original parser, from which this port is based:
   9   http://github.com/macournoyer/thin/tree/master/ext/thin_parser/common.rl
  10
  11 *********************************************************************/
  12
  13 @import std;
  14 @start Request;
  15
  16 // line endings
  17 CRLF: "\r\n";
  18
  19 // character types
  20 CTL:        [ #{std.cntrl} \x7f ];
  21 safe:       [ $ - _ . ];
  22 extra:      [ ! * ' ( ) , ];
  23 reserved:   [ ; / ? : @ & = + ];
  24 sorta_safe: [ " < > ];
  25 unsafe:     [ ${CTL} \s # % ${sorta_safe} ];
  26 national:   [^${std.alpha} ${std.digit} ${reserved} ${extra} ${safe} ${unsafe} ];
  27 unreserved: [ ${std.alpha} ${std.digit} ${safe} ${extra} ${national} ];
  28
  29 escape:     / % [0-9A-Fa-f]{2} /;
  30 uchar:      / ${unreserved} | ${escape} | ${sorta_safe} /;
  31 pchar:      / ${uchar}      | [ : @ & = + ] /;
  32 tspecials:  [ ( ) < > @ , ; : \\ " / [ \] ? = { } \s \t ];
  33
  34 // elements
  35 token:      [ ${std.ascii} ^ ${CTL} ${tspecials} ];
  36
  37 // URI schemes and absolute paths
  38 scheme:       / [ ${alpha} ${digit} + - . ]* /;
  39 absolute_uri: / ( ${scheme} ) ":" ([${uchar} | ${reserved}]*) /;
  40
  41 path ->     /${pchar}+/ ( "/" /${pchar}*/ )*;
  42 query:      /[ ${uchar} | ${reserved} ]*/;
  43 param:      /[ ${pchar}  / ]*/;
  44 params ->   param *[;]
  45 rel_path -> path? (";" params)? ("?" query)?;
  46 absolute_path -> "/"+ rel_path;
  47
  48 Request_URI -> "*" | absolute_uri | absolute_path;
  49 Fragment: / [${uchar} ${reserved}]* /;
  50 Method:   / [${upper} ${digit} ${safe}]{1,20} /;
  51
  52 http_number: / ${digit}+ \. ${digit}+/;
  53 HTTP_Version -> "HTTP/" http_number;
  54 Request_Line -> Method " " Request_URI ("#" Fragment)? " " HTTP_Version CRLF;
  55
  56 field_name: / (${token} -- ":")+ /;
  57
  58 message_header -> field_name ":" " "* /[^\r]*/ CRLF;
  59
  60 Request -> Request_Line message_header* CRLF;
  61