cz::muni::stanse::checker::CheckerErrorTraceLocation Class Reference

List of all members.

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::hashCode

(

)

[inline]

String cz::muni::stanse::checker::CheckerErrorTraceLocation::toString

(

)

[inline]

Element cz::muni::stanse::checker::CheckerErrorTraceLocation::xmlDump

(

)

[inline]

String cz::muni::stanse::checker::CheckerErrorTraceLocation::getUnitName

(

)

[inline]

int cz::muni::stanse::checker::CheckerErrorTraceLocation::getLineNumber

(

)

[inline]

int cz::muni::stanse::checker::CheckerErrorTraceLocation::getColumnNumber

(

)

[inline]

String cz::muni::stanse::checker::CheckerErrorTraceLocation::getDescription

(

)

[inline]

boolean cz::muni::stanse::checker::CheckerErrorTraceLocation::isEqualWith

(

final CheckerErrorTraceLocation

other

)

[inline]

boolean cz::muni::stanse::checker::CheckerErrorTraceLocation::isContextLocation

(

)

[inline]

---

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

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