jasder
/
antlr
1
0
Fork 1
Code Issues Pull Requests Releases 1 Wiki Activity

refactored resolving; clean up in next push 

[git-p4: depot-paths = "//depot/code/antlr4/main/": change = 6698]
This commit is contained in:
parrt 2010-02-16 13:25:02 -08:00
parent 9c8e4380fc
commit 6ec90d61d9
14 changed files with 524 additions and 412 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
tool/resources/org/antlr/v4/tool/templates/messages/languages/en.stg
View File

@ -118,8 +118,8 @@ ATTRIBUTE_REF_NOT_IN_RULE(arg,arg2) ::=
"reference to attribute outside of a rule: <arg><if(arg2)>.<arg2><endif>"
UNKNOWN_ATTRIBUTE_IN_SCOPE(arg,arg2) ::=
"attribute <arg> isn't a valid property in <arg2>"
UNKNOWN_RULE_ATTRIBUTE(arg,arg2) ::=
"unknown attribute rule <arg> in <arg2>"
UNKNOWN_RULE_ATTRIBUTE(arg,arg2,arg3) ::=
"unknown attribute <arg> for rule <arg2> in <arg3>"
UNKNOWN_SIMPLE_ATTRIBUTE(arg,arg2) ::=
"unknown attribute reference <arg> in <arg2>"
ISOLATED_RULE_SCOPE(arg,arg2) ::=

14
tool/src/org/antlr/v4/parse/ScopeParser.java
View File

@ -2,7 +2,7 @@ package org.antlr.v4.parse;
import org.antlr.tool.ErrorManager;
import org.antlr.v4.tool.Attribute;
import org.antlr.v4.tool.AttributeScope;
import org.antlr.v4.tool.AttributeDict;
import java.util.ArrayList;
import java.util.List;
@ -29,9 +29,9 @@ public class ScopeParser {
*
* convert to an attribute scope.
*/
public static AttributeScope parseTypeList(String s) { return parse(s, ','); }
public static AttributeDict parseTypeList(String s) { return parse(s, ','); }
public static AttributeScope parseDynamicScope(String s) {
public static AttributeDict parseDynamicScope(String s) {
// ignore outer {..} if present
s = s.trim();
if ( s.startsWith("{") ) {
@ -41,10 +41,10 @@ public class ScopeParser {
return parse(s, ';');
}
public static AttributeScope parse(String s, char separator) {
public static AttributeDict parse(String s, char separator) {
int i = 0;
int n = s.length();
AttributeScope scope = new AttributeScope();
AttributeDict dict = new AttributeDict();
while ( i<n ) {
StringBuilder buf = new StringBuilder();
while ( i<n && s.charAt(i)!=separator ) {
@ -65,10 +65,10 @@ public class ScopeParser {
//System.out.println("def="+ def);
if ( def.trim().length()>0 ) {
Attribute a = parseAttributeDef(def);
scope.attributes.put(a.name, a);
dict.attributes.put(a.name, a);
}
}
return scope;
return dict;
}
/** For decls like "String foo" or "char *foo32[]" compute the ID

37
tool/src/org/antlr/v4/semantics/AttributeChecks.java
View File

@ -68,28 +68,29 @@ public class AttributeChecks implements ActionSplitterListener {
new AttributeChecks(g, r, alt, node, rhs).examineAction();
}
// $x.y
public void qualifiedAttr(String expr, Token x, Token y) {
if ( node.resolver.resolveToScope(x.getText(), node)==null ) {
ErrorManager.grammarError(ErrorType.UNKNOWN_SIMPLE_ATTRIBUTE,
g.fileName, x, x.getText(), expr);
return;
}
if ( node.resolver.resolveToAttribute(x.getText(), y.getText(), node)==null ) {
if ( node.resolver.resolveToRule(x.getText(), node)!=null ) {
Rule r = node.resolver.resolveToRule(x.getText(), node);
if ( r!=null ) {
Rule rref = g.getRule(x.getText());
if ( rref!=null && rref.args!=null && rref.args.get(y.getText())!=null ) {
ErrorManager.grammarError(ErrorType.INVALID_RULE_PARAMETER_REF,
g.fileName, y, y.getText(), expr);
return;
}
ErrorManager.grammarError(ErrorType.UNKNOWN_RULE_ATTRIBUTE,
g.fileName, y, y.getText(), expr);
return;
else {
ErrorManager.grammarError(ErrorType.UNKNOWN_RULE_ATTRIBUTE,
g.fileName, y, y.getText(), r.name, expr);
}
}
else if ( !node.resolver.resolvesToAttributeDict(x.getText(), node) ) {
ErrorManager.grammarError(ErrorType.UNKNOWN_SIMPLE_ATTRIBUTE,
g.fileName, x, x.getText(), expr);
}
else {
ErrorManager.grammarError(ErrorType.UNKNOWN_ATTRIBUTE_IN_SCOPE,
g.fileName, y, y.getText(), expr);
}
ErrorManager.grammarError(ErrorType.UNKNOWN_ATTRIBUTE_IN_SCOPE,
g.fileName, y, y.getText(), expr);
return;
}
}
@ -101,12 +102,12 @@ public class AttributeChecks implements ActionSplitterListener {
new AttributeChecks(g, r, alt, node, rhs).examineAction();
}
public void attr(String expr, Token x) { // arg, retval, predefined, token ref, rule ref, current rule
public void attr(String expr, Token x) {
if ( node.resolver.resolveToAttribute(x.getText(), node)==null ) {
if ( node.resolver.resolveToScope(x.getText(), node)!=null ) {
if ( node.resolver.resolveToDynamicScope(x.getText(), node)!=null ) {
return; // $S for scope S is ok
}
if ( node.resolver.resolveToRule(x.getText(), node)!=null ) { // or in rule and is rule ref
if ( node.resolver.resolveToRule(x.getText(), node)!=null ) {
ErrorManager.grammarError(ErrorType.ISOLATED_RULE_SCOPE,
g.fileName, x, x.getText(), expr);
return;
@ -124,7 +125,7 @@ public class AttributeChecks implements ActionSplitterListener {
public void dynamicScopeAttr(String expr, Token x, Token y) {
//System.out.println(x+" :: "+y);
AttributeScope s = node.resolver.resolveToDynamicScope(x.getText(), node);
AttributeDict s = node.resolver.resolveToDynamicScope(x.getText(), node);
if ( s==null ) {
ErrorManager.grammarError(ErrorType.UNKNOWN_DYNAMIC_SCOPE,
g.fileName, x, x.getText(), expr);

2
tool/src/org/antlr/v4/semantics/BasicSemanticTriggers.java
View File

@ -1,4 +1,4 @@
// $ANTLR ${project.version} ${buildNumber} BasicSemanticTriggers.g 2010-02-15 16:36:20
// $ANTLR ${project.version} ${buildNumber} BasicSemanticTriggers.g 2010-02-16 12:43:07
/*
[The "BSD license"]

7
tool/src/org/antlr/v4/semantics/CollectSymbols.g
View File

@ -80,7 +80,7 @@ public List<GrammarAST> terminals = new ArrayList<GrammarAST>();
public List<GrammarAST> tokenIDRefs = new ArrayList<GrammarAST>();
public List<GrammarAST> strings = new ArrayList<GrammarAST>();
public List<GrammarAST> tokensDefs = new ArrayList<GrammarAST>();
public List<AttributeScope> scopes = new ArrayList<AttributeScope>();
public List<AttributeDict> scopes = new ArrayList<AttributeDict>();
public List<GrammarAST> actions = new ArrayList<GrammarAST>();
Grammar g; // which grammar are we checking
public CollectSymbols(TreeNodeStream input, Grammar g) {
@ -97,6 +97,7 @@ topdown
| rule
| ruleArg
| ruleReturns
| ruleNamedAction
| ruleScopeSpec
| ruleref
| rewriteElement // make sure we check this before terminal etc...
@ -116,7 +117,7 @@ bottomup
globalScope
: {inContext("GRAMMAR")}? ^(SCOPE ID ACTION)
{
AttributeScope s = ScopeParser.parseDynamicScope($ACTION.text);
AttributeDict s = ScopeParser.parseDynamicScope($ACTION.text);
s.name = $ID.text;
s.ast = $ACTION;
scopes.add(s);
@ -167,7 +168,7 @@ ruleNamedAction
ruleAction
: {inContext("RULE ...")&&!inContext("SCOPE")&&
!inContext("CATCH")&&!inContext("FINALLY")}?
!inContext("CATCH")&&!inContext("FINALLY")&&!inContext("AT")}?
ACTION
{
currentRule.alt[currentAlt].actions.add((ActionAST)$ACTION);

488
tool/src/org/antlr/v4/semantics/CollectSymbols.java
View File

@ -1,4 +1,4 @@
// $ANTLR ${project.version} ${buildNumber} CollectSymbols.g 2010-02-15 16:36:20
// $ANTLR ${project.version} ${buildNumber} CollectSymbols.g 2010-02-16 12:43:06
/*
[The "BSD license"]
@ -167,7 +167,7 @@ public class CollectSymbols extends org.antlr.v4.runtime.tree.TreeFilter {
public List<GrammarAST> tokenIDRefs = new ArrayList<GrammarAST>();
public List<GrammarAST> strings = new ArrayList<GrammarAST>();
public List<GrammarAST> tokensDefs = new ArrayList<GrammarAST>();
public List<AttributeScope> scopes = new ArrayList<AttributeScope>();
public List<AttributeDict> scopes = new ArrayList<AttributeDict>();
public List<GrammarAST> actions = new ArrayList<GrammarAST>();
Grammar g; // which grammar are we checking
public CollectSymbols(TreeNodeStream input, Grammar g) {
@ -178,11 +178,11 @@ public class CollectSymbols extends org.antlr.v4.runtime.tree.TreeFilter {
// $ANTLR start "topdown"
// CollectSymbols.g:92:1: topdown : ( globalScope | globalNamedAction | tokensSection | rule | ruleArg | ruleReturns | ruleScopeSpec | ruleref | rewriteElement | terminal | labeledElement | setAlt | ruleAction | finallyClause | exceptionHandler );
// CollectSymbols.g:92:1: topdown : ( globalScope | globalNamedAction | tokensSection | rule | ruleArg | ruleReturns | ruleNamedAction | ruleScopeSpec | ruleref | rewriteElement | terminal | labeledElement | setAlt | ruleAction | finallyClause | exceptionHandler );
public final void topdown() throws RecognitionException {
try {
// CollectSymbols.g:94:5: ( globalScope | globalNamedAction | tokensSection | rule | ruleArg | ruleReturns | ruleScopeSpec | ruleref | rewriteElement | terminal | labeledElement | setAlt | ruleAction | finallyClause | exceptionHandler )
int alt1=15;
// CollectSymbols.g:94:5: ( globalScope | globalNamedAction | tokensSection | rule | ruleArg | ruleReturns | ruleNamedAction | ruleScopeSpec | ruleref | rewriteElement | terminal | labeledElement | setAlt | ruleAction | finallyClause | exceptionHandler )
int alt1=16;
alt1 = dfa1.predict(input);
switch (alt1) {
case 1 :
@ -252,10 +252,10 @@ public class CollectSymbols extends org.antlr.v4.runtime.tree.TreeFilter {
}
break;
case 7 :
// CollectSymbols.g:100:7: ruleScopeSpec
// CollectSymbols.g:100:7: ruleNamedAction
{
pushFollow(FOLLOW_ruleScopeSpec_in_topdown145);
ruleScopeSpec();
pushFollow(FOLLOW_ruleNamedAction_in_topdown145);
ruleNamedAction();
state._fsp--;
if (state.failed) return ;
@ -263,10 +263,10 @@ public class CollectSymbols extends org.antlr.v4.runtime.tree.TreeFilter {
}
break;
case 8 :
// CollectSymbols.g:101:7: ruleref
// CollectSymbols.g:101:7: ruleScopeSpec
{
pushFollow(FOLLOW_ruleref_in_topdown153);
ruleref();
pushFollow(FOLLOW_ruleScopeSpec_in_topdown153);
ruleScopeSpec();
state._fsp--;
if (state.failed) return ;
@ -274,10 +274,10 @@ public class CollectSymbols extends org.antlr.v4.runtime.tree.TreeFilter {
}
break;
case 9 :
// CollectSymbols.g:102:7: rewriteElement
// CollectSymbols.g:102:7: ruleref
{
pushFollow(FOLLOW_rewriteElement_in_topdown161);
rewriteElement();
pushFollow(FOLLOW_ruleref_in_topdown161);
ruleref();
state._fsp--;
if (state.failed) return ;
@ -285,10 +285,10 @@ public class CollectSymbols extends org.antlr.v4.runtime.tree.TreeFilter {
}
break;
case 10 :
// CollectSymbols.g:104:7: terminal
// CollectSymbols.g:103:7: rewriteElement
{
pushFollow(FOLLOW_terminal_in_topdown182);
terminal();
pushFollow(FOLLOW_rewriteElement_in_topdown169);
rewriteElement();
state._fsp--;
if (state.failed) return ;
@ -296,10 +296,10 @@ public class CollectSymbols extends org.antlr.v4.runtime.tree.TreeFilter {
}
break;
case 11 :
// CollectSymbols.g:105:7: labeledElement
// CollectSymbols.g:105:7: terminal
{
pushFollow(FOLLOW_labeledElement_in_topdown190);
labeledElement();
pushFollow(FOLLOW_terminal_in_topdown190);
terminal();
state._fsp--;
if (state.failed) return ;
@ -307,10 +307,10 @@ public class CollectSymbols extends org.antlr.v4.runtime.tree.TreeFilter {
}
break;
case 12 :
// CollectSymbols.g:106:7: setAlt
// CollectSymbols.g:106:7: labeledElement
{
pushFollow(FOLLOW_setAlt_in_topdown198);
setAlt();
pushFollow(FOLLOW_labeledElement_in_topdown198);
labeledElement();
state._fsp--;
if (state.failed) return ;
@ -318,10 +318,10 @@ public class CollectSymbols extends org.antlr.v4.runtime.tree.TreeFilter {
}
break;
case 13 :
// CollectSymbols.g:107:7: ruleAction
// CollectSymbols.g:107:7: setAlt
{
pushFollow(FOLLOW_ruleAction_in_topdown206);
ruleAction();
pushFollow(FOLLOW_setAlt_in_topdown206);
setAlt();
state._fsp--;
if (state.failed) return ;
@ -329,10 +329,10 @@ public class CollectSymbols extends org.antlr.v4.runtime.tree.TreeFilter {
}
break;
case 14 :
// CollectSymbols.g:108:7: finallyClause
// CollectSymbols.g:108:7: ruleAction
{
pushFollow(FOLLOW_finallyClause_in_topdown214);
finallyClause();
pushFollow(FOLLOW_ruleAction_in_topdown214);
ruleAction();
state._fsp--;
if (state.failed) return ;
@ -340,9 +340,20 @@ public class CollectSymbols extends org.antlr.v4.runtime.tree.TreeFilter {
}
break;
case 15 :
// CollectSymbols.g:109:7: exceptionHandler
// CollectSymbols.g:109:7: finallyClause
{
pushFollow(FOLLOW_exceptionHandler_in_topdown222);
pushFollow(FOLLOW_finallyClause_in_topdown222);
finallyClause();
state._fsp--;
if (state.failed) return ;
}
break;
case 16 :
// CollectSymbols.g:110:7: exceptionHandler
{
pushFollow(FOLLOW_exceptionHandler_in_topdown230);
exceptionHandler();
state._fsp--;
@ -365,13 +376,13 @@ public class CollectSymbols extends org.antlr.v4.runtime.tree.TreeFilter {
// $ANTLR start "bottomup"
// CollectSymbols.g:112:1: bottomup : finishRule ;
// CollectSymbols.g:113:1: bottomup : finishRule ;
public final void bottomup() throws RecognitionException {
try {
// CollectSymbols.g:113:2: ( finishRule )
// CollectSymbols.g:113:4: finishRule
// CollectSymbols.g:114:2: ( finishRule )
// CollectSymbols.g:114:4: finishRule
{
pushFollow(FOLLOW_finishRule_in_bottomup233);
pushFollow(FOLLOW_finishRule_in_bottomup241);
finishRule();
state._fsp--;
@ -392,29 +403,29 @@ public class CollectSymbols extends org.antlr.v4.runtime.tree.TreeFilter {
// $ANTLR start "globalScope"
// CollectSymbols.g:116:1: globalScope : {...}? ^( SCOPE ID ACTION ) ;
// CollectSymbols.g:117:1: globalScope : {...}? ^( SCOPE ID ACTION ) ;
public final void globalScope() throws RecognitionException {
GrammarAST ACTION1=null;
GrammarAST ID2=null;
try {
// CollectSymbols.g:117:2: ({...}? ^( SCOPE ID ACTION ) )
// CollectSymbols.g:117:4: {...}? ^( SCOPE ID ACTION )
// CollectSymbols.g:118:2: ({...}? ^( SCOPE ID ACTION ) )
// CollectSymbols.g:118:4: {...}? ^( SCOPE ID ACTION )
{
if ( !((inContext("GRAMMAR"))) ) {
if (state.backtracking>0) {state.failed=true; return ;}
throw new FailedPredicateException(input, "globalScope", "inContext(\"GRAMMAR\")");
}
match(input,SCOPE,FOLLOW_SCOPE_in_globalScope247); if (state.failed) return ;
match(input,SCOPE,FOLLOW_SCOPE_in_globalScope255); if (state.failed) return ;
match(input, Token.DOWN, null); if (state.failed) return ;
ID2=(GrammarAST)match(input,ID,FOLLOW_ID_in_globalScope249); if (state.failed) return ;
ACTION1=(GrammarAST)match(input,ACTION,FOLLOW_ACTION_in_globalScope251); if (state.failed) return ;
ID2=(GrammarAST)match(input,ID,FOLLOW_ID_in_globalScope257); if (state.failed) return ;
ACTION1=(GrammarAST)match(input,ACTION,FOLLOW_ACTION_in_globalScope259); if (state.failed) return ;
match(input, Token.UP, null); if (state.failed) return ;
if ( state.backtracking==1 ) {
AttributeScope s = ScopeParser.parseDynamicScope((ACTION1!=null?ACTION1.getText():null));
AttributeDict s = ScopeParser.parseDynamicScope((ACTION1!=null?ACTION1.getText():null));
s.name = (ID2!=null?ID2.getText():null);
s.ast = ACTION1;
scopes.add(s);
@ -436,23 +447,23 @@ public class CollectSymbols extends org.antlr.v4.runtime.tree.TreeFilter {
// $ANTLR start "globalNamedAction"
// CollectSymbols.g:126:1: globalNamedAction : {...}? ^( AT ( ID )? ID ACTION ) ;
// CollectSymbols.g:127:1: globalNamedAction : {...}? ^( AT ( ID )? ID ACTION ) ;
public final void globalNamedAction() throws RecognitionException {
GrammarAST AT3=null;
GrammarAST ACTION4=null;
try {
// CollectSymbols.g:127:2: ({...}? ^( AT ( ID )? ID ACTION ) )
// CollectSymbols.g:127:4: {...}? ^( AT ( ID )? ID ACTION )
// CollectSymbols.g:128:2: ({...}? ^( AT ( ID )? ID ACTION ) )
// CollectSymbols.g:128:4: {...}? ^( AT ( ID )? ID ACTION )
{
if ( !((inContext("GRAMMAR"))) ) {
if (state.backtracking>0) {state.failed=true; return ;}
throw new FailedPredicateException(input, "globalNamedAction", "inContext(\"GRAMMAR\")");
}
AT3=(GrammarAST)match(input,AT,FOLLOW_AT_in_globalNamedAction270); if (state.failed) return ;
AT3=(GrammarAST)match(input,AT,FOLLOW_AT_in_globalNamedAction278); if (state.failed) return ;
match(input, Token.DOWN, null); if (state.failed) return ;
// CollectSymbols.g:127:33: ( ID )?
// CollectSymbols.g:128:33: ( ID )?
int alt2=2;
int LA2_0 = input.LA(1);
@ -465,17 +476,17 @@ public class CollectSymbols extends org.antlr.v4.runtime.tree.TreeFilter {
}
switch (alt2) {
case 1 :
// CollectSymbols.g:127:33: ID
// CollectSymbols.g:128:33: ID
{
match(input,ID,FOLLOW_ID_in_globalNamedAction272); if (state.failed) return ;
match(input,ID,FOLLOW_ID_in_globalNamedAction280); if (state.failed) return ;
}
break;
}
match(input,ID,FOLLOW_ID_in_globalNamedAction275); if (state.failed) return ;
ACTION4=(GrammarAST)match(input,ACTION,FOLLOW_ACTION_in_globalNamedAction277); if (state.failed) return ;
match(input,ID,FOLLOW_ID_in_globalNamedAction283); if (state.failed) return ;
ACTION4=(GrammarAST)match(input,ACTION,FOLLOW_ACTION_in_globalNamedAction285); if (state.failed) return ;
match(input, Token.UP, null); if (state.failed) return ;
if ( state.backtracking==1 ) {
@ -497,21 +508,21 @@ public class CollectSymbols extends org.antlr.v4.runtime.tree.TreeFilter {
// $ANTLR start "tokensSection"
// CollectSymbols.g:131:1: tokensSection : {...}? ( ^( ASSIGN t= ID STRING_LITERAL ) | t= ID ) ;
// CollectSymbols.g:132:1: tokensSection : {...}? ( ^( ASSIGN t= ID STRING_LITERAL ) | t= ID ) ;
public final void tokensSection() throws RecognitionException {
GrammarAST t=null;
GrammarAST ASSIGN5=null;
GrammarAST STRING_LITERAL6=null;
try {
// CollectSymbols.g:132:2: ({...}? ( ^( ASSIGN t= ID STRING_LITERAL ) | t= ID ) )
// CollectSymbols.g:132:4: {...}? ( ^( ASSIGN t= ID STRING_LITERAL ) | t= ID )
// CollectSymbols.g:133:2: ({...}? ( ^( ASSIGN t= ID STRING_LITERAL ) | t= ID ) )
// CollectSymbols.g:133:4: {...}? ( ^( ASSIGN t= ID STRING_LITERAL ) | t= ID )
{
if ( !((inContext("TOKENS"))) ) {
if (state.backtracking>0) {state.failed=true; return ;}
throw new FailedPredicateException(input, "tokensSection", "inContext(\"TOKENS\")");
}
// CollectSymbols.g:133:3: ( ^( ASSIGN t= ID STRING_LITERAL ) | t= ID )
// CollectSymbols.g:134:3: ( ^( ASSIGN t= ID STRING_LITERAL ) | t= ID )
int alt3=2;
int LA3_0 = input.LA(1);
@ -530,13 +541,13 @@ public class CollectSymbols extends org.antlr.v4.runtime.tree.TreeFilter {
}
switch (alt3) {
case 1 :
// CollectSymbols.g:133:5: ^( ASSIGN t= ID STRING_LITERAL )
// CollectSymbols.g:134:5: ^( ASSIGN t= ID STRING_LITERAL )
{
ASSIGN5=(GrammarAST)match(input,ASSIGN,FOLLOW_ASSIGN_in_tokensSection300); if (state.failed) return ;
ASSIGN5=(GrammarAST)match(input,ASSIGN,FOLLOW_ASSIGN_in_tokensSection308); if (state.failed) return ;
match(input, Token.DOWN, null); if (state.failed) return ;
t=(GrammarAST)match(input,ID,FOLLOW_ID_in_tokensSection304); if (state.failed) return ;
STRING_LITERAL6=(GrammarAST)match(input,STRING_LITERAL,FOLLOW_STRING_LITERAL_in_tokensSection306); if (state.failed) return ;
t=(GrammarAST)match(input,ID,FOLLOW_ID_in_tokensSection312); if (state.failed) return ;
STRING_LITERAL6=(GrammarAST)match(input,STRING_LITERAL,FOLLOW_STRING_LITERAL_in_tokensSection314); if (state.failed) return ;
match(input, Token.UP, null); if (state.failed) return ;
if ( state.backtracking==1 ) {
@ -547,9 +558,9 @@ public class CollectSymbols extends org.antlr.v4.runtime.tree.TreeFilter {
}
break;
case 2 :
// CollectSymbols.g:136:5: t= ID
// CollectSymbols.g:137:5: t= ID
{
t=(GrammarAST)match(input,ID,FOLLOW_ID_in_tokensSection320); if (state.failed) return ;
t=(GrammarAST)match(input,ID,FOLLOW_ID_in_tokensSection328); if (state.failed) return ;
if ( state.backtracking==1 ) {
terminals.add(t); tokenIDRefs.add(t); tokensDefs.add(t);
}
@ -575,20 +586,20 @@ public class CollectSymbols extends org.antlr.v4.runtime.tree.TreeFilter {
// $ANTLR start "rule"
// CollectSymbols.g:141:1: rule : ^( RULE name= ID ( . )+ ) ;
// CollectSymbols.g:142:1: rule : ^( RULE name= ID ( . )+ ) ;
public final void rule() throws RecognitionException {
GrammarAST name=null;
GrammarAST RULE7=null;
try {
// CollectSymbols.g:141:5: ( ^( RULE name= ID ( . )+ ) )
// CollectSymbols.g:141:9: ^( RULE name= ID ( . )+ )
// CollectSymbols.g:142:5: ( ^( RULE name= ID ( . )+ ) )
// CollectSymbols.g:142:9: ^( RULE name= ID ( . )+ )
{
RULE7=(GrammarAST)match(input,RULE,FOLLOW_RULE_in_rule342); if (state.failed) return ;
RULE7=(GrammarAST)match(input,RULE,FOLLOW_RULE_in_rule350); if (state.failed) return ;
match(input, Token.DOWN, null); if (state.failed) return ;
name=(GrammarAST)match(input,ID,FOLLOW_ID_in_rule346); if (state.failed) return ;
// CollectSymbols.g:141:25: ( . )+
name=(GrammarAST)match(input,ID,FOLLOW_ID_in_rule354); if (state.failed) return ;
// CollectSymbols.g:142:25: ( . )+
int cnt4=0;
loop4:
do {
@ -605,7 +616,7 @@ public class CollectSymbols extends org.antlr.v4.runtime.tree.TreeFilter {
switch (alt4) {
case 1 :
// CollectSymbols.g:141:25: .
// CollectSymbols.g:142:25: .
{
matchAny(input); if (state.failed) return ;
@ -651,14 +662,14 @@ public class CollectSymbols extends org.antlr.v4.runtime.tree.TreeFilter {
};
// $ANTLR start "setAlt"
// CollectSymbols.g:151:1: setAlt : {...}? ( ALT | ALT_REWRITE ) ;
// CollectSymbols.g:152:1: setAlt : {...}? ( ALT | ALT_REWRITE ) ;
public final CollectSymbols.setAlt_return setAlt() throws RecognitionException {
CollectSymbols.setAlt_return retval = new CollectSymbols.setAlt_return();
retval.start = input.LT(1);
try {
// CollectSymbols.g:152:2: ({...}? ( ALT | ALT_REWRITE ) )
// CollectSymbols.g:152:4: {...}? ( ALT | ALT_REWRITE )
// CollectSymbols.g:153:2: ({...}? ( ALT | ALT_REWRITE ) )
// CollectSymbols.g:153:4: {...}? ( ALT | ALT_REWRITE )
{
if ( !((inContext("RULE BLOCK"))) ) {
if (state.backtracking>0) {state.failed=true; return retval;}
@ -693,13 +704,13 @@ public class CollectSymbols extends org.antlr.v4.runtime.tree.TreeFilter {
// $ANTLR start "finishRule"
// CollectSymbols.g:156:1: finishRule : RULE ;
// CollectSymbols.g:157:1: finishRule : RULE ;
public final void finishRule() throws RecognitionException {
try {
// CollectSymbols.g:157:2: ( RULE )
// CollectSymbols.g:157:4: RULE
// CollectSymbols.g:158:2: ( RULE )
// CollectSymbols.g:158:4: RULE
{
match(input,RULE,FOLLOW_RULE_in_finishRule394); if (state.failed) return ;
match(input,RULE,FOLLOW_RULE_in_finishRule402); if (state.failed) return ;
if ( state.backtracking==1 ) {
currentRule = null;
}
@ -719,24 +730,24 @@ public class CollectSymbols extends org.antlr.v4.runtime.tree.TreeFilter {
// $ANTLR start "ruleNamedAction"
// CollectSymbols.g:160:1: ruleNamedAction : {...}? ^( AT ID ACTION ) ;
// CollectSymbols.g:161:1: ruleNamedAction : {...}? ^( AT ID ACTION ) ;
public final void ruleNamedAction() throws RecognitionException {
GrammarAST ID8=null;
GrammarAST ACTION9=null;
try {
// CollectSymbols.g:161:2: ({...}? ^( AT ID ACTION ) )
// CollectSymbols.g:161:4: {...}? ^( AT ID ACTION )
// CollectSymbols.g:162:2: ({...}? ^( AT ID ACTION ) )
// CollectSymbols.g:162:4: {...}? ^( AT ID ACTION )
{
if ( !((inContext("RULE"))) ) {
if (state.backtracking>0) {state.failed=true; return ;}
throw new FailedPredicateException(input, "ruleNamedAction", "inContext(\"RULE\")");
}
match(input,AT,FOLLOW_AT_in_ruleNamedAction410); if (state.failed) return ;
match(input,AT,FOLLOW_AT_in_ruleNamedAction418); if (state.failed) return ;
match(input, Token.DOWN, null); if (state.failed) return ;
ID8=(GrammarAST)match(input,ID,FOLLOW_ID_in_ruleNamedAction412); if (state.failed) return ;
ACTION9=(GrammarAST)match(input,ACTION,FOLLOW_ACTION_in_ruleNamedAction414); if (state.failed) return ;
ID8=(GrammarAST)match(input,ID,FOLLOW_ID_in_ruleNamedAction420); if (state.failed) return ;
ACTION9=(GrammarAST)match(input,ACTION,FOLLOW_ACTION_in_ruleNamedAction422); if (state.failed) return ;
match(input, Token.UP, null); if (state.failed) return ;
if ( state.backtracking==1 ) {
@ -761,20 +772,20 @@ public class CollectSymbols extends org.antlr.v4.runtime.tree.TreeFilter {
// $ANTLR start "ruleAction"
// CollectSymbols.g:168:1: ruleAction : {...}? ACTION ;
// CollectSymbols.g:169:1: ruleAction : {...}? ACTION ;
public final void ruleAction() throws RecognitionException {
GrammarAST ACTION10=null;
try {
// CollectSymbols.g:169:2: ({...}? ACTION )
// CollectSymbols.g:169:4: {...}? ACTION
// CollectSymbols.g:170:2: ({...}? ACTION )
// CollectSymbols.g:170:4: {...}? ACTION
{
if ( !((inContext("RULE ...")&&!inContext("SCOPE")&&
!inContext("CATCH")&&!inContext("FINALLY"))) ) {
!inContext("CATCH")&&!inContext("FINALLY")&&!inContext("AT"))) ) {
if (state.backtracking>0) {state.failed=true; return ;}
throw new FailedPredicateException(input, "ruleAction", "inContext(\"RULE ...\")&&!inContext(\"SCOPE\")&&\n\t\t !inContext(\"CATCH\")&&!inContext(\"FINALLY\")");
throw new FailedPredicateException(input, "ruleAction", "inContext(\"RULE ...\")&&!inContext(\"SCOPE\")&&\n\t\t !inContext(\"CATCH\")&&!inContext(\"FINALLY\")&&!inContext(\"AT\")");
}
ACTION10=(GrammarAST)match(input,ACTION,FOLLOW_ACTION_in_ruleAction434); if (state.failed) return ;
ACTION10=(GrammarAST)match(input,ACTION,FOLLOW_ACTION_in_ruleAction442); if (state.failed) return ;
if ( state.backtracking==1 ) {
currentRule.alt[currentAlt].actions.add((ActionAST)ACTION10);
@ -797,19 +808,19 @@ public class CollectSymbols extends org.antlr.v4.runtime.tree.TreeFilter {
// $ANTLR start "exceptionHandler"
// CollectSymbols.g:178:1: exceptionHandler : ^( CATCH ARG_ACTION ACTION ) ;
// CollectSymbols.g:179:1: exceptionHandler : ^( CATCH ARG_ACTION ACTION ) ;
public final void exceptionHandler() throws RecognitionException {
GrammarAST ACTION11=null;
try {
// CollectSymbols.g:179:2: ( ^( CATCH ARG_ACTION ACTION ) )
// CollectSymbols.g:179:4: ^( CATCH ARG_ACTION ACTION )
// CollectSymbols.g:180:2: ( ^( CATCH ARG_ACTION ACTION ) )
// CollectSymbols.g:180:4: ^( CATCH ARG_ACTION ACTION )
{
match(input,CATCH,FOLLOW_CATCH_in_exceptionHandler450); if (state.failed) return ;
match(input,CATCH,FOLLOW_CATCH_in_exceptionHandler458); if (state.failed) return ;
match(input, Token.DOWN, null); if (state.failed) return ;
match(input,ARG_ACTION,FOLLOW_ARG_ACTION_in_exceptionHandler452); if (state.failed) return ;
ACTION11=(GrammarAST)match(input,ACTION,FOLLOW_ACTION_in_exceptionHandler454); if (state.failed) return ;
match(input,ARG_ACTION,FOLLOW_ARG_ACTION_in_exceptionHandler460); if (state.failed) return ;
ACTION11=(GrammarAST)match(input,ACTION,FOLLOW_ACTION_in_exceptionHandler462); if (state.failed) return ;
match(input, Token.UP, null); if (state.failed) return ;
if ( state.backtracking==1 ) {
@ -834,18 +845,18 @@ public class CollectSymbols extends org.antlr.v4.runtime.tree.TreeFilter {
// $ANTLR start "finallyClause"
// CollectSymbols.g:186:1: finallyClause : ^( FINALLY ACTION ) ;
// CollectSymbols.g:187:1: finallyClause : ^( FINALLY ACTION ) ;
public final void finallyClause() throws RecognitionException {
GrammarAST ACTION12=null;
try {
// CollectSymbols.g:187:2: ( ^( FINALLY ACTION ) )
// CollectSymbols.g:187:4: ^( FINALLY ACTION )
// CollectSymbols.g:188:2: ( ^( FINALLY ACTION ) )
// CollectSymbols.g:188:4: ^( FINALLY ACTION )
{
match(input,FINALLY,FOLLOW_FINALLY_in_finallyClause471); if (state.failed) return ;
match(input,FINALLY,FOLLOW_FINALLY_in_finallyClause479); if (state.failed) return ;
match(input, Token.DOWN, null); if (state.failed) return ;
ACTION12=(GrammarAST)match(input,ACTION,FOLLOW_ACTION_in_finallyClause473); if (state.failed) return ;
ACTION12=(GrammarAST)match(input,ACTION,FOLLOW_ACTION_in_finallyClause481); if (state.failed) return ;
match(input, Token.UP, null); if (state.failed) return ;
if ( state.backtracking==1 ) {
@ -870,19 +881,19 @@ public class CollectSymbols extends org.antlr.v4.runtime.tree.TreeFilter {
// $ANTLR start "ruleArg"
// CollectSymbols.g:194:1: ruleArg : {...}? ARG_ACTION ;
// CollectSymbols.g:195:1: ruleArg : {...}? ARG_ACTION ;
public final void ruleArg() throws RecognitionException {
GrammarAST ARG_ACTION13=null;
try {
// CollectSymbols.g:195:2: ({...}? ARG_ACTION )
// CollectSymbols.g:195:4: {...}? ARG_ACTION
// CollectSymbols.g:196:2: ({...}? ARG_ACTION )
// CollectSymbols.g:196:4: {...}? ARG_ACTION
{
if ( !((inContext("RULE"))) ) {
if (state.backtracking>0) {state.failed=true; return ;}
throw new FailedPredicateException(input, "ruleArg", "inContext(\"RULE\")");
}
ARG_ACTION13=(GrammarAST)match(input,ARG_ACTION,FOLLOW_ARG_ACTION_in_ruleArg493); if (state.failed) return ;
ARG_ACTION13=(GrammarAST)match(input,ARG_ACTION,FOLLOW_ARG_ACTION_in_ruleArg501); if (state.failed) return ;
if ( state.backtracking==1 ) {
currentRule.args = ScopeParser.parseTypeList((ARG_ACTION13!=null?ARG_ACTION13.getText():null));
@ -905,18 +916,18 @@ public class CollectSymbols extends org.antlr.v4.runtime.tree.TreeFilter {
// $ANTLR start "ruleReturns"
// CollectSymbols.g:202:1: ruleReturns : ^( RETURNS ARG_ACTION ) ;
// CollectSymbols.g:203:1: ruleReturns : ^( RETURNS ARG_ACTION ) ;
public final void ruleReturns() throws RecognitionException {
GrammarAST ARG_ACTION14=null;
try {
// CollectSymbols.g:203:2: ( ^( RETURNS ARG_ACTION ) )
// CollectSymbols.g:203:4: ^( RETURNS ARG_ACTION )
// CollectSymbols.g:204:2: ( ^( RETURNS ARG_ACTION ) )
// CollectSymbols.g:204:4: ^( RETURNS ARG_ACTION )
{
match(input,RETURNS,FOLLOW_RETURNS_in_ruleReturns510); if (state.failed) return ;
match(input,RETURNS,FOLLOW_RETURNS_in_ruleReturns518); if (state.failed) return ;
match(input, Token.DOWN, null); if (state.failed) return ;
ARG_ACTION14=(GrammarAST)match(input,ARG_ACTION,FOLLOW_ARG_ACTION_in_ruleReturns512); if (state.failed) return ;
ARG_ACTION14=(GrammarAST)match(input,ARG_ACTION,FOLLOW_ARG_ACTION_in_ruleReturns520); if (state.failed) return ;
match(input, Token.UP, null); if (state.failed) return ;
if ( state.backtracking==1 ) {
@ -941,21 +952,21 @@ public class CollectSymbols extends org.antlr.v4.runtime.tree.TreeFilter {
// $ANTLR start "ruleScopeSpec"
// CollectSymbols.g:210:1: ruleScopeSpec : {...}? ( ^( SCOPE ACTION ) | ^( SCOPE (ids+= ID )+ ) ) ;
// CollectSymbols.g:211:1: ruleScopeSpec : {...}? ( ^( SCOPE ACTION ) | ^( SCOPE (ids+= ID )+ ) ) ;
public final void ruleScopeSpec() throws RecognitionException {
GrammarAST ACTION15=null;
GrammarAST ids=null;
List list_ids=null;
try {
// CollectSymbols.g:211:2: ({...}? ( ^( SCOPE ACTION ) | ^( SCOPE (ids+= ID )+ ) ) )
// CollectSymbols.g:211:4: {...}? ( ^( SCOPE ACTION ) | ^( SCOPE (ids+= ID )+ ) )
// CollectSymbols.g:212:2: ({...}? ( ^( SCOPE ACTION ) | ^( SCOPE (ids+= ID )+ ) ) )
// CollectSymbols.g:212:4: {...}? ( ^( SCOPE ACTION ) | ^( SCOPE (ids+= ID )+ ) )
{
if ( !((inContext("RULE"))) ) {
if (state.backtracking>0) {state.failed=true; return ;}
throw new FailedPredicateException(input, "ruleScopeSpec", "inContext(\"RULE\")");
}
// CollectSymbols.g:212:3: ( ^( SCOPE ACTION ) | ^( SCOPE (ids+= ID )+ ) )
// CollectSymbols.g:213:3: ( ^( SCOPE ACTION ) | ^( SCOPE (ids+= ID )+ ) )
int alt6=2;
int LA6_0 = input.LA(1);
@ -996,12 +1007,12 @@ public class CollectSymbols extends org.antlr.v4.runtime.tree.TreeFilter {
}
switch (alt6) {
case 1 :
// CollectSymbols.g:212:5: ^( SCOPE ACTION )
// CollectSymbols.g:213:5: ^( SCOPE ACTION )
{
match(input,SCOPE,FOLLOW_SCOPE_in_ruleScopeSpec535); if (state.failed) return ;
match(input,SCOPE,FOLLOW_SCOPE_in_ruleScopeSpec543); if (state.failed) return ;
match(input, Token.DOWN, null); if (state.failed) return ;
ACTION15=(GrammarAST)match(input,ACTION,FOLLOW_ACTION_in_ruleScopeSpec537); if (state.failed) return ;
ACTION15=(GrammarAST)match(input,ACTION,FOLLOW_ACTION_in_ruleScopeSpec545); if (state.failed) return ;
match(input, Token.UP, null); if (state.failed) return ;
if ( state.backtracking==1 ) {
@ -1015,12 +1026,12 @@ public class CollectSymbols extends org.antlr.v4.runtime.tree.TreeFilter {
}
break;
case 2 :
// CollectSymbols.g:218:5: ^( SCOPE (ids+= ID )+ )
// CollectSymbols.g:219:5: ^( SCOPE (ids+= ID )+ )
{
match(input,SCOPE,FOLLOW_SCOPE_in_ruleScopeSpec550); if (state.failed) return ;
match(input,SCOPE,FOLLOW_SCOPE_in_ruleScopeSpec558); if (state.failed) return ;
match(input, Token.DOWN, null); if (state.failed) return ;
// CollectSymbols.g:218:16: (ids+= ID )+
// CollectSymbols.g:219:16: (ids+= ID )+
int cnt5=0;
loop5:
do {
@ -1034,9 +1045,9 @@ public class CollectSymbols extends org.antlr.v4.runtime.tree.TreeFilter {
switch (alt5) {
case 1 :
// CollectSymbols.g:218:16: ids+= ID
// CollectSymbols.g:219:16: ids+= ID
{
ids=(GrammarAST)match(input,ID,FOLLOW_ID_in_ruleScopeSpec554); if (state.failed) return ;
ids=(GrammarAST)match(input,ID,FOLLOW_ID_in_ruleScopeSpec562); if (state.failed) return ;
if (list_ids==null) list_ids=new ArrayList();
list_ids.add(ids);
@ -1083,14 +1094,14 @@ public class CollectSymbols extends org.antlr.v4.runtime.tree.TreeFilter {
};
// $ANTLR start "rewriteElement"
// CollectSymbols.g:222:1: rewriteElement : {...}? ( TOKEN_REF | RULE_REF | STRING_LITERAL | LABEL ) ;
// CollectSymbols.g:223:1: rewriteElement : {...}? ( TOKEN_REF | RULE_REF | STRING_LITERAL | LABEL ) ;
public final CollectSymbols.rewriteElement_return rewriteElement() throws RecognitionException {
CollectSymbols.rewriteElement_return retval = new CollectSymbols.rewriteElement_return();
retval.start = input.LT(1);
try {
// CollectSymbols.g:224:2: ({...}? ( TOKEN_REF | RULE_REF | STRING_LITERAL | LABEL ) )
// CollectSymbols.g:225:6: {...}? ( TOKEN_REF | RULE_REF | STRING_LITERAL | LABEL )
// CollectSymbols.g:225:2: ({...}? ( TOKEN_REF | RULE_REF | STRING_LITERAL | LABEL ) )
// CollectSymbols.g:226:6: {...}? ( TOKEN_REF | RULE_REF | STRING_LITERAL | LABEL )
{
if ( !((inContext("RESULT ..."))) ) {
if (state.backtracking>0) {state.failed=true; return retval;}
@ -1127,7 +1138,7 @@ public class CollectSymbols extends org.antlr.v4.runtime.tree.TreeFilter {
};
// $ANTLR start "labeledElement"
// CollectSymbols.g:229:1: labeledElement : {...}? ( ^( ASSIGN id= ID e= . ) | ^( PLUS_ASSIGN id= ID e= . ) ) ;
// CollectSymbols.g:230:1: labeledElement : {...}? ( ^( ASSIGN id= ID e= . ) | ^( PLUS_ASSIGN id= ID e= . ) ) ;
public final CollectSymbols.labeledElement_return labeledElement() throws RecognitionException {
CollectSymbols.labeledElement_return retval = new CollectSymbols.labeledElement_return();
retval.start = input.LT(1);
@ -1136,14 +1147,14 @@ public class CollectSymbols extends org.antlr.v4.runtime.tree.TreeFilter {
GrammarAST e=null;
try {
// CollectSymbols.g:235:2: ({...}? ( ^( ASSIGN id= ID e= . ) | ^( PLUS_ASSIGN id= ID e= . ) ) )
// CollectSymbols.g:235:4: {...}? ( ^( ASSIGN id= ID e= . ) | ^( PLUS_ASSIGN id= ID e= . ) )
// CollectSymbols.g:236:2: ({...}? ( ^( ASSIGN id= ID e= . ) | ^( PLUS_ASSIGN id= ID e= . ) ) )
// CollectSymbols.g:236:4: {...}? ( ^( ASSIGN id= ID e= . ) | ^( PLUS_ASSIGN id= ID e= . ) )
{
if ( !((inContext("RULE ..."))) ) {
if (state.backtracking>0) {state.failed=true; return retval;}
throw new FailedPredicateException(input, "labeledElement", "inContext(\"RULE ...\")");
}
// CollectSymbols.g:236:3: ( ^( ASSIGN id= ID e= . ) | ^( PLUS_ASSIGN id= ID e= . ) )
// CollectSymbols.g:237:3: ( ^( ASSIGN id= ID e= . ) | ^( PLUS_ASSIGN id= ID e= . ) )
int alt7=2;
int LA7_0 = input.LA(1);
@ -1162,12 +1173,12 @@ public class CollectSymbols extends org.antlr.v4.runtime.tree.TreeFilter {
}
switch (alt7) {
case 1 :
// CollectSymbols.g:236:5: ^( ASSIGN id= ID e= . )
// CollectSymbols.g:237:5: ^( ASSIGN id= ID e= . )
{
match(input,ASSIGN,FOLLOW_ASSIGN_in_labeledElement618); if (state.failed) return retval;
match(input,ASSIGN,FOLLOW_ASSIGN_in_labeledElement626); if (state.failed) return retval;
match(input, Token.DOWN, null); if (state.failed) return retval;
id=(GrammarAST)match(input,ID,FOLLOW_ID_in_labeledElement622); if (state.failed) return retval;
id=(GrammarAST)match(input,ID,FOLLOW_ID_in_labeledElement630); if (state.failed) return retval;
e=(GrammarAST)input.LT(1);
matchAny(input); if (state.failed) return retval;
@ -1176,12 +1187,12 @@ public class CollectSymbols extends org.antlr.v4.runtime.tree.TreeFilter {
}
break;
case 2 :
// CollectSymbols.g:237:5: ^( PLUS_ASSIGN id= ID e= . )
// CollectSymbols.g:238:5: ^( PLUS_ASSIGN id= ID e= . )
{
match(input,PLUS_ASSIGN,FOLLOW_PLUS_ASSIGN_in_labeledElement634); if (state.failed) return retval;
match(input,PLUS_ASSIGN,FOLLOW_PLUS_ASSIGN_in_labeledElement642); if (state.failed) return retval;
match(input, Token.DOWN, null); if (state.failed) return retval;
id=(GrammarAST)match(input,ID,FOLLOW_ID_in_labeledElement638); if (state.failed) return retval;
id=(GrammarAST)match(input,ID,FOLLOW_ID_in_labeledElement646); if (state.failed) return retval;
e=(GrammarAST)input.LT(1);
matchAny(input); if (state.failed) return retval;
@ -1217,7 +1228,7 @@ public class CollectSymbols extends org.antlr.v4.runtime.tree.TreeFilter {
};
// $ANTLR start "terminal"
// CollectSymbols.g:241:1: terminal : ({...}? STRING_LITERAL | TOKEN_REF );
// CollectSymbols.g:242:1: terminal : ({...}? STRING_LITERAL | TOKEN_REF );
public final CollectSymbols.terminal_return terminal() throws RecognitionException {
CollectSymbols.terminal_return retval = new CollectSymbols.terminal_return();
retval.start = input.LT(1);
@ -1226,7 +1237,7 @@ public class CollectSymbols extends org.antlr.v4.runtime.tree.TreeFilter {
GrammarAST TOKEN_REF17=null;
try {
// CollectSymbols.g:242:5: ({...}? STRING_LITERAL | TOKEN_REF )
// CollectSymbols.g:243:5: ({...}? STRING_LITERAL | TOKEN_REF )
int alt8=2;
int LA8_0 = input.LA(1);
@ -1245,13 +1256,13 @@ public class CollectSymbols extends org.antlr.v4.runtime.tree.TreeFilter {
}
switch (alt8) {
case 1 :
// CollectSymbols.g:242:7: {...}? STRING_LITERAL
// CollectSymbols.g:243:7: {...}? STRING_LITERAL
{
if ( !((!inContext("TOKENS ASSIGN"))) ) {
if (state.backtracking>0) {state.failed=true; return retval;}
throw new FailedPredicateException(input, "terminal", "!inContext(\"TOKENS ASSIGN\")");
}
STRING_LITERAL16=(GrammarAST)match(input,STRING_LITERAL,FOLLOW_STRING_LITERAL_in_terminal664); if (state.failed) return retval;
STRING_LITERAL16=(GrammarAST)match(input,STRING_LITERAL,FOLLOW_STRING_LITERAL_in_terminal672); if (state.failed) return retval;
if ( state.backtracking==1 ) {
terminals.add(((GrammarAST)retval.start));
@ -1265,9 +1276,9 @@ public class CollectSymbols extends org.antlr.v4.runtime.tree.TreeFilter {
}
break;
case 2 :
// CollectSymbols.g:250:7: TOKEN_REF
// CollectSymbols.g:251:7: TOKEN_REF
{
TOKEN_REF17=(GrammarAST)match(input,TOKEN_REF,FOLLOW_TOKEN_REF_in_terminal679); if (state.failed) return retval;
TOKEN_REF17=(GrammarAST)match(input,TOKEN_REF,FOLLOW_TOKEN_REF_in_terminal687); if (state.failed) return retval;
if ( state.backtracking==1 ) {
terminals.add(TOKEN_REF17);
@ -1295,15 +1306,15 @@ public class CollectSymbols extends org.antlr.v4.runtime.tree.TreeFilter {
// $ANTLR start "ruleref"
// CollectSymbols.g:260:1: ruleref : RULE_REF ;
// CollectSymbols.g:261:1: ruleref : RULE_REF ;
public final void ruleref() throws RecognitionException {
GrammarAST RULE_REF18=null;
try {
// CollectSymbols.g:262:5: ( RULE_REF )
// CollectSymbols.g:262:7: RULE_REF
// CollectSymbols.g:263:5: ( RULE_REF )
// CollectSymbols.g:263:7: RULE_REF
{
RULE_REF18=(GrammarAST)match(input,RULE_REF,FOLLOW_RULE_REF_in_ruleref704); if (state.failed) return ;
RULE_REF18=(GrammarAST)match(input,RULE_REF,FOLLOW_RULE_REF_in_ruleref712); if (state.failed) return ;
if ( state.backtracking==1 ) {
rulerefs.add(RULE_REF18);
@ -1331,28 +1342,29 @@ public class CollectSymbols extends org.antlr.v4.runtime.tree.TreeFilter {
protected DFA1 dfa1 = new DFA1(this);
static final String DFA1_eotS =
"\33\uffff";
"\41\uffff";
static final String DFA1_eofS =
"\33\uffff";
"\41\uffff";
static final String DFA1_minS =
"\1\16\1\2\1\uffff\1\2\4\uffff\3\0\6\uffff\1\20\1\127\2\uffff\1\3"+
"\1\uffff\1\4\1\uffff\1\2\1\0";
"\1\16\3\2\4\uffff\3\0\6\uffff\1\20\2\127\2\uffff\1\3\1\uffff\1\20"+
"\1\4\1\uffff\1\3\1\uffff\1\2\2\0\1\uffff";
static final String DFA1_maxS =
"\1\145\1\2\1\uffff\1\2\4\uffff\3\0\6\uffff\2\127\2\uffff\1\127\1"+
"\uffff\1\145\1\uffff\1\3\1\0";
"\1\145\3\2\4\uffff\3\0\6\uffff\3\127\2\uffff\1\127\1\uffff\1\127"+
"\1\145\1\uffff\1\3\1\uffff\1\3\2\0\1\uffff";
static final String DFA1_acceptS =
"\2\uffff\1\2\1\uffff\1\3\1\4\1\5\1\6\3\uffff\1\11\1\13\1\14\1\15"+
"\1\16\1\17\2\uffff\1\10\1\12\1\uffff\1\7\1\uffff\1\1\2\uffff";
"\4\uffff\1\3\1\4\1\5\1\6\3\uffff\1\12\1\14\1\15\1\16\1\17\1\20\3"+
"\uffff\1\11\1\13\1\uffff\1\10\2\uffff\1\1\1\uffff\1\2\3\uffff\1"+
"\7";
static final String DFA1_specialS =
"\10\uffff\1\3\1\0\1\1\17\uffff\1\2}>";
"\10\uffff\1\3\1\1\1\2\23\uffff\1\0\1\4\1\uffff}>";
static final String[] DFA1_transitionS = {
"\1\6\1\uffff\1\16\4\uffff\1\1\11\uffff\1\7\1\uffff\1\20\1\17"+
"\12\uffff\1\3\4\uffff\1\14\10\uffff\1\2\2\uffff\1\12\1\10\3"+
"\uffff\1\11\4\uffff\1\5\13\uffff\1\15\2\uffff\1\4\5\uffff\1"+
"\13\7\uffff\1\15",
"\1\21",
"",
"\1\22",
"\1\23",
"",
"",
"",
@ -1366,16 +1378,22 @@ public class CollectSymbols extends org.antlr.v4.runtime.tree.TreeFilter {
"",
"",
"",
"\1\26\106\uffff\1\25",
"\1\27",
"\1\27\106\uffff\1\26",
"\1\30",
"\1\31",
"",
"",
"\1\26\14\uffff\1\30\106\uffff\1\26",
"\1\27\14\uffff\1\32\106\uffff\1\27",
"",
"\77\14\1\31\42\14",
"\1\33\106\uffff\1\34",
"\77\14\1\35\42\14",
"",
"\1\14\1\32",
"\1\uffff"
"\1\36",
"",
"\1\14\1\37",
"\1\uffff",
"\1\uffff",
""
};
static final short[] DFA1_eot = DFA.unpackEncodedString(DFA1_eotS);
@ -1408,13 +1426,28 @@ public class CollectSymbols extends org.antlr.v4.runtime.tree.TreeFilter {
this.transition = DFA1_transition;
}
public String getDescription() {
return "92:1: topdown : ( globalScope | globalNamedAction | tokensSection | rule | ruleArg | ruleReturns | ruleScopeSpec | ruleref | rewriteElement | terminal | labeledElement | setAlt | ruleAction | finallyClause | exceptionHandler );";
return "92:1: topdown : ( globalScope | globalNamedAction | tokensSection | rule | ruleArg | ruleReturns | ruleNamedAction | ruleScopeSpec | ruleref | rewriteElement | terminal | labeledElement | setAlt | ruleAction | finallyClause | exceptionHandler );";
}
public int specialStateTransition(int s, IntStream _input) throws NoViableAltException {
TreeNodeStream input = (TreeNodeStream)_input;
int _s = s;
switch ( s ) {
case 0 :
int LA1_30 = input.LA(1);
int index1_30 = input.index();
input.rewind();
s = -1;
if ( ((inContext("GRAMMAR"))) ) {s = 28;}
else if ( ((inContext("RULE"))) ) {s = 32;}
input.seek(index1_30);
if ( s>=0 ) return s;
break;
case 1 :
int LA1_9 = input.LA(1);
@ -1423,13 +1456,13 @@ public class CollectSymbols extends org.antlr.v4.runtime.tree.TreeFilter {
s = -1;
if ( ((inContext("RESULT ..."))) ) {s = 11;}
else if ( ((!inContext("TOKENS ASSIGN"))) ) {s = 20;}
else if ( ((!inContext("TOKENS ASSIGN"))) ) {s = 21;}
input.seek(index1_9);
if ( s>=0 ) return s;
break;
case 1 :
case 2 :
int LA1_10 = input.LA(1);
@ -1438,27 +1471,12 @@ public class CollectSymbols extends org.antlr.v4.runtime.tree.TreeFilter {
s = -1;
if ( ((inContext("RESULT ..."))) ) {s = 11;}
else if ( (true) ) {s = 20;}
else if ( (true) ) {s = 21;}
input.seek(index1_10);
if ( s>=0 ) return s;
break;
case 2 :
int LA1_26 = input.LA(1);
int index1_26 = input.index();
input.rewind();
s = -1;
if ( ((inContext("TOKENS"))) ) {s = 4;}
else if ( ((inContext("RULE ..."))) ) {s = 12;}
input.seek(index1_26);
if ( s>=0 ) return s;
break;
case 3 :
int LA1_8 = input.LA(1);
@ -1466,7 +1484,7 @@ public class CollectSymbols extends org.antlr.v4.runtime.tree.TreeFilter {
int index1_8 = input.index();
input.rewind();
s = -1;
if ( (!(((inContext("RESULT ..."))))) ) {s = 19;}
if ( (!(((inContext("RESULT ..."))))) ) {s = 20;}
else if ( ((inContext("RESULT ..."))) ) {s = 11;}
@ -1474,6 +1492,21 @@ public class CollectSymbols extends org.antlr.v4.runtime.tree.TreeFilter {
input.seek(index1_8);
if ( s>=0 ) return s;
break;
case 4 :
int LA1_31 = input.LA(1);
int index1_31 = input.index();
input.rewind();
s = -1;
if ( ((inContext("TOKENS"))) ) {s = 4;}
else if ( ((inContext("RULE ..."))) ) {s = 12;}
input.seek(index1_31);
if ( s>=0 ) return s;
break;
}
if (state.backtracking>0) {state.failed=true; return -1;}
NoViableAltException nvae =
@ -1490,54 +1523,55 @@ public class CollectSymbols extends org.antlr.v4.runtime.tree.TreeFilter {
public static final BitSet FOLLOW_rule_in_topdown121 = new BitSet(new long[]{0x0000000000000002L});
public static final BitSet FOLLOW_ruleArg_in_topdown129 = new BitSet(new long[]{0x0000000000000002L});
public static final BitSet FOLLOW_ruleReturns_in_topdown137 = new BitSet(new long[]{0x0000000000000002L});
public static final BitSet FOLLOW_ruleScopeSpec_in_topdown145 = new BitSet(new long[]{0x0000000000000002L});
public static final BitSet FOLLOW_ruleref_in_topdown153 = new BitSet(new long[]{0x0000000000000002L});
public static final BitSet FOLLOW_rewriteElement_in_topdown161 = new BitSet(new long[]{0x0000000000000002L});
public static final BitSet FOLLOW_terminal_in_topdown182 = new BitSet(new long[]{0x0000000000000002L});
public static final BitSet FOLLOW_labeledElement_in_topdown190 = new BitSet(new long[]{0x0000000000000002L});
public static final BitSet FOLLOW_setAlt_in_topdown198 = new BitSet(new long[]{0x0000000000000002L});
public static final BitSet FOLLOW_ruleAction_in_topdown206 = new BitSet(new long[]{0x0000000000000002L});
public static final BitSet FOLLOW_finallyClause_in_topdown214 = new BitSet(new long[]{0x0000000000000002L});
public static final BitSet FOLLOW_exceptionHandler_in_topdown222 = new BitSet(new long[]{0x0000000000000002L});
public static final BitSet FOLLOW_finishRule_in_bottomup233 = new BitSet(new long[]{0x0000000000000002L});
public static final BitSet FOLLOW_SCOPE_in_globalScope247 = new BitSet(new long[]{0x0000000000000004L});
public static final BitSet FOLLOW_ID_in_globalScope249 = new BitSet(new long[]{0x0000000000010000L});
public static final BitSet FOLLOW_ACTION_in_globalScope251 = new BitSet(new long[]{0x0000000000000008L});
public static final BitSet FOLLOW_AT_in_globalNamedAction270 = new BitSet(new long[]{0x0000000000000004L});
public static final BitSet FOLLOW_ID_in_globalNamedAction272 = new BitSet(new long[]{0x0000000000000000L,0x0000000000800000L});
public static final BitSet FOLLOW_ID_in_globalNamedAction275 = new BitSet(new long[]{0x0000000000010000L});
public static final BitSet FOLLOW_ACTION_in_globalNamedAction277 = new BitSet(new long[]{0x0000000000000008L});
public static final BitSet FOLLOW_ASSIGN_in_tokensSection300 = new BitSet(new long[]{0x0000000000000004L});
public static final BitSet FOLLOW_ID_in_tokensSection304 = new BitSet(new long[]{0x0000000000000000L,0x0000000000000008L});
public static final BitSet FOLLOW_STRING_LITERAL_in_tokensSection306 = new BitSet(new long[]{0x0000000000000008L});
public static final BitSet FOLLOW_ID_in_tokensSection320 = new BitSet(new long[]{0x0000000000000002L});
public static final BitSet FOLLOW_RULE_in_rule342 = new BitSet(new long[]{0x0000000000000004L});
public static final BitSet FOLLOW_ID_in_rule346 = new BitSet(new long[]{0xFFFFFFFFFFFFFFF0L,0x0000003FFFFFFFFFL});
public static final BitSet FOLLOW_set_in_setAlt370 = new BitSet(new long[]{0x0000000000000002L});
public static final BitSet FOLLOW_RULE_in_finishRule394 = new BitSet(new long[]{0x0000000000000002L});
public static final BitSet FOLLOW_AT_in_ruleNamedAction410 = new BitSet(new long[]{0x0000000000000004L});
public static final BitSet FOLLOW_ID_in_ruleNamedAction412 = new BitSet(new long[]{0x0000000000010000L});
public static final BitSet FOLLOW_ACTION_in_ruleNamedAction414 = new BitSet(new long[]{0x0000000000000008L});
public static final BitSet FOLLOW_ACTION_in_ruleAction434 = new BitSet(new long[]{0x0000000000000002L});
public static final BitSet FOLLOW_CATCH_in_exceptionHandler450 = new BitSet(new long[]{0x0000000000000004L});
public static final BitSet FOLLOW_ARG_ACTION_in_exceptionHandler452 = new BitSet(new long[]{0x0000000000010000L});
public static final BitSet FOLLOW_ACTION_in_exceptionHandler454 = new BitSet(new long[]{0x0000000000000008L});
public static final BitSet FOLLOW_FINALLY_in_finallyClause471 = new BitSet(new long[]{0x0000000000000004L});
public static final BitSet FOLLOW_ACTION_in_finallyClause473 = new BitSet(new long[]{0x0000000000000008L});
public static final BitSet FOLLOW_ARG_ACTION_in_ruleArg493 = new BitSet(new long[]{0x0000000000000002L});
public static final BitSet FOLLOW_RETURNS_in_ruleReturns510 = new BitSet(new long[]{0x0000000000000004L});
public static final BitSet FOLLOW_ARG_ACTION_in_ruleReturns512 = new BitSet(new long[]{0x0000000000000008L});
public static final BitSet FOLLOW_SCOPE_in_ruleScopeSpec535 = new BitSet(new long[]{0x0000000000000004L});
public static final BitSet FOLLOW_ACTION_in_ruleScopeSpec537 = new BitSet(new long[]{0x0000000000000008L});
public static final BitSet FOLLOW_SCOPE_in_ruleScopeSpec550 = new BitSet(new long[]{0x0000000000000004L});
public static final BitSet FOLLOW_ID_in_ruleScopeSpec554 = new BitSet(new long[]{0x0000000000000008L,0x0000000000800000L});
public static final BitSet FOLLOW_set_in_rewriteElement582 = new BitSet(new long[]{0x0000000000000002L});
public static final BitSet FOLLOW_ASSIGN_in_labeledElement618 = new BitSet(new long[]{0x0000000000000004L});
public static final BitSet FOLLOW_ID_in_labeledElement622 = new BitSet(new long[]{0xFFFFFFFFFFFFFFF0L,0x0000003FFFFFFFFFL});
public static final BitSet FOLLOW_PLUS_ASSIGN_in_labeledElement634 = new BitSet(new long[]{0x0000000000000004L});
public static final BitSet FOLLOW_ID_in_labeledElement638 = new BitSet(new long[]{0xFFFFFFFFFFFFFFF0L,0x0000003FFFFFFFFFL});
public static final BitSet FOLLOW_STRING_LITERAL_in_terminal664 = new BitSet(new long[]{0x0000000000000002L});
public static final BitSet FOLLOW_TOKEN_REF_in_terminal679 = new BitSet(new long[]{0x0000000000000002L});
public static final BitSet FOLLOW_RULE_REF_in_ruleref704 = new BitSet(new long[]{0x0000000000000002L});
public static final BitSet FOLLOW_ruleNamedAction_in_topdown145 = new BitSet(new long[]{0x0000000000000002L});
public static final BitSet FOLLOW_ruleScopeSpec_in_topdown153 = new BitSet(new long[]{0x0000000000000002L});
public static final BitSet FOLLOW_ruleref_in_topdown161 = new BitSet(new long[]{0x0000000000000002L});
public static final BitSet FOLLOW_rewriteElement_in_topdown169 = new BitSet(new long[]{0x0000000000000002L});
public static final BitSet FOLLOW_terminal_in_topdown190 = new BitSet(new long[]{0x0000000000000002L});
public static final BitSet FOLLOW_labeledElement_in_topdown198 = new BitSet(new long[]{0x0000000000000002L});
public static final BitSet FOLLOW_setAlt_in_topdown206 = new BitSet(new long[]{0x0000000000000002L});
public static final BitSet FOLLOW_ruleAction_in_topdown214 = new BitSet(new long[]{0x0000000000000002L});
public static final BitSet FOLLOW_finallyClause_in_topdown222 = new BitSet(new long[]{0x0000000000000002L});
public static final BitSet FOLLOW_exceptionHandler_in_topdown230 = new BitSet(new long[]{0x0000000000000002L});
public static final BitSet FOLLOW_finishRule_in_bottomup241 = new BitSet(new long[]{0x0000000000000002L});
public static final BitSet FOLLOW_SCOPE_in_globalScope255 = new BitSet(new long[]{0x0000000000000004L});
public static final BitSet FOLLOW_ID_in_globalScope257 = new BitSet(new long[]{0x0000000000010000L});
public static final BitSet FOLLOW_ACTION_in_globalScope259 = new BitSet(new long[]{0x0000000000000008L});
public static final BitSet FOLLOW_AT_in_globalNamedAction278 = new BitSet(new long[]{0x0000000000000004L});
public static final BitSet FOLLOW_ID_in_globalNamedAction280 = new BitSet(new long[]{0x0000000000000000L,0x0000000000800000L});
public static final BitSet FOLLOW_ID_in_globalNamedAction283 = new BitSet(new long[]{0x0000000000010000L});
public static final BitSet FOLLOW_ACTION_in_globalNamedAction285 = new BitSet(new long[]{0x0000000000000008L});
public static final BitSet FOLLOW_ASSIGN_in_tokensSection308 = new BitSet(new long[]{0x0000000000000004L});
public static final BitSet FOLLOW_ID_in_tokensSection312 = new BitSet(new long[]{0x0000000000000000L,0x0000000000000008L});
public static final BitSet FOLLOW_STRING_LITERAL_in_tokensSection314 = new BitSet(new long[]{0x0000000000000008L});
public static final BitSet FOLLOW_ID_in_tokensSection328 = new BitSet(new long[]{0x0000000000000002L});
public static final BitSet FOLLOW_RULE_in_rule350 = new BitSet(new long[]{0x0000000000000004L});
public static final BitSet FOLLOW_ID_in_rule354 = new BitSet(new long[]{0xFFFFFFFFFFFFFFF0L,0x0000003FFFFFFFFFL});
public static final BitSet FOLLOW_set_in_setAlt378 = new BitSet(new long[]{0x0000000000000002L});
public static final BitSet FOLLOW_RULE_in_finishRule402 = new BitSet(new long[]{0x0000000000000002L});
public static final BitSet FOLLOW_AT_in_ruleNamedAction418 = new BitSet(new long[]{0x0000000000000004L});
public static final BitSet FOLLOW_ID_in_ruleNamedAction420 = new BitSet(new long[]{0x0000000000010000L});
public static final BitSet FOLLOW_ACTION_in_ruleNamedAction422 = new BitSet(new long[]{0x0000000000000008L});
public static final BitSet FOLLOW_ACTION_in_ruleAction442 = new BitSet(new long[]{0x0000000000000002L});
public static final BitSet FOLLOW_CATCH_in_exceptionHandler458 = new BitSet(new long[]{0x0000000000000004L});
public static final BitSet FOLLOW_ARG_ACTION_in_exceptionHandler460 = new BitSet(new long[]{0x0000000000010000L});
public static final BitSet FOLLOW_ACTION_in_exceptionHandler462 = new BitSet(new long[]{0x0000000000000008L});
public static final BitSet FOLLOW_FINALLY_in_finallyClause479 = new BitSet(new long[]{0x0000000000000004L});
public static final BitSet FOLLOW_ACTION_in_finallyClause481 = new BitSet(new long[]{0x0000000000000008L});
public static final BitSet FOLLOW_ARG_ACTION_in_ruleArg501 = new BitSet(new long[]{0x0000000000000002L});
public static final BitSet FOLLOW_RETURNS_in_ruleReturns518 = new BitSet(new long[]{0x0000000000000004L});
public static final BitSet FOLLOW_ARG_ACTION_in_ruleReturns520 = new BitSet(new long[]{0x0000000000000008L});
public static final BitSet FOLLOW_SCOPE_in_ruleScopeSpec543 = new BitSet(new long[]{0x0000000000000004L});
public static final BitSet FOLLOW_ACTION_in_ruleScopeSpec545 = new BitSet(new long[]{0x0000000000000008L});
public static final BitSet FOLLOW_SCOPE_in_ruleScopeSpec558 = new BitSet(new long[]{0x0000000000000004L});
public static final BitSet FOLLOW_ID_in_ruleScopeSpec562 = new BitSet(new long[]{0x0000000000000008L,0x0000000000800000L});
public static final BitSet FOLLOW_set_in_rewriteElement590 = new BitSet(new long[]{0x0000000000000002L});
public static final BitSet FOLLOW_ASSIGN_in_labeledElement626 = new BitSet(new long[]{0x0000000000000004L});
public static final BitSet FOLLOW_ID_in_labeledElement630 = new BitSet(new long[]{0xFFFFFFFFFFFFFFF0L,0x0000003FFFFFFFFFL});
public static final BitSet FOLLOW_PLUS_ASSIGN_in_labeledElement642 = new BitSet(new long[]{0x0000000000000004L});
public static final BitSet FOLLOW_ID_in_labeledElement646 = new BitSet(new long[]{0xFFFFFFFFFFFFFFF0L,0x0000003FFFFFFFFFL});
public static final BitSet FOLLOW_STRING_LITERAL_in_terminal672 = new BitSet(new long[]{0x0000000000000002L});
public static final BitSet FOLLOW_TOKEN_REF_in_terminal687 = new BitSet(new long[]{0x0000000000000002L});
public static final BitSet FOLLOW_RULE_REF_in_ruleref712 = new BitSet(new long[]{0x0000000000000002L});
}

2
tool/src/org/antlr/v4/semantics/SemanticPipeline.java
View File

@ -52,7 +52,7 @@ public class SemanticPipeline {
// STORE RULES/ACTIONS/SCOPES IN GRAMMAR
for (Rule r : collector.rules) g.defineRule(r);
for (AttributeScope s : collector.scopes) g.defineScope(s);
for (AttributeDict s : collector.scopes) g.defineScope(s);
for (GrammarAST a : collector.actions) g.defineAction(a);
// TODO: named actions

14
tool/src/org/antlr/v4/semantics/SymbolChecks.java
View File

@ -38,7 +38,7 @@ public class SymbolChecks {
public void examine() {
// methods affect fields, but no side-effects outside this object
// So, call order sensitive
checkScopeRedefinitions(collector.scopes); // sets globalScopeNames
checkScopeRedefinitions(collector.scopes); // sets globalScopeNames
checkForRuleConflicts(collector.rules); // sets nameToRuleMap
checkActionRedefinitions(collector.actions); // sets actionScopeToActionNames
checkTokenAliasRedefinitions(collector.tokensDefs);
@ -67,10 +67,10 @@ public class SymbolChecks {
}
}
public void checkScopeRedefinitions(List<AttributeScope> scopes) {
if ( scopes==null ) return;
for (int i=0; i< scopes.size(); i++) {
AttributeScope s = scopes.get(i);
public void checkScopeRedefinitions(List<AttributeDict> dicts) {
if ( dicts ==null ) return;
for (int i=0; i< dicts.size(); i++) {
AttributeDict s = dicts.get(i);
//GrammarAST idNode = (GrammarAST)s.getChild(0);
if ( !globalScopeNames.contains(s.getName()) ) {
globalScopeNames.add(s.getName());
@ -224,7 +224,7 @@ public class SymbolChecks {
else if ( tokenIDs.contains(name) ) {
etype = ErrorType.LABEL_CONFLICTS_WITH_TOKEN;
}
else if ( r.scope!=null && r.scope.get(name)!=null ) {
else if ( r.scope !=null && r.scope.get(name)!=null ) {
etype = ErrorType.LABEL_CONFLICTS_WITH_RULE_SCOPE_ATTRIBUTE;
arg2 = r.name;
}
@ -260,7 +260,7 @@ public class SymbolChecks {
* arg, return value, rule name itself. Labels are checked elsewhere.
*/
public void checkForRuleScopeAttributeConflict(Rule r) {
if ( r.scope==null ) return;
if ( r.scope ==null ) return;
for (Attribute a : r.scope.attributes.values()) {
ErrorType msgID = ErrorType.INVALID;
Object arg2 = null;

63
tool/src/org/antlr/v4/tool/Alternative.java
View File

@ -33,30 +33,61 @@ public class Alternative implements AttributeResolver {
public Alternative(Rule r) { this.rule = r; }
public AttributeResolver getParent() { return rule; }
private AttributeResolver getParent() { return rule; }
// only rules have attr, not alts
/** $x Attribute: rule arguments, return values, predefined rule prop.
*/
public Attribute resolveToAttribute(String x, ActionAST node) {
return getParent().resolveToAttribute(x, node);
Attribute a = rule.args.get(x); if ( a!=null ) return a;
a = rule.retvals.get(x); if ( a!=null ) return a;
AttributeDict properties = rule.getPredefinedScope(LabelType.RULE_LABEL);
return properties.get(x);
}
/** $x.y, x can be surrounding rule, token/rule/label ref. y is visible
* attr in that dictionary. Can't see args on rule refs.
*/
public Attribute resolveToAttribute(String x, String y, ActionAST node) {
AttributeScope s = resolveToScope(x, node);
return s.get(y);
// if ( s.get(y)!=null ) return s.get(y);
// return getParent().resolveToAttribute(x, y, node);
if ( rule.name.equals(x) ) { // x is this rule?
AttributeDict d = rule.getPredefinedScope(LabelType.RULE_LABEL);
return d.get(y);
}
if ( tokenRefs.get(x)!=null ) { // token ref in this alt?
return rule.getPredefinedScope(LabelType.TOKEN_LABEL).get(y);
}
if ( ruleRefs.get(x)!=null ) { // rule ref in this alt?
// look up rule, ask it to resolve y (must be retval or predefined)
return rule.g.getRule(x).resolveRetvalOrProperty(y);
}
List<LabelElementPair> labels = labelDefs.get(x);
if ( labels!=null ) { // it's a label ref. is it a rule label?
LabelElementPair anyLabelDef = labels.get(0);
if ( anyLabelDef.type==LabelType.RULE_LABEL ) {
return rule.g.getRule(anyLabelDef.element.getText()).resolveRetvalOrProperty(y);
}
return rule.getPredefinedScope(anyLabelDef.type).get(y);
}
return null;
}
/** Is isolated x a token/rule/label ref? */
public AttributeScope resolveToScope(String x, ActionAST node) {
if ( tokenRefs.get(x)!=null ) return AttributeScope.predefinedTokenScope;
if ( ruleRefs.get(x)!=null ) return AttributeScope.predefinedTokenScope;
/** $x AttributeDict: references to tokens and token labels in the
* current alt (including any elements within subrules contained
* in that outermost alt). x can be rule with scope or a global scope.
*
* x can also be surrounding rule since we use for error checking.
*/
public boolean resolvesToAttributeDict(String x, ActionAST node) {
if ( tokenRefs.get(x)!=null ) return true;
List<LabelElementPair> labels = labelDefs.get(x);
if ( labels !=null ) {
if ( labels!=null ) { // it's a label ref. is it a token label?
LabelElementPair anyLabelDef = labels.get(0);
return rule.getPredefinedScope(anyLabelDef.type);
if ( anyLabelDef.type==LabelType.TOKEN_LABEL ) return true;
}
return getParent().resolveToScope(x, node);
if ( x.equals(rule.name) ) return true; // $r for action in rule r, $r is a dict
Rule r = rule.g.getRule(x);
if ( r!=null && r.scope!=null ) return true;
if ( rule.g.scopes.get(x)!=null ) return true;
return false;
}
// public boolean resolves(String x, ActionAST node) {
@ -83,9 +114,9 @@ public class Alternative implements AttributeResolver {
// }
public AttributeScope resolveToDynamicScope(String x, ActionAST node) {
public AttributeDict resolveToDynamicScope(String x, ActionAST node) {
Rule r = resolveToRule(x, node);
if ( r!=null && r.scope!=null ) return r.scope;
if ( r!=null && r.scope !=null ) return r.scope;
return getParent().resolveToDynamicScope(x, node);
}

16
tool/src/org/antlr/v4/tool/AttributeScope.java → tool/src/org/antlr/v4/tool/AttributeDict.java
View File

@ -5,14 +5,14 @@ import java.util.Iterator;
import java.util.LinkedHashMap;
import java.util.Set;
/** Track the attributes within a scope. A named scoped has just its list
* of attributes. Each rule has potentially 3 scopes: return values,
/** Track the attributes within retval, arg lists etc...
*
* Each rule has potentially 3 scopes: return values,
* parameters, and an implicitly-named scope (i.e., a scope defined in a rule).
* Implicitly-defined scopes are named after the rule; rules and scopes then
* must live in the same name space--no collisions allowed.
*/
public class AttributeScope {
/** The scope name */
public class AttributeDict {
public String name;
public GrammarAST ast;
// public Type type;
@ -21,7 +21,7 @@ public class AttributeScope {
* of predefined attributes. I keep this out of the runtime.Token
* object to avoid a runtime type leakage.
*/
public static AttributeScope predefinedTokenScope = new AttributeScope() {{
public static AttributeDict predefinedTokenDict = new AttributeDict() {{
add(new Attribute("text"));
add(new Attribute("type"));
add(new Attribute("line"));
@ -43,7 +43,9 @@ public class AttributeScope {
public LinkedHashMap<String, Attribute> attributes =
new LinkedHashMap<String, Attribute>();
public Attribute add(Attribute a) { return attributes.put(a.name, a); }
public AttributeDict() {;}
public Attribute add(Attribute a) { return attributes.put(a.name, a); }
public Attribute get(String name) { return attributes.get(name); }
public String getName() {
@ -61,7 +63,7 @@ public class AttributeScope {
/** Return the set of keys that collide from
* this and other.
*/
public Set intersection(AttributeScope other) {
public Set intersection(AttributeDict other) {
if ( other==null || other.size()==0 || size()==0 ) {
return null;
}

32
tool/src/org/antlr/v4/tool/AttributeResolver.java
View File

@ -2,15 +2,37 @@ package org.antlr.v4.tool;
/** Grammars, rules, and alternatives all have symbols visible to
* actions. To evaluate attr exprs, ask action for its resolver
* then ask resolver to look up. If not found in one space we look
* at parent. Alt's parent is rule; rule's parent is grammar.
* then ask resolver to look up various symbols. Depending on the context,
* some symbols are available at some aren't.
*
* Alternative level:
*
* $x Attribute: rule arguments, return values, predefined rule prop.
* AttributeDict: references to tokens and token labels in the
* current alt (including any elements within subrules contained
* in that outermost alt). x can be rule with scope or a global scope.
* $x.y Attribute: x is surrounding rule, rule/token/label ref
* $s::y Attribute: s is any rule with scope or global scope; y is prop within
*
* Rule level:
*
* $x Attribute: rule arguments, return values, predefined rule prop.
* AttributeDict: references to token labels in *any* alt. x can
* be any rule with scope or global scope.
* $x.y Attribute: x is surrounding rule, label ref (in any alts)
* $s::y Attribute: s is any rule with scope or global scope; y is prop within
*
* Grammar level:
*
* $s AttributeDict: s is a global scope
* $s::y Attribute: s is a global scope; y is prop within
*/
public interface AttributeResolver {
public AttributeResolver getParent();
public Attribute resolveToAttribute(String x, ActionAST node);
public Attribute resolveToAttribute(String x, String y, ActionAST node);
public AttributeScope resolveToScope(String x, ActionAST node);
public AttributeScope resolveToDynamicScope(String x, ActionAST node);
/** Error checking when $x.y is not attribute. We ask if $x is a dict. */
public boolean resolvesToAttributeDict(String x, ActionAST node);
public AttributeDict resolveToDynamicScope(String x, ActionAST node);
//public Attribute resolveToDynamicScopeAttribute(String x, String y, ActionAST node);
/** Resolve to surrounding rule, rule ref/label if in alt, or other rule */
public Rule resolveToRule(String x, ActionAST node);

42
tool/src/org/antlr/v4/tool/Grammar.java
View File

@ -20,17 +20,17 @@ public class Grammar implements AttributeResolver {
}
};
public static Map<String, AttributeScope> grammarAndLabelRefTypeToScope =
new HashMap<String, AttributeScope>() {{
put("lexer:RULE_LABEL", Rule.predefinedLexerRulePropertiesScope);
put("lexer:LEXER_STRING_LABEL", Rule.predefinedLexerRulePropertiesScope);
put("parser:RULE_LABEL", Rule.predefinedRulePropertiesScope);
put("parser:TOKEN_LABEL", AttributeScope.predefinedTokenScope);
put("tree:RULE_LABEL", Rule.predefinedTreeRulePropertiesScope);
put("tree:TOKEN_LABEL", AttributeScope.predefinedTokenScope);
put("tree:WILDCARD_TREE_LABEL", AttributeScope.predefinedTokenScope);
put("combined:RULE_LABEL", Rule.predefinedRulePropertiesScope);
put("combined:TOKEN_LABEL", AttributeScope.predefinedTokenScope);
public static Map<String, AttributeDict> grammarAndLabelRefTypeToScope =
new HashMap<String, AttributeDict>() {{
put("lexer:RULE_LABEL", Rule.predefinedLexerRulePropertiesDict);
put("lexer:LEXER_STRING_LABEL", Rule.predefinedLexerRulePropertiesDict);
put("parser:RULE_LABEL", Rule.predefinedRulePropertiesDict);
put("parser:TOKEN_LABEL", AttributeDict.predefinedTokenDict);
put("tree:RULE_LABEL", Rule.predefinedTreeRulePropertiesDict);
put("tree:TOKEN_LABEL", AttributeDict.predefinedTokenDict);
put("tree:WILDCARD_TREE_LABEL", AttributeDict.predefinedTokenDict);
put("combined:RULE_LABEL", Rule.predefinedRulePropertiesDict);
put("combined:TOKEN_LABEL", AttributeDict.predefinedTokenDict);
}};
public Tool tool;
@ -58,7 +58,7 @@ public class Grammar implements AttributeResolver {
/** A list of options specified at the grammar level such as language=Java. */
public Map<String, String> options;
public Map<String, AttributeScope> scopes = new LinkedHashMap<String, AttributeScope>();
public Map<String, AttributeDict> scopes = new LinkedHashMap<String, AttributeDict>();
public Grammar(Tool tool, GrammarRootAST ast) {
if ( ast==null ) throw new IllegalArgumentException("can't pass null tree");
@ -124,7 +124,7 @@ public class Grammar implements AttributeResolver {
public Rule getRule(String name) { return rules.get(name); }
public void defineScope(AttributeScope s) { scopes.put(s.getName(), s); }
public void defineScope(AttributeDict s) { scopes.put(s.getName(), s); }
/** Get list of all delegates from all grammars in the delegate subtree of g.
* The grammars are in delegation tree preorder. Don't include ourselves
@ -212,25 +212,23 @@ public class Grammar implements AttributeResolver {
return null;
}
public AttributeResolver getParent() { return null; }
// no isolated attr at grammar action level
public Attribute resolveToAttribute(String x, ActionAST node) {
return null;
}
// no $x.y makes sense here
public Attribute resolveToAttribute(String x, String y, ActionAST node) {
AttributeScope s = resolveToScope(x, node);
return s.get(y);
return null;
}
// $x can be scope (but not rule with scope)
public AttributeScope resolveToScope(String x, ActionAST node) {
return resolveToDynamicScope(x, node);
/** $s AttributeDict: s is a global scope */
public boolean resolvesToAttributeDict(String x, ActionAST node) {
return scopes.get(x)!=null;
}
public AttributeScope resolveToDynamicScope(String x, ActionAST node) {
AttributeScope s = scopes.get(x);
public AttributeDict resolveToDynamicScope(String x, ActionAST node) {
AttributeDict s = scopes.get(x);
if ( s !=null ) return s;
if ( node.resolver != this ) { // if not member action, can ref rule
Rule r = rules.get(x);

100
tool/src/org/antlr/v4/tool/Rule.java
View File

@ -9,8 +9,8 @@ public class Rule implements AttributeResolver {
/** Rule refs have a predefined set of attributes as well as
* the return values and args.
*/
public static AttributeScope predefinedRulePropertiesScope =
new AttributeScope() {{
public static AttributeDict predefinedRulePropertiesDict =
new AttributeDict() {{
add(new Attribute("text"));
add(new Attribute("start"));
add(new Attribute("stop"));
@ -18,16 +18,16 @@ public class Rule implements AttributeResolver {
add(new Attribute("st"));
}};
public static AttributeScope predefinedTreeRulePropertiesScope =
new AttributeScope() {{
public static AttributeDict predefinedTreeRulePropertiesDict =
new AttributeDict() {{
add(new Attribute("text"));
add(new Attribute("start")); // note: no stop; not meaningful
add(new Attribute("tree"));
add(new Attribute("st"));
}};
public static AttributeScope predefinedLexerRulePropertiesScope =
new AttributeScope() {{
public static AttributeDict predefinedLexerRulePropertiesDict =
new AttributeDict() {{
add(new Attribute("text"));
add(new Attribute("type"));
add(new Attribute("line"));
@ -41,9 +41,9 @@ public class Rule implements AttributeResolver {
public String name;
public GrammarASTWithOptions ast;
public AttributeScope args;
public AttributeScope retvals;
public AttributeScope scope;
public AttributeDict args;
public AttributeDict retvals;
public AttributeDict scope; // scope { int i; }
/** A list of scope names used by this rule */
public List<Token> useScopes;
public Grammar g;
@ -70,7 +70,7 @@ public class Rule implements AttributeResolver {
public Alternative[] alt;
public Rule(Grammar g, String name, GrammarASTWithOptions ast, int numberOfAlts) {
public Rule(Grammar g, String name, GrammarASTWithOptions ast, int numberOfAlts) {
this.g = g;
this.name = name;
this.ast = ast;
@ -99,13 +99,16 @@ public class Rule implements AttributeResolver {
// return getParent().resolves(x,y,node);
// }
public boolean resolvesAsRetvalOrProperty(String y) {
if ( retvals.get(y)!=null ) return true;
AttributeScope s = getPredefinedScope(LabelType.RULE_LABEL);
return s.get(y)!=null;
}
public Attribute resolveRetvalOrProperty(String y) {
if ( retvals!=null ) {
Attribute a = retvals.get(y);
if ( a!=null ) return retvals.get(y);
}
AttributeDict d = getPredefinedScope(LabelType.RULE_LABEL);
return d.get(y);
}
public Set<String> getRuleRefs() {
public Set<String> getRuleRefs() {
Set<String> refs = new HashSet<String>();
for (Alternative a : alt) refs.addAll(a.ruleRefs.keySet());
return refs;
@ -132,44 +135,53 @@ public class Rule implements AttributeResolver {
return defs;
}
public AttributeResolver getParent() { return g; }
private AttributeResolver getParent() { return g; }
/** $x Attribute: rule arguments, return values, predefined rule prop. */
public Attribute resolveToAttribute(String x, ActionAST node) {
Attribute a = args.get(name); if ( a!=null ) return a;
a = retvals.get(name); if ( a!=null ) return a;
AttributeScope properties = getPredefinedScope(LabelType.RULE_LABEL);
a = properties.get(name);
if ( a!=null ) return a;
// not here? look in grammar for global scope
return getParent().resolveToAttribute(x, node);
Attribute a = args.get(x); if ( a!=null ) return a;
a = retvals.get(x); if ( a!=null ) return a;
AttributeDict properties = getPredefinedScope(LabelType.RULE_LABEL);
return properties.get(x);
}
/** $x.y Attribute: x is surrounding rule, label ref (in any alts) */
public Attribute resolveToAttribute(String x, String y, ActionAST node) {
AttributeScope s = resolveToScope(x, node);
return s.get(y);
}
/** $r ref in rule r? if not, look for x in grammar's perspective
*/
public AttributeScope resolveToScope(String x, ActionAST node) {
if ( this.name.equals(x) ) {
return getPredefinedScope(LabelType.RULE_LABEL);
if ( this.name.equals(x) ) { // x is this rule?
AttributeDict d = getPredefinedScope(LabelType.RULE_LABEL);
return d.get(y);
}
if ( node.resolver == this ) { // action not in alt (attr space is this rule)
List<LabelElementPair> labels = getLabelDefs().get(x);
if ( labels!=null ) { // it's a label ref. is it a rule label?
LabelElementPair anyLabelDef = labels.get(0);
if ( anyLabelDef.type==LabelType.RULE_LABEL ) {
return getPredefinedScope(LabelType.RULE_LABEL);
}
List<LabelElementPair> labels = getLabelDefs().get(x);
if ( labels!=null ) { // it's a label ref. is it a rule label?
LabelElementPair anyLabelDef = labels.get(0);
if ( anyLabelDef.type==LabelType.RULE_LABEL ) {
return g.getRule(anyLabelDef.element.getText()).resolveRetvalOrProperty(y);
}
return getPredefinedScope(anyLabelDef.type).get(y);
}
return getParent().resolveToScope(x, node);
return null;
}
public AttributeScope resolveToDynamicScope(String x, ActionAST node) {
/** $x AttributeDict: references to token labels in *any* alt. x can
* be any rule with scope or global scope or surrounding rule x.
*/
public boolean resolvesToAttributeDict(String x, ActionAST node) {
List<LabelElementPair> labels = getLabelDefs().get(x);
if ( labels!=null ) { // it's a label ref. is it a token label?
LabelElementPair anyLabelDef = labels.get(0);
if ( anyLabelDef.type==LabelType.TOKEN_LABEL ) return true;
}
if ( x.equals(this.name) ) return true; // $r for action in rule r, $r is a dict
Rule r = g.getRule(x);
if ( r!=null && r.scope!=null ) return true;
if ( g.scopes.get(x)!=null ) return true;
return false;
}
public AttributeDict resolveToDynamicScope(String x, ActionAST node) {
Rule r = resolveToRule(x, node);
if ( r!=null && r.scope!=null ) return r.scope;
if ( r!=null && r.scope !=null ) return r.scope;
return getParent().resolveToDynamicScope(x, node);
}
@ -239,7 +251,7 @@ public class Rule implements AttributeResolver {
// return null;
// }
public AttributeScope getPredefinedScope(LabelType ltype) {
public AttributeDict getPredefinedScope(LabelType ltype) {
String grammarLabelKey = g.getTypeString() + ":" + ltype;
return Grammar.grammarAndLabelRefTypeToScope.get(grammarLabelKey);
}

115
tool/test/org/antlr/v4/test/TestAttributeChecks.java
View File

@ -20,7 +20,8 @@ public class TestAttributeChecks extends BaseTest {
"b[int d] returns [int e]\n" +
" : {<inline2>}\n" +
" ;\n" +
"c : ;";
"c : ;\n" +
"d : ;\n";
String scopeTemplate =
"parser grammar A;\n"+
@ -32,7 +33,9 @@ public class TestAttributeChecks extends BaseTest {
"scope { int z; }\n" +
"scope S;\n" +
"@init {<init>}\n" +
" : {<inline>}\n" +
" : lab=b[34] {\n" +
" <inline>" +
" }\n" +
" ;\n" +
" finally {<finally>}\n" +
"b[int d] returns [int e]\n" +
@ -47,16 +50,18 @@ public class TestAttributeChecks extends BaseTest {
};
String[] initChecks = {
"$a", "", // a has scope
"$a", "error(33): A.g:4:8: missing attribute access on rule reference a in $a",
"$c", "error(29): A.g:4:8: unknown attribute reference c in $c",
"$a.q", "error(31): A.g:4:10: unknown attribute rule q in $a.q",
"$a.q", "error(31): A.g:4:10: unknown attribute q for rule a in $a.q",
};
String[] inlineChecks = {
"$a", "",
"$b", "", // b has scope
"$lab", "",
"$c", "error(29): A.g:6:4: unknown attribute reference c in $c", // no scope
"$c.text", "",
"$a", "error(33): A.g:6:4: missing attribute access on rule reference a in $a",
"$b", "error(33): A.g:6:4: missing attribute access on rule reference b in $b",
"$lab", "error(33): A.g:6:4: missing attribute access on rule reference lab in $lab",
"$c", "error(33): A.g:6:4: missing attribute access on rule reference c in $c", // no scope
"$q", "error(29): A.g:6:4: unknown attribute reference q in $q",
"$q.y", "error(29): A.g:6:4: unknown attribute reference q in $q.y",
"$q = 3", "error(29): A.g:6:4: unknown attribute reference q in $q",
@ -64,29 +69,29 @@ public class TestAttributeChecks extends BaseTest {
"$q.y = 3;", "error(29): A.g:6:4: unknown attribute reference q in $q.y = 3;",
"$q = $blort;", "error(29): A.g:6:4: unknown attribute reference q in $q = $blort;\n" +
"error(29): A.g:6:9: unknown attribute reference blort in $blort",
"$a.ick", "error(31): A.g:6:6: unknown attribute rule ick in $a.ick",
"$a.ick = 3;", "error(31): A.g:6:6: unknown attribute rule ick in $a.ick = 3;",
"$a.ick", "error(31): A.g:6:6: unknown attribute ick for rule a in $a.ick",
"$a.ick = 3;", "error(31): A.g:6:6: unknown attribute ick for rule a in $a.ick = 3;",
"$b.d", "error(30): A.g:6:6: cannot access rule d's parameter: $b.d", // can't see rule ref's arg
"$c.text", "error(29): A.g:6:4: unknown attribute reference c in $c.text", // valid rule, but no ref
"$lab.d", "error(31): A.g:6:8: unknown attribute rule d in $lab.d",
"$d.text", "error(29): A.g:6:4: unknown attribute reference d in $d.text", // valid rule, but no ref
"$lab.d", "error(31): A.g:6:8: unknown attribute d for rule b in $lab.d",
};
String[] finallyChecks = {
"$lab", "",
"$a", "",
"$q", "error(29): A.g:8:14: unknown attribute reference q in $q",
"$q.y", "error(29): A.g:8:14: unknown attribute reference q in $q.y",
"$q = 3", "error(29): A.g:8:14: unknown attribute reference q in $q",
"$q = 3;", "error(29): A.g:8:14: unknown attribute reference q in $q = 3;",
"$q.y = 3;", "error(29): A.g:8:14: unknown attribute reference q in $q.y = 3;",
"$q = $blort;", "error(29): A.g:8:14: unknown attribute reference q in $q = $blort;\n" +
"error(29): A.g:8:19: unknown attribute reference blort in $blort",
"$a.ick", "error(31): A.g:8:16: unknown attribute rule ick in $a.ick",
"$a.ick = 3;", "error(31): A.g:8:16: unknown attribute rule ick in $a.ick = 3;",
"$b", "error(29): A.g:8:14: unknown attribute reference b in $b",
"$b.d", "error(29): A.g:8:14: unknown attribute reference b in $b.d",
"$c.text", "error(29): A.g:8:14: unknown attribute reference c in $c.text",
"$lab.d", "error(31): A.g:8:18: unknown attribute rule d in $lab.d",
"$lab", "error(33): A.g:9:14: missing attribute access on rule reference lab in $lab",
"$a", "error(33): A.g:9:14: missing attribute access on rule reference a in $a",
"$q", "error(29): A.g:9:14: unknown attribute reference q in $q",
"$q.y", "error(29): A.g:9:14: unknown attribute reference q in $q.y",
"$q = 3", "error(29): A.g:9:14: unknown attribute reference q in $q",
"$q = 3;", "error(29): A.g:9:14: unknown attribute reference q in $q = 3;",
"$q.y = 3;", "error(29): A.g:9:14: unknown attribute reference q in $q.y = 3;",
"$q = $blort;", "error(29): A.g:9:14: unknown attribute reference q in $q = $blort;\n" +
"error(29): A.g:9:19: unknown attribute reference blort in $blort",
"$a.ick", "error(31): A.g:9:16: unknown attribute ick for rule a in $a.ick",
"$a.ick = 3;", "error(31): A.g:9:16: unknown attribute ick for rule a in $a.ick = 3;",
"$b", "error(29): A.g:9:14: unknown attribute reference b in $b",
"$b.d", "error(29): A.g:9:14: unknown attribute reference b in $b.d",
"$c.text", "error(29): A.g:9:14: unknown attribute reference c in $c.text",
"$lab.d", "error(31): A.g:9:18: unknown attribute d for rule b in $lab.d",
};
String[] dynMembersChecks = {
@ -98,6 +103,9 @@ public class TestAttributeChecks extends BaseTest {
};
String[] dynInitChecks = {
"$a", "",
"$b", "",
"$lab", "",
"$b::f", "",
"$S::j", "error(55): A.g:8:11: unknown dynamically-scoped attribute for scope S: j in $S::j",
"$S::j = 3;", "error(55): A.g:8:11: unknown dynamically-scoped attribute for scope S: j in $S::j = 3;",
@ -106,38 +114,41 @@ public class TestAttributeChecks extends BaseTest {
};
String[] dynInlineChecks = {
"$a", "",
"$b", "",
"$lab", "",
"$b::f", "",
"$S", "",
"$S::j", "error(55): A.g:9:13: unknown dynamically-scoped attribute for scope S: j in $S::j",
"$S::j = 3;", "error(55): A.g:9:13: unknown dynamically-scoped attribute for scope S: j in $S::j = 3;",
"$S::j = $S::k;", "error(55): A.g:9:13: unknown dynamically-scoped attribute for scope S: j in $S::j = $S::k;\n" +
"error(55): A.g:9:21: unknown dynamically-scoped attribute for scope S: k in $S::k",
"$Q[-1]::y", "error(54): A.g:9:10: unknown dynamic scope: Q in $Q[-1]::y",
"$Q[-i]::y", "error(54): A.g:9:10: unknown dynamic scope: Q in $Q[-i]::y",
"$Q[i]::y", "error(54): A.g:9:10: unknown dynamic scope: Q in $Q[i]::y",
"$Q[0]::y", "error(54): A.g:9:10: unknown dynamic scope: Q in $Q[0]::y",
"$Q[-1]::y = 23;", "error(54): A.g:9:10: unknown dynamic scope: Q in $Q[-1]::y = 23;",
"$Q[-i]::y = 23;", "error(54): A.g:9:10: unknown dynamic scope: Q in $Q[-i]::y = 23;",
"$Q[i]::y = 23;", "error(54): A.g:9:10: unknown dynamic scope: Q in $Q[i]::y = 23;",
"$Q[0]::y = 23;", "error(54): A.g:9:10: unknown dynamic scope: Q in $Q[0]::y = 23;",
"$S[-1]::y", "error(55): A.g:9:17: unknown dynamically-scoped attribute for scope S: y in $S[-1]::y",
"$S[-i]::y", "error(55): A.g:9:17: unknown dynamically-scoped attribute for scope S: y in $S[-i]::y",
"$S[i]::y", "error(55): A.g:9:16: unknown dynamically-scoped attribute for scope S: y in $S[i]::y",
"$S[0]::y", "error(55): A.g:9:16: unknown dynamically-scoped attribute for scope S: y in $S[0]::y",
"$S[-1]::y = 23;", "error(55): A.g:9:17: unknown dynamically-scoped attribute for scope S: y in $S[-1]::y = 23;",
"$S[-i]::y = 23;", "error(55): A.g:9:17: unknown dynamically-scoped attribute for scope S: y in $S[-i]::y = 23;",
"$S[i]::y = 23;", "error(55): A.g:9:16: unknown dynamically-scoped attribute for scope S: y in $S[i]::y = 23;",
"$S[0]::y = 23;", "error(55): A.g:9:16: unknown dynamically-scoped attribute for scope S: y in $S[0]::y = 23;",
"$S[$S::y]::i", "error(55): A.g:9:16: unknown dynamically-scoped attribute for scope S: y in $S::y"
"$S::j", "error(55): A.g:10:7: unknown dynamically-scoped attribute for scope S: j in $S::j",
"$S::j = 3;", "error(55): A.g:10:7: unknown dynamically-scoped attribute for scope S: j in $S::j = 3;",
"$S::j = $S::k;", "error(55): A.g:10:7: unknown dynamically-scoped attribute for scope S: j in $S::j = $S::k;\n" +
"error(55): A.g:10:15: unknown dynamically-scoped attribute for scope S: k in $S::k",
"$Q[-1]::y", "error(54): A.g:10:4: unknown dynamic scope: Q in $Q[-1]::y",
"$Q[-i]::y", "error(54): A.g:10:4: unknown dynamic scope: Q in $Q[-i]::y",
"$Q[i]::y", "error(54): A.g:10:4: unknown dynamic scope: Q in $Q[i]::y",
"$Q[0]::y", "error(54): A.g:10:4: unknown dynamic scope: Q in $Q[0]::y",
"$Q[-1]::y = 23;", "error(54): A.g:10:4: unknown dynamic scope: Q in $Q[-1]::y = 23;",
"$Q[-i]::y = 23;", "error(54): A.g:10:4: unknown dynamic scope: Q in $Q[-i]::y = 23;",
"$Q[i]::y = 23;", "error(54): A.g:10:4: unknown dynamic scope: Q in $Q[i]::y = 23;",
"$Q[0]::y = 23;", "error(54): A.g:10:4: unknown dynamic scope: Q in $Q[0]::y = 23;",
"$S[-1]::y", "error(55): A.g:10:11: unknown dynamically-scoped attribute for scope S: y in $S[-1]::y",
"$S[-i]::y", "error(55): A.g:10:11: unknown dynamically-scoped attribute for scope S: y in $S[-i]::y",
"$S[i]::y", "error(55): A.g:10:10: unknown dynamically-scoped attribute for scope S: y in $S[i]::y",
"$S[0]::y", "error(55): A.g:10:10: unknown dynamically-scoped attribute for scope S: y in $S[0]::y",
"$S[-1]::y = 23;", "error(55): A.g:10:11: unknown dynamically-scoped attribute for scope S: y in $S[-1]::y = 23;",
"$S[-i]::y = 23;", "error(55): A.g:10:11: unknown dynamically-scoped attribute for scope S: y in $S[-i]::y = 23;",
"$S[i]::y = 23;", "error(55): A.g:10:10: unknown dynamically-scoped attribute for scope S: y in $S[i]::y = 23;",
"$S[0]::y = 23;", "error(55): A.g:10:10: unknown dynamically-scoped attribute for scope S: y in $S[0]::y = 23;",
"$S[$S::y]::i", "error(55): A.g:10:10: unknown dynamically-scoped attribute for scope S: y in $S::y"
};
String[] dynFinallyChecks = {
"$b::f", "",
"$S::j", "error(55): A.g:11:17: unknown dynamically-scoped attribute for scope S: j in $S::j",
"$S::j = 3;", "error(55): A.g:11:17: unknown dynamically-scoped attribute for scope S: j in $S::j = 3;",
"$S::j = $S::k;", "error(55): A.g:11:17: unknown dynamically-scoped attribute for scope S: j in $S::j = $S::k;\n" +
"error(55): A.g:11:25: unknown dynamically-scoped attribute for scope S: k in $S::k",
"$S::j", "error(55): A.g:12:17: unknown dynamically-scoped attribute for scope S: j in $S::j",
"$S::j = 3;", "error(55): A.g:12:17: unknown dynamically-scoped attribute for scope S: j in $S::j = 3;",
"$S::j = $S::k;", "error(55): A.g:12:17: unknown dynamically-scoped attribute for scope S: j in $S::j = $S::k;\n" +
"error(55): A.g:12:25: unknown dynamically-scoped attribute for scope S: k in $S::k",
};
@Test public void testMembersActions() throws RecognitionException {