JS: Add file diagnostics errors

Author: asgerf

javascript/ql/src/Diagnostics/ExtractionErrors.ql

@@ -0,0 +1,18 @@
+/**
+ * @name Extraction errors
+ * @description List all extraction errors for files in the source code directory.
+ * @kind diagnostic
+ * @id js/diagnostics/extraction-errors
+ */
+
+import javascript
+
+/** Gets the SARIF severity to associate an error. */
+int getSeverity() { result = 2 }
+
+from Error error
+where
+  exists(error.getFile().getRelativePath()) and
+  error.isFatal()
+select error, "Extraction failed in " + error.getFile() + " with error " + error.getMessage(),
+  getSeverity()

javascript/ql/src/Diagnostics/SuccessfullyExtractedFiles.ql

@@ -0,0 +1,14 @@
+/**
+ * @name Successfully extracted files
+ * @description Lists all files in the source code directory that were extracted without encountering an error in the file.
+ * @kind diagnostic
+ * @id js/diagnostics/successfully-extracted-files
+ */
+
+import javascript
+
+from File f
+where
+  not exists(Error e | e.isFatal() and e.getFile() = f) and
+  exists(f.getRelativePath())
+select f, ""

javascript/ql/src/semmle/javascript/Errors.qll

@@ -10,6 +10,9 @@ abstract class Error extends Locatable {
   abstract string getMessage();
 
   override string toString() { result = getMessage() }
+
+  /** Holds if this error prevented the file from being extracted. */
+  predicate isFatal() { any() }
 }
 
 /** A JavaScript parse error encountered during extraction. */
@@ -21,4 +24,6 @@ class JSParseError extends @js_parse_error, Error {
 
   /** Gets the source text of the line this error occurs on. */
   string getLine() { js_parse_errors(this, _, _, result) }
+
+  override predicate isFatal() { not getTopLevel() instanceof Angular2::TemplateTopLevel }
 }

javascript/ql/src/semmle/javascript/Regexp.qll

@@ -827,6 +827,8 @@ class RegExpParseError extends Error, @regexp_parse_error {
   override string getMessage() { regexp_parse_errors(this, _, result) }
 
   override string toString() { result = getMessage() }
+
+  override predicate isFatal() { none() }
 }
 
 /**