cz::muni::stanse::checker::CheckerErrorTrace Class Reference

List of all members.

Public Member Functions
	CheckerErrorTrace (final List< CheckerErrorTraceLocation > locations, final String description)
	CheckerErrorTrace (final List< CFGNode > trace, final String startMsg, final String innerMsg, final String endMsg, final LazyInternalStructures internals)
boolean	equals (Object obj)
int	hashCode ()
String	toString ()
String	dump ()
Element	xmlDump ()
CheckerErrorTraceLocation	getCauseLocation ()
CheckerErrorTraceLocation	getErrorLocation ()
boolean	isEqualWith (final CheckerErrorTrace other)
List< CheckerErrorTraceLocation >	getLocations ()
String	getDescription ()

---

Detailed Description

See also:

---

Constructor & Destructor Documentation

cz::muni::stanse::checker::CheckerErrorTrace::CheckerErrorTrace	(	final List< CheckerErrorTraceLocation >	locations,
		final String	description
	)			[inline]

cz::muni::stanse::checker::CheckerErrorTrace::CheckerErrorTrace	(	final List< CFGNode >	trace,
		final String	startMsg,
		final String	innerMsg,
		final String	endMsg,
		final LazyInternalStructures	internals
	)			[inline]

---

Member Function Documentation

boolean cz::muni::stanse::checker::CheckerErrorTrace::equals

(

Object

obj

)

[inline]

int cz::muni::stanse::checker::CheckerErrorTrace::hashCode

(

)

[inline]

String cz::muni::stanse::checker::CheckerErrorTrace::toString

(

)

[inline]

String cz::muni::stanse::checker::CheckerErrorTrace::dump

(

)

[inline]

Element cz::muni::stanse::checker::CheckerErrorTrace::xmlDump

(

)

[inline]

CheckerErrorTraceLocation cz::muni::stanse::checker::CheckerErrorTrace::getCauseLocation

(

)

[inline]

CheckerErrorTraceLocation cz::muni::stanse::checker::CheckerErrorTrace::getErrorLocation

(

)

[inline]

boolean cz::muni::stanse::checker::CheckerErrorTrace::isEqualWith

(

final CheckerErrorTrace

other

)

[inline]

List<CheckerErrorTraceLocation> cz::muni::stanse::checker::CheckerErrorTrace::getLocations

(

)

[inline]

String cz::muni::stanse::checker::CheckerErrorTrace::getDescription

(

)

[inline]

---

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

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