1324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver/* 2324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver [The "BSD license"] 3324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver Copyright (c) 2010 Terence Parr 4324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver All rights reserved. 5324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 6324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver Redistribution and use in source and binary forms, with or without 7324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver modification, are permitted provided that the following conditions 8324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver are met: 9324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 1. Redistributions of source code must retain the above copyright 10324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver notice, this list of conditions and the following disclaimer. 11324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 2. Redistributions in binary form must reproduce the above copyright 12324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver notice, this list of conditions and the following disclaimer in the 13324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver documentation and/or other materials provided with the distribution. 14324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 3. The name of the author may not be used to endorse or promote products 15324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver derived from this software without specific prior written permission. 16324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 17324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR 18324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES 19324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. 20324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT, 21324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT 22324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, 23324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY 24324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT 25324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF 26324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. 27324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver*/ 28324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver/** ANTLR v3 grammar written in ANTLR v3 with AST construction */ 29324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruvergrammar ANTLRv3; 30324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 31324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruveroptions { 32324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver output=AST; 33324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver ASTLabelType=CommonTree; 34324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver} 35324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 36324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruvertokens { 37324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver DOC_COMMENT; 38324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver PARSER; 39324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver LEXER; 40324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver RULE; 41324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver BLOCK; 42324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver OPTIONAL; 43324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver CLOSURE; 44324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver POSITIVE_CLOSURE; 45324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver SYNPRED; 46324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver RANGE; 47324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver CHAR_RANGE; 48324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver EPSILON; 49324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver ALT; 50324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver EOR; 51324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver EOB; 52324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver EOA; // end of alt 53324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver ID; 54324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver ARG; 55324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver ARGLIST; 56324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver RET='returns'; 57324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver LEXER_GRAMMAR; 58324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver PARSER_GRAMMAR; 59324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver TREE_GRAMMAR; 60324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver COMBINED_GRAMMAR; 61324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver LABEL; // $x used in rewrite rules 62324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver TEMPLATE; 63324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver SCOPE='scope'; 64324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver SEMPRED; 65324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver GATED_SEMPRED; // {p}? => 66324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver SYN_SEMPRED; // (...) => it's a manually-specified synpred converted to sempred 67324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver BACKTRACK_SEMPRED; // auto backtracking mode syn pred converted to sempred 68324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver FRAGMENT='fragment'; 69324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver TREE_BEGIN='^('; 70324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver ROOT='^'; 71324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver BANG='!'; 72324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver RANGE='..'; 73324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver REWRITE='->'; 74324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver AT='@'; 75324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver LABEL_ASSIGN='='; 76324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver LIST_LABEL_ASSIGN='+='; 77324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver} 78324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 79324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver@parser::header 80324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver{ 81324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver package org.antlr.grammar.v3; 82324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver} 83324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver@lexer::header 84324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver{ 85324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver package org.antlr.grammar.v3; 86324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver} 87324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 88324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver@members { 89324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver int gtype; 90324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver} 91324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 92324c4644fee44b9898524c09511bd33c3f12e2dfBen GruvergrammarDef 93324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver : DOC_COMMENT? 94324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver ( 'lexer' {gtype=LEXER_GRAMMAR;} // pure lexer 95324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver | 'parser' {gtype=PARSER_GRAMMAR;} // pure parser 96324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver | 'tree' {gtype=TREE_GRAMMAR;} // a tree parser 97324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver | {gtype=COMBINED_GRAMMAR;} // merged parser/lexer 98324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver ) 99324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver g='grammar' id ';' optionsSpec? tokensSpec? attrScope* action* 100324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver rule+ 101324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver EOF 102324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver -> ^( {adaptor.create(gtype,$g)} 103324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver id DOC_COMMENT? optionsSpec? tokensSpec? attrScope* action* rule+ 104324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver ) 105324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver ; 106324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 107324c4644fee44b9898524c09511bd33c3f12e2dfBen GruvertokensSpec 108324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver : TOKENS tokenSpec+ '}' -> ^(TOKENS tokenSpec+) 109324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver ; 110324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 111324c4644fee44b9898524c09511bd33c3f12e2dfBen GruvertokenSpec 112324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver : TOKEN_REF 113324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver ( '=' (lit=STRING_LITERAL|lit=CHAR_LITERAL) -> ^('=' TOKEN_REF $lit) 114324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver | -> TOKEN_REF 115324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver ) 116324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver ';' 117324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver ; 118324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 119324c4644fee44b9898524c09511bd33c3f12e2dfBen GruverattrScope 120324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver : 'scope' id ACTION -> ^('scope' id ACTION) 121324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver ; 122324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 123324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver/** Match stuff like @parser::members {int i;} */ 124324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruveraction 125324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver : '@' (actionScopeName '::')? id ACTION -> ^('@' actionScopeName? id ACTION) 126324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver ; 127324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 128324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver/** Sometimes the scope names will collide with keywords; allow them as 129324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver * ids for action scopes. 130324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver */ 131324c4644fee44b9898524c09511bd33c3f12e2dfBen GruveractionScopeName 132324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver : id 133324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver | l='lexer' -> ID[$l] 134324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver | p='parser' -> ID[$p] 135324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver ; 136324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 137324c4644fee44b9898524c09511bd33c3f12e2dfBen GruveroptionsSpec 138324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver : OPTIONS (option ';')+ '}' -> ^(OPTIONS option+) 139324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver ; 140324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 141324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruveroption 142324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver : id '=' optionValue -> ^('=' id optionValue) 143324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver ; 144324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 145324c4644fee44b9898524c09511bd33c3f12e2dfBen GruveroptionValue 146324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver : qid 147324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver | STRING_LITERAL 148324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver | CHAR_LITERAL 149324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver | INT 150324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver | s='*' -> STRING_LITERAL[$s] // used for k=* 151324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver ; 152324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 153324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruverrule 154324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruverscope { 155324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver String name; 156324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver} 157324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver : DOC_COMMENT? 158324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver ( modifier=('protected'|'public'|'private'|'fragment') )? 159324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver id {$rule::name = $id.text;} 160324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver '!'? 161324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver ( arg=ARG_ACTION )? 162324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver ( 'returns' rt=ARG_ACTION )? 163324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver throwsSpec? optionsSpec? ruleScopeSpec? ruleAction* 164324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver ':' altList ';' 165324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver exceptionGroup? 166324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver -> ^( RULE id {modifier!=null?adaptor.create(modifier):null} ^(ARG[$arg] $arg)? ^('returns' $rt)? 167324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver throwsSpec? optionsSpec? ruleScopeSpec? ruleAction* 168324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver altList 169324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver exceptionGroup? 170324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver EOR["EOR"] 171324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver ) 172324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver ; 173324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 174324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver/** Match stuff like @init {int i;} */ 175324c4644fee44b9898524c09511bd33c3f12e2dfBen GruverruleAction 176324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver : '@' id ACTION -> ^('@' id ACTION) 177324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver ; 178324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 179324c4644fee44b9898524c09511bd33c3f12e2dfBen GruverthrowsSpec 180324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver : 'throws' id ( ',' id )* -> ^('throws' id+) 181324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver ; 182324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 183324c4644fee44b9898524c09511bd33c3f12e2dfBen GruverruleScopeSpec 184324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver : 'scope' ACTION -> ^('scope' ACTION) 185324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver | 'scope' id (',' id)* ';' -> ^('scope' id+) 186324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver | 'scope' ACTION 187324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 'scope' id (',' id)* ';' 188324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver -> ^('scope' ACTION id+ ) 189324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver ; 190324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 191324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruverblock 192324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver : lp='(' 193324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver ( (opts=optionsSpec)? ':' )? 194324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver altpair ( '|' altpair )* 195324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver rp=')' 196324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver -> ^( BLOCK[$lp,"BLOCK"] optionsSpec? altpair+ EOB[$rp,"EOB"] ) 197324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver ; 198324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 199324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruveraltpair : alternative rewrite ; 200324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 201324c4644fee44b9898524c09511bd33c3f12e2dfBen GruveraltList 202324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver@init { 203324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver // must create root manually as it's used by invoked rules in real antlr tool. 204324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver // leave here to demonstrate use of {...} in rewrite rule 205324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver // it's really BLOCK[firstToken,"BLOCK"]; set line/col to previous ( or : token. 206324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver CommonTree blkRoot = (CommonTree)adaptor.create(BLOCK,input.LT(-1),"BLOCK"); 207324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver} 208324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver : altpair ( '|' altpair )* -> ^( {blkRoot} altpair+ EOB["EOB"] ) 209324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver ; 210324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 211324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruveralternative 212324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver@init { 213324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver Token firstToken = input.LT(1); 214324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver Token prevToken = input.LT(-1); // either : or | I think 215324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver} 216324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver : element+ -> ^(ALT[firstToken,"ALT"] element+ EOA["EOA"]) 217324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver | -> ^(ALT[prevToken,"ALT"] EPSILON[prevToken,"EPSILON"] EOA["EOA"]) 218324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver ; 219324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 220324c4644fee44b9898524c09511bd33c3f12e2dfBen GruverexceptionGroup 221324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver : ( exceptionHandler )+ ( finallyClause )? 222324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver | finallyClause 223324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver ; 224324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 225324c4644fee44b9898524c09511bd33c3f12e2dfBen GruverexceptionHandler 226324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver : 'catch' ARG_ACTION ACTION -> ^('catch' ARG_ACTION ACTION) 227324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver ; 228324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 229324c4644fee44b9898524c09511bd33c3f12e2dfBen GruverfinallyClause 230324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver : 'finally' ACTION -> ^('finally' ACTION) 231324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver ; 232324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 233324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruverelement 234324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver : id (labelOp='='|labelOp='+=') atom 235324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver ( ebnfSuffix -> ^( ebnfSuffix ^(BLOCK["BLOCK"] ^(ALT["ALT"] ^($labelOp id atom) EOA["EOA"]) EOB["EOB"])) 236324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver | -> ^($labelOp id atom) 237324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver ) 238324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver | id (labelOp='='|labelOp='+=') block 239324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver ( ebnfSuffix -> ^( ebnfSuffix ^(BLOCK["BLOCK"] ^(ALT["ALT"] ^($labelOp id block) EOA["EOA"]) EOB["EOB"])) 240324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver | -> ^($labelOp id block) 241324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver ) 242324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver | atom 243324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver ( ebnfSuffix -> ^( ebnfSuffix ^(BLOCK["BLOCK"] ^(ALT["ALT"] atom EOA["EOA"]) EOB["EOB"]) ) 244324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver | -> atom 245324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver ) 246324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver | ebnf 247324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver | ACTION 248324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver | SEMPRED ( g='=>' -> GATED_SEMPRED[$g] | -> SEMPRED ) 249324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver | treeSpec 250324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver ( ebnfSuffix -> ^( ebnfSuffix ^(BLOCK["BLOCK"] ^(ALT["ALT"] treeSpec EOA["EOA"]) EOB["EOB"]) ) 251324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver | -> treeSpec 252324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver ) 253324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver ; 254324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 255324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruveratom: terminal 256324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver | range 257324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver ( (op='^'|op='!') -> ^($op range) 258324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver | -> range 259324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver ) 260324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver | notSet 261324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver ( (op='^'|op='!') -> ^($op notSet) 262324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver | -> notSet 263324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver ) 264324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver | RULE_REF ARG_ACTION? 265324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver ( (op='^'|op='!') -> ^($op RULE_REF ARG_ACTION?) 266324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver | -> ^(RULE_REF ARG_ACTION?) 267324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver ) 268324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver ; 269324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 270324c4644fee44b9898524c09511bd33c3f12e2dfBen GruvernotSet 271324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver : '~' 272324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver ( notTerminal elementOptions? -> ^('~' notTerminal elementOptions?) 273324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver | block elementOptions? -> ^('~' block elementOptions?) 274324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver ) 275324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver ; 276324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 277324c4644fee44b9898524c09511bd33c3f12e2dfBen GruvernotTerminal 278324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver : CHAR_LITERAL 279324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver | TOKEN_REF 280324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver | STRING_LITERAL 281324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver ; 282324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 283324c4644fee44b9898524c09511bd33c3f12e2dfBen GruverelementOptions 284324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver : '<' qid '>' -> ^(OPTIONS qid) 285324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver | '<' option (';' option)* '>' -> ^(OPTIONS option+) 286324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver ; 287324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 288324c4644fee44b9898524c09511bd33c3f12e2dfBen GruverelementOption 289324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver : id '=' optionValue -> ^('=' id optionValue) 290324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver ; 291324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 292324c4644fee44b9898524c09511bd33c3f12e2dfBen GruvertreeSpec 293324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver : '^(' element ( element )+ ')' -> ^(TREE_BEGIN element+) 294324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver ; 295324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 296324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruverrange! 297324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver : c1=CHAR_LITERAL RANGE c2=CHAR_LITERAL elementOptions? 298324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver -> ^(CHAR_RANGE[$c1,".."] $c1 $c2 elementOptions?) 299324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver ; 300324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 301324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruverterminal 302324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver : ( CHAR_LITERAL elementOptions? -> ^(CHAR_LITERAL elementOptions?) 303324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver // Args are only valid for lexer rules 304324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver | TOKEN_REF ARG_ACTION? elementOptions? -> ^(TOKEN_REF ARG_ACTION? elementOptions?) 305324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver | STRING_LITERAL elementOptions? -> ^(STRING_LITERAL elementOptions?) 306324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver | '.' elementOptions? -> ^('.' elementOptions?) 307324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver ) 308324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver ( '^' -> ^('^' $terminal) 309324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver | '!' -> ^('!' $terminal) 310324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver )? 311324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver ; 312324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 313324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver/** Matches ENBF blocks (and token sets via block rule) */ 314324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruverebnf 315324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver@init { 316324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver Token firstToken = input.LT(1); 317324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver} 318324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver@after { 319324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver $ebnf.tree.getToken().setLine(firstToken.getLine()); 320324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver $ebnf.tree.getToken().setCharPositionInLine(firstToken.getCharPositionInLine()); 321324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver} 322324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver : block 323324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver ( op='?' -> ^(OPTIONAL[op] block) 324324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver | op='*' -> ^(CLOSURE[op] block) 325324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver | op='+' -> ^(POSITIVE_CLOSURE[op] block) 326324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver | '=>' // syntactic predicate 327324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver -> {gtype==COMBINED_GRAMMAR && 328324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver Character.isUpperCase($rule::name.charAt(0))}? 329324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver // if lexer rule in combined, leave as pred for lexer 330324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver ^(SYNPRED["=>"] block) 331324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver // in real antlr tool, text for SYN_SEMPRED is predname 332324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver -> SYN_SEMPRED 333324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver | -> block 334324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver ) 335324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver ; 336324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 337324c4644fee44b9898524c09511bd33c3f12e2dfBen GruverebnfSuffix 338324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver@init { 339324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver Token op = input.LT(1); 340324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver} 341324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver : '?' -> OPTIONAL[op] 342324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver | '*' -> CLOSURE[op] 343324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver | '+' -> POSITIVE_CLOSURE[op] 344324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver ; 345324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 346324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 347324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 348324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver// R E W R I T E S Y N T A X 349324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 350324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruverrewrite 351324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver@init { 352324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver Token firstToken = input.LT(1); 353324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver} 354324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver : (rew+='->' preds+=SEMPRED predicated+=rewrite_alternative)* 355324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver rew2='->' last=rewrite_alternative 356324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver -> ^($rew $preds $predicated)* ^($rew2 $last) 357324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver | 358324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver ; 359324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 360324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruverrewrite_alternative 361324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruveroptions {backtrack=true;} 362324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver : rewrite_template 363324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver | rewrite_tree_alternative 364324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver | /* empty rewrite */ -> ^(ALT["ALT"] EPSILON["EPSILON"] EOA["EOA"]) 365324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver ; 366324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 367324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruverrewrite_tree_block 368324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver : lp='(' rewrite_tree_alternative ')' 369324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver -> ^(BLOCK[$lp,"BLOCK"] rewrite_tree_alternative EOB[$lp,"EOB"]) 370324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver ; 371324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 372324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruverrewrite_tree_alternative 373324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver : rewrite_tree_element+ -> ^(ALT["ALT"] rewrite_tree_element+ EOA["EOA"]) 374324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver ; 375324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 376324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruverrewrite_tree_element 377324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver : rewrite_tree_atom 378324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver | rewrite_tree_atom ebnfSuffix 379324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver -> ^( ebnfSuffix ^(BLOCK["BLOCK"] ^(ALT["ALT"] rewrite_tree_atom EOA["EOA"]) EOB["EOB"])) 380324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver | rewrite_tree 381324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver ( ebnfSuffix 382324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver -> ^(ebnfSuffix ^(BLOCK["BLOCK"] ^(ALT["ALT"] rewrite_tree EOA["EOA"]) EOB["EOB"])) 383324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver | -> rewrite_tree 384324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver ) 385324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver | rewrite_tree_ebnf 386324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver ; 387324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 388324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruverrewrite_tree_atom 389324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver : CHAR_LITERAL 390324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver | TOKEN_REF ARG_ACTION? -> ^(TOKEN_REF ARG_ACTION?) // for imaginary nodes 391324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver | RULE_REF 392324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver | STRING_LITERAL 393324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver | d='$' id -> LABEL[$d,$id.text] // reference to a label in a rewrite rule 394324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver | ACTION 395324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver ; 396324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 397324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruverrewrite_tree_ebnf 398324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver@init { 399324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver Token firstToken = input.LT(1); 400324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver} 401324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver@after { 402324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver $rewrite_tree_ebnf.tree.getToken().setLine(firstToken.getLine()); 403324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver $rewrite_tree_ebnf.tree.getToken().setCharPositionInLine(firstToken.getCharPositionInLine()); 404324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver} 405324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver : rewrite_tree_block ebnfSuffix -> ^(ebnfSuffix rewrite_tree_block) 406324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver ; 407324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 408324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruverrewrite_tree 409324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver : '^(' rewrite_tree_atom rewrite_tree_element* ')' 410324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver -> ^(TREE_BEGIN rewrite_tree_atom rewrite_tree_element* ) 411324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver ; 412324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 413324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver/** Build a tree for a template rewrite: 414324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver ^(TEMPLATE (ID|ACTION) ^(ARGLIST ^(ARG ID ACTION) ...) ) 415324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver where ARGLIST is always there even if no args exist. 416324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver ID can be "template" keyword. If first child is ACTION then it's 417324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver an indirect template ref 418324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 419324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver -> foo(a={...}, b={...}) 420324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver -> ({string-e})(a={...}, b={...}) // e evaluates to template name 421324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver -> {%{$ID.text}} // create literal template from string (done in ActionTranslator) 422324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver -> {st-expr} // st-expr evaluates to ST 423324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver */ 424324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruverrewrite_template 425324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver : // -> template(a={...},...) "..." inline template 426324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver id lp='(' rewrite_template_args ')' 427324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver ( str=DOUBLE_QUOTE_STRING_LITERAL | str=DOUBLE_ANGLE_STRING_LITERAL ) 428324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver -> ^(TEMPLATE[$lp,"TEMPLATE"] id rewrite_template_args $str) 429324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 430324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver | // -> foo(a={...}, ...) 431324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver rewrite_template_ref 432324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 433324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver | // -> ({expr})(a={...}, ...) 434324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver rewrite_indirect_template_head 435324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 436324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver | // -> {...} 437324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver ACTION 438324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver ; 439324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 440324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver/** -> foo(a={...}, ...) */ 441324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruverrewrite_template_ref 442324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver : id lp='(' rewrite_template_args ')' 443324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver -> ^(TEMPLATE[$lp,"TEMPLATE"] id rewrite_template_args) 444324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver ; 445324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 446324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver/** -> ({expr})(a={...}, ...) */ 447324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruverrewrite_indirect_template_head 448324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver : lp='(' ACTION ')' '(' rewrite_template_args ')' 449324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver -> ^(TEMPLATE[$lp,"TEMPLATE"] ACTION rewrite_template_args) 450324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver ; 451324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 452324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruverrewrite_template_args 453324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver : rewrite_template_arg (',' rewrite_template_arg)* 454324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver -> ^(ARGLIST rewrite_template_arg+) 455324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver | -> ARGLIST 456324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver ; 457324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 458324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruverrewrite_template_arg 459324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver : id '=' ACTION -> ^(ARG[$id.start] id ACTION) 460324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver ; 461324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 462324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruverqid : id ('.' id)* ; 463324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 464324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruverid : TOKEN_REF -> ID[$TOKEN_REF] 465324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver | RULE_REF -> ID[$RULE_REF] 466324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver ; 467324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 468324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver// L E X I C A L R U L E S 469324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 470324c4644fee44b9898524c09511bd33c3f12e2dfBen GruverSL_COMMENT 471324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver : '//' 472324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver ( ' $ANTLR ' SRC // src directive 473324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver | ~('\r'|'\n')* 474324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver ) 475324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver '\r'? '\n' 476324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver {$channel=HIDDEN;} 477324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver ; 478324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 479324c4644fee44b9898524c09511bd33c3f12e2dfBen GruverML_COMMENT 480324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver : '/*' {if (input.LA(1)=='*') $type=DOC_COMMENT; else $channel=HIDDEN;} .* '*/' 481324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver ; 482324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 483324c4644fee44b9898524c09511bd33c3f12e2dfBen GruverCHAR_LITERAL 484324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver : '\'' LITERAL_CHAR '\'' 485324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver ; 486324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 487324c4644fee44b9898524c09511bd33c3f12e2dfBen GruverSTRING_LITERAL 488324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver : '\'' LITERAL_CHAR LITERAL_CHAR* '\'' 489324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver ; 490324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 491324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruverfragment 492324c4644fee44b9898524c09511bd33c3f12e2dfBen GruverLITERAL_CHAR 493324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver : ESC 494324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver | ~('\''|'\\') 495324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver ; 496324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 497324c4644fee44b9898524c09511bd33c3f12e2dfBen GruverDOUBLE_QUOTE_STRING_LITERAL 498324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver : '"' (ESC | ~('\\'|'"'))* '"' 499324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver ; 500324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 501324c4644fee44b9898524c09511bd33c3f12e2dfBen GruverDOUBLE_ANGLE_STRING_LITERAL 502324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver : '<<' .* '>>' 503324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver ; 504324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 505324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruverfragment 506324c4644fee44b9898524c09511bd33c3f12e2dfBen GruverESC : '\\' 507324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver ( 'n' 508324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver | 'r' 509324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver | 't' 510324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver | 'b' 511324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver | 'f' 512324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver | '"' 513324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver | '\'' 514324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver | '\\' 515324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver | '>' 516324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver | 'u' XDIGIT XDIGIT XDIGIT XDIGIT 517324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver | . // unknown, leave as it is 518324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver ) 519324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver ; 520324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 521324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruverfragment 522324c4644fee44b9898524c09511bd33c3f12e2dfBen GruverXDIGIT : 523324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver '0' .. '9' 524324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver | 'a' .. 'f' 525324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver | 'A' .. 'F' 526324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver ; 527324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 528324c4644fee44b9898524c09511bd33c3f12e2dfBen GruverINT : '0'..'9'+ 529324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver ; 530324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 531324c4644fee44b9898524c09511bd33c3f12e2dfBen GruverARG_ACTION 532324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver : NESTED_ARG_ACTION 533324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver ; 534324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 535324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruverfragment 536324c4644fee44b9898524c09511bd33c3f12e2dfBen GruverNESTED_ARG_ACTION : 537324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver '[' 538324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver ( options {greedy=false; k=1;} 539324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver : NESTED_ARG_ACTION 540324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver | ACTION_STRING_LITERAL 541324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver | ACTION_CHAR_LITERAL 542324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver | . 543324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver )* 544324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver ']' 545324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver //{setText(getText().substring(1, getText().length()-1));} 546324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver ; 547324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 548324c4644fee44b9898524c09511bd33c3f12e2dfBen GruverACTION 549324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver : NESTED_ACTION ( '?' {$type = SEMPRED;} )? 550324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver ; 551324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 552324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruverfragment 553324c4644fee44b9898524c09511bd33c3f12e2dfBen GruverNESTED_ACTION : 554324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver '{' 555324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver ( options {greedy=false; k=2;} 556324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver : NESTED_ACTION 557324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver | SL_COMMENT 558324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver | ML_COMMENT 559324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver | ACTION_STRING_LITERAL 560324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver | ACTION_CHAR_LITERAL 561324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver | . 562324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver )* 563324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver '}' 564324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver ; 565324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 566324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruverfragment 567324c4644fee44b9898524c09511bd33c3f12e2dfBen GruverACTION_CHAR_LITERAL 568324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver : '\'' (ACTION_ESC|~('\\'|'\'')) '\'' 569324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver ; 570324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 571324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruverfragment 572324c4644fee44b9898524c09511bd33c3f12e2dfBen GruverACTION_STRING_LITERAL 573324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver : '"' (ACTION_ESC|~('\\'|'"'))* '"' 574324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver ; 575324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 576324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruverfragment 577324c4644fee44b9898524c09511bd33c3f12e2dfBen GruverACTION_ESC 578324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver : '\\\'' 579324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver | '\\' '"' // ANTLR doesn't like: '\\"' 580324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver | '\\' ~('\''|'"') 581324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver ; 582324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 583324c4644fee44b9898524c09511bd33c3f12e2dfBen GruverTOKEN_REF 584324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver : 'A'..'Z' ('a'..'z'|'A'..'Z'|'_'|'0'..'9')* 585324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver ; 586324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 587324c4644fee44b9898524c09511bd33c3f12e2dfBen GruverRULE_REF 588324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver : 'a'..'z' ('a'..'z'|'A'..'Z'|'_'|'0'..'9')* 589324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver ; 590324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 591324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver/** Match the start of an options section. Don't allow normal 592324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver * action processing on the {...} as it's not a action. 593324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver */ 594324c4644fee44b9898524c09511bd33c3f12e2dfBen GruverOPTIONS 595324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver : 'options' WS_LOOP '{' 596324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver ; 597324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 598324c4644fee44b9898524c09511bd33c3f12e2dfBen GruverTOKENS 599324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver : 'tokens' WS_LOOP '{' 600324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver ; 601324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 602324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver/** Reset the file and line information; useful when the grammar 603324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver * has been generated so that errors are shown relative to the 604324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver * original file like the old C preprocessor used to do. 605324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver */ 606324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruverfragment 607324c4644fee44b9898524c09511bd33c3f12e2dfBen GruverSRC : 'src' ' ' file=ACTION_STRING_LITERAL ' ' line=INT 608324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver ; 609324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 610324c4644fee44b9898524c09511bd33c3f12e2dfBen GruverWS : ( ' ' 611324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver | '\t' 612324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver | '\r'? '\n' 613324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver )+ 614324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver {$channel=HIDDEN;} 615324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver ; 616324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 617324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruverfragment 618324c4644fee44b9898524c09511bd33c3f12e2dfBen GruverWS_LOOP 619324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver : ( WS 620324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver | SL_COMMENT 621324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver | ML_COMMENT 622324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver )* 623324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver ; 624324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 625