hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-30 19:26:02 +02:00
Code Issues Packages Projects Releases Wiki Activity

fixup! JS: classify numeric file names as generated

Browse Source
This commit is contained in:
Esben Sparre Andreasen
2019-07-01 15:49:03 +02:00
parent 2eb7e4a818
commit 7cab308205
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
javascript/ql/src/semmle/javascript/GeneratedCode.qll
View File

@@ -157,7 +157,7 @@ private int countStartingHtmlElements(File f, int l) {
/**
* Holds if the base name of `f` is a number followed by a single extension.
*/
predicate isGenerateFileName(File f) {
predicate isGeneratedFileName(File f) {
f.getStem().regexpMatch("[0-9]+")
}
@@ -174,7 +174,7 @@ predicate isGenerated(TopLevel tl) {
isData(tl.getFile()) or
isJsonLine(tl.getFile()) or
isGeneratedHtml(tl.getFile()) or
isGenerateFileName(tl.getFile())
isGeneratedFileName(tl.getFile())
}
/**