cz::muni::stanse::lockchecker::ErrorHolder Class Reference
List of all members.
Detailed Description
Class to hold locking errors (double locks and unlocks). Provides filtering and generation for errors.
- Author:
- Radim Cebis
Constructor & Destructor Documentation
cz::muni::stanse::lockchecker::ErrorHolder::ErrorHolder |
( |
Map< CFGNode, CFGHandle > |
dictionary, |
|
|
State |
startState, |
|
|
CFGNode |
startNode | |
|
) |
| | [inline] |
Construct ErrorHolder
- Parameters:
-
| dictionary | for translating from nodes to handles |
| startNode | |
| startState | |
Member Function Documentation
void cz::muni::stanse::lockchecker::ErrorHolder::handleLockingError |
( |
LockError |
error |
) |
[inline] |
Internally saves and handles locking error
- Parameters:
-
Saves locking errors into the receiver
- Parameters:
-
The documentation for this class was generated from the following file: