File tree Expand file tree Collapse file tree 1 file changed +8
-1
lines changed Expand file tree Collapse file tree 1 file changed +8
-1
lines changed Original file line number Diff line number Diff line change @@ -21,23 +21,30 @@ class ReportableError extends Diagnostic {
21
21
}
22
22
}
23
23
24
- newtype TExtractionError =
24
+ private newtype TExtractionError =
25
25
TReportableError ( ReportableError err ) or
26
26
TCompilationFailed ( Compilation c , File f ) {
27
27
f = c .getAFileCompiled ( ) and not c .normalTermination ( )
28
28
} or
29
29
// Report generic extractor errors only if we haven't seen any other error-level diagnostic
30
30
TUnknownError ( CompilerError err ) { not exists ( ReportableError e ) }
31
31
32
+ /**
33
+ * Superclass for the extraction error hierarchy.
34
+ */
32
35
class ExtractionError extends TExtractionError {
33
36
string toString ( ) { none ( ) }
34
37
38
+ /** Gets the error message for this error. */
35
39
string getErrorMessage ( ) { none ( ) }
36
40
41
+ /** Gets the file this error occured in. */
37
42
File getFile ( ) { none ( ) }
38
43
44
+ /** Gets the location this error occured in. */
39
45
Location getLocation ( ) { none ( ) }
40
46
47
+ /** Gets the SARIF severity of this error. */
41
48
int getSeverity ( ) {
42
49
// Unfortunately, we can't distinguish between errors and fatal errors in SARIF,
43
50
// so all errors have severity 2.
You can’t perform that action at this time.
0 commit comments