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

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

[legend]

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< 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

)

[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:

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