public final long location;
public final String description;
+ public final ErrorSeverity severity;
- public CompilationError(long location, String description) {
+ public CompilationError(long location, String description, ErrorSeverity severity) {
if(description == null)
throw new NullPointerException();
this.location = location;
this.description = description;
+ this.severity = severity;
}
+ public CompilationError(long location, String description) {
+ this(location, description, ErrorSeverity.ERROR);
+ }
+
public CompilationError(long location, Exception exception) {
this(location, exceptionToString(exception));
}