cz::muni::stanse::codestructures::CFGsNavigator Interface Reference

Inheritance diagram for cz::muni::stanse::codestructures::CFGsNavigator:

[legend]

List of all members.

Public Member Functions
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 ()

---

Member Function Documentation

boolean cz::muni::stanse::codestructures::CFGsNavigator::isCallNode

(

final CFGNode

node

)

Implemented in cz::muni::stanse::automatonchecker::CallSiteCFGNavigator, cz::muni::stanse::codestructures::InterproceduralCFGsNavigator, and cz::muni::stanse::codestructures::IntraproceduralCFGsNavigator.

boolean cz::muni::stanse::codestructures::CFGsNavigator::isStartNode

(

final CFGNode

node

)

Implemented in cz::muni::stanse::automatonchecker::CallSiteCFGNavigator, cz::muni::stanse::codestructures::InterproceduralCFGsNavigator, and cz::muni::stanse::codestructures::IntraproceduralCFGsNavigator.

boolean cz::muni::stanse::codestructures::CFGsNavigator::isEndNode

(

final CFGNode

node

)

Implemented in cz::muni::stanse::automatonchecker::CallSiteCFGNavigator, cz::muni::stanse::codestructures::InterproceduralCFGsNavigator, and cz::muni::stanse::codestructures::IntraproceduralCFGsNavigator.

CFGNode cz::muni::stanse::codestructures::CFGsNavigator::getCalleeStart

(

final CFGNode

node

)

Implemented in cz::muni::stanse::automatonchecker::CallSiteCFGNavigator, cz::muni::stanse::codestructures::InterproceduralCFGsNavigator, and cz::muni::stanse::codestructures::IntraproceduralCFGsNavigator.

CFGNode cz::muni::stanse::codestructures::CFGsNavigator::getCalleeEnd

(

final CFGNode

node

)

Implemented in cz::muni::stanse::automatonchecker::CallSiteCFGNavigator, cz::muni::stanse::codestructures::InterproceduralCFGsNavigator, and cz::muni::stanse::codestructures::IntraproceduralCFGsNavigator.

HashSet<CFGNode> cz::muni::stanse::codestructures::CFGsNavigator::getCallersFromStart

(

final CFGNode

node

)

Implemented in cz::muni::stanse::automatonchecker::CallSiteCFGNavigator, cz::muni::stanse::codestructures::InterproceduralCFGsNavigator, and cz::muni::stanse::codestructures::IntraproceduralCFGsNavigator.

HashSet<CFGNode> cz::muni::stanse::codestructures::CFGsNavigator::getCallersFromEnd

(

final CFGNode

node

)

Implemented in cz::muni::stanse::automatonchecker::CallSiteCFGNavigator, cz::muni::stanse::codestructures::InterproceduralCFGsNavigator, and cz::muni::stanse::codestructures::IntraproceduralCFGsNavigator.

Set<CFGNode> cz::muni::stanse::codestructures::CFGsNavigator::callSites

(

)

Implemented in cz::muni::stanse::automatonchecker::CallSiteCFGNavigator, cz::muni::stanse::codestructures::InterproceduralCFGsNavigator, and cz::muni::stanse::codestructures::IntraproceduralCFGsNavigator.

---

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

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