cz::muni::stanse::threadchecker::Function Class Reference

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

List of all members.

Public Member Functions

 Function (CFGHandle cfg)
 Function (Function function)
 Function (Function function, CFGNode actualNode)
CFGNode getActualNode ()
void setActualNode (CFGNode actualNode)
String getFileName ()
List< FunctionStategetFunctionStates ()
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
Jan Kučera

Constructor & Destructor Documentation

cz::muni::stanse::threadchecker::Function::Function ( CFGHandle  cfg  )  [inline]

cz::muni::stanse::threadchecker::Function::Function ( String  functionName  )  [inline, protected]

cz::muni::stanse::threadchecker::Function::Function ( String  functionName,
String  fileName 
) [inline, protected]

cz::muni::stanse::threadchecker::Function::Function ( Function  function  )  [inline]

cz::muni::stanse::threadchecker::Function::Function ( Function  function,
CFGNode  actualNode 
) [inline]

Member Function Documentation

CFGNode cz::muni::stanse::threadchecker::Function::getActualNode (  )  [inline]

void cz::muni::stanse::threadchecker::Function::setActualNode ( CFGNode  actualNode  )  [inline]

String cz::muni::stanse::threadchecker::Function::getFileName (  )  [inline]

List<FunctionState> cz::muni::stanse::threadchecker::Function::getFunctionStates (  )  [inline]

String cz::muni::stanse::threadchecker::Function::toString (  )  [inline]

void cz::muni::stanse::threadchecker::Function::join ( Function  other  )  [inline]

String cz::muni::stanse::threadchecker::Function::getName (  )  [inline]

Function cz::muni::stanse::threadchecker::Function::clone (  )  [inline]

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

Generated on Thu Jan 13 16:24:10 2011 for Stanse by  doxygen 1.5.6