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

Public Member Functions

 InterproceduralCFGsNavigator (final Collection< CFGHandle > CFGs, final ElementCFGdictionary cfgDict)
 
 InterproceduralCFGsNavigator (final InterproceduralCFGsNavigator source)
 
boolean isCallNode (final CFGNode node)
 
boolean isStartNode (final CFGNode node)
 
boolean isEndNode (final CFGNode node)
 
CFGNode getCalleeStart (final CFGNode node)
 
CFGNode getCalleeEnd (final CFGNode node)
 
HashSet< CFGNodegetCallersFromStart (final CFGNode node)
 
HashSet< CFGNodegetCallersFromEnd (final CFGNode node)
 
Set< CFGNodecallSites ()
 

Constructor & Destructor Documentation

cz.muni.stanse.codestructures.InterproceduralCFGsNavigator.InterproceduralCFGsNavigator ( final Collection< CFGHandle CFGs,
final ElementCFGdictionary  cfgDict 
)
inline
cz.muni.stanse.codestructures.InterproceduralCFGsNavigator.InterproceduralCFGsNavigator ( final InterproceduralCFGsNavigator  source)
inline

Member Function Documentation

Set<CFGNode> cz.muni.stanse.codestructures.InterproceduralCFGsNavigator.callSites ( )
inline
CFGNode cz.muni.stanse.codestructures.InterproceduralCFGsNavigator.getCalleeEnd ( final CFGNode  node)
inline
CFGNode cz.muni.stanse.codestructures.InterproceduralCFGsNavigator.getCalleeStart ( final CFGNode  node)
inline
HashSet<CFGNode> cz.muni.stanse.codestructures.InterproceduralCFGsNavigator.getCallersFromEnd ( final CFGNode  node)
inline
HashSet<CFGNode> cz.muni.stanse.codestructures.InterproceduralCFGsNavigator.getCallersFromStart ( final CFGNode  node)
inline
boolean cz.muni.stanse.codestructures.InterproceduralCFGsNavigator.isCallNode ( final CFGNode  node)
inline
boolean cz.muni.stanse.codestructures.InterproceduralCFGsNavigator.isEndNode ( final CFGNode  node)
inline
boolean cz.muni.stanse.codestructures.InterproceduralCFGsNavigator.isStartNode ( final CFGNode  node)
inline

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