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 ()

LinearCode	getLinearCode ()

void	setLinearCode (final LinearCode lc)

Detailed Description

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

String cz.muni.stanse.checker.CheckerErrorTrace.dump ( )

inline

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

inline

CheckerErrorTraceLocation cz.muni.stanse.checker.CheckerErrorTrace.getCauseLocation ( )

inline

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

inline

CheckerErrorTraceLocation cz.muni.stanse.checker.CheckerErrorTrace.getErrorLocation ( )

inline

LinearCode cz.muni.stanse.checker.CheckerErrorTrace.getLinearCode ( )

inline

List<CheckerErrorTraceLocation> cz.muni.stanse.checker.CheckerErrorTrace.getLocations ( )

inline

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

inline

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

inline

void cz.muni.stanse.checker.CheckerErrorTrace.setLinearCode ( final LinearCode lc )

inline

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

inline

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

inline

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