cz::muni::stanse::lockchecker::LockError Class Reference

Collaboration diagram for cz::muni::stanse::lockchecker::LockError:
[legend]

List of all members.

Public Member Functions

 LockError (String lockId, boolean isUnlock, boolean isOnlyPossible)
String getLockId ()
void setOnlyPossible (boolean isOnlyPossible)
boolean isUnlock ()
boolean isOnlyPossible ()
CFGNode getNode ()
void setNode (CFGNode node)


Detailed Description

Class representing lock error. (double lock/unlock)
Author:
Radim Cebis

Constructor & Destructor Documentation

cz::muni::stanse::lockchecker::LockError::LockError ( String  lockId,
boolean  isUnlock,
boolean  isOnlyPossible 
) [inline]

Constructor of the lock error

Parameters:
lockId Id of the lock
isUnlock is this unlock error?
isOnlyPossible is this only possible error (not certain error)?


Member Function Documentation

String cz::muni::stanse::lockchecker::LockError::getLockId (  )  [inline]

Returns:
lock id

void cz::muni::stanse::lockchecker::LockError::setOnlyPossible ( boolean  isOnlyPossible  )  [inline]

Parameters:
isOnlyPossible is this only possible error (not certain error) to be set

boolean cz::muni::stanse::lockchecker::LockError::isUnlock (  )  [inline]

Returns:
is this unlock error?

boolean cz::muni::stanse::lockchecker::LockError::isOnlyPossible (  )  [inline]

Returns:
is this only possible error (not certain error)?

CFGNode cz::muni::stanse::lockchecker::LockError::getNode (  )  [inline]

Get node in which this error happened

Returns:
CFGNode

void cz::muni::stanse::lockchecker::LockError::setNode ( CFGNode  node  )  [inline]

Set node in which this error happened

Parameters:
node CFGNode in which this error happened


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

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