CheckerErrorTraceLocation(final String unitName, final int lineNumber, final int columnNumber, final String description) | cz::muni::stanse::checker::CheckerErrorTraceLocation | [inline] |
equals(Object obj) | cz::muni::stanse::checker::CheckerErrorTraceLocation | [inline] |
getColumnNumber() | cz::muni::stanse::checker::CheckerErrorTraceLocation | [inline] |
getDescription() | cz::muni::stanse::checker::CheckerErrorTraceLocation | [inline] |
getLineNumber() | cz::muni::stanse::checker::CheckerErrorTraceLocation | [inline] |
getUnitName() | cz::muni::stanse::checker::CheckerErrorTraceLocation | [inline] |
hashCode() | cz::muni::stanse::checker::CheckerErrorTraceLocation | [inline] |
isContextLocation() | cz::muni::stanse::checker::CheckerErrorTraceLocation | [inline] |
isEqualWith(final CheckerErrorTraceLocation other) | cz::muni::stanse::checker::CheckerErrorTraceLocation | [inline] |
toString() | cz::muni::stanse::checker::CheckerErrorTraceLocation | [inline] |
xmlDump() | cz::muni::stanse::checker::CheckerErrorTraceLocation | [inline] |