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

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.

Author

Jan Kučera

Constructor & Destructor Documentation

BackTrack()

cz.muni.stanse.threadchecker.locks.BackTrack.BackTrack ( Integer  CFGNodeID, Integer  line, Integer  column, String  description, String  unitFilename  )

inline

Member Function Documentation

getCFGNodeID()

Integer cz.muni.stanse.threadchecker.locks.BackTrack.getCFGNodeID ( )

inline

getColumn()

Integer cz.muni.stanse.threadchecker.locks.BackTrack.getColumn ( )

inline

getDescription()

String cz.muni.stanse.threadchecker.locks.BackTrack.getDescription ( )

inline

getLine()

Integer cz.muni.stanse.threadchecker.locks.BackTrack.getLine ( )

inline

getUnitFilename()

String cz.muni.stanse.threadchecker.locks.BackTrack.getUnitFilename ( )

inline

setCFGNodeID()

void cz.muni.stanse.threadchecker.locks.BackTrack.setCFGNodeID ( Integer  CFGNodeID )

inline

setColumn()

void cz.muni.stanse.threadchecker.locks.BackTrack.setColumn ( final Integer  column )

inline

setDescription()

void cz.muni.stanse.threadchecker.locks.BackTrack.setDescription ( String  description )

inline

setLine()

void cz.muni.stanse.threadchecker.locks.BackTrack.setLine ( Integer  line )

inline

setUnitFilename()

void cz.muni.stanse.threadchecker.locks.BackTrack.setUnitFilename ( String  unitFilename )

inline

---

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

• src/cz/muni/stanse/threadchecker/locks/BackTrack.java