|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |