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

Public Member Functions

 CFG (CFGNode startNode, CFGNode endNode, String functionName)
 
String getRetVar ()
 
void setRetVar (String value)
 
void setParams (List< String > params)
 
void setSymbols (Set< String > symbols)
 
List< String > getParams ()
 
Set< String > getSymbols ()
 
boolean isSymbolLocal (String symbol)
 
boolean equals (Object obj)
 
int hashCode ()
 
String toString ()
 
- Public Member Functions inherited from cz.muni.stanse.codestructures.CFGPart
CFGNode getStartNode ()
 
void setStartNode (CFGNode n)
 
CFGNode getEndNode ()
 
void setEndNode (CFGNode n)
 
boolean isEmpty ()
 
void append (CFGPart g)
 
void append (CFGNode n)
 
Set< CFGNodegetAllNodes ()
 
Set< CFGNodegetAllNodesOpt ()
 
Set< CFGNodegetAllNodesReverse ()
 
void drop ()
 
boolean equals (Object obj)
 
int hashCode ()
 
String toString ()
 
String toStringGraph ()
 Converts CFGPart to a string representation. More...
 
String toDot ()
 Converts CFGPart to a dot graph representation. More...
 

Static Public Member Functions

static CFG createFromCFGPart (CFGPart cfgPart, Element functionDefinition)
 

Protected Member Functions

String getFunctionName ()
 
Element getElement ()
 

Detailed Description

Represents a control-flow graph of a function

Constructor & Destructor Documentation

◆ CFG()

cz.muni.stanse.codestructures.CFG.CFG ( CFGNode  startNode,
CFGNode  endNode,
String  functionName 
)
inline

Member Function Documentation

◆ createFromCFGPart()

static CFG cz.muni.stanse.codestructures.CFG.createFromCFGPart ( CFGPart  cfgPart,
Element  functionDefinition 
)
inlinestatic

Creates a new instance of CFG

Parameters
cfgPartCFGPart to create CFG from
functionDefinitionXML representation of a function definition
Returns
CFG created from CFGPart

◆ equals()

boolean cz.muni.stanse.codestructures.CFG.equals ( Object  obj)
inline

◆ getElement()

Element cz.muni.stanse.codestructures.CFG.getElement ( )
inlineprotected

◆ getFunctionName()

String cz.muni.stanse.codestructures.CFG.getFunctionName ( )
inlineprotected

Returns function name assigned to this CFG

Returns
function name

◆ getParams()

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

◆ getRetVar()

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

◆ getSymbols()

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

◆ hashCode()

int cz.muni.stanse.codestructures.CFG.hashCode ( )
inline

◆ isSymbolLocal()

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

◆ setParams()

void cz.muni.stanse.codestructures.CFG.setParams ( List< String >  params)
inline

◆ setRetVar()

void cz.muni.stanse.codestructures.CFG.setRetVar ( String  value)
inline

◆ setSymbols()

void cz.muni.stanse.codestructures.CFG.setSymbols ( Set< String >  symbols)
inline

◆ toString()

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

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