Public Member Functions
	CheckerErrorTraceLocation (final String unitName, final int lineNumber, final int columnNumber, final String description)

boolean	equals (Object obj)

int	hashCode ()

String	toString ()

Element	xmlDump ()

String	getUnitName ()

int	getLineNumber ()

int	getColumnNumber ()

String	getDescription ()

boolean	isEqualWith (final CheckerErrorTraceLocation other)

boolean	isContextLocation ()

Constructor & Destructor Documentation

cz.muni.stanse.checker.CheckerErrorTraceLocation.CheckerErrorTraceLocation	(	final String	unitName,
		final int	lineNumber,
		final int	columnNumber,
		final String	description
	)

inline

Member Function Documentation

boolean cz.muni.stanse.checker.CheckerErrorTraceLocation.equals ( Object obj )

inline

int cz.muni.stanse.checker.CheckerErrorTraceLocation.getColumnNumber ( )

inline

String cz.muni.stanse.checker.CheckerErrorTraceLocation.getDescription ( )

inline

int cz.muni.stanse.checker.CheckerErrorTraceLocation.getLineNumber ( )

inline

String cz.muni.stanse.checker.CheckerErrorTraceLocation.getUnitName ( )

inline

int cz.muni.stanse.checker.CheckerErrorTraceLocation.hashCode ( )

inline

boolean cz.muni.stanse.checker.CheckerErrorTraceLocation.isContextLocation ( )

inline

boolean cz.muni.stanse.checker.CheckerErrorTraceLocation.isEqualWith ( final CheckerErrorTraceLocation other )

inline

String cz.muni.stanse.checker.CheckerErrorTraceLocation.toString ( )

inline

Element cz.muni.stanse.checker.CheckerErrorTraceLocation.xmlDump ( )

inline

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