JS: use HTML::ScriptElement::getScript in Vue

This commit is contained in:
Esben Sparre Andreasen
2019-01-31 11:50:27 +01:00
parent 5e2b1c026a
commit f15af70c02

View File

@@ -333,13 +333,8 @@ module Vue {
}
private Module getModule() {
exists(HTML::ScriptElement script | script.getFile() = file |
result.getTopLevel() = script.resolveSource()
or
not exists(script.getSourcePath()) and
// XXX is there no way explicit relation between a script tag and its inline script?
result.getTopLevel() instanceof InlineScript and
result.getFile() = script.getFile()
exists(HTML::ScriptElement elem | elem.getFile() = file |
result.getTopLevel() = elem.getScript()
)
}