JS: Fix bad join order in closure

This commit is contained in:
Asger Feldthaus
2021-03-08 13:28:16 +00:00
parent aa1c8c041e
commit 7b7e87f177

View File

@@ -129,6 +129,11 @@ module Closure {
container = result.getContainer()
}
pragma[noinline]
private ClosureRequireCall getARequireInTopLevel(ClosureModule m) {
result.getTopLevel() = m
}
/**
* A module using the Closure module system, declared using `goog.module()` or `goog.declareModuleId()`.
*/
@@ -146,10 +151,7 @@ module Closure {
string getClosureNamespace() { result = getModuleDeclaration().getClosureNamespace() }
override Module getAnImportedModule() {
exists(ClosureRequireCall imprt |
imprt.getTopLevel() = this and
result.(ClosureModule).getClosureNamespace() = imprt.getClosureNamespace()
)
result.(ClosureModule).getClosureNamespace() = getARequireInTopLevel(this).getClosureNamespace()
}
/**