JS: classify Doxygen-generated files as "generated"

This commit is contained in:
Esben Sparre Andreasen
2019-11-04 09:05:50 +01:00
parent ef1778a8a7
commit 7f55e3f336
4 changed files with 15 additions and 0 deletions

View File

@@ -137,6 +137,11 @@ private predicate isGeneratedHtml(File f) {
e.getAttributeByName("name").getValue() = "generator"
)
or
exists(HTML::CommentNode comment |
comment.getText().regexpMatch("\\s*Generated by [\\w-]+ \\d+\\.\\d+\\.\\d+\\s*") and
comment.getFile() = f
)
or
20 < countStartingHtmlElements(f, _)
}