|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use Expr | |
---|---|
edu.toronto.cs.cparser | |
edu.toronto.cs.expr | |
edu.toronto.cs.yasm.abstractor | |
edu.toronto.cs.yasm.pprogram | |
edu.toronto.cs.yasm.util | |
edu.toronto.cs.yasm.wp |
Uses of Expr in edu.toronto.cs.cparser |
---|
Methods in edu.toronto.cs.cparser that return Expr | |
---|---|
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)
|
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)
|
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)
|
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)
|
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 Expr in edu.toronto.cs.expr |
---|
Classes in edu.toronto.cs.expr that implement Expr | |
---|---|
class |
AbstractExpr
|
class |
ClosureExpr
|
Fields in edu.toronto.cs.expr declared as Expr | |
---|---|
static Expr[] |
Expr.EMPTY_EXPR_ARRAY
|
Methods in edu.toronto.cs.expr that return Expr | |
---|---|
static Expr |
CILListOp.append(Expr e1,
Expr e2)
Appends the operands of e2 to those of e1 and returns the resulting expression. |
Expr |
ClosureExpr.arg(int i)
|
Expr |
Expr.arg(int i)
returns i'th argument constraint: 0 <= i < arity () |
Expr |
AbstractExpr.binApply(Expr expr1,
Expr expr2)
|
Expr |
Expr.binApply(Expr expr1,
Expr expr2)
Binary application |
Expr |
ExprFactory.cannonize(Expr expr)
Returns a cannonical version of an expression |
Expr |
ExprFactoryImpl.cannonize(Expr expr)
|
Expr |
ExprFactory.falseExpr()
Returns the 'false' constant |
Expr |
ExprFactoryImpl.falseExpr()
|
Expr |
CVCLExprConverter.fromCVCL(Expr expr)
|
static Expr |
CILFunctionCallOp.getArguments(Expr e)
|
Expr |
ClosureExpr.getBody()
|
static Expr |
CILFunctionDefOp.getBody(Expr e)
|
static Expr |
CILScopeOp.getBody(Expr e)
|
static Expr |
CILWhileOp.getBody(Expr e)
|
static Expr |
CILFunctionCallOp.getCallIndexExpr(Expr e)
|
static Expr |
CILIfStmtOp.getCond(Expr e)
|
static Expr |
CILWhileOp.getCond(Expr e)
|
static Expr |
CILDeclarationOp.getDeclNameExpr(Expr e)
|
static Expr |
CILIfStmtOp.getElse(Expr e)
|
static Expr |
CILScopeOp.getLocalDeclarations(Expr e)
|
static Expr |
CILFunctionDefOp.getLocalDecls(Expr e)
|
static Expr |
CILFunctionDefOp.getParameterDecls(Expr e)
|
static Expr |
CILFunctionDefOp.getParameterNames(Expr e)
|
Expr[] |
ClosureExpr.getParams()
|
static Expr |
CILFunctionDefOp.getReturnType(Expr e)
|
static Expr |
CILReturnOp.getReturnValue(Expr e)
|
static Expr |
CILLabelledStmtOp.getStmt(Expr e)
|
static Expr |
CILIfStmtOp.getThen(Expr e)
|
Expr |
ExprFactory.intExpr(int n)
returns an integer expression |
Expr |
ExprFactoryImpl.intExpr(int num)
|
Expr |
ExprAlgebra.linearize(Expr e,
int sign)
|
Expr |
ExprAlgebra.moveToLeft(Expr e)
|
Expr |
ClosureExpr.naryApply(Expr[] args)
|
Expr |
Expr.naryApply(Expr[] expr)
n-ary application |
Expr |
AbstractExpr.naryApply(java.util.List expr)
|
Expr |
Expr.naryApply(java.util.List expr)
|
Expr |
ExprFactory.op(Operator op)
Expression with an arbitrary operator |
Expr |
ExprFactoryImpl.op(Operator op)
|
Expr |
ExprFactoryImpl.ratExpr(int n,
int d)
|
Expr |
ClosureExpr.subst(java.util.Map subMap)
|
Expr |
Expr.subst(java.util.Map subMap)
Substitution of expressions by expressions |
Expr |
ClosureExpr.substOp(java.util.Map subMap)
|
Expr |
Expr.substOp(java.util.Map subMap)
Substitutes operators in the expression |
Expr |
ExprFactory.trueExpr()
Returns the 'true' constant |
Expr |
ExprFactoryImpl.trueExpr()
|
Expr |
AbstractExpr.unaryApply(Expr expr)
|
Expr |
Expr.unaryApply(Expr expr)
Unary application |
Expr |
ExprFactory.var(java.lang.String name)
expression with a nullary opertor |
Expr |
ExprFactoryImpl.var(java.lang.String name)
|
Methods in edu.toronto.cs.expr with parameters of type Expr | |
---|---|
static Expr |
CILListOp.append(Expr e1,
Expr e2)
Appends the operands of e2 to those of e1 and returns the resulting expression. |
Expr |
AbstractExpr.binApply(Expr expr1,
Expr expr2)
|
Expr |
Expr.binApply(Expr expr1,
Expr expr2)
Binary application |
Expr |
ExprFactory.cannonize(Expr expr)
Returns a cannonical version of an expression |
Expr |
ExprFactoryImpl.cannonize(Expr expr)
|
boolean |
AbstractExpr.contains(Expr e)
|
boolean |
Expr.contains(Expr e)
Returns true if this contains e, false otherwise. |
static Expr |
CILFunctionCallOp.getArguments(Expr e)
|
static Expr |
CILFunctionDefOp.getBody(Expr e)
|
static Expr |
CILScopeOp.getBody(Expr e)
|
static Expr |
CILWhileOp.getBody(Expr e)
|
static int |
CILFunctionCallOp.getCallIndex(Expr e)
|
static Expr |
CILFunctionCallOp.getCallIndexExpr(Expr e)
|
static Expr |
CILIfStmtOp.getCond(Expr e)
|
static Expr |
CILWhileOp.getCond(Expr e)
|
static java.lang.String |
CILDeclarationOp.getDeclName(Expr e)
|
static Expr |
CILDeclarationOp.getDeclNameExpr(Expr e)
|
static Expr |
CILIfStmtOp.getElse(Expr e)
|
static java.lang.String |
CILFunctionDefOp.getFunctionName(Expr e)
|
static java.lang.String |
CILFunctionDefOp.getFunctionNameFromSig(Expr e)
|
static java.lang.String |
CILLabelledStmtOp.getLabel(Expr e)
|
static java.util.List |
CILNDGotoOp.getLabels(Expr e)
|
static Expr |
CILScopeOp.getLocalDeclarations(Expr e)
|
static Expr |
CILFunctionDefOp.getLocalDecls(Expr e)
|
static java.lang.String |
CILFunctionCallOp.getName(Expr e)
|
static int |
CILFunctionDefOp.getNumCallSites(Expr e)
|
static Expr |
CILFunctionDefOp.getParameterDecls(Expr e)
|
static Expr |
CILFunctionDefOp.getParameterNames(Expr e)
|
static Expr |
CILFunctionDefOp.getReturnType(Expr e)
|
static Expr |
CILReturnOp.getReturnValue(Expr e)
|
static java.lang.String |
CILFunctionCallOp.getReturnVarName(Expr e)
|
static Expr |
CILLabelledStmtOp.getStmt(Expr e)
|
static java.lang.String |
CILGotoOp.getTargetLabel(Expr e)
|
static Expr |
CILIfStmtOp.getThen(Expr e)
|
static boolean |
CILFunctionCallOp.hasArguments(Expr e)
|
static boolean |
CILFunctionDefOp.hasParameters(Expr e)
|
static boolean |
CILReturnOp.hasReturnValue(Expr e)
|
static boolean |
CILDeclarationOp.isNamedDeclaration(Expr e)
|
static boolean |
CILFunctionDefOp.isNonVoid(Expr e)
|
boolean |
NamedOp.isWellFormed(Expr[] args)
|
boolean |
NullaryOperator.isWellFormed(Expr[] args)
|
boolean |
Operator.isWellFormed(Expr[] args)
true if this operator is well-formed with this arguments provided that the arguments are well formed themselves |
Expr |
ExprAlgebra.linearize(Expr e,
int sign)
|
Expr |
ExprAlgebra.moveToLeft(Expr e)
|
Expr |
ClosureExpr.naryApply(Expr[] args)
|
Expr |
Expr.naryApply(Expr[] expr)
n-ary application |
Expr |
CVCLExprConverter.toCVCL(Expr expr)
|
Expr |
AbstractExpr.unaryApply(Expr expr)
|
Expr |
Expr.unaryApply(Expr expr)
Unary application |
static java.lang.String |
VariableOp.varName(Expr expr)
|
Constructors in edu.toronto.cs.expr with parameters of type Expr | |
---|---|
ClosureExpr(Expr _body,
Expr[] _params)
|
|
ClosureExpr(Expr _body,
Expr[] _params)
|
Uses of Expr in edu.toronto.cs.yasm.abstractor |
---|
Methods in edu.toronto.cs.yasm.abstractor that return Expr | |
---|---|
Expr |
SymbolicExecutor.expr(antlr.collections.AST _t,
MemoryModel mm)
|
Expr |
MemoryModel.lookup(Expr e)
|
Expr |
SymbolicExecutor.lval(antlr.collections.AST _t,
MemoryModel mm)
|
static Expr |
SymbolicExecutorUtil.parseBlockExpr(Block b,
ExprFactory fac)
|
Expr |
SymbolicExecutor.pureAdditiveExpr(antlr.collections.AST _t,
MemoryModel mm)
|
Expr |
SymbolicExecutor.pureEqualityExpr(antlr.collections.AST _t,
MemoryModel mm)
|
Expr |
SymbolicExecutor.pureExpr(antlr.collections.AST _t,
MemoryModel mm)
|
Expr |
SymbolicExecutor.pureLogicalAndExpr(antlr.collections.AST _t,
MemoryModel mm)
|
Expr |
SymbolicExecutor.pureLogicalOrExpr(antlr.collections.AST _t,
MemoryModel mm)
|
Expr |
SymbolicExecutor.pureMultExpr(antlr.collections.AST _t,
MemoryModel mm)
|
Expr |
SymbolicExecutor.purePostfixExpr(antlr.collections.AST _t,
MemoryModel mm)
|
Expr |
SymbolicExecutor.purePrefixExpr(antlr.collections.AST _t,
MemoryModel mm)
|
Expr |
SymbolicExecutor.purePrimaryExpr(antlr.collections.AST _t,
MemoryModel mm)
|
Expr |
SymbolicExecutor.pureRelationalExpr(antlr.collections.AST _t,
MemoryModel mm)
|
Expr |
SymbolicExecutor.pureUnaryExpr(antlr.collections.AST _t,
MemoryModel mm)
|
Methods in edu.toronto.cs.yasm.abstractor with parameters of type Expr | |
---|---|
void |
PredicateRefiner.addPredicate(Expr p)
Deprecated. Use addToNewPredicates |
void |
PredicateRefiner.addToNewPredicates(Expr p)
|
void |
MemoryModel.assign(Expr e,
Expr v)
|
protected java.util.List |
PredicateRefiner.computeDependency(java.util.List l,
Expr e,
java.util.Map m)
|
protected boolean |
PredicateRefiner.contains(Expr e,
java.util.List l)
|
PFunctionDef |
NullExprAbstractor.doFunctionAbstract(Expr e)
|
PStmt |
NullExprAbstractor.doInsideFunctionAbstract(PFunctionDef def,
Expr e)
|
PProgram |
NullExprAbstractor.doProgramAbstract(Expr program)
|
PProgram |
NullExprAbstractor.doProgramAbstract(Expr program,
int selectorType)
|
java.util.Map |
NullExprAbstractor.doShallowDeclAbstract(Expr e)
Returns a Map of the top-level declarations in a given PROGRAM or SCOPE Block (i.e. |
java.util.Map |
NullExprAbstractor.doShallowFunctionDefAbstract(Expr program)
|
protected java.util.List |
PredicateRefiner.findVars(Expr e)
|
MemoryModel |
ExprExecutor.functionCallArgs(Expr args,
Expr params,
MemoryModel mm)
|
boolean |
PredicateRefiner.knownCond(Expr expr)
|
Expr |
MemoryModel.lookup(Expr e)
|
static Expr |
DeclsParserUtil.parseExprDecl(Expr e,
ValidityChecker vc)
|
static Type |
DeclsParserUtil.parseExprTypeSpecifiers(Expr e,
ValidityChecker vc)
|
MemoryModel |
ExprExecutor.returnStmt(Expr e,
java.lang.String s,
MemoryModel mm)
|
MemoryModel |
ExprExecutor.stmtList(Expr e,
MemoryModel mm)
|
Uses of Expr in edu.toronto.cs.yasm.pprogram |
---|
Methods in edu.toronto.cs.yasm.pprogram that return Expr | |
---|---|
Expr |
PCond.fromCBool(Expr cExpr)
|
Expr |
FunctionCallPStmt.getArgumentsExpr()
|
Expr |
PCond.getCond()
|
Expr |
AsmtPStmt.getFalseCond()
|
Expr |
FunctionCallPStmt.getFullArgumentsExpr()
Returns a CILListOp.LIST Expr beginning with the return index value, followed by the argument values. |
Expr |
PFunctionDef.getFullParametersExpr()
|
Expr |
PProgram.getInconsistent()
|
Expr |
PredicateTable.Predicate.getName()
|
Expr |
PCond.getOrigCond()
|
Expr |
FunctionCallPStmt.getReturnVar()
|
Expr |
PDecl.getSourceExpr()
|
Expr |
PFunctionDef.getSourceExpr()
|
Expr |
PStmt.getSourceExpr()
|
Expr |
AsmtPStmt.getTrueCond()
|
Expr |
AsmtPStmt.getVar()
|
Expr |
PredicateTable.Predicate.toExpr(AlgebraValue[] state)
|
Expr |
PredicateTable.AddPredicate.toExpr(AlgebraValue[] state)
|
Expr |
PredicateTable.IntVariable.toExpr(AlgebraValue[] state)
|
Methods in edu.toronto.cs.yasm.pprogram with parameters of type Expr | |
---|---|
PredicateTable.Predicate |
PredicateTable.__newPredicate(Expr name)
Adds a new predicate with a name 'name'. |
Expr |
PCond.fromCBool(Expr cExpr)
|
PredicateTable.Predicate |
PredicateTable.getByName(Expr name)
|
PredicateTable.IntVariable |
PredicateTable.newIntVar(Expr name,
int range)
|
PredicateTable.Predicate |
PredicateTable.newPredicate(Expr name)
newPredicate creates a new predicate corresponding
to name. |
void |
PCond.setCond(Expr e)
|
void |
AsmtPStmt.setFalseCond(Expr v)
|
void |
PProgram.setInconsistent(Expr v)
|
void |
PCond.setOrigCond(Expr v)
|
void |
AsmtPStmt.setTrueCond(Expr v)
|
Constructors in edu.toronto.cs.yasm.pprogram with parameters of type Expr | |
---|---|
AsmtPStmt(Expr _var,
Expr _tCond,
Expr _fCond)
|
|
BreakPStmt(PFunctionDef parent,
Expr sourceExpr)
|
|
FunctionCallPStmt(PFunctionDef parent,
Expr sourceExpr)
|
|
FunctionCallPStmt(PFunctionDef parent,
Expr callExpr,
Expr _returnVarExpr)
|
|
GotoPStmt(PFunctionDef parent,
Expr sourceExpr)
|
|
IfPStmt(PFunctionDef parent,
Expr sourceExpr,
PCond _cond,
PStmt _thenStmt,
PStmt _elseStmt)
|
|
NDGotoPStmt(PFunctionDef parent,
Expr sourceExpr)
|
|
PCond(Block _sourceBlock,
Expr _cond)
|
|
PCond(Expr _origCond,
Expr _cond)
|
|
PDecl(Expr _sourceExpr)
|
|
PFunctionDef(Expr _sourceExpr)
|
|
PFunctionDef(PProgram _parent,
PStmt _head,
java.util.Map _localDecls,
Expr _sourceExpr)
|
|
PredicateTable.AddPredicate(Expr _name,
int _shadowIdx,
int _id)
|
|
PredicateTable.IntVariable(Expr _name,
int _range)
|
|
PredicateTable.Predicate(Expr _name,
int _shadowIdx,
int _id)
|
|
PrllAsmtPStmt(PFunctionDef parent,
Expr sourceExpr)
|
|
PStmt(Expr _sourceExpr)
|
|
PStmt(PFunctionDef _parent,
Expr _sourceExpr)
|
|
ReturnPStmt(PFunctionDef parent,
Expr sourceExpr)
|
|
SkipPStmt(PFunctionDef parent,
Expr sourceExpr)
|
|
WhilePStmt(PFunctionDef def,
Expr sourceExpr,
PCond cond,
PStmt whileBody)
|
Uses of Expr in edu.toronto.cs.yasm.util |
---|
Methods in edu.toronto.cs.yasm.util that return Expr | |
---|---|
Expr |
Substitution.__recConvert(Expr e)
|
Expr |
Substitution.recConvert(Expr expr)
|
Methods in edu.toronto.cs.yasm.util with parameters of type Expr | |
---|---|
Expr |
Substitution.__recConvert(Expr e)
|
Expr |
Substitution.recConvert(Expr expr)
|
Uses of Expr in edu.toronto.cs.yasm.wp |
---|
Methods in edu.toronto.cs.yasm.wp that return Expr | |
---|---|
abstract Expr |
BaseWPComputer.computeWP(Expr expr)
|
Expr |
DCWPComputer.computeWP(Expr e)
|
Expr |
ExprWPComputer.computeWP(Expr expr)
|
Expr |
MemoryModelWPComputer.computeWP(Expr expr)
|
Expr |
UnknownExprWPComputer.computeWP(Expr expr)
|
Expr |
WPComputer.computeWP(Expr expr)
computes the weakest pre-condition of the expr |
Expr[] |
BaseWPComputer.computeWP(Expr[] expr)
|
Expr[] |
WPComputer.computeWP(Expr[] expr)
|
Methods in edu.toronto.cs.yasm.wp with parameters of type Expr | |
---|---|
abstract Expr |
BaseWPComputer.computeWP(Expr expr)
|
Expr |
DCWPComputer.computeWP(Expr e)
|
Expr |
ExprWPComputer.computeWP(Expr expr)
|
Expr |
MemoryModelWPComputer.computeWP(Expr expr)
|
Expr |
UnknownExprWPComputer.computeWP(Expr expr)
|
Expr |
WPComputer.computeWP(Expr expr)
computes the weakest pre-condition of the expr |
Expr[] |
BaseWPComputer.computeWP(Expr[] expr)
|
Expr[] |
WPComputer.computeWP(Expr[] expr)
|
static WPComputer |
WPComputerFactory.prllAsmt(Expr lhs,
Expr rhs)
|
static WPComputer |
WPComputerFactory.unknown(Expr e)
|
static WPComputer |
WPComputerFactory.wp(Expr e)
|
Constructors in edu.toronto.cs.yasm.wp with parameters of type Expr | |
---|---|
DCWPComputer(Expr stmtList)
|
|
ExprWPComputer(Expr stmt)
|
|
ExprWPComputer(Expr lhs,
Expr rhs)
|
|
UnknownExprWPComputer(Expr _var)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |