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.

Constructor & Destructor Documentation

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

inline

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

inline

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

inline

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

inline

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

inline

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

inline

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

inline

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

inline

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

inline

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

inline

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

inline

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