edu.toronto.cs.yasm.abstractor
Class SymbolicExecutor

java.lang.Object
  extended by antlr.TreeParser
      extended by edu.toronto.cs.yasm.abstractor.SymbolicExecutor
All Implemented Interfaces:
SymbolicExecutorTokenTypes

public class SymbolicExecutor
extends antlr.TreeParser
implements SymbolicExecutorTokenTypes


Field Summary
static java.lang.String[] _tokenNames
           
static antlr.collections.impl.BitSet _tokenSet_0
           
 
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
 
Constructor Summary
SymbolicExecutor()
           
 
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
 

Field Detail

_tokenNames

public static final java.lang.String[] _tokenNames

_tokenSet_0

public static final antlr.collections.impl.BitSet _tokenSet_0
Constructor Detail

SymbolicExecutor

public SymbolicExecutor()
Method Detail

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