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.

Author:

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:

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