Stanse  -1
Public Member Functions | Protected Attributes | List of all members
cz.muni.stanse.codestructures.LazyInternalStructures Class Referenceabstract
Inheritance diagram for cz.muni.stanse.codestructures.LazyInternalStructures:
Inheritance graph
[legend]
Collaboration diagram for cz.muni.stanse.codestructures.LazyInternalStructures:
Collaboration graph
[legend]

Public Member Functions

 LazyInternalStructures (final Collection< Unit > units, final Collection< CFGHandle > cfgs)
 
AliasResolver getAliasResolver ()
 
Collection< UnitgetUnits ()
 
Set< CFGHandlegetStartFunctions ()
 
Set< CFGgetFunctionsOfName (final String name)
 
CFG getFunctionMain ()
 
DefaultDirectedGraph
< CFGHandle, DefaultEdge > 
getCallGraph ()
 
ArgumentPassingManager getArgumentPassingManager ()
 
ReturnValuePassingManager getReturnValuePassingManager ()
 
CFGsNavigator getNavigator ()
 
Map< CFGNode, CFGHandlegetNodeToCFGdictionary ()
 
Collection< CFGHandlegetCFGHandles ()
 
ElementCFGdictionary getElementToCFGdictionary ()
 

Protected Attributes

CFGsNavigator navigator
 

Constructor & Destructor Documentation

cz.muni.stanse.codestructures.LazyInternalStructures.LazyInternalStructures ( final Collection< Unit units,
final Collection< CFGHandle cfgs 
)
inline

Member Function Documentation

AliasResolver cz.muni.stanse.codestructures.LazyInternalStructures.getAliasResolver ( )
inline
ArgumentPassingManager cz.muni.stanse.codestructures.LazyInternalStructures.getArgumentPassingManager ( )
inline
DefaultDirectedGraph<CFGHandle, DefaultEdge> cz.muni.stanse.codestructures.LazyInternalStructures.getCallGraph ( )
inline
Collection<CFGHandle> cz.muni.stanse.codestructures.LazyInternalStructures.getCFGHandles ( )
inline
ElementCFGdictionary cz.muni.stanse.codestructures.LazyInternalStructures.getElementToCFGdictionary ( )
inline
CFG cz.muni.stanse.codestructures.LazyInternalStructures.getFunctionMain ( )
inline
Set<CFG> cz.muni.stanse.codestructures.LazyInternalStructures.getFunctionsOfName ( final String  name)
inline
CFGsNavigator cz.muni.stanse.codestructures.LazyInternalStructures.getNavigator ( )
inline
Map<CFGNode,CFGHandle> cz.muni.stanse.codestructures.LazyInternalStructures.getNodeToCFGdictionary ( )
inline
ReturnValuePassingManager cz.muni.stanse.codestructures.LazyInternalStructures.getReturnValuePassingManager ( )
inline
Set<CFGHandle> cz.muni.stanse.codestructures.LazyInternalStructures.getStartFunctions ( )
inline
Collection<Unit> cz.muni.stanse.codestructures.LazyInternalStructures.getUnits ( )
inline

Member Data Documentation

CFGsNavigator cz.muni.stanse.codestructures.LazyInternalStructures.navigator
protected

The documentation for this class was generated from the following file: