cz.muni.stanse.codestructures.InterproceduralCFGsNavigator Class Reference

Inheritance diagram for cz.muni.stanse.codestructures.InterproceduralCFGsNavigator:

Collaboration diagram for cz.muni.stanse.codestructures.InterproceduralCFGsNavigator:

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< CFGNode >	getCallersFromStart (final CFGNode node)
HashSet< CFGNode >	getCallersFromEnd (final CFGNode node)
Set< CFGNode >	callSites ()

Constructor & Destructor Documentation

InterproceduralCFGsNavigator() [1/2]

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

inline

InterproceduralCFGsNavigator() [2/2]

cz.muni.stanse.codestructures.InterproceduralCFGsNavigator.InterproceduralCFGsNavigator ( final InterproceduralCFGsNavigator  source )

inline

Member Function Documentation

callSites()

Set<CFGNode> cz.muni.stanse.codestructures.InterproceduralCFGsNavigator.callSites ( )

inline

Implements cz.muni.stanse.codestructures.CFGsNavigator.

getCalleeEnd()

CFGNode cz.muni.stanse.codestructures.InterproceduralCFGsNavigator.getCalleeEnd ( final CFGNode  node )

inline

Implements cz.muni.stanse.codestructures.CFGsNavigator.

getCalleeStart()

CFGNode cz.muni.stanse.codestructures.InterproceduralCFGsNavigator.getCalleeStart ( final CFGNode  node )

inline

Implements cz.muni.stanse.codestructures.CFGsNavigator.

getCallersFromEnd()

HashSet<CFGNode> cz.muni.stanse.codestructures.InterproceduralCFGsNavigator.getCallersFromEnd ( final CFGNode  node )

inline

Implements cz.muni.stanse.codestructures.CFGsNavigator.

getCallersFromStart()

HashSet<CFGNode> cz.muni.stanse.codestructures.InterproceduralCFGsNavigator.getCallersFromStart ( final CFGNode  node )

inline

Implements cz.muni.stanse.codestructures.CFGsNavigator.

isCallNode()

boolean cz.muni.stanse.codestructures.InterproceduralCFGsNavigator.isCallNode ( final CFGNode  node )

inline

Implements cz.muni.stanse.codestructures.CFGsNavigator.

isEndNode()

boolean cz.muni.stanse.codestructures.InterproceduralCFGsNavigator.isEndNode ( final CFGNode  node )

inline

Implements cz.muni.stanse.codestructures.CFGsNavigator.

isStartNode()

boolean cz.muni.stanse.codestructures.InterproceduralCFGsNavigator.isStartNode ( final CFGNode  node )

inline

Implements cz.muni.stanse.codestructures.CFGsNavigator.

---

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

• src/cz/muni/stanse/codestructures/InterproceduralCFGsNavigator.java