Java CUP. Java CUP Specifications. User Code Additions. Package and Import Specifications

Transcription

1 Jv CUP Jv CUP is prser-genertion tool, similr to Ycc. CUP uilds Jv prser for LALR(1) grmmrs from production rules nd ssocited Jv code frgments. When prticulr production is recognized, its ssocited code frgment is executed (typiclly to uild n AST). CUP genertes Jv source file prser.jv. It contins clss prser, with method Symol prse() The Symol returned y the prser is ssocited with the grmmr s strt symol nd contins the AST for the whole source progrm. The file sym.jv is lso uilt for use with JLex-uilt scnner (so tht oth scnner nd prser use the sme token codes). If n unrecovered syntx error occurs, Exception() is thrown y the prser. CUP nd Ycc ccept exctly the sme clss of grmmrs ll LL(1) grmmrs, plus mny useful non- LL(1) grmmrs. CUP is clled s jv jv_cup.min < file.cup Jv CUP Specifictions Jv CUP specifictions re of the form: Pckge nd import specifictions User code dditions Terminl nd non-terminl declrtions A context-free grmmr, ugmented with Jv code frgments User Code Additions You my define Jv code to e included within the generted prser: ction code {: /*jv code */ This code is plced within the generted ction clss (which holds user-specified production ctions). prser code {: /*jv code */ This code is plced within the generted prser clss. Pckge nd Import Specifictions You define pckge nme s: pckge nme You dd imports to e used s: import jv_cup.runtime.* init with{: /*jv code */ This code is used to initilize the generted prser. scn with{: /*jv code */ This code is used to tell the generted prser how to get tokens from the scnner

2 Terminl nd Non-terminl Declrtions You define terminl symols you will use s: terminl clssnme nme 1, nme 2,... clssnme is clss used y the scnner for tokens (CSXToken, CSXIdentifierToken, etc.) You define non-terminl symols you will use s: non terminl clssnme nme 1, nme 2,... clssnme is the clss for the AST node ssocited with the nonterminl (stmtnode, exprnode, etc.) Production Rules Production rules re of the form nme ::= nme 1 nme 2... ction or nme ::= nme 1 nme 2... ction 1 nme 3 nme 4... ction 2... Nmes re the nmes of terminls or non-terminls, s declred erlier. Actions re Jv code frgments, of the form {: /*jv code */ The Jv oject ssocited with symol ( token or AST node) my e nmed y dding :id suffix to terminl or non-terminl in rule. RESULT nmes the left-hnd side non-terminl The Jv clsses of the symols re defined in the terminl nd nonterminl declrtion sections. For exmple, prog ::= LBRACE:l stmts:s RBRACE l.linenum,l.colnum) This corresponds to the production prog { stmts } The left rce is given the nme l the stmts non-terminl is clled s. In the ction code, new CSXLiteNode is creted nd ssigned to prog. It is constructed from the AST node ssocited with s. Its line nd column numers re those given to the left rce, l (y the scnner). To tell CUP wht non-terminl to use s the strt symol (prog in our exmple), we use the directive: strt with prog 84 85

3 Exmple Let s look t the CUP specifiction for CSX-lite. Recll its CFG is progrm { stmts } stmts stmt stmts λ stmt id = expr if ( expr ) stmt expr expr + id expr - id id The corresponding CUP specifiction is: /*** This Is A Jv CUP Specifiction For CSX-lite, Smll Suset of The CSX Lnguge, Used In Cs536 ***/ /* Preliminries to set up nd use the scnner. */ import jv_cup.runtime.* prser code {: pulic void syntx_error (Symol cur_token){ report_error( CSX syntx error t line + String.vlueOf(((CSXToken) cur_token.vlue).linenum), null)} init with {: scn with {: return Scnner.next_token() /* Terminls (tokens returned y the scnner). */ terminl CSXIdentifierToken IDENTIFIER terminl CSXToken SEMI, LPAREN, RPAREN, ASG, LBRACE, RBRACE terminl CSXToken PLUS, MINUS, rw_if /* Non terminls */ non terminl csxlitenode prog non terminl stmtsnode stmts non terminl stmtnode stmt non terminl exprnode exp non terminl ident strt with prog prog::= LBRACE:l stmts:s RBRACE l.linenum,l.colnum) stmts::= stmt:s1 stmts:s2 new stmtsnode(s1,s2, s1.linenum,s1.colnum) stmtsnode.null stmt::= ident:id ASG exp:e SEMI new sgnode(id,e, id.linenum,id.colnum) rw_if:i LPAREN exp:e RPAREN stmt:s new ifthennode(e,s, stmtnode.null, i.linenum,i.colnum) exp::= exp:leftvl PLUS:op ident:rightvl new inryopnode(leftvl, sym.plus, rightvl, op.linenum,op.colnum) 88 89

4 exp:leftvl MINUS:op ident:rightvl new inryopnode(leftvl, sym.minus,rightvl, op.linenum,op.colnum) ident:i {: RESULT = i {: RESULT = new ( new (i.identifiertext, i.linenum,i.colnum) Let s prse { = } First, is prsed using {: RESULT = new ( new (i.identifiertext, i.linenum,i.colnum) We uild Next, is prsed using {: RESULT = new ( new (i.identifiertext, i.linenum,i.colnum) We uild Then s sutree is recognized s n exp: ident:i {: RESULT = i Now the ssignment sttement is recognized: stmt::= ident:id ASG exp:e SEMI new sgnode(id,e, id.linenum,id.colnum) We uild sgnode 92 93

5 The stmts λ production is mtched (indicting tht there re no more sttements in the progrm). CUP mtches stmts::= stmtsnode.null nd we uild This uilds stmtsnode sgnode Next, stmts stmt stmts is mtched using stmts::= stmt:s1 stmts:s2 new stmtsnode(s1,s2, s1.linenum,s1.colnum) As the lst step of the prse, the prser mtches progrm { stmts } using the CUP rule prog::= LBRACE:l stmts:s RBRACE l.linenum,l.colnum) The finl AST returned y the prser is csxlitenode stmtsnode sgnode 96