Uses of Interface
edu.toronto.cs.expr.ExprFactory

Packages that use ExprFactory
edu.toronto.cs.cparser   
edu.toronto.cs.expr   
edu.toronto.cs.yasm.abstractor   
edu.toronto.cs.yasm.pprogram   
edu.toronto.cs.yasm.util   
 

Uses of ExprFactory in edu.toronto.cs.cparser
 

Methods in edu.toronto.cs.cparser with parameters of type ExprFactory
 Expr CILTransformer.additiveExpr(antlr.collections.AST _t, ExprFactory fac)
           
 Expr CILTransformer.argExprList(antlr.collections.AST _t, ExprFactory fac)
           
 Expr CILTransformer.asm_expr(antlr.collections.AST _t, ExprFactory fac)
           
 Expr CILTransformer.assignExpr(antlr.collections.AST _t, ExprFactory fac)
           
 Expr CILTransformer.attributeDecl(antlr.collections.AST _t, ExprFactory fac)
           
 Expr CILTransformer.bitAndExpr(antlr.collections.AST _t, ExprFactory fac)
           
 Expr CILTransformer.castExpr(antlr.collections.AST _t, ExprFactory fac)
           
 Expr CILTransformer.compoundStatement(antlr.collections.AST _t, ExprFactory fac)
           
 Expr CILTransformer.compoundStatementExpr(antlr.collections.AST _t, ExprFactory fac)
           
 Expr CILTransformer.declaration(antlr.collections.AST _t, ExprFactory fac)
           
 Expr CILTransformer.declarationList(antlr.collections.AST _t, ExprFactory fac)
           
 Expr CILTransformer.declarator(antlr.collections.AST _t, ExprFactory fac)
           
 Expr CILTransformer.declSpecifiers(antlr.collections.AST _t, ExprFactory fac)
           
 Expr CILTransformer.enumerator(antlr.collections.AST _t, ExprFactory fac)
           
 Expr CILTransformer.enumList(antlr.collections.AST _t, ExprFactory fac)
           
 Expr CILTransformer.enumSpecifier(antlr.collections.AST _t, ExprFactory fac)
           
 Expr CILTransformer.equalityExpr(antlr.collections.AST _t, ExprFactory fac)
           
 Expr CILTransformer.exclusiveOrExpr(antlr.collections.AST _t, ExprFactory fac)
           
 Expr CILTransformer.expr(antlr.collections.AST _t, ExprFactory fac)
           
 Expr CILTransformer.externalDef(antlr.collections.AST _t, ExprFactory fac)
           
 Expr CILTransformer.externalList(antlr.collections.AST _t, ExprFactory fac)
           
 Expr CILTransformer.functionDeclSpecifiers(antlr.collections.AST _t, ExprFactory fac)
           
 Expr CILTransformer.functionDef(antlr.collections.AST _t, ExprFactory fac)
           
 Expr CILTransformer.functionStorageClassSpecifier(antlr.collections.AST _t, ExprFactory fac)
           
static Expr CILTransformerUtil.getProgram(ExprFactory fac, java.io.Reader file)
          Parses an input stream into an expression tree same as getProgram (fac, file, false)
static Expr CILTransformerUtil.getProgram(ExprFactory fac, java.io.Reader file, boolean stmtBlocking)
          Describe getProgram method here.
static Expr CILTransformerUtil.getProgram(ExprFactory fac, java.io.Reader file, boolean stmtBlocking, int traceFrom, int traceTo)
           
static Expr CILTransformerUtil.getProgram(ExprFactory fac, java.io.Reader file, int traceFrom, int traceTo)
           
 void CILTransformer.gnuAsmExpr(antlr.collections.AST _t, ExprFactory fac)
           
 Expr CILTransformer.inclusiveOrExpr(antlr.collections.AST _t, ExprFactory fac)
           
 Expr CILTransformer.initDecl(antlr.collections.AST _t, ExprFactory fac)
           
 Expr CILTransformer.initDeclList(antlr.collections.AST _t, ExprFactory fac)
           
 Expr CILTransformer.initializer(antlr.collections.AST _t, ExprFactory fac)
           
 Expr CILTransformer.initializerList(antlr.collections.AST _t, ExprFactory fac)
           
 Expr CILTransformer.lcurlyInitializer(antlr.collections.AST _t, ExprFactory fac)
           
 Expr CILTransformer.logicalAndExpr(antlr.collections.AST _t, ExprFactory fac)
           
 Expr CILTransformer.logicalOrExpr(antlr.collections.AST _t, ExprFactory fac)
           
 Expr CILTransformer.multExpr(antlr.collections.AST _t, ExprFactory fac)
           
 Expr CILTransformer.ndGotoLabelList(antlr.collections.AST _t, ExprFactory fac)
           
 void CILTransformer.nonemptyAbstractDeclarator(antlr.collections.AST _t, ExprFactory fac)
           
 Expr CILTransformer.parameterDeclaration(antlr.collections.AST _t, ExprFactory fac)
           
 Expr CILTransformer.parameterTypeList(antlr.collections.AST _t, ExprFactory fac)
           
 Expr CILTransformer.pointerGroup(antlr.collections.AST _t, ExprFactory fac)
           
 Expr CILTransformer.postfixExpr(antlr.collections.AST _t, ExprFactory fac)
           
 Expr CILTransformer.primaryExpr(antlr.collections.AST _t, ExprFactory fac)
           
 Expr CILTransformer.relationalExpr(antlr.collections.AST _t, ExprFactory fac)
           
 Expr CILTransformer.shiftExpr(antlr.collections.AST _t, ExprFactory fac)
           
 Expr CILTransformer.specifierQualifierList(antlr.collections.AST _t, ExprFactory fac)
           
 Expr CILTransformer.statement(antlr.collections.AST _t, ExprFactory fac)
           
 Expr CILTransformer.statementBody(antlr.collections.AST _t, ExprFactory fac)
           
 Expr CILTransformer.statementList(antlr.collections.AST _t, ExprFactory fac)
           
 Expr CILTransformer.storageClassSpecifier(antlr.collections.AST _t, ExprFactory fac)
           
 void CILTransformer.strOptExprPair(antlr.collections.AST _t, ExprFactory fac)
           
 Expr CILTransformer.structDeclaration(antlr.collections.AST _t, ExprFactory fac)
           
 Expr CILTransformer.structDeclarationList(antlr.collections.AST _t, ExprFactory fac)
           
 Expr CILTransformer.structDeclarator(antlr.collections.AST _t, ExprFactory fac)
           
 Expr CILTransformer.structOrUnionBody(antlr.collections.AST _t, ExprFactory fac)
           
 Expr CILTransformer.structSpecifier(antlr.collections.AST _t, ExprFactory fac)
           
 Expr CILTransformer.translationUnit(antlr.collections.AST _t, ExprFactory fac, boolean _stmtBlocking)
           
 void CILTransformer.typeName(antlr.collections.AST _t, ExprFactory fac)
           
 Expr CILTransformer.typeQualifier(antlr.collections.AST _t, ExprFactory fac)
           
 Expr CILTransformer.typeSpecifier(antlr.collections.AST _t, ExprFactory fac)
           
 Expr CILTransformer.unaryExpr(antlr.collections.AST _t, ExprFactory fac)
           
 Expr CILTransformer.unionSpecifier(antlr.collections.AST _t, ExprFactory fac)
           
 

Uses of ExprFactory in edu.toronto.cs.expr
 

Classes in edu.toronto.cs.expr that implement ExprFactory
 class ExprFactoryImpl
           
 

Methods in edu.toronto.cs.expr that return ExprFactory
 ExprFactory ClosureExpr.getFactory()
           
 ExprFactory Expr.getFactory()
          Returns a factory for this expression
 

Constructors in edu.toronto.cs.expr with parameters of type ExprFactory
CVCLExprConverter(ExprFactory _fac, ValidityChecker _vc, java.util.Map _map)
           
ExprAlgebra(ExprFactory _fac)
           
 

Uses of ExprFactory in edu.toronto.cs.yasm.abstractor
 

Methods in edu.toronto.cs.yasm.abstractor that return ExprFactory
 ExprFactory NullExprAbstractor.getFactory()
           
 

Methods in edu.toronto.cs.yasm.abstractor with parameters of type ExprFactory
static ExprExecutor SymbolicExecutorUtil.newExprExecutor(ExprFactory fac)
           
static SymbolicExecutor SymbolicExecutorUtil.newSymbolicExecutor(ExprFactory fac)
           
static Expr SymbolicExecutorUtil.parseBlockExpr(Block b, ExprFactory fac)
           
 void SymbolicExecutor.setExprFactory(ExprFactory _fac)
           
 

Constructors in edu.toronto.cs.yasm.abstractor with parameters of type ExprFactory
BranchPredicateRefiner(ExprFactory _fac)
           
BranchPredicateRefiner(ExprFactory _fac, java.util.List _newPredicates)
           
CBJPredicateRefiner(ExprFactory _fac)
           
CBJPredicateRefiner(ExprFactory _fac, boolean _doInconsitent, boolean _doSearch)
          doInconsitent -- if true compute inconsistent cubes doSearch -- if true do abstraction search
CFFCPredicateRefiner(ExprFactory _fac)
           
CFFCPredicateRefiner(ExprFactory _fac, boolean _doInconsistent, boolean _doSearch)
           
CFFCPredicateRefiner(ExprFactory _fac, boolean _doInconsistent, boolean _doSearch, boolean _dependentPredicate)
          doInconsistent -- if true compute inconsistent cubes doSearch -- if true do abstraction search
CVCLMemoryModel(MemoryModel _mm, ExprFactory _fac, CVCLExprConverter _cvcl)
           
ExprExecutor(ExprFactory _fac)
           
LadderPredicateRefiner(ExprFactory _fac)
           
LadderPredicateRefiner(ExprFactory _fac, java.util.List _newPredicates)
           
NullAbstractor(ExprFactory _exprFactory)
           
NullExprAbstractor(ExprFactory _exprFactory)
           
PredicateRefiner(ExprFactory _fac)
           
PredicateRefiner(ExprFactory _fac, java.util.List _newPredicates)
           
 

Uses of ExprFactory in edu.toronto.cs.yasm.pprogram
 

Methods in edu.toronto.cs.yasm.pprogram that return ExprFactory
 ExprFactory PStmt.exprFac()
           
 ExprFactory PFunctionDef.getExprFactory()
           
 ExprFactory PProgram.getExprFactory()
           
 

Methods in edu.toronto.cs.yasm.pprogram with parameters of type ExprFactory
 void PCond.computeExpr(ExprFactory fac)
           
 MemoryModel PrllAsmtPStmt.symExec(ExprFactory fac)
           
 MemoryModel ReturnPStmt.symExec(ExprFactory fac)
           
 

Constructors in edu.toronto.cs.yasm.pprogram with parameters of type ExprFactory
PProgram(ExprFactory _fac, java.util.Map _functionDefs, java.util.Map _globalDecls)
           
PProgram(ExprFactory _fac, java.util.Map _functionDefs, java.util.Map _globalDecls, int _selectorType)
           
 

Uses of ExprFactory in edu.toronto.cs.yasm.util
 

Constructors in edu.toronto.cs.yasm.util with parameters of type ExprFactory
Substitution(CVCLExprConverter _converter, ExprFactory _fac, java.util.Map _m)