Uses of Class
edu.toronto.cs.yasm.pprogram.PFunctionDef

Packages that use PFunctionDef
edu.toronto.cs.yasm.abstractor   
edu.toronto.cs.yasm.pprogram   
 

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

Methods in edu.toronto.cs.yasm.abstractor that return PFunctionDef
 PFunctionDef NullAbstractor.doFunctionAbstract(Block functionDefBlock)
           
 PFunctionDef NullExprAbstractor.doFunctionAbstract(Expr e)
           
 PFunctionDef PredicateRefiner.doFunctionRefine(PFunctionDef f)
           
 

Methods in edu.toronto.cs.yasm.abstractor with parameters of type PFunctionDef
 void PredicateRefiner.doFunctionDeclsRefine(PFunctionDef f)
           
 PFunctionDef PredicateRefiner.doFunctionRefine(PFunctionDef f)
           
 PStmt NullAbstractor.doInsideFunctionAbstract(PFunctionDef def, Block block)
           
 PStmt NullExprAbstractor.doInsideFunctionAbstract(PFunctionDef def, Expr e)
           
 

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

Methods in edu.toronto.cs.yasm.pprogram that return PFunctionDef
 PFunctionDef FunctionCallPStmt.getFunctionDef()
           
 PFunctionDef PProgram.getMainFunctionDef()
           
 PFunctionDef PStmt.getParent()
           
 

Methods in edu.toronto.cs.yasm.pprogram with parameters of type PFunctionDef
 void FunctionCallPStmt.setFunctionDef(PFunctionDef v)
           
 void PStmt.setParent(PFunctionDef v)
           
 

Constructors in edu.toronto.cs.yasm.pprogram with parameters of type PFunctionDef
BreakPStmt(PFunctionDef parent, Block sourceBlock)
           
BreakPStmt(PFunctionDef parent, Expr sourceExpr)
           
FunctionCallPStmt(PFunctionDef parent, Block sourceBlock)
           
FunctionCallPStmt(PFunctionDef parent, Expr sourceExpr)
           
FunctionCallPStmt(PFunctionDef parent, Expr callExpr, Expr _returnVarExpr)
           
GotoPStmt(PFunctionDef parent, Block sourceBlock)
           
GotoPStmt(PFunctionDef parent, Expr sourceExpr)
           
IfPStmt(PFunctionDef parent, Block sourceBlock, PCond _cond, PStmt _thenStmt, PStmt _elseStmt)
           
IfPStmt(PFunctionDef parent, Expr sourceExpr, PCond _cond, PStmt _thenStmt, PStmt _elseStmt)
           
NDGotoPStmt(PFunctionDef parent, Block sourceBlock)
           
NDGotoPStmt(PFunctionDef parent, Expr sourceExpr)
           
PrllAsmtPStmt(PFunctionDef parent, Block sourceBlock)
           
PrllAsmtPStmt(PFunctionDef parent, Expr sourceExpr)
           
PStmt(PFunctionDef _parent, Block _sourceBlock)
           
PStmt(PFunctionDef _parent, Expr _sourceExpr)
           
ReturnPStmt(PFunctionDef parent, Block sourceBlock)
           
ReturnPStmt(PFunctionDef parent, Expr sourceExpr)
           
ReturnSelectorPStmt(PFunctionDef parent)
           
SkipPStmt(PFunctionDef parent, Block sourceBlock)
           
SkipPStmt(PFunctionDef parent, Expr sourceExpr)
           
WhilePStmt(PFunctionDef def, Block sourceBlock, PCond cond, PStmt whileBody)
           
WhilePStmt(PFunctionDef def, Expr sourceExpr, PCond cond, PStmt whileBody)