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

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)