cz::muni::stanse::lockchecker::CallStack Class Reference

List of all members.

Public Member Functions
void	add (CFGNode startNode, State enterState)
boolean	contains (CFGNode startNode, State enterState)
void	remove (CFGNode startNode, State enterState)

---

Detailed Description

This call represents call stack

Author:

Radim Cebis

---

Member Function Documentation

void cz::muni::stanse::lockchecker::CallStack::add	(	CFGNode	startNode,
		State	enterState
	)			[inline]

Add the function to the call stack

Parameters:

	startNode	start node of the function
	enterState	entered state of the function

boolean cz::muni::stanse::lockchecker::CallStack::contains	(	CFGNode	startNode,
		State	enterState
	)			[inline]

Is the function contained in the call stack?

Parameters:

	startNode	start node of the function
	enterState	entered state of the function

Returns:

true if the (function,enterState) is in this call stack

void cz::muni::stanse::lockchecker::CallStack::remove	(	CFGNode	startNode,
		State	enterState
	)			[inline]

Remove function from the call stack

Parameters:

	startNode	start node of the function
	enterState	entered state of the function

---

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

• src/cz/muni/stanse/lockchecker/CallStack.java