cz.muni.stanse.threadchecker.Function Class Reference

Inheritance diagram for cz.muni.stanse.threadchecker.Function:

Collaboration diagram for cz.muni.stanse.threadchecker.Function:

Public Member Functions
	Function (CFGHandle cfg)
	Function (Function function)
	Function (Function function, CFGNode actualNode)
CFGNode	getActualNode ()
void	setActualNode (CFGNode actualNode)
String	getFileName ()
List< FunctionState >	getFunctionStates ()
String	toString ()
void	join (Function other)
String	getName ()
Function	clone ()

Protected Member Functions
	Function (String functionName)
	Function (String functionName, String fileName)

Detailed Description

Class Function is basic element in traverse alg. from CFGTransit. It's envelope for CFGNode, List of FunctionState

Author

Jan Kučera

Constructor & Destructor Documentation

cz.muni.stanse.threadchecker.Function.Function ( CFGHandle  cfg )

inline

cz.muni.stanse.threadchecker.Function.Function ( String  functionName )

inlineprotected

cz.muni.stanse.threadchecker.Function.Function ( String  functionName, String  fileName  )

inlineprotected

cz.muni.stanse.threadchecker.Function.Function ( Function  function )

inline

cz.muni.stanse.threadchecker.Function.Function ( Function  function, CFGNode  actualNode  )

inline

Member Function Documentation

Function cz.muni.stanse.threadchecker.Function.clone ( )

inline

CFGNode cz.muni.stanse.threadchecker.Function.getActualNode ( )

inline

String cz.muni.stanse.threadchecker.Function.getFileName ( )

inline

List<FunctionState> cz.muni.stanse.threadchecker.Function.getFunctionStates ( )

inline

String cz.muni.stanse.threadchecker.Function.getName ( )

inline

void cz.muni.stanse.threadchecker.Function.join ( Function  other )

inline

void cz.muni.stanse.threadchecker.Function.setActualNode ( CFGNode  actualNode )

inline

String cz.muni.stanse.threadchecker.Function.toString ( )

inline

---

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

• src/cz/muni/stanse/threadchecker/Function.java