cz::muni::stanse::lockchecker::LockError Class Reference
List of all members.
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] |
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: