edu.toronto.cs.yasm.abstractor
Class NullAbstractor

java.lang.Object
  extended by edu.toronto.cs.yasm.abstractor.NullAbstractor
All Implemented Interfaces:
Abstractor

public class NullAbstractor
extends java.lang.Object
implements Abstractor


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

Constructor Detail

NullAbstractor

public NullAbstractor(ExprFactory _exprFactory)
Method Detail

doProgramAbstract

public PProgram doProgramAbstract(Block programBlock)
Specified by:
doProgramAbstract in interface Abstractor

doShallowFunctionDefAbstract

public java.util.Map doShallowFunctionDefAbstract(Block block)

doShallowDeclAbstract

public java.util.Map doShallowDeclAbstract(Block block)
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(Block functionDefBlock)

doInsideFunctionAbstract

public PStmt doInsideFunctionAbstract(PFunctionDef def,
                                      Block block)