cz::muni::stanse::threadchecker::locks::BackTrack Class Reference

List of all members.

Public Member Functions

 BackTrack (Integer CFGNodeID, Integer line, Integer column, String description, String unitFilename)
Integer getCFGNodeID ()
void setCFGNodeID (Integer CFGNodeID)
String getDescription ()
void setDescription (String description)
Integer getLine ()
Integer getColumn ()
void setLine (Integer line)
void setColumn (final Integer column)
String getUnitFilename ()
void setUnitFilename (String unitFilename)

Detailed Description

Class holds CFGId, line of backTrack, description of command and unit filename.
Jan Kučera

Constructor & Destructor Documentation

cz::muni::stanse::threadchecker::locks::BackTrack::BackTrack ( Integer  CFGNodeID,
Integer  line,
Integer  column,
String  description,
String  unitFilename 
) [inline]

Member Function Documentation

Integer cz::muni::stanse::threadchecker::locks::BackTrack::getCFGNodeID (  )  [inline]

void cz::muni::stanse::threadchecker::locks::BackTrack::setCFGNodeID ( Integer  CFGNodeID  )  [inline]

String cz::muni::stanse::threadchecker::locks::BackTrack::getDescription (  )  [inline]

void cz::muni::stanse::threadchecker::locks::BackTrack::setDescription ( String  description  )  [inline]

Integer cz::muni::stanse::threadchecker::locks::BackTrack::getLine (  )  [inline]

Integer cz::muni::stanse::threadchecker::locks::BackTrack::getColumn (  )  [inline]

void cz::muni::stanse::threadchecker::locks::BackTrack::setLine ( Integer  line  )  [inline]

void cz::muni::stanse::threadchecker::locks::BackTrack::setColumn ( final Integer  column  )  [inline]

String cz::muni::stanse::threadchecker::locks::BackTrack::getUnitFilename (  )  [inline]

void cz::muni::stanse::threadchecker::locks::BackTrack::setUnitFilename ( String  unitFilename  )  [inline]

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

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