cz::muni::stanse::checker::CheckerError Class Reference

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

List of all members.

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


Detailed Description

Represent output from checkers, which is the error found in the source file (reprezented by set of CFGs).

Found error is described by short and full string description, level of error importance and by 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

boolean cz::muni::stanse::checker::CheckerError::equals ( Object  obj  )  [inline]

int cz::muni::stanse::checker::CheckerError::hashCode (  )  [inline]

String cz::muni::stanse::checker::CheckerError::toString (  )  [inline]

String cz::muni::stanse::checker::CheckerError::dump (  )  [inline]

Element cz::muni::stanse::checker::CheckerError::xmlDump (  )  [inline]

int cz::muni::stanse::checker::CheckerError::compareTo ( CheckerError  other  )  [inline]

CheckerErrorTraceLocation cz::muni::stanse::checker::CheckerError::getCauseLocation (  )  [inline]

CheckerErrorTraceLocation cz::muni::stanse::checker::CheckerError::getErrorLocation (  )  [inline]

boolean cz::muni::stanse::checker::CheckerError::isEqualWith ( final CheckerError  other  )  [inline]

String cz::muni::stanse::checker::CheckerError::getShortDesc (  )  [inline]

String cz::muni::stanse::checker::CheckerError::getFullDesc (  )  [inline]

int cz::muni::stanse::checker::CheckerError::getImportance (  )  [inline]

String cz::muni::stanse::checker::CheckerError::getCheckerName (  )  [inline]

List<CheckerErrorTrace> cz::muni::stanse::checker::CheckerError::getTraces (  )  [inline]


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

Generated on Thu Jan 13 16:24:08 2011 for Stanse by  doxygen 1.5.6