public class CppCodeGenerator extends CodeGenerator
Modifier and Type | Field and Description |
---|---|
(package private) int |
astVarNumber |
static int |
caseSizeThreshold |
(package private) java.lang.String |
commonExtraArgs |
(package private) java.lang.String |
commonExtraParams |
(package private) java.lang.String |
commonLocalVars |
(package private) java.lang.String |
currentASTResult |
(package private) RuleBlock |
currentRule |
(package private) boolean |
DEBUG_CPP_CODE_GENERATOR |
(package private) java.util.Hashtable |
declaredASTVariables
Used to keep track of which AST variables have been defined in a rule
(except for the #rule_name and #rule_name_in var's
|
(package private) java.lang.String |
exceptionThrown |
protected boolean |
genAST |
protected boolean |
genHashLines |
(package private) java.lang.String |
labeledElementASTInit |
(package private) java.lang.String |
labeledElementASTType |
(package private) java.lang.String |
labeledElementInit |
(package private) java.lang.String |
labeledElementType |
(package private) java.lang.String |
lt1Value |
protected boolean |
noConstructors |
protected static java.lang.String |
NONUNIQUE |
protected java.lang.String |
outputFile |
protected int |
outputLine |
protected boolean |
saveText |
protected int |
syntacticPredLevel |
(package private) java.lang.String |
throwNoViable |
(package private) java.util.Hashtable |
treeVariableMap |
(package private) boolean |
usingCustomAST |
analyzer, antlrTool, behavior, BITSET_OPTIMIZE_INIT_THRESHOLD, bitsetsUsed, bitsetTestThreshold, charFormatter, currentOutput, DEBUG_CODE_GENERATOR, DEFAULT_BITSET_TEST_THRESHOLD, DEFAULT_MAKE_SWITCH_THRESHOLD, grammar, makeSwitchThreshold, tabs, TokenTypesFileExt, TokenTypesFileSuffix
Constructor and Description |
---|
CppCodeGenerator()
Create a C++ code-generator using the given Grammar.
|
Modifier and Type | Method and Description |
---|---|
protected void |
_print(java.lang.String s)
Output a String to the currentOutput stream.
|
protected void |
_printAction(java.lang.String s)
Print an action without leading tabs, attempting to
preserve the current indentation level for multi-line actions
Ignored if string is null.
|
protected void |
_println(java.lang.String s)
Output a String followed by newline, to the currentOutput stream.
|
protected int |
addSemPred(java.lang.String predicate)
Adds a semantic predicate string to the sem pred vector
These strings will be used to build an array of sem pred names
when building a debugging parser.
|
protected int |
countLines(java.lang.String s) |
void |
exitIfError() |
void |
gen()
Generate the parser, lexer, treeparser, and token types in C++
|
void |
gen(ActionElement action)
Generate code for the given grammar element.
|
void |
gen(AlternativeBlock blk)
Generate code for the given grammar element.
|
void |
gen(BlockEndElement end)
Generate code for the given grammar element.
|
void |
gen(CharLiteralElement atom)
Generate code for the given grammar element.
|
void |
gen(CharRangeElement r)
Generate code for the given grammar element.
|
void |
gen(LexerGrammar g)
Generate the lexer C++ files
|
void |
gen(OneOrMoreBlock blk)
Generate code for the given grammar element.
|
void |
gen(ParserGrammar g)
Generate the parser C++ file
|
void |
gen(RuleRefElement rr)
Generate code for the given grammar element.
|
void |
gen(StringLiteralElement atom)
Generate code for the given grammar element.
|
void |
gen(TokenRangeElement r)
Generate code for the given grammar element.
|
void |
gen(TokenRefElement atom)
Generate code for the given grammar element.
|
void |
gen(TreeElement t)
Generate code for the given grammar element.
|
void |
gen(TreeWalkerGrammar g)
Generate the tree-parser C++ files
|
void |
gen(WildcardElement wc)
Generate code for the given grammar element.
|
void |
gen(ZeroOrMoreBlock blk)
Generate code for the given grammar element.
|
protected void |
genAlt(Alternative alt,
AlternativeBlock blk)
Generate an alternative.
|
protected void |
genASTDeclaration(AlternativeElement el) |
protected void |
genASTDeclaration(AlternativeElement el,
java.lang.String node_type) |
protected void |
genASTDeclaration(AlternativeElement el,
java.lang.String var_name,
java.lang.String node_type) |
protected void |
genBitsets(Vector bitsetList,
int maxVocabulary,
java.lang.String prefix)
Generate all the bitsets to be used in the parser or lexer
Generate the raw bitset data like "long _tokenSet1_data[] = {...};"
and the BitSet object declarations like
"BitSet _tokenSet1 = new BitSet(_tokenSet1_data);"
Note that most languages do not support object initialization inside a
class definition, so other code-generators may have to separate the
bitset declarations from the initializations (e.g., put the
initializations in the generated constructor instead).
|
protected void |
genBitsetsHeader(Vector bitsetList,
int maxVocabulary) |
protected void |
genBlockInitAction(AlternativeBlock blk)
Generate the initaction for a block, which may be a RuleBlock or a
plain AlternativeBLock.
|
protected void |
genBlockPreamble(AlternativeBlock blk)
Generate the header for a block, which may be a RuleBlock or a
plain AlternativeBlock.
|
void |
genBody(LexerGrammar g) |
void |
genBody(ParserGrammar g) |
void |
genBody(TreeWalkerGrammar g) |
protected void |
genCases(BitSet p)
Generate a series of case statements that implement a BitSet test.
|
CppBlockFinishingInfo |
genCommonBlock(AlternativeBlock blk,
boolean noTestForSingle)
Generate common code for a block of alternatives; return a postscript
that needs to be generated at the end of the block.
|
protected void |
genHeader(java.lang.String fileName)
Generate a header that is common to all C++ files
|
void |
genInclude(LexerGrammar g) |
void |
genInclude(ParserGrammar g) |
void |
genInclude(TreeWalkerGrammar g) |
void |
genInitFactory(Grammar g) |
void |
genLineNo(GrammarElement el)
Generate a #line or // line depending on options
|
void |
genLineNo(int line)
Generate a #line or // line depending on options
|
void |
genLineNo(Token t)
Generate a #line or // line depending on options
|
void |
genLineNo2()
Generate a #line or // line depending on options
|
protected void |
genMatch(BitSet b) |
protected void |
genMatch(GrammarAtom atom) |
protected void |
genMatchUsingAtomText(GrammarAtom atom) |
protected void |
genMatchUsingAtomTokenType(GrammarAtom atom) |
void |
genNextToken()
Generate the nextToken() rule.
|
void |
genRule(RuleSymbol s,
boolean startSymbol,
int ruleNum,
java.lang.String prefix)
Gen a named rule block.
|
void |
genRuleHeader(RuleSymbol s,
boolean startSymbol) |
protected void |
genSemPred(java.lang.String pred,
int line) |
protected void |
genSemPredMap(java.lang.String prefix)
Write an array of Strings which are the semantic predicate
expressions.
|
protected void |
genSynPred(SynPredBlock blk,
java.lang.String lookaheadExpr) |
void |
genTokenStrings(java.lang.String prefix)
Generate a static array containing the names of the tokens,
indexed by the token type values.
|
protected void |
genTokenTypes(TokenManager tm)
Generate the token types C++ file
|
java.lang.String |
getASTCreateString(GrammarAtom atom,
java.lang.String str)
Get a string for an expression to generate creating of an AST node
|
java.lang.String |
getASTCreateString(java.lang.String str)
Get a string for an expression to generate creating of an AST node
|
java.lang.String |
getASTCreateString(Vector v)
Get a string for an expression to generate creation of an AST subtree.
|
protected java.lang.String |
getLookaheadTestExpression(Alternative alt,
int maxDepth)
Generate a lookahead test expression for an alternate.
|
protected java.lang.String |
getLookaheadTestExpression(Lookahead[] look,
int k) |
protected java.lang.String |
getLookaheadTestTerm(int k,
BitSet p)
Generate a depth==1 lookahead test expression given the BitSet.
|
java.lang.String |
getRangeExpression(int k,
int[] elems)
Return an expression for testing a contiguous renage of elements
|
protected boolean |
lookaheadIsEmpty(Alternative alt,
int maxDepth)
Is the lookahead for this alt empty?
|
java.lang.String |
mapTreeId(java.lang.String idParam,
ActionTransInfo transInfo)
Map an identifier to it's corresponding tree-node variable.
|
void |
printAction(Token t)
Print an action stored in a token surrounded by #line stuff
|
void |
printHeaderAction(java.lang.String name)
Print a header action by #line stuff also process any tree construction
|
protected void |
println(java.lang.String s)
Output tab indent followed by a String followed by newline,
to the currentOutput stream.
|
protected java.lang.String |
processActionForSpecialSymbols(java.lang.String actionStr,
int line,
RuleBlock currentRule,
ActionTransInfo tInfo)
Lexically process tree-specifiers in the action.
|
java.lang.String |
processStringForASTConstructor(java.lang.String str)
Process a string for an simple expression for use in xx/action.g
it is used to cast simple tokens/references to the right type for
the generated language.
|
decodeLexerRuleName, elementsAreRange, encodeLexerRuleName, extractIdOfAction, extractIdOfAction, extractTypeOfAction, extractTypeOfAction, genTokenInterchange, getBitsetName, getFIRSTBitSet, getFOLLOWBitSet, markBitsetForGen, print, printAction, printTabs, removeAssignmentFromDeclaration, reverseLexerRuleName, setAnalyzer, setBehavior, setGrammar, setTool
boolean DEBUG_CPP_CODE_GENERATOR
protected int syntacticPredLevel
protected boolean genAST
protected boolean saveText
protected boolean genHashLines
protected boolean noConstructors
protected int outputLine
protected java.lang.String outputFile
boolean usingCustomAST
java.lang.String labeledElementType
java.lang.String labeledElementASTType
java.lang.String labeledElementASTInit
java.lang.String labeledElementInit
java.lang.String commonExtraArgs
java.lang.String commonExtraParams
java.lang.String commonLocalVars
java.lang.String lt1Value
java.lang.String exceptionThrown
java.lang.String throwNoViable
RuleBlock currentRule
java.lang.String currentASTResult
java.util.Hashtable treeVariableMap
java.util.Hashtable declaredASTVariables
int astVarNumber
protected static final java.lang.String NONUNIQUE
public static final int caseSizeThreshold
public CppCodeGenerator()
protected int addSemPred(java.lang.String predicate)
public void exitIfError()
protected int countLines(java.lang.String s)
protected void _print(java.lang.String s)
_print
in class CodeGenerator
s
- The string to outputprotected void _printAction(java.lang.String s)
_printAction
in class CodeGenerator
s
- The action string to outputpublic void printAction(Token t)
public void printHeaderAction(java.lang.String name)
name
- The name of the header partprotected void _println(java.lang.String s)
_println
in class CodeGenerator
s
- The string to outputprotected void println(java.lang.String s)
println
in class CodeGenerator
s
- The string to outputpublic void genLineNo(int line)
public void genLineNo(GrammarElement el)
public void genLineNo(Token t)
public void genLineNo2()
public void gen()
gen
in class CodeGenerator
public void gen(ActionElement action)
gen
in class CodeGenerator
blk
- The {...} action to generatepublic void gen(AlternativeBlock blk)
gen
in class CodeGenerator
blk
- The "x|y|z|..." block to generatepublic void gen(BlockEndElement end)
gen
in class CodeGenerator
blk
- The block-end element to generate. Block-end
elements are synthesized by the grammar parser to represent
the end of a block.public void gen(CharLiteralElement atom)
gen
in class CodeGenerator
blk
- The character literal reference to generatepublic void gen(CharRangeElement r)
gen
in class CodeGenerator
blk
- The character-range reference to generatepublic void gen(LexerGrammar g) throws java.io.IOException
gen
in class CodeGenerator
java.io.IOException
public void gen(OneOrMoreBlock blk)
gen
in class CodeGenerator
blk
- The (...)+ block to generatepublic void gen(ParserGrammar g) throws java.io.IOException
gen
in class CodeGenerator
java.io.IOException
public void gen(RuleRefElement rr)
gen
in class CodeGenerator
blk
- The rule-reference to generatepublic void gen(StringLiteralElement atom)
gen
in class CodeGenerator
blk
- The string-literal reference to generatepublic void gen(TokenRangeElement r)
gen
in class CodeGenerator
blk
- The token-range reference to generatepublic void gen(TokenRefElement atom)
gen
in class CodeGenerator
blk
- The token-reference to generatepublic void gen(TreeElement t)
CodeGenerator
gen
in class CodeGenerator
public void gen(TreeWalkerGrammar g) throws java.io.IOException
gen
in class CodeGenerator
java.io.IOException
public void gen(WildcardElement wc)
gen
in class CodeGenerator
wc
- The wildcard element to generatepublic void gen(ZeroOrMoreBlock blk)
gen
in class CodeGenerator
blk
- The (...)* block to generateprotected void genAlt(Alternative alt, AlternativeBlock blk)
alt
- The alternative to generateblk
- The block to which the alternative belongsprotected void genBitsets(Vector bitsetList, int maxVocabulary, java.lang.String prefix)
bitsetList
- The list of bitsets to generate.maxVocabulary
- Ensure that each generated bitset can contain at
least this value.prefix
- string glued in from of bitset names used for namespace
qualifications.protected void genBitsetsHeader(Vector bitsetList, int maxVocabulary)
protected void genBlockInitAction(AlternativeBlock blk)
protected void genBlockPreamble(AlternativeBlock blk)
public void genBody(LexerGrammar g) throws java.io.IOException
java.io.IOException
public void genInitFactory(Grammar g)
public void genBody(ParserGrammar g) throws java.io.IOException
java.io.IOException
public void genBody(TreeWalkerGrammar g) throws java.io.IOException
java.io.IOException
protected void genCases(BitSet p)
p
- The Bitset for which cases are to be generatedpublic CppBlockFinishingInfo genCommonBlock(AlternativeBlock blk, boolean noTestForSingle)
blk
- The block to generatenoTestForSingle
- If true, then it does not generate a test for a single alternative.protected void genHeader(java.lang.String fileName)
public void genInclude(LexerGrammar g) throws java.io.IOException
java.io.IOException
public void genInclude(ParserGrammar g) throws java.io.IOException
java.io.IOException
public void genInclude(TreeWalkerGrammar g) throws java.io.IOException
java.io.IOException
protected void genASTDeclaration(AlternativeElement el)
protected void genASTDeclaration(AlternativeElement el, java.lang.String node_type)
protected void genASTDeclaration(AlternativeElement el, java.lang.String var_name, java.lang.String node_type)
protected void genMatch(BitSet b)
protected void genMatch(GrammarAtom atom)
protected void genMatchUsingAtomText(GrammarAtom atom)
protected void genMatchUsingAtomTokenType(GrammarAtom atom)
public void genNextToken()
RuleBlock
- public void genRule(RuleSymbol s, boolean startSymbol, int ruleNum, java.lang.String prefix)
rule
- The name of the rule to generatestartSymbol
- true if the rule is a start symbol (i.e., not referenced elsewhere)public void genRuleHeader(RuleSymbol s, boolean startSymbol)
protected void genSemPred(java.lang.String pred, int line)
protected void genSemPredMap(java.lang.String prefix)
protected void genSynPred(SynPredBlock blk, java.lang.String lookaheadExpr)
public void genTokenStrings(java.lang.String prefix)
protected void genTokenTypes(TokenManager tm) throws java.io.IOException
java.io.IOException
public java.lang.String processStringForASTConstructor(java.lang.String str)
processStringForASTConstructor
in class CodeGenerator
str
- A String.public java.lang.String getASTCreateString(Vector v)
getASTCreateString
in class CodeGenerator
v
- A Vector of String, where each element is an expression
in the target language yielding an AST node.public java.lang.String getASTCreateString(GrammarAtom atom, java.lang.String str)
getASTCreateString
in class CodeGenerator
str
- The arguments to the AST constructorpublic java.lang.String getASTCreateString(java.lang.String str)
str
- The arguments to the AST constructorprotected java.lang.String getLookaheadTestExpression(Lookahead[] look, int k)
protected java.lang.String getLookaheadTestExpression(Alternative alt, int maxDepth)
protected java.lang.String getLookaheadTestTerm(int k, BitSet p)
k
- The lookahead levelp
- The lookahead set for level kpublic java.lang.String getRangeExpression(int k, int[] elems)
k
- The lookahead levelelems
- The elements representing the set, usually from BitSet.toArray().protected boolean lookaheadIsEmpty(Alternative alt, int maxDepth)
public java.lang.String mapTreeId(java.lang.String idParam, ActionTransInfo transInfo)
mapTreeId
in class CodeGenerator
idParam
- The identifier name to mapprotected java.lang.String processActionForSpecialSymbols(java.lang.String actionStr, int line, RuleBlock currentRule, ActionTransInfo tInfo)
processActionForSpecialSymbols
in class CodeGenerator