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

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

inline

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

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

inline

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

inline

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

inline

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

inline

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

inline

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

inline

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

inline

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

inline

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

inline

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

inline

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

inline

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

inline

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

inline

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