BackTrack(Integer CFGNodeID, Integer line, Integer column, String description, String unitFilename) | cz::muni::stanse::threadchecker::locks::BackTrack | [inline] |
getCFGNodeID() | cz::muni::stanse::threadchecker::locks::BackTrack | [inline] |
getColumn() | cz::muni::stanse::threadchecker::locks::BackTrack | [inline] |
getDescription() | cz::muni::stanse::threadchecker::locks::BackTrack | [inline] |
getLine() | cz::muni::stanse::threadchecker::locks::BackTrack | [inline] |
getUnitFilename() | cz::muni::stanse::threadchecker::locks::BackTrack | [inline] |
setCFGNodeID(Integer CFGNodeID) | cz::muni::stanse::threadchecker::locks::BackTrack | [inline] |
setColumn(final Integer column) | cz::muni::stanse::threadchecker::locks::BackTrack | [inline] |
setDescription(String description) | cz::muni::stanse::threadchecker::locks::BackTrack | [inline] |
setLine(Integer line) | cz::muni::stanse::threadchecker::locks::BackTrack | [inline] |
setUnitFilename(String unitFilename) | cz::muni::stanse::threadchecker::locks::BackTrack | [inline] |