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

Function() [1/5]

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

inline

Function() [2/5]

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

inlineprotected

Function() [3/5]

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

inlineprotected

Function() [4/5]

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

inline

Function() [5/5]

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

inline

Member Function Documentation

clone()

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

inline

getActualNode()

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

inline

getFileName()

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

inline

getFunctionStates()

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

inline

getName()

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

inline

join()

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

inline

setActualNode()

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

inline

toString()

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