org.antlr.v4.analysis

Class LeftRecursiveRuleAnalyzer

java.lang.Object

org.antlr.runtime.BaseRecognizer

org.antlr.runtime.tree.TreeParser

org.antlr.v4.parse.LeftRecursiveRuleWalker

org.antlr.v4.analysis.LeftRecursiveRuleAnalyzer

public class LeftRecursiveRuleAnalyzer
extends LeftRecursiveRuleWalker

Using a tree walker on the rules, determine if a rule is directly left-recursive and if it follows our pattern.

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	LeftRecursiveRuleAnalyzer.ASSOC

Nested classes/interfaces inherited from class org.antlr.v4.parse.LeftRecursiveRuleWalker

LeftRecursiveRuleWalker.outerAlternative_return, LeftRecursiveRuleWalker.ruleBlock_return

Field Summary

Fields

Modifier and Type	Field and Description
Map<Integer,LeftRecursiveRuleAnalyzer.ASSOC>	altAssociativity
LinkedHashMap<Integer,LeftRecursiveRuleAltInfo>	binaryAlts
org.stringtemplate.v4.STGroup	codegenTemplates
String	language
List<Pair<GrammarAST,String>>	leftRecursiveRuleRefLabels Pointer to ID node of ^(= ID element)
List<LeftRecursiveRuleAltInfo>	otherAlts
List<LeftRecursiveRuleAltInfo>	prefixAlts
org.stringtemplate.v4.STGroup	recRuleTemplates
GrammarAST	retvals
String	ruleName
LinkedHashMap<Integer,LeftRecursiveRuleAltInfo>	suffixAlts
LinkedHashMap<Integer,LeftRecursiveRuleAltInfo>	ternaryAlts
org.antlr.runtime.TokenStream	tokenStream Tokens from which rule AST comes from
Tool	tool

Fields inherited from class org.antlr.v4.parse.LeftRecursiveRuleWalker

ACTION, ACTION_CHAR_LITERAL, ACTION_ESC, ACTION_STRING_LITERAL, ALT, ALTLIST, ARG, ARG_ACTION, ARG_OR_CHARSET, ARGLIST, ASSIGN, AT, BLOCK, CATCH, CHAR_RANGE, CLOSURE, COLON, COLONCOLON, COMBINED, COMMA, COMMENT, DOC_COMMENT, DOLLAR, DOT, ELEMENT_OPTIONS, EOF, EPSILON, ERRCHAR, ESC_SEQ, FINALLY, FOLLOW_ACTION_in_binary782, FOLLOW_ACTION_in_binaryMultipleOp681, FOLLOW_ACTION_in_block1316, FOLLOW_ACTION_in_element1211, FOLLOW_ACTION_in_elementOption1105, FOLLOW_ACTION_in_exceptionHandler223, FOLLOW_ACTION_in_finallyClause238, FOLLOW_ACTION_in_prefix849, FOLLOW_ACTION_in_rec_rule159, FOLLOW_ACTION_in_ternary812, FOLLOW_ALT_in_alternative1336, FOLLOW_ALT_in_binary767, FOLLOW_ALT_in_binaryMultipleOp673, FOLLOW_ALT_in_bops714, FOLLOW_ALT_in_outerAlternative620, FOLLOW_ALT_in_prefix830, FOLLOW_ALT_in_suffix867, FOLLOW_ALT_in_ternary798, FOLLOW_alternative_in_block1319, FOLLOW_ARG_ACTION_in_atom1357, FOLLOW_ARG_ACTION_in_exceptionHandler221, FOLLOW_ARG_ACTION_in_rec_rule120, FOLLOW_ARG_ACTION_in_rec_rule99, FOLLOW_ASSIGN_in_bops696, FOLLOW_ASSIGN_in_element1162, FOLLOW_ASSIGN_in_elementOption1069, FOLLOW_ASSIGN_in_elementOption1085, FOLLOW_ASSIGN_in_elementOption1101, FOLLOW_ASSIGN_in_elementOption1117, FOLLOW_ASSIGN_in_recurse888, FOLLOW_ASSIGN_in_token924, FOLLOW_AT_in_rec_rule155, FOLLOW_atom_in_element1136, FOLLOW_atom_in_element1153, FOLLOW_atom_in_element1155, FOLLOW_binary_in_outerAlternative411, FOLLOW_binary_in_synpred2_LeftRecursiveRuleWalker397, FOLLOW_binaryMultipleOp_in_outerAlternative355, FOLLOW_binaryMultipleOp_in_synpred1_LeftRecursiveRuleWalker351, FOLLOW_BLOCK_in_block1314, FOLLOW_BLOCK_in_bops708, FOLLOW_block_in_ebnf1248, FOLLOW_block_in_ebnf1262, FOLLOW_block_in_ebnf1278, FOLLOW_block_in_ebnf1294, FOLLOW_BLOCK_in_ruleBlock293, FOLLOW_bops_in_binaryMultipleOp677, FOLLOW_bops_in_bops700, FOLLOW_CATCH_in_exceptionHandler219, FOLLOW_CLOSURE_in_ebnf1276, FOLLOW_DOC_COMMENT_in_rec_rule83, FOLLOW_DOT_in_atom1417, FOLLOW_ebnf_in_element1206, FOLLOW_element_in_alternative1338, FOLLOW_element_in_atom1421, FOLLOW_element_in_element1144, FOLLOW_element_in_element1166, FOLLOW_element_in_element1177, FOLLOW_element_in_outerAlternative622, FOLLOW_element_in_prefix840, FOLLOW_element_in_suffix873, FOLLOW_ELEMENT_OPTIONS_in_elementOptions1037, FOLLOW_elementOption_in_elementOptions1039, FOLLOW_elementOptions_in_atom1371, FOLLOW_elementOptions_in_atom1388, FOLLOW_elementOptions_in_atom1405, FOLLOW_elementOptions_in_token978, FOLLOW_elementOptions_in_token995, FOLLOW_EPSILON_in_element1221, FOLLOW_exceptionGroup_in_rec_rule182, FOLLOW_exceptionHandler_in_exceptionGroup200, FOLLOW_FINALLY_in_finallyClause236, FOLLOW_finallyClause_in_exceptionGroup203, FOLLOW_ID_in_atom1419, FOLLOW_ID_in_bops698, FOLLOW_ID_in_element1164, FOLLOW_ID_in_element1175, FOLLOW_ID_in_elementOption1058, FOLLOW_ID_in_elementOption1071, FOLLOW_ID_in_elementOption1073, FOLLOW_ID_in_elementOption1087, FOLLOW_ID_in_elementOption1103, FOLLOW_ID_in_elementOption1119, FOLLOW_ID_in_rec_rule157, FOLLOW_ID_in_recurse890, FOLLOW_ID_in_token926, FOLLOW_ID_in_token941, FOLLOW_INT_in_elementOption1121, FOLLOW_LOCALS_in_rec_rule118, FOLLOW_NOT_in_element1142, FOLLOW_OPTIONAL_in_ebnf1260, FOLLOW_OPTIONS_in_rec_rule138, FOLLOW_outerAlternative_in_ruleBlock306, FOLLOW_PLUS_ASSIGN_in_element1173, FOLLOW_PLUS_ASSIGN_in_token939, FOLLOW_POSITIVE_CLOSURE_in_ebnf1292, FOLLOW_prefix_in_outerAlternative522, FOLLOW_prefix_in_synpred4_LeftRecursiveRuleWalker508, FOLLOW_RANGE_in_element1151, FOLLOW_recurse_in_binary769, FOLLOW_recurse_in_binary780, FOLLOW_recurse_in_binaryMultipleOp675, FOLLOW_recurse_in_binaryMultipleOp679, FOLLOW_recurse_in_prefix847, FOLLOW_recurse_in_suffix869, FOLLOW_recurse_in_ternary800, FOLLOW_recurse_in_ternary806, FOLLOW_recurse_in_ternary810, FOLLOW_recurseNoLabel_in_recurse892, FOLLOW_recurseNoLabel_in_recurse898, FOLLOW_RETURNS_in_rec_rule95, FOLLOW_RULE_in_rec_rule72, FOLLOW_RULE_REF_in_atom1355, FOLLOW_RULE_REF_in_element1201, FOLLOW_RULE_REF_in_rec_rule76, FOLLOW_RULE_REF_in_recurseNoLabel910, FOLLOW_ruleBlock_in_rec_rule175, FOLLOW_ruleModifier_in_rec_rule86, FOLLOW_SEMPRED_in_element1216, FOLLOW_SET_in_bops741, FOLLOW_SET_in_element1187, FOLLOW_setElement_in_element1189, FOLLOW_STRING_LITERAL_in_atom1369, FOLLOW_STRING_LITERAL_in_atom1377, FOLLOW_STRING_LITERAL_in_elementOption1089, FOLLOW_STRING_LITERAL_in_token955, FOLLOW_STRING_LITERAL_in_token976, FOLLOW_suffix_in_outerAlternative578, FOLLOW_suffix_in_synpred5_LeftRecursiveRuleWalker564, FOLLOW_ternary_in_outerAlternative466, FOLLOW_ternary_in_synpred3_LeftRecursiveRuleWalker453, FOLLOW_token_in_binary774, FOLLOW_token_in_bops719, FOLLOW_token_in_bops746, FOLLOW_token_in_ternary804, FOLLOW_token_in_ternary808, FOLLOW_token_in_token930, FOLLOW_token_in_token945, FOLLOW_TOKEN_REF_in_atom1386, FOLLOW_TOKEN_REF_in_atom1394, FOLLOW_TOKEN_REF_in_token1007, FOLLOW_TOKEN_REF_in_token993, FOLLOW_WILDCARD_in_atom1403, FOLLOW_WILDCARD_in_atom1411, FRAGMENT, GRAMMAR, GT, HEX_DIGIT, ID, IMPORT, INITACTION, INT, LABEL, LEXER, LEXER_ACTION_CALL, LEXER_ALT_ACTION, LEXER_CHAR_SET, LIST, LOCALS, LPAREN, LT, MODE, NameChar, NameStartChar, NESTED_ACTION, NLCHARS, NOT, numAlts, OPTIONAL, OPTIONS, OR, PARSER, PLUS, PLUS_ASSIGN, POSITIVE_CLOSURE, POUND, PREC_RULE, PRIVATE, PROTECTED, PUBLIC, QUESTION, RANGE, RARROW, RBRACE, RESULT, RET, RETURNS, RPAREN, RULE, RULE_REF, RULEACTIONS, RULEMODIFIERS, RULES, SEMI, SEMPRED, SET, SRC, STAR, STRING_LITERAL, SYNPRED, TEMPLATE, THROWS, TOKEN_REF, tokenNames, TOKENS_SPEC, TREE_GRAMMAR, UNICODE_ESC, WILDCARD, WS, WSCHARS, WSNLCHARS

Fields inherited from class org.antlr.runtime.tree.TreeParser

DOWN, input, UP

Fields inherited from class org.antlr.runtime.BaseRecognizer

DEFAULT_TOKEN_CHANNEL, HIDDEN, INITIAL_FOLLOW_STACK_SIZE, MEMO_RULE_FAILED, MEMO_RULE_UNKNOWN, NEXT_TOKEN_RULE_NAME, state

Constructor Summary

Constructors

Constructor and Description
LeftRecursiveRuleAnalyzer(GrammarAST ruleAST, Tool tool, String ruleName, String language)

Method Summary

Methods

Modifier and Type	Method and Description
AltAST	addPrecedenceArgToLastRule(AltAST t, int prec)
AltAST	addPrecedenceArgToRules(AltAST t, int prec)
void	binaryAlt(AltAST originalAltTree, int alt)
String	getArtificialOpPrecRule()
static boolean	hasImmediateRecursiveRuleRefs(GrammarAST t, String ruleName) Match (RULE RULE_REF (BLOCK (ALT .*) (ALT RULE_REF[self] .*) (ALT .*))) Match (RULE RULE_REF (BLOCK (ALT .*) (ALT (ASSIGN ID RULE_REF[self]) .*) (ALT .*)))
void	loadPrecRuleTemplates()
int	nextPrecedence(int alt)
void	otherAlt(AltAST originalAltTree, int alt)
int	precedence(int alt)
void	prefixAlt(AltAST originalAltTree, int alt)
void	setReturnValues(GrammarAST t)
void	setTokenPrec(GrammarAST t, int alt)
void	stripAltLabel(GrammarAST altAST) Strip last 2 tokens if -> label; alter indexes in altAST
void	stripAssocOptions(GrammarAST t)
GrammarAST	stripLeftRecursion(GrammarAST altAST)
void	suffixAlt(AltAST originalAltTree, int alt)
void	ternaryAlt(AltAST originalAltTree, int alt) Convert e ? e : e -> ? e : e_[nextPrec]
String	text(GrammarAST t)
String	toString()

Methods inherited from class org.antlr.v4.parse.LeftRecursiveRuleWalker

alternative, atom, binary, binaryMultipleOp, block, bops, ebnf, element, elementOption, elementOptions, exceptionGroup, exceptionHandler, finallyClause, getDelegates, getGrammarFileName, getTokenNames, outerAlternative, prefix, rec_rule, recurse, recurseNoLabel, ruleBlock, ruleModifier, setElement, suffix, synpred1_LeftRecursiveRuleWalker_fragment, synpred1_LeftRecursiveRuleWalker, synpred2_LeftRecursiveRuleWalker_fragment, synpred2_LeftRecursiveRuleWalker, synpred3_LeftRecursiveRuleWalker_fragment, synpred3_LeftRecursiveRuleWalker, synpred4_LeftRecursiveRuleWalker_fragment, synpred4_LeftRecursiveRuleWalker, synpred5_LeftRecursiveRuleWalker_fragment, synpred5_LeftRecursiveRuleWalker, ternary, token

Methods inherited from class org.antlr.runtime.tree.TreeParser

getAncestor, getCurrentInputSymbol, getErrorHeader, getErrorMessage, getMissingSymbol, getSourceName, getTreeNodeStream, inContext, inContext, matchAny, recoverFromMismatchedToken, reset, setTreeNodeStream, traceIn, traceOut

Methods inherited from class org.antlr.runtime.BaseRecognizer

alreadyParsedRule, beginResync, combineFollows, computeContextSensitiveRuleFOLLOW, computeErrorRecoverySet, consumeUntil, consumeUntil, displayRecognitionError, emitErrorMessage, endResync, failed, getBacktrackingLevel, getNumberOfSyntaxErrors, getRuleInvocationStack, getRuleInvocationStack, getRuleMemoization, getRuleMemoizationCacheSize, getTokenErrorDisplay, match, memoize, mismatchIsMissingToken, mismatchIsUnwantedToken, pushFollow, recover, recoverFromMismatchedSet, reportError, setBacktrackingLevel, toStrings, traceIn, traceOut

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

tool

public Tool tool

ruleName

public String ruleName

binaryAlts

public LinkedHashMap<Integer,LeftRecursiveRuleAltInfo> binaryAlts

ternaryAlts

public LinkedHashMap<Integer,LeftRecursiveRuleAltInfo> ternaryAlts

suffixAlts

public LinkedHashMap<Integer,LeftRecursiveRuleAltInfo> suffixAlts

prefixAlts

public List<LeftRecursiveRuleAltInfo> prefixAlts

otherAlts

public List<LeftRecursiveRuleAltInfo> otherAlts

leftRecursiveRuleRefLabels

public List<Pair<GrammarAST,String>> leftRecursiveRuleRefLabels

Pointer to ID node of ^(= ID element)

tokenStream

public final org.antlr.runtime.TokenStream tokenStream

Tokens from which rule AST comes from

retvals

public GrammarAST retvals

recRuleTemplates

public org.stringtemplate.v4.STGroup recRuleTemplates

codegenTemplates

public org.stringtemplate.v4.STGroup codegenTemplates

language

public String language

altAssociativity

public Map<Integer,LeftRecursiveRuleAnalyzer.ASSOC> altAssociativity

Constructor Detail

LeftRecursiveRuleAnalyzer

public LeftRecursiveRuleAnalyzer(GrammarAST ruleAST,
                         Tool tool,
                         String ruleName,
                         String language)

Method Detail

loadPrecRuleTemplates

public void loadPrecRuleTemplates()

setReturnValues

public void setReturnValues(GrammarAST t)

Overrides:

setReturnValues in class LeftRecursiveRuleWalker

setTokenPrec

public void setTokenPrec(GrammarAST t,
                int alt)

Overrides:

setTokenPrec in class LeftRecursiveRuleWalker

binaryAlt

public void binaryAlt(AltAST originalAltTree,
             int alt)

Overrides:

binaryAlt in class LeftRecursiveRuleWalker

ternaryAlt

public void ternaryAlt(AltAST originalAltTree,
              int alt)

Convert e ? e : e -> ? e : e_[nextPrec]

Overrides:

ternaryAlt in class LeftRecursiveRuleWalker

prefixAlt

public void prefixAlt(AltAST originalAltTree,
             int alt)

Overrides:

prefixAlt in class LeftRecursiveRuleWalker

suffixAlt

public void suffixAlt(AltAST originalAltTree,
             int alt)

Overrides:

suffixAlt in class LeftRecursiveRuleWalker

otherAlt

public void otherAlt(AltAST originalAltTree,
            int alt)

Overrides:

otherAlt in class LeftRecursiveRuleWalker

getArtificialOpPrecRule

public String getArtificialOpPrecRule()

addPrecedenceArgToRules

public AltAST addPrecedenceArgToRules(AltAST t,
                             int prec)

addPrecedenceArgToLastRule

public AltAST addPrecedenceArgToLastRule(AltAST t,
                                int prec)

stripAssocOptions

public void stripAssocOptions(GrammarAST t)

hasImmediateRecursiveRuleRefs

public static boolean hasImmediateRecursiveRuleRefs(GrammarAST t,
                                    String ruleName)

Match (RULE RULE_REF (BLOCK (ALT .*) (ALT RULE_REF[self] .*) (ALT .*))) Match (RULE RULE_REF (BLOCK (ALT .*) (ALT (ASSIGN ID RULE_REF[self]) .*) (ALT .*)))

stripLeftRecursion

public GrammarAST stripLeftRecursion(GrammarAST altAST)

stripAltLabel

public void stripAltLabel(GrammarAST altAST)

Strip last 2 tokens if -> label; alter indexes in altAST

text

public String text(GrammarAST t)

precedence

public int precedence(int alt)

nextPrecedence

public int nextPrecedence(int alt)

toString

public String toString()

Overrides:

toString in class Object