cz.muni.stanse.checker.CheckerError Class Reference

Represents output from checkers, which is the error found in the source file (represented by a set of CFGs). More...

Inheritance diagram for cz.muni.stanse.checker.CheckerError:

Collaboration diagram for cz.muni.stanse.checker.CheckerError:

Public Member Functions
	CheckerError (final String shortDesc, final String fullDesc, final int importance, final String checkerName, final List< CheckerErrorTrace > traces)
	CheckerError (final String shortDesc, final String fullDesc, final int importance, final String checkerName, 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 ()
int	compareTo (CheckerError other)
CheckerErrorTraceLocation	getCauseLocation ()
CheckerErrorTraceLocation	getErrorLocation ()
boolean	isEqualWith (final CheckerError other)
String	getShortDesc ()
String	getFullDesc ()
int	getImportance ()
String	getCheckerName ()
List< CheckerErrorTrace >	getTraces ()

Detailed Description

Represents output from checkers, which is the error found in the source file (represented by a set of CFGs).

A found error is described by short and full string descriptions, level of error importance and by a list of error-traces. Each checker is under obligation to report all its errors via instances of this class.

See also

cz.muni.stanse.checker::Checker cz.muni.stanse.checker::CheckerErrorTrace

Constructor & Destructor Documentation

CheckerError() [1/2]

cz.muni.stanse.checker.CheckerError.CheckerError ( final String  shortDesc, final String  fullDesc, final int  importance, final String  checkerName, final List< CheckerErrorTrace >  traces  )

inline

CheckerError() [2/2]

cz.muni.stanse.checker.CheckerError.CheckerError ( final String  shortDesc, final String  fullDesc, final int  importance, final String  checkerName, final List< CFGNode >  trace, final String  startMsg, final String  innerMsg, final String  endMsg, final LazyInternalStructures  internals  )

inline

Member Function Documentation

compareTo()

int cz.muni.stanse.checker.CheckerError.compareTo ( CheckerError  other )

inline

dump()

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

inline

equals()

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

inline

getCauseLocation()

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

inline

getCheckerName()

String cz.muni.stanse.checker.CheckerError.getCheckerName ( )

inline

getErrorLocation()

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

inline

getFullDesc()

String cz.muni.stanse.checker.CheckerError.getFullDesc ( )

inline

getImportance()

int cz.muni.stanse.checker.CheckerError.getImportance ( )

inline

getShortDesc()

String cz.muni.stanse.checker.CheckerError.getShortDesc ( )

inline

getTraces()

List<CheckerErrorTrace> cz.muni.stanse.checker.CheckerError.getTraces ( )

inline

hashCode()

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

inline

isEqualWith()

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

inline

toString()

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

inline

xmlDump()

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

inline

---

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

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