cz.muni.stanse.checker.CheckerErrorTrace Class Reference

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

See also

Constructor & Destructor Documentation

CheckerErrorTrace() [1/2]

cz.muni.stanse.checker.CheckerErrorTrace.CheckerErrorTrace ( final List< CheckerErrorTraceLocation >  locations, final String  description  )

inline

CheckerErrorTrace() [2/2]

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

dump()

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

inline

equals()

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

inline

getCauseLocation()

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

inline

getDescription()

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

inline

getErrorLocation()

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

inline

getLinearCode()

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

inline

getLocations()

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

inline

hashCode()

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

inline

isEqualWith()

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

inline

setLinearCode()

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

inline

toString()

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

inline

xmlDump()

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

inline

---

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

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