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