Stanse  -1
Public Member Functions | Protected Member Functions | List of all members
cz.muni.stanse.codestructures.CFGHandle Class Reference

Public Member Functions

 CFGHandle (Unit unit, CFG cfg)
 
synchronized void drop ()
 
Element getElement ()
 
Set< CFGNodegetAllNodes ()
 
Set< CFGNodegetAllNodesReverse ()
 
CFGNode getStartNode ()
 
CFGNode getEndNode ()
 
String toDot ()
 
String toString ()
 
boolean isSymbolLocal (String symbol)
 
Set< String > getSymbols ()
 
List< String > getParams ()
 
String getRetVar ()
 
String getFunctionName ()
 

Protected Member Functions

Unit getUnit ()
 

Detailed Description

Holds a handle to a CFG which might be unmapped

Constructor & Destructor Documentation

◆ CFGHandle()

cz.muni.stanse.codestructures.CFGHandle.CFGHandle ( Unit  unit,
CFG  cfg 
)
inline

Member Function Documentation

◆ drop()

synchronized void cz.muni.stanse.codestructures.CFGHandle.drop ( )
inline

◆ getAllNodes()

Set<CFGNode> cz.muni.stanse.codestructures.CFGHandle.getAllNodes ( )
inline

◆ getAllNodesReverse()

Set<CFGNode> cz.muni.stanse.codestructures.CFGHandle.getAllNodesReverse ( )
inline

◆ getElement()

Element cz.muni.stanse.codestructures.CFGHandle.getElement ( )
inline

◆ getEndNode()

CFGNode cz.muni.stanse.codestructures.CFGHandle.getEndNode ( )
inline

◆ getFunctionName()

String cz.muni.stanse.codestructures.CFGHandle.getFunctionName ( )
inline

◆ getParams()

List<String> cz.muni.stanse.codestructures.CFGHandle.getParams ( )
inline

◆ getRetVar()

String cz.muni.stanse.codestructures.CFGHandle.getRetVar ( )
inline

◆ getStartNode()

CFGNode cz.muni.stanse.codestructures.CFGHandle.getStartNode ( )
inline

◆ getSymbols()

Set<String> cz.muni.stanse.codestructures.CFGHandle.getSymbols ( )
inline

◆ getUnit()

Unit cz.muni.stanse.codestructures.CFGHandle.getUnit ( )
inlineprotected

◆ isSymbolLocal()

boolean cz.muni.stanse.codestructures.CFGHandle.isSymbolLocal ( String  symbol)
inline

◆ toDot()

String cz.muni.stanse.codestructures.CFGHandle.toDot ( )
inline

◆ toString()

String cz.muni.stanse.codestructures.CFGHandle.toString ( )
inline

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