2011-11-22 14:43:54 -05:00
|
|
|
package org.jruby.puma;
|
2007-10-16 16:56:52 -04:00
|
|
|
|
|
|
|
import org.jruby.util.ByteList;
|
|
|
|
|
|
|
|
public class Http11Parser {
|
2007-10-17 03:05:32 -04:00
|
|
|
|
2007-10-17 03:03:44 -04:00
|
|
|
/** Machine **/
|
2007-10-16 16:56:52 -04:00
|
|
|
|
2007-10-17 03:05:32 -04:00
|
|
|
%%{
|
2016-01-31 12:34:19 -05:00
|
|
|
|
|
|
|
machine puma_parser;
|
2007-10-17 03:05:32 -04:00
|
|
|
|
|
|
|
action mark {parser.mark = fpc; }
|
|
|
|
|
|
|
|
action start_field { parser.field_start = fpc; }
|
2008-03-23 23:48:10 -04:00
|
|
|
action snake_upcase_field { /* FIXME stub */ }
|
2007-10-17 03:05:32 -04:00
|
|
|
action write_field {
|
|
|
|
parser.field_len = fpc-parser.field_start;
|
|
|
|
}
|
|
|
|
|
|
|
|
action start_value { parser.mark = fpc; }
|
|
|
|
action write_value {
|
|
|
|
if(parser.http_field != null) {
|
|
|
|
parser.http_field.call(parser.data, parser.field_start, parser.field_len, parser.mark, fpc-parser.mark);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
action request_method {
|
|
|
|
if(parser.request_method != null)
|
|
|
|
parser.request_method.call(parser.data, parser.mark, fpc-parser.mark);
|
|
|
|
}
|
|
|
|
action request_uri {
|
|
|
|
if(parser.request_uri != null)
|
|
|
|
parser.request_uri.call(parser.data, parser.mark, fpc-parser.mark);
|
|
|
|
}
|
2007-10-17 03:18:50 -04:00
|
|
|
action fragment {
|
|
|
|
if(parser.fragment != null)
|
|
|
|
parser.fragment.call(parser.data, parser.mark, fpc-parser.mark);
|
|
|
|
}
|
|
|
|
|
2007-10-17 03:05:32 -04:00
|
|
|
action start_query {parser.query_start = fpc; }
|
|
|
|
action query_string {
|
|
|
|
if(parser.query_string != null)
|
|
|
|
parser.query_string.call(parser.data, parser.query_start, fpc-parser.query_start);
|
|
|
|
}
|
|
|
|
|
|
|
|
action http_version {
|
|
|
|
if(parser.http_version != null)
|
|
|
|
parser.http_version.call(parser.data, parser.mark, fpc-parser.mark);
|
|
|
|
}
|
|
|
|
|
|
|
|
action request_path {
|
|
|
|
if(parser.request_path != null)
|
|
|
|
parser.request_path.call(parser.data, parser.mark, fpc-parser.mark);
|
|
|
|
}
|
|
|
|
|
|
|
|
action done {
|
|
|
|
parser.body_start = fpc + 1;
|
|
|
|
if(parser.header_done != null)
|
|
|
|
parser.header_done.call(parser.data, fpc + 1, pe - fpc - 1);
|
|
|
|
fbreak;
|
|
|
|
}
|
|
|
|
|
2016-01-31 12:34:19 -05:00
|
|
|
include puma_parser_common "http11_parser_common.rl";
|
2007-10-17 03:10:43 -04:00
|
|
|
|
2007-10-17 03:05:32 -04:00
|
|
|
}%%
|
|
|
|
|
2007-10-16 16:56:52 -04:00
|
|
|
/** Data **/
|
|
|
|
%% write data;
|
|
|
|
|
|
|
|
public static interface ElementCB {
|
|
|
|
public void call(Object data, int at, int length);
|
|
|
|
}
|
|
|
|
|
|
|
|
public static interface FieldCB {
|
|
|
|
public void call(Object data, int field, int flen, int value, int vlen);
|
|
|
|
}
|
|
|
|
|
|
|
|
public static class HttpParser {
|
|
|
|
int cs;
|
|
|
|
int body_start;
|
|
|
|
int content_len;
|
|
|
|
int nread;
|
|
|
|
int mark;
|
|
|
|
int field_start;
|
|
|
|
int field_len;
|
|
|
|
int query_start;
|
|
|
|
|
|
|
|
Object data;
|
|
|
|
ByteList buffer;
|
|
|
|
|
|
|
|
public FieldCB http_field;
|
|
|
|
public ElementCB request_method;
|
|
|
|
public ElementCB request_uri;
|
2007-10-17 03:18:50 -04:00
|
|
|
public ElementCB fragment;
|
2007-10-16 16:56:52 -04:00
|
|
|
public ElementCB request_path;
|
|
|
|
public ElementCB query_string;
|
|
|
|
public ElementCB http_version;
|
|
|
|
public ElementCB header_done;
|
|
|
|
|
|
|
|
public void init() {
|
|
|
|
cs = 0;
|
|
|
|
|
|
|
|
%% write init;
|
|
|
|
|
|
|
|
body_start = 0;
|
|
|
|
content_len = 0;
|
|
|
|
mark = 0;
|
|
|
|
nread = 0;
|
|
|
|
field_len = 0;
|
|
|
|
field_start = 0;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
public final HttpParser parser = new HttpParser();
|
|
|
|
|
|
|
|
public int execute(ByteList buffer, int off) {
|
|
|
|
int p, pe;
|
|
|
|
int cs = parser.cs;
|
2010-01-22 18:01:10 -05:00
|
|
|
int len = buffer.length();
|
2007-10-16 16:56:52 -04:00
|
|
|
assert off<=len : "offset past end of buffer";
|
|
|
|
|
|
|
|
p = off;
|
|
|
|
pe = len;
|
2011-11-22 17:23:34 -05:00
|
|
|
// get a copy of the bytes, since it may not start at 0
|
|
|
|
// FIXME: figure out how to just use the bytes in-place
|
|
|
|
byte[] data = buffer.bytes();
|
2007-10-16 16:56:52 -04:00
|
|
|
parser.buffer = buffer;
|
|
|
|
|
|
|
|
%% write exec;
|
|
|
|
|
|
|
|
parser.cs = cs;
|
|
|
|
parser.nread += (p - off);
|
|
|
|
|
|
|
|
assert p <= pe : "buffer overflow after parsing execute";
|
|
|
|
assert parser.nread <= len : "nread longer than length";
|
|
|
|
assert parser.body_start <= len : "body starts after buffer end";
|
|
|
|
assert parser.mark < len : "mark is after buffer end";
|
|
|
|
assert parser.field_len <= len : "field has length longer than whole buffer";
|
|
|
|
assert parser.field_start < len : "field starts after buffer end";
|
|
|
|
|
|
|
|
return parser.nread;
|
|
|
|
}
|
|
|
|
|
|
|
|
public int finish() {
|
|
|
|
if(has_error()) {
|
|
|
|
return -1;
|
|
|
|
} else if(is_finished()) {
|
|
|
|
return 1;
|
|
|
|
} else {
|
|
|
|
return 0;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
public boolean has_error() {
|
2016-01-31 12:34:19 -05:00
|
|
|
return parser.cs == puma_parser_error;
|
2007-10-16 16:56:52 -04:00
|
|
|
}
|
|
|
|
|
|
|
|
public boolean is_finished() {
|
2016-01-31 12:34:19 -05:00
|
|
|
return parser.cs == puma_parser_first_final;
|
2007-10-16 16:56:52 -04:00
|
|
|
}
|
|
|
|
}
|