//*** 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 http.gen; import edu.neu.ccs.demeterf.demfgen.lib.*; import java.net.Socket; import java.net.ServerSocket; import java.io.IOException; import java.io.BufferedReader; import java.io.PrintWriter; import java.io.InputStreamReader; import java.io.InputStream; //** 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) *l ident. // HTTP Response. Similar, but slightly different. noparse HTTPResp = HTTPVer *s int *s ident *l List(MsgHead) *l ident. HTTPHead = GetReq | PostReq | HeadReq *s URL *s HTTPVer *l. GetReq = "GET". PostReq = "POST". HeadReq = "HEAD". URL = BaseURL | MidURL | NoURL. BaseURL = "/" URL. MidURL = ident URL. NoURL = . HTTPVer = "HTTP/" double. MsgHead = ident ":" *s ident. ReqHandler = . nogen List(X) = Cons(X) | Empty(X). nogen Cons(X) = X *l List(X). nogen Empty(X)= .