simplify ExtractionError class defn

This commit is contained in:
Alex Ford
2021-05-12 16:45:31 +01:00
parent 11376bc411
commit acdbd9859e

View File

@@ -47,9 +47,6 @@ class Diagnostic extends @diagnostic {
}
/** A diagnostic relating to a particular error in extracting a file. */
class ExtractionError extends Diagnostic {
ExtractionError() {
this.getSeverity() = 3 and
this.getTag() = "parse_error"
}
class ExtractionError extends Diagnostic, @diagnostic_error {
ExtractionError() { this.getTag() = "parse_error" }
}