forked from jasder/antlr
started refactoring to collapse tree walker grammars into visitors
[git-p4: depot-paths = "//depot/code/antlr4/main/": change = 8856]
This commit is contained in:
parrt
parent
42f6b7cf86
commit
f36b1ad875
|
|
@ -1,8 +1,8 @@
|
|||
grammar T;
|
||||
options {output=AST;}
|
||||
|
||||
a : ('+' | '-')^ ;
|
||||
b returns [int i] : ID;
|
||||
a : 'var' (ID ':' type ';')+ -> ^('var' ^(':' ID type)*) ;
|
||||
type returns [int i] : ID;
|
||||
ID : 'a'..'z'+ ;
|
||||
INT : '0'..'9'+;
|
||||
PLUS : '+';
|
||||
|
|
|
|||
|
|
@ -1,3 +1,31 @@
|
|||
/*
|
||||
[The "BSD license"]
|
||||
Copyright (c) 2011 Terence Parr
|
||||
All rights reserved.
|
||||
|
||||
Redistribution and use in source and binary forms, with or without
|
||||
modification, are permitted provided that the following conditions
|
||||
are met:
|
||||
|
||||
1. Redistributions of source code must retain the above copyright
|
||||
notice, this list of conditions and the following disclaimer.
|
||||
2. Redistributions in binary form must reproduce the above copyright
|
||||
notice, this list of conditions and the following disclaimer in the
|
||||
documentation and/or other materials provided with the distribution.
|
||||
3. The name of the author may not be used to endorse or promote products
|
||||
derived from this software without specific prior written permission.
|
||||
|
||||
THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
|
||||
IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
|
||||
OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
|
||||
IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
|
||||
INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
|
||||
NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
|
||||
DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
|
||||
THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
|
||||
(INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
|
||||
THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
|
||||
*/
|
||||
tree grammar SourceGenTriggers;
|
||||
options {
|
||||
language = Java;
|
||||
|
|
|
|||
|
|
@ -0,0 +1,425 @@
|
|||
/*
|
||||
[The "BSD license"]
|
||||
Copyright (c) 2011 Terence Parr
|
||||
All rights reserved.
|
||||
|
||||
Redistribution and use in source and binary forms, with or without
|
||||
modification, are permitted provided that the following conditions
|
||||
are met:
|
||||
|
||||
1. Redistributions of source code must retain the above copyright
|
||||
notice, this list of conditions and the following disclaimer.
|
||||
2. Redistributions in binary form must reproduce the above copyright
|
||||
notice, this list of conditions and the following disclaimer in the
|
||||
documentation and/or other materials provided with the distribution.
|
||||
3. The name of the author may not be used to endorse or promote products
|
||||
derived from this software without specific prior written permission.
|
||||
|
||||
THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
|
||||
IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
|
||||
OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
|
||||
IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
|
||||
INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
|
||||
NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
|
||||
DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
|
||||
THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
|
||||
(INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
|
||||
THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
|
||||
*/
|
||||
|
||||
/** The definitive ANTLR v3 tree grammar to walk/visit ANTLR v4 grammars.
|
||||
* Parses trees created by ANTLRParser.g.
|
||||
*/
|
||||
tree grammar GrammarTreeVisitor;
|
||||
options {
|
||||
language = Java;
|
||||
tokenVocab = ANTLRParser;
|
||||
ASTLabelType = GrammarAST;
|
||||
}
|
||||
|
||||
// Include the copyright in this source and also the generated source
|
||||
@header {
|
||||
/*
|
||||
[The "BSD license"]
|
||||
Copyright (c) 2011 Terence Parr
|
||||
All rights reserved.
|
||||
|
||||
Redistribution and use in source and binary forms, with or without
|
||||
modification, are permitted provided that the following conditions
|
||||
are met:
|
||||
|
||||
1. Redistributions of source code must retain the above copyright
|
||||
notice, this list of conditions and the following disclaimer.
|
||||
2. Redistributions in binary form must reproduce the above copyright
|
||||
notice, this list of conditions and the following disclaimer in the
|
||||
documentation and/or other materials provided with the distribution.
|
||||
3. The name of the author may not be used to endorse or promote products
|
||||
derived from this software without specific prior written permission.
|
||||
|
||||
THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
|
||||
IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
|
||||
OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
|
||||
IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
|
||||
INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
|
||||
NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
|
||||
DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
|
||||
THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
|
||||
(INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
|
||||
THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
|
||||
*/
|
||||
package org.antlr.v4.parse;
|
||||
import org.antlr.v4.tool.*;
|
||||
import org.antlr.v4.runtime.tree.CommonTree; // use updated v4 one not v3
|
||||
}
|
||||
|
||||
@members {
|
||||
public String grammarName;
|
||||
public GrammarAST currentRule;
|
||||
public String currentRuleName;
|
||||
public GrammarAST currentRuleBlock;
|
||||
public GrammarAST currentOuterAltRoot;
|
||||
public int currentOuterAltNumber = 1; // 1..n
|
||||
public int rewriteEBNFLevel = 0;
|
||||
public boolean inRewrite;
|
||||
public boolean currentOuterAltHasRewrite;
|
||||
|
||||
public void visitGrammar(ErrorManager errMgr) {
|
||||
try { grammarSpec(); }
|
||||
catch (org.antlr.runtime.RecognitionException re) {
|
||||
errMgr.grammarError(ErrorType.INTERNAL_ERROR,
|
||||
null, re.token, re);
|
||||
}
|
||||
}
|
||||
public void visitRewrite(ErrorManager errMgr) {
|
||||
try { rewrite(); }
|
||||
catch (org.antlr.runtime.RecognitionException re) {
|
||||
errMgr.grammarError(ErrorType.INTERNAL_ERROR,
|
||||
null, re.token, re);
|
||||
}
|
||||
}
|
||||
public void visitRewriteEBNF(ErrorManager errMgr) {
|
||||
try { rewriteTreeEbnf(); }
|
||||
catch (org.antlr.runtime.RecognitionException re) {
|
||||
errMgr.grammarError(ErrorType.INTERNAL_ERROR,
|
||||
null, re.token, re);
|
||||
}
|
||||
}
|
||||
|
||||
public void rewriteTokenRef(GrammarAST ast, GrammarAST options, GrammarAST arg) { }
|
||||
public void rewriteStringRef(GrammarAST ast, GrammarAST options) { }
|
||||
public void rewriteRuleRef(GrammarAST ast) { }
|
||||
public void rewriteLabelRef(GrammarAST ast) { }
|
||||
public void rewriteAction(GrammarAST ast) { }
|
||||
}
|
||||
|
||||
grammarSpec
|
||||
: ^(GRAMMAR ID {grammarName=$ID.text;} DOC_COMMENT? prequelConstruct* rules mode*)
|
||||
;
|
||||
|
||||
prequelConstruct
|
||||
: optionsSpec
|
||||
| delegateGrammars
|
||||
| tokensSpec
|
||||
| attrScope
|
||||
| action
|
||||
;
|
||||
|
||||
optionsSpec
|
||||
: ^(OPTIONS option*)
|
||||
;
|
||||
|
||||
option
|
||||
: ^(ASSIGN ID optionValue)
|
||||
;
|
||||
|
||||
optionValue
|
||||
: ID
|
||||
| STRING_LITERAL
|
||||
| INT
|
||||
| STAR
|
||||
;
|
||||
|
||||
delegateGrammars
|
||||
: ^(IMPORT delegateGrammar+)
|
||||
;
|
||||
|
||||
delegateGrammar
|
||||
: ^(ASSIGN ID ID)
|
||||
| ID
|
||||
;
|
||||
|
||||
tokensSpec
|
||||
: ^(TOKENS tokenSpec+)
|
||||
;
|
||||
|
||||
tokenSpec
|
||||
: ^(ASSIGN ID STRING_LITERAL)
|
||||
| ID
|
||||
;
|
||||
|
||||
attrScope
|
||||
: ^(SCOPE ID ACTION)
|
||||
;
|
||||
|
||||
action
|
||||
: ^(AT ID? ID ACTION)
|
||||
;
|
||||
|
||||
rules
|
||||
: ^(RULES rule*)
|
||||
;
|
||||
|
||||
mode: ^( MODE ID rule+ ) ;
|
||||
|
||||
rule: ^( RULE ID {currentRuleName=$ID.text; currentRule=$RULE;}
|
||||
DOC_COMMENT? ruleModifiers? ARG_ACTION?
|
||||
ruleReturns? rulePrequel* ruleBlock exceptionGroup
|
||||
)
|
||||
;
|
||||
|
||||
exceptionGroup
|
||||
: exceptionHandler* finallyClause?
|
||||
;
|
||||
|
||||
exceptionHandler
|
||||
: ^(CATCH ARG_ACTION ACTION)
|
||||
;
|
||||
|
||||
finallyClause
|
||||
: ^(FINALLY ACTION)
|
||||
;
|
||||
|
||||
rulePrequel
|
||||
: throwsSpec
|
||||
| ruleScopeSpec
|
||||
| optionsSpec
|
||||
| ruleAction
|
||||
;
|
||||
|
||||
ruleReturns
|
||||
: ^(RETURNS ARG_ACTION)
|
||||
;
|
||||
throwsSpec
|
||||
: ^(THROWS ID+)
|
||||
;
|
||||
|
||||
ruleScopeSpec
|
||||
: ^(SCOPE ACTION)
|
||||
| ^(SCOPE ID+)
|
||||
;
|
||||
|
||||
ruleAction
|
||||
: ^(AT ID ACTION)
|
||||
;
|
||||
|
||||
ruleModifiers
|
||||
: ^(RULEMODIFIERS ruleModifier+)
|
||||
;
|
||||
|
||||
ruleModifier
|
||||
: PUBLIC
|
||||
| PRIVATE
|
||||
| PROTECTED
|
||||
| FRAGMENT
|
||||
;
|
||||
|
||||
altList
|
||||
: alternative+
|
||||
;
|
||||
|
||||
ruleBlock
|
||||
: {currentOuterAltNumber=0;}
|
||||
^( BLOCK
|
||||
( {
|
||||
currentOuterAltRoot = (GrammarAST)input.LT(1);
|
||||
currentOuterAltNumber++;
|
||||
currentOuterAltHasRewrite=false;
|
||||
inRewrite=false;
|
||||
currentOuterAltHasRewrite = false;
|
||||
if ( currentOuterAltRoot.getType()==ALT_REWRITE ) {
|
||||
currentOuterAltHasRewrite=true;
|
||||
}
|
||||
}
|
||||
alternative
|
||||
)+
|
||||
)
|
||||
;
|
||||
|
||||
alternative
|
||||
: ^(ALT_REWRITE {inRewrite=true;} alternative rewrite)
|
||||
| ^(ALT EPSILON)
|
||||
| ^(ALT element+)
|
||||
;
|
||||
|
||||
element
|
||||
: labeledElement
|
||||
| atom
|
||||
| subrule
|
||||
| ACTION
|
||||
| FORCED_ACTION
|
||||
| SEMPRED
|
||||
| GATED_SEMPRED
|
||||
| treeSpec
|
||||
| ^(ROOT astOperand)
|
||||
| ^(BANG astOperand)
|
||||
| ^(NOT blockSet)
|
||||
| ^(NOT block)
|
||||
;
|
||||
|
||||
astOperand
|
||||
: atom
|
||||
| ^(NOT blockSet)
|
||||
| ^(NOT block)
|
||||
;
|
||||
|
||||
labeledElement
|
||||
: ^((ASSIGN|PLUS_ASSIGN) ID element)
|
||||
;
|
||||
|
||||
treeSpec
|
||||
: ^(TREE_BEGIN element+)
|
||||
;
|
||||
|
||||
subrule
|
||||
: ^(blockSuffix block)
|
||||
| block
|
||||
;
|
||||
|
||||
blockSuffix
|
||||
: ebnfSuffix
|
||||
| ROOT
|
||||
| IMPLIES
|
||||
| BANG
|
||||
;
|
||||
|
||||
ebnfSuffix
|
||||
: OPTIONAL
|
||||
| CLOSURE
|
||||
| POSITIVE_CLOSURE
|
||||
;
|
||||
|
||||
atom: range
|
||||
| ^(DOT ID terminal)
|
||||
| ^(DOT ID ruleref)
|
||||
| ^(WILDCARD elementOptions)
|
||||
| WILDCARD
|
||||
| terminal
|
||||
| blockSet
|
||||
| ruleref
|
||||
;
|
||||
|
||||
blockSet
|
||||
: ^(SET setElement+)
|
||||
;
|
||||
|
||||
setElement
|
||||
: STRING_LITERAL
|
||||
| TOKEN_REF
|
||||
;
|
||||
|
||||
block
|
||||
: ^(BLOCK optionsSpec? ruleAction* ACTION? altList)
|
||||
;
|
||||
|
||||
ruleref
|
||||
: ^(RULE_REF ARG_ACTION?)
|
||||
;
|
||||
|
||||
range
|
||||
: ^(RANGE STRING_LITERAL STRING_LITERAL)
|
||||
;
|
||||
|
||||
terminal
|
||||
: ^(STRING_LITERAL elementOptions)
|
||||
| STRING_LITERAL
|
||||
| ^(TOKEN_REF ARG_ACTION elementOptions)
|
||||
| ^(TOKEN_REF ARG_ACTION)
|
||||
| ^(TOKEN_REF elementOptions)
|
||||
| TOKEN_REF
|
||||
;
|
||||
|
||||
elementOptions
|
||||
: ^(ELEMENT_OPTIONS elementOption+)
|
||||
;
|
||||
|
||||
elementOption
|
||||
: ID
|
||||
| ^(ASSIGN ID ID)
|
||||
| ^(ASSIGN ID STRING_LITERAL)
|
||||
;
|
||||
|
||||
rewrite
|
||||
: predicatedRewrite* nakedRewrite
|
||||
;
|
||||
|
||||
predicatedRewrite
|
||||
: ^(ST_RESULT SEMPRED rewriteAlt)
|
||||
| ^(RESULT SEMPRED rewriteAlt)
|
||||
;
|
||||
|
||||
nakedRewrite
|
||||
: ^(ST_RESULT rewriteAlt)
|
||||
| ^(RESULT rewriteAlt)
|
||||
;
|
||||
|
||||
rewriteAlt
|
||||
@init {rewriteEBNFLevel=0;}
|
||||
: rewriteTemplate
|
||||
| rewriteTreeAlt
|
||||
| ETC
|
||||
| EPSILON
|
||||
;
|
||||
|
||||
rewriteTreeAlt
|
||||
: ^(ALT rewriteTreeElement+)
|
||||
;
|
||||
|
||||
rewriteTreeElement
|
||||
: rewriteTreeAtom
|
||||
| rewriteTree
|
||||
| rewriteTreeEbnf
|
||||
;
|
||||
|
||||
rewriteTreeAtom
|
||||
: ^(TOKEN_REF elementOptions ARG_ACTION) {rewriteTokenRef($start,$elementOptions.start,$ARG_ACTION);}
|
||||
| ^(TOKEN_REF elementOptions) {rewriteTokenRef($start,$elementOptions.start,null);}
|
||||
| ^(TOKEN_REF ARG_ACTION) {rewriteTokenRef($start,null,$ARG_ACTION);}
|
||||
| TOKEN_REF {rewriteTokenRef($start,null,null);}
|
||||
| RULE_REF {rewriteRuleRef($start);}
|
||||
| ^(STRING_LITERAL elementOptions) {rewriteStringRef($start,$elementOptions.start);}
|
||||
| STRING_LITERAL {rewriteStringRef($start,null);}
|
||||
| LABEL {rewriteLabelRef($start);}
|
||||
| ACTION {rewriteAction($start);}
|
||||
;
|
||||
|
||||
rewriteTreeEbnf
|
||||
: ^(ebnfSuffix ^(REWRITE_BLOCK {rewriteEBNFLevel++;} rewriteTreeAlt {rewriteEBNFLevel--;}))
|
||||
;
|
||||
|
||||
rewriteTree
|
||||
: ^(TREE_BEGIN rewriteTreeAtom rewriteTreeElement* )
|
||||
;
|
||||
|
||||
rewriteTemplate
|
||||
: ^(TEMPLATE rewriteTemplateArgs? DOUBLE_QUOTE_STRING_LITERAL)
|
||||
| ^(TEMPLATE rewriteTemplateArgs? DOUBLE_ANGLE_STRING_LITERAL)
|
||||
| rewriteTemplateRef
|
||||
| rewriteIndirectTemplateHead
|
||||
| ACTION
|
||||
;
|
||||
|
||||
rewriteTemplateRef
|
||||
: ^(TEMPLATE ID rewriteTemplateArgs?)
|
||||
;
|
||||
|
||||
rewriteIndirectTemplateHead
|
||||
: ^(TEMPLATE ACTION rewriteTemplateArgs?)
|
||||
;
|
||||
|
||||
rewriteTemplateArgs
|
||||
: ^(ARGLIST rewriteTemplateArg+)
|
||||
;
|
||||
|
||||
rewriteTemplateArg
|
||||
: ^(ARG ID ACTION)
|
||||
;
|
||||
|
|
@ -1,80 +0,0 @@
|
|||
tree grammar Refs;
|
||||
options {
|
||||
language = Java;
|
||||
tokenVocab = ANTLRParser;
|
||||
ASTLabelType = GrammarAST;
|
||||
}
|
||||
|
||||
@header {
|
||||
package org.antlr.v4.semantics;
|
||||
import org.antlr.v4.misc.Utils;
|
||||
import org.antlr.v4.tool.*;
|
||||
import java.util.List;
|
||||
import java.util.ArrayList;
|
||||
}
|
||||
|
||||
@members {
|
||||
List<GrammarAST> shallow = new ArrayList<GrammarAST>();
|
||||
List<GrammarAST> deep = new ArrayList<GrammarAST>();
|
||||
public int desiredShallowLevel;
|
||||
|
||||
public Refs(TreeNodeStream input, int desiredShallowLevel) {
|
||||
this(input);
|
||||
this.desiredShallowLevel = desiredShallowLevel;
|
||||
}
|
||||
|
||||
public void track(GrammarAST t, int level) {
|
||||
deep.add(t);
|
||||
if ( level==desiredShallowLevel ) shallow.add(t);
|
||||
}
|
||||
|
||||
// TODO: visitor would be better here
|
||||
}
|
||||
|
||||
start
|
||||
: predicatedRewrite* nakedRewrite
|
||||
| rewriteTreeEbnf[0]
|
||||
;
|
||||
|
||||
predicatedRewrite
|
||||
: ^(RESULT SEMPRED rewriteAlt)
|
||||
;
|
||||
|
||||
nakedRewrite
|
||||
: ^(RESULT rewriteAlt)
|
||||
;
|
||||
|
||||
rewriteAlt
|
||||
: rewriteTreeAlt[0]
|
||||
| ETC
|
||||
| EPSILON
|
||||
;
|
||||
|
||||
rewriteTreeAlt[int level]
|
||||
: ^(ALT rewriteTreeElement[level]+)
|
||||
;
|
||||
|
||||
rewriteTreeElement[int level]
|
||||
: rewriteTreeAtom[level]
|
||||
| rewriteTree[level]
|
||||
| rewriteTreeEbnf[level]
|
||||
;
|
||||
|
||||
rewriteTreeAtom[int level]
|
||||
: ^(TOKEN_REF . .) {track($start, level);}
|
||||
| ^(TOKEN_REF .) {track($start, level);}
|
||||
| TOKEN_REF {track($start, level);}
|
||||
| RULE_REF {track($start, level);}
|
||||
| ^(STRING_LITERAL .) {track($start, level);}
|
||||
| STRING_LITERAL {track($start, level);}
|
||||
| LABEL {track($start, level);}
|
||||
| ACTION
|
||||
;
|
||||
|
||||
rewriteTreeEbnf[int level]
|
||||
: ^((OPTIONAL | CLOSURE) ^(REWRITE_BLOCK rewriteTreeAlt[level+1]))
|
||||
;
|
||||
|
||||
rewriteTree[int level]
|
||||
: ^(TREE_BEGIN rewriteTreeAtom[level] rewriteTreeElement[level]* )
|
||||
;
|
||||
|
|
@ -0,0 +1,72 @@
|
|||
/*
|
||||
[The "BSD license"]
|
||||
Copyright (c) 2011 Terence Parr
|
||||
All rights reserved.
|
||||
|
||||
Redistribution and use in source and binary forms, with or without
|
||||
modification, are permitted provided that the following conditions
|
||||
are met:
|
||||
|
||||
1. Redistributions of source code must retain the above copyright
|
||||
notice, this list of conditions and the following disclaimer.
|
||||
2. Redistributions in binary form must reproduce the above copyright
|
||||
notice, this list of conditions and the following disclaimer in the
|
||||
documentation and/or other materials provided with the distribution.
|
||||
3. The name of the author may not be used to endorse or promote products
|
||||
derived from this software without specific prior written permission.
|
||||
|
||||
THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
|
||||
IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
|
||||
OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
|
||||
IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
|
||||
INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
|
||||
NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
|
||||
DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
|
||||
THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
|
||||
(INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
|
||||
THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
|
||||
*/
|
||||
|
||||
package org.antlr.v4.semantics;
|
||||
|
||||
import org.antlr.runtime.tree.TreeNodeStream;
|
||||
import org.antlr.v4.parse.GrammarTreeVisitor;
|
||||
import org.antlr.v4.tool.GrammarAST;
|
||||
|
||||
import java.util.*;
|
||||
|
||||
public class RewriteRefs extends GrammarTreeVisitor {
|
||||
List<GrammarAST> shallow = new ArrayList<GrammarAST>();
|
||||
List<GrammarAST> deep = new ArrayList<GrammarAST>();
|
||||
public int desiredShallowLevel;
|
||||
|
||||
public RewriteRefs(TreeNodeStream input, int desiredShallowLevel) {
|
||||
super(input);
|
||||
this.desiredShallowLevel = desiredShallowLevel;
|
||||
}
|
||||
|
||||
public void track(GrammarAST t) {
|
||||
deep.add(t);
|
||||
if ( rewriteEBNFLevel==desiredShallowLevel ) shallow.add(t);
|
||||
}
|
||||
|
||||
@Override
|
||||
public void rewriteTokenRef(GrammarAST ast, GrammarAST options, GrammarAST arg) {
|
||||
track(ast);
|
||||
}
|
||||
|
||||
@Override
|
||||
public void rewriteStringRef(GrammarAST ast, GrammarAST options) {
|
||||
track(ast);
|
||||
}
|
||||
|
||||
@Override
|
||||
public void rewriteRuleRef(GrammarAST ast) {
|
||||
track(ast);
|
||||
}
|
||||
|
||||
@Override
|
||||
public void rewriteLabelRef(GrammarAST ast) {
|
||||
track(ast);
|
||||
}
|
||||
}
|
||||
|
|
@ -76,7 +76,7 @@ public class UseDefAnalyzer {
|
|||
public static List<GrammarAST> getElementReferencesShallowInOuterAlt(Grammar g,
|
||||
GrammarAST altAST)
|
||||
{
|
||||
return UseDefAnalyzer.getRewriteElementRefs(g, altAST, 0, false);
|
||||
return getRewriteElementRefs(g, altAST, 0, false);
|
||||
}
|
||||
|
||||
/** Given (('?'|'*') (REWRITE_BLOCK (ALT ...))) return list of element refs at
|
||||
|
|
@ -87,7 +87,7 @@ public class UseDefAnalyzer {
|
|||
GrammarAST ebnfRoot,
|
||||
boolean deep)
|
||||
{
|
||||
return UseDefAnalyzer.getRewriteElementRefs(g, ebnfRoot, 1, deep);
|
||||
return getRewriteElementRefs(g, ebnfRoot, 1, deep);
|
||||
}
|
||||
|
||||
/** Get list of rule refs, token refs mentioned on left, and labels not
|
||||
|
|
@ -111,24 +111,19 @@ public class UseDefAnalyzer {
|
|||
return elems;
|
||||
}
|
||||
|
||||
/** Visit either ^(-> ...) or ^(('?'|'*') ...) */
|
||||
public static List<GrammarAST> getRewriteElementRefs(Grammar g,
|
||||
GrammarAST root,
|
||||
int desiredShallowLevel,
|
||||
boolean deep)
|
||||
{
|
||||
CommonTreeNodeStream nodes = new CommonTreeNodeStream(root);
|
||||
Refs collector = new Refs(nodes, desiredShallowLevel);
|
||||
try {
|
||||
collector.start();
|
||||
}
|
||||
catch (org.antlr.runtime.RecognitionException re) {
|
||||
g.tool.errMgr.grammarError(ErrorType.INTERNAL_ERROR,
|
||||
g.fileName, re.token, re);
|
||||
|
||||
}
|
||||
// System.out.println("from "+root.toStringTree());
|
||||
// System.out.println("shallow: "+collector.shallow);
|
||||
// System.out.println("deep: "+collector.deep);
|
||||
RewriteRefs collector = new RewriteRefs(nodes, desiredShallowLevel);
|
||||
if ( root.getType()==ANTLRParser.RESULT ) collector.visitRewrite(g.tool.errMgr);
|
||||
else collector.visitRewriteEBNF(g.tool.errMgr);
|
||||
System.out.println("from "+root.toStringTree());
|
||||
System.out.println("shallow: "+collector.shallow);
|
||||
System.out.println("deep: "+collector.deep);
|
||||
return deep ? collector.deep : collector.shallow;
|
||||
}
|
||||
|
||||
|
|
|
|||
Loading…
Reference in New Issue