Deprecated API


Contents
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 ()