edu.toronto.cs.yasm.abstractor
Class SymbolicExecutor
java.lang.Object
antlr.TreeParser
edu.toronto.cs.yasm.abstractor.SymbolicExecutor
- All Implemented Interfaces:
- SymbolicExecutorTokenTypes
public class SymbolicExecutor
- extends antlr.TreeParser
- implements SymbolicExecutorTokenTypes
Fields inherited from class antlr.TreeParser |
_retTree, astFactory, ASTNULL, inputState, returnAST, tokenNames, traceDepth |
Fields inherited from interface edu.toronto.cs.yasm.abstractor.SymbolicExecutorTokenTypes |
ASSIGN, BadStringLiteral, BAND, BAND_ASSIGN, BNOT, BOR, BOR_ASSIGN, BXOR, BXOR_ASSIGN, CharLiteral, COLON, COMMA, Comment, CPPComment, DEC, Digit, DIV, DIV_ASSIGN, DOT, DoubleDoubleConst, EOF, EQUAL, Escape, Exponent, FloatDoubleConst, FloatSuffix, GT, GTE, ID, INC, IntHexConst, IntIntConst, IntOctalConst, LAND, LBRACKET, LCURLY, LineDirective, LITERAL___asm__, LITERAL___attribute__, LITERAL___inline, LITERAL___nd_goto, LITERAL_asm, LITERAL_auto, LITERAL_break, LITERAL_char, LITERAL_const, LITERAL_double, LITERAL_else, LITERAL_enum, LITERAL_extern, LITERAL_float, LITERAL_goto, LITERAL_if, LITERAL_int, LITERAL_long, LITERAL_register, LITERAL_return, LITERAL_short, LITERAL_signed, LITERAL_sizeof, LITERAL_static, LITERAL_struct, LITERAL_typedef, LITERAL_union, LITERAL_unsigned, LITERAL_void, LITERAL_volatile, LITERAL_while, LNOT, LongDoubleConst, LongHexConst, LongIntConst, LongOctalConst, LongSuffix, LOR, LPAREN, LSHIFT, LSHIFT_ASSIGN, LT, LTE, MINUS, MINUS_ASSIGN, MOD, MOD_ASSIGN, NArrayElement, NArrayIndex, NAsmAttribute, NAssignStmt, NBlock, NBreak, NCast, NCommaExpr, NCompoundStatement, NContinue, NDeclaration, NDeclarator, NDeclSpecifiers, NEmptyExpression, NEmptyScope, NFunctionBody, NFunctionCall, NFunctionCallArgs, NFunctionCallAssignStmt, NFunctionCallStmt, NFunctionDeclSpecifiers, NFunctionDef, NGnuAsmExpr, NGoto, NIf, NImplicitAssignStmt, NInitDecl, NInitializer, NLabel, NLabelledStmt, NLCurlyInitializer, NLHS, NLocalDeclarations, NNDGoto, NNonemptyAbstractDeclarator, NOT_EQUAL, NParameterDeclaration, NParameterTypeList, NPointerGroup, NPostfixExpr, NProgram, NPureExpr, NPureExpressionGroup, NRangeExpr, NReturn, NRHS, NScope, NStatementExpr, NStringSeq, NStructDeclarator, NStructFields, NTypedefName, NULL_TREE_LOOKAHEAD, Number, NUnaryExpr, NWhile, PLUS, PLUS_ASSIGN, PREPROC_DIRECTIVE, PTR, QUESTION, RBRACKET, RCURLY, RPAREN, RSHIFT, RSHIFT_ASSIGN, SEMI, Space, STAR, STAR_ASSIGN, StringLiteral, UnsignedHexConst, UnsignedIntConst, UnsignedOctalConst, UnsignedSuffix, VARARGS, Vocabulary, Whitespace |
Method Summary |
MemoryModel |
asmt(antlr.collections.AST _t,
MemoryModel mmIn)
|
MemoryModel |
block(antlr.collections.AST _t,
MemoryModel mmIn)
|
Expr |
expr(antlr.collections.AST _t,
MemoryModel mm)
|
MemoryModel |
functionCallArgs(antlr.collections.AST _t,
java.util.List declarations,
MemoryModel mmIn)
|
Operator |
implicitAssignOp(antlr.collections.AST _t)
|
protected void |
intConst(antlr.collections.AST _t)
|
void |
label(antlr.collections.AST _t)
|
MemoryModel |
labelledStmt(antlr.collections.AST _t,
MemoryModel mmIn)
|
Expr |
lval(antlr.collections.AST _t,
MemoryModel mm)
|
Expr |
pureAdditiveExpr(antlr.collections.AST _t,
MemoryModel mm)
|
Expr |
pureEqualityExpr(antlr.collections.AST _t,
MemoryModel mm)
|
Expr |
pureExpr(antlr.collections.AST _t,
MemoryModel mm)
|
Expr |
pureLogicalAndExpr(antlr.collections.AST _t,
MemoryModel mm)
|
Expr |
pureLogicalOrExpr(antlr.collections.AST _t,
MemoryModel mm)
|
Expr |
pureMultExpr(antlr.collections.AST _t,
MemoryModel mm)
|
Expr |
purePostfixExpr(antlr.collections.AST _t,
MemoryModel mm)
|
Expr |
purePrefixExpr(antlr.collections.AST _t,
MemoryModel mm)
|
Expr |
purePrimaryExpr(antlr.collections.AST _t,
MemoryModel mm)
|
Expr |
pureRelationalExpr(antlr.collections.AST _t,
MemoryModel mm)
|
Expr |
pureUnaryExpr(antlr.collections.AST _t,
MemoryModel mm)
|
MemoryModel |
returnStmt(antlr.collections.AST _t,
java.lang.String returnVarName,
MemoryModel mmIn)
|
void |
setExprFactory(ExprFactory _fac)
|
MemoryModel |
stmt(antlr.collections.AST _t,
MemoryModel mmIn)
|
MemoryModel |
stmtList(antlr.collections.AST _t,
MemoryModel mmIn)
|
Operator |
unaryOperator(antlr.collections.AST _t)
|
Methods inherited from class antlr.TreeParser |
getAST, getASTFactory, getTokenName, getTokenNames, match, match, matchNot, panic, reportError, reportError, reportWarning, setASTFactory, setASTNodeClass, setASTNodeType, traceIn, traceIndent, traceOut |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
_tokenNames
public static final java.lang.String[] _tokenNames
_tokenSet_0
public static final antlr.collections.impl.BitSet _tokenSet_0
SymbolicExecutor
public SymbolicExecutor()
setExprFactory
public void setExprFactory(ExprFactory _fac)
block
public final MemoryModel block(antlr.collections.AST _t,
MemoryModel mmIn)
throws antlr.RecognitionException
- Throws:
antlr.RecognitionException
stmtList
public final MemoryModel stmtList(antlr.collections.AST _t,
MemoryModel mmIn)
throws antlr.RecognitionException
- Throws:
antlr.RecognitionException
stmt
public final MemoryModel stmt(antlr.collections.AST _t,
MemoryModel mmIn)
throws antlr.RecognitionException
- Throws:
antlr.RecognitionException
asmt
public final MemoryModel asmt(antlr.collections.AST _t,
MemoryModel mmIn)
throws antlr.RecognitionException
- Throws:
antlr.RecognitionException
labelledStmt
public final MemoryModel labelledStmt(antlr.collections.AST _t,
MemoryModel mmIn)
throws antlr.RecognitionException
- Throws:
antlr.RecognitionException
returnStmt
public final MemoryModel returnStmt(antlr.collections.AST _t,
java.lang.String returnVarName,
MemoryModel mmIn)
throws antlr.RecognitionException
- Throws:
antlr.RecognitionException
pureExpr
public final Expr pureExpr(antlr.collections.AST _t,
MemoryModel mm)
throws antlr.RecognitionException
- Throws:
antlr.RecognitionException
label
public final void label(antlr.collections.AST _t)
throws antlr.RecognitionException
- Throws:
antlr.RecognitionException
functionCallArgs
public final MemoryModel functionCallArgs(antlr.collections.AST _t,
java.util.List declarations,
MemoryModel mmIn)
throws antlr.RecognitionException
- Throws:
antlr.RecognitionException
lval
public final Expr lval(antlr.collections.AST _t,
MemoryModel mm)
throws antlr.RecognitionException
- Throws:
antlr.RecognitionException
implicitAssignOp
public final Operator implicitAssignOp(antlr.collections.AST _t)
throws antlr.RecognitionException
- Throws:
antlr.RecognitionException
expr
public final Expr expr(antlr.collections.AST _t,
MemoryModel mm)
throws antlr.RecognitionException
- Throws:
antlr.RecognitionException
pureLogicalOrExpr
public final Expr pureLogicalOrExpr(antlr.collections.AST _t,
MemoryModel mm)
throws antlr.RecognitionException
- Throws:
antlr.RecognitionException
pureLogicalAndExpr
public final Expr pureLogicalAndExpr(antlr.collections.AST _t,
MemoryModel mm)
throws antlr.RecognitionException
- Throws:
antlr.RecognitionException
pureEqualityExpr
public final Expr pureEqualityExpr(antlr.collections.AST _t,
MemoryModel mm)
throws antlr.RecognitionException
- Throws:
antlr.RecognitionException
pureRelationalExpr
public final Expr pureRelationalExpr(antlr.collections.AST _t,
MemoryModel mm)
throws antlr.RecognitionException
- Throws:
antlr.RecognitionException
pureAdditiveExpr
public final Expr pureAdditiveExpr(antlr.collections.AST _t,
MemoryModel mm)
throws antlr.RecognitionException
- Throws:
antlr.RecognitionException
pureMultExpr
public final Expr pureMultExpr(antlr.collections.AST _t,
MemoryModel mm)
throws antlr.RecognitionException
- Throws:
antlr.RecognitionException
pureUnaryExpr
public final Expr pureUnaryExpr(antlr.collections.AST _t,
MemoryModel mm)
throws antlr.RecognitionException
- Throws:
antlr.RecognitionException
purePrimaryExpr
public final Expr purePrimaryExpr(antlr.collections.AST _t,
MemoryModel mm)
throws antlr.RecognitionException
- Throws:
antlr.RecognitionException
purePostfixExpr
public final Expr purePostfixExpr(antlr.collections.AST _t,
MemoryModel mm)
throws antlr.RecognitionException
- Throws:
antlr.RecognitionException
purePrefixExpr
public final Expr purePrefixExpr(antlr.collections.AST _t,
MemoryModel mm)
throws antlr.RecognitionException
- Throws:
antlr.RecognitionException
unaryOperator
public final Operator unaryOperator(antlr.collections.AST _t)
throws antlr.RecognitionException
- Throws:
antlr.RecognitionException
intConst
protected final void intConst(antlr.collections.AST _t)
throws antlr.RecognitionException
- Throws:
antlr.RecognitionException