//*** Build With // java demeterf http.cd http.beh ./classes/ --dgp:PrintToString \ // && cp modified_parser.jj classes/theparser.jj \ // && javacc -OUTPUT_DIRECTORY=classes classes/theparser.jj package edu.neu.ccs.demeterf.http.classes; import edu.neu.ccs.demeterf.lib.*; import System.Net.Sockets.*; import System.Text.*; import System.IO.*; //** HTTP stuff is all line based, so it gets a little hairy to parse. // HTTP Request. We use "ident" to eliminate the syntax, but the header // and bodies will be parsed separately. noparse HTTPReq = HTTPHead List(MsgHead) *r*l ident. // HTTP Response. Similar, but slightly different. noparse HTTPResp = HTTPVer *s int *s ident *r*l List(MsgHead) *r*l ident. // HTTP Header Request types HTTPHead = GetReq | PostReq | HeadReq | PutReq | DeleteReq | TraceReq | ConnectReq | OptionsReq *s URL *s HTTPVer *r*l. // Syntax for different request types GetReq = "GET". HeadReq = "HEAD". PostReq = "POST". PutReq = "PUT". DeleteReq = "DELETE". TraceReq = "TRACE". ConnectReq= "CONNECT". OptionsReq= "OPTIONS". // Url segments. Note that we don't handle the full form like: // http://www.fobar.com URL = BaseURL | MidURL | NoURL. BaseURL = "/" URL. MidURL = ident URL. NoURL = . // HTTP Version header HTTPVer = "HTTP/" double. // Message Headers like "Content-Length: 524" MsgHead = ident ":" *s ident. // Lists, so we can insert CR/LF between headers nogen List(X) = Cons(X) | Empty(X). nogen Cons(X) = X *r*l List(X). nogen Empty(X)= .