Add GoFile and move HtmlFile to Files.qll

This commit is contained in:
Sauyon Lee
2021-04-18 23:13:55 -07:00
parent 2a80a60468
commit ed978e439f
2 changed files with 10 additions and 7 deletions

View File

@@ -264,3 +264,13 @@ class File extends ExtractedOrExternalFile {
exists(this.getAChild())
}
}
/** A Go file. */
class GoFile extends File {
GoFile() { this.getExtension() = "go" }
}
/** An HTML file. */
class HtmlFile extends File {
HtmlFile() { this.getExtension().regexpMatch("x?html?") }
}

View File

@@ -3,13 +3,6 @@
import go
module HTML {
/**
* An HTML file.
*/
class HtmlFile extends File {
HtmlFile() { this.getExtension().regexpMatch("x?html?") }
}
/**
* An HTML element.
*