edu.toronto.cs.yasm.abstractor
Class NullExprAbstractor

java.lang.Object
  extended by edu.toronto.cs.yasm.abstractor.NullExprAbstractor

public class NullExprAbstractor
extends java.lang.Object


Constructor Summary
NullExprAbstractor(ExprFactory _exprFactory)
           
 
Method Summary
 PFunctionDef doFunctionAbstract(Expr e)
           
 PStmt doInsideFunctionAbstract(PFunctionDef def, Expr e)
           
 PProgram doProgramAbstract(Expr program)
           
 PProgram doProgramAbstract(Expr program, int selectorType)
           
 java.util.Map doShallowDeclAbstract(Expr e)
          Returns a Map of the top-level declarations in a given PROGRAM or SCOPE Block (i.e.
 java.util.Map doShallowFunctionDefAbstract(Expr program)
           
 ExprFactory getFactory()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

NullExprAbstractor

public NullExprAbstractor(ExprFactory _exprFactory)
Method Detail

getFactory

public ExprFactory getFactory()

doProgramAbstract

public PProgram doProgramAbstract(Expr program,
                                  int selectorType)

doProgramAbstract

public PProgram doProgramAbstract(Expr program)

doShallowFunctionDefAbstract

public java.util.Map doShallowFunctionDefAbstract(Expr program)

doShallowDeclAbstract

public java.util.Map doShallowDeclAbstract(Expr e)
Returns a Map of the top-level declarations in a given PROGRAM or SCOPE Block (i.e. does not descend into nested scopes; this is sufficient for CIL programs since all nested declarations are moved to top-level). The Map is: (String) declaration-name -> (PDecl) DECLARATION Block.


doFunctionAbstract

public PFunctionDef doFunctionAbstract(Expr e)

doInsideFunctionAbstract

public PStmt doInsideFunctionAbstract(PFunctionDef def,
                                      Expr e)