|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Deprecated Methods | |
---|---|
edu.toronto.cs.yasm.abstractor.PredicateRefiner.addPredicate(Expr)
Use addToNewPredicates |
|
edu.toronto.cs.yasm.abstractor.PredicateRefiner.addPredicates(List)
Use addToNewPredicates |
|
edu.toronto.cs.cparser.block.Block.getDecls()
Use getLocalDecls (). |
|
edu.toronto.cs.yasm.pprogram.PProgram.getHead()
Use getMainFunctionDef () |
|
edu.toronto.cs.yasm.pprogram.PProgram.getLabelledStmtsMap()
Use getLabelledStatementsMap () |
|
edu.toronto.cs.yasm.pprogram.PProgram.getStmtList()
Use getStatementList () |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |