cz.muni.stanse.checker.CheckerErrorTraceLocation Class Reference

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

CheckerErrorTraceLocation()

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

inline

Member Function Documentation

equals()

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

inline

getColumnNumber()

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

inline

getDescription()

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

inline

getLineNumber()

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

inline

getUnitName()

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

inline

hashCode()

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

inline

isContextLocation()

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

inline

isEqualWith()

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

inline

toString()

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

inline

xmlDump()

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

inline

---

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

• src/cz/muni/stanse/checker/CheckerErrorTraceLocation.java