Public Member Functions | |
LazyInternalStructures (final Collection< Unit > units, final Collection< CFGHandle > cfgs) | |
Collection< Unit > | getUnits () |
Set< CFGHandle > | getStartFunctions () |
Set< CFG > | getFunctionsOfName (final String name) |
CFG | getFunctionMain () |
DefaultDirectedGraph < CFGHandle, DefaultEdge > | getCallGraph () |
ArgumentPassingManager | getArgumentPassingManager () |
ReturnValuePassingManager | getReturnValuePassingManager () |
CFGsNavigator | getNavigator () |
Map< CFGNode, CFGHandle > | getNodeToCFGdictionary () |
Collection< CFGHandle > | getCFGHandles () |
ElementCFGdictionary | getElementToCFGdictionary () |
Protected Attributes | |
CFGsNavigator | navigator |
Package Functions | |
abstract void | setNavigator () |
cz::muni::stanse::codestructures::LazyInternalStructures::LazyInternalStructures | ( | final Collection< Unit > | units, | |
final Collection< CFGHandle > | cfgs | |||
) | [inline] |
Collection<Unit> cz::muni::stanse::codestructures::LazyInternalStructures::getUnits | ( | ) | [inline] |
Set<CFGHandle> cz::muni::stanse::codestructures::LazyInternalStructures::getStartFunctions | ( | ) | [inline] |
Set<CFG> cz::muni::stanse::codestructures::LazyInternalStructures::getFunctionsOfName | ( | final String | name | ) | [inline] |
CFG cz::muni::stanse::codestructures::LazyInternalStructures::getFunctionMain | ( | ) | [inline] |
DefaultDirectedGraph<CFGHandle, DefaultEdge> cz::muni::stanse::codestructures::LazyInternalStructures::getCallGraph | ( | ) | [inline] |
ArgumentPassingManager cz::muni::stanse::codestructures::LazyInternalStructures::getArgumentPassingManager | ( | ) | [inline] |
ReturnValuePassingManager cz::muni::stanse::codestructures::LazyInternalStructures::getReturnValuePassingManager | ( | ) | [inline] |
CFGsNavigator cz::muni::stanse::codestructures::LazyInternalStructures::getNavigator | ( | ) | [inline] |
Map<CFGNode,CFGHandle> cz::muni::stanse::codestructures::LazyInternalStructures::getNodeToCFGdictionary | ( | ) | [inline] |
Collection<CFGHandle> cz::muni::stanse::codestructures::LazyInternalStructures::getCFGHandles | ( | ) | [inline] |
ElementCFGdictionary cz::muni::stanse::codestructures::LazyInternalStructures::getElementToCFGdictionary | ( | ) | [inline] |
abstract void cz::muni::stanse::codestructures::LazyInternalStructures::setNavigator | ( | ) | [package, pure virtual] |