add support for module instantiations in import statements. Rework the import resolution logic to reuse the logic from ModuleExpr

ql/extractor/Cargo.toml

@@ -10,7 +10,7 @@ edition = "2018"
 flate2 = "1.0"
 node-types = { path = "../node-types" }
 tree-sitter = ">= 0.20, < 0.21"
-tree-sitter-ql = { git = "https://github.com/erik-krogh/tree-sitter-ql.git", rev = "dcf0139af9908dbc53efa96408b017133d19e6b2"}
+tree-sitter-ql = { git = "https://github.com/erik-krogh/tree-sitter-ql.git", rev = "13155b740d4040e74727a9a698277805498a6a85"}
 tree-sitter-ql-dbscheme = { git = "https://github.com/erik-krogh/tree-sitter-ql-dbscheme.git", rev = "63e1344353f63931e88bfbc2faa2e78e1421b213"}
 tree-sitter-ql-yaml = {git = "https://github.com/erik-krogh/tree-sitter-ql.git", rev = "cf704bf3671e1ae148e173464fb65a4d2bbf5f99"}
 clap = "2.33"

ql/generator/Cargo.toml

@@ -11,6 +11,6 @@ clap = "2.33"
 node-types = { path = "../node-types" }
 tracing = "0.1"
 tracing-subscriber = { version = "0.3.3", features = ["env-filter"] }
-tree-sitter-ql = { git = "https://github.com/erik-krogh/tree-sitter-ql.git", rev = "dcf0139af9908dbc53efa96408b017133d19e6b2"}
+tree-sitter-ql = { git = "https://github.com/erik-krogh/tree-sitter-ql.git", rev = "13155b740d4040e74727a9a698277805498a6a85"}
 tree-sitter-ql-dbscheme = { git = "https://github.com/erik-krogh/tree-sitter-ql-dbscheme.git", rev = "63e1344353f63931e88bfbc2faa2e78e1421b213"}
 tree-sitter-ql-yaml = {git = "https://github.com/erik-krogh/tree-sitter-ql.git", rev = "cf704bf3671e1ae148e173464fb65a4d2bbf5f99"}

ql/ql/src/codeql_ql/ast/Ast.qll

@@ -1175,13 +1175,27 @@ class Import extends TImport, ModuleMember, TypeRef {
   string importedAs() { result = imp.getChild(1).(QL::ModuleName).getChild().getValue() }
 
   /**
-   * Gets the `i`th selected name from the imported module.
+   * Gets the qualified name of the module selected in the import statement.
    * E.g. for
    * `import foo.bar::Baz::Qux`
-   * It is true that `getSelectionName(0) = "Baz"` and `getSelectionName(1) = "Qux"`.
+   * It is true that `getSelectionName() = "Baz::Qux"`.
+   *
+   * Does NOT include type arguments!
    */
-  string getSelectionName(int i) {
-    result = imp.getChild(0).(QL::ImportModuleExpr).getName(i).getValue()
+  string getSelectionName() { result = getModuleExpr().getQualifiedName() }
+
+  /**
+   * Gets the module expression selected in the import statement.
+   * E.g. for
+   * `import foo.Bar::Baz::Qux`
+   * The module expression is the `Bar::Baz::Qux` part.
+   */
+  ModuleExpr getModuleExpr() { toQL(result) = imp.getChild(0).(QL::ImportModuleExpr).getChild() }
+
+  override AstNode getAChild(string pred) {
+    result = super.getAChild(pred)
+    or
+    pred = directMember("getModuleExpr") and result = this.getModuleExpr()
   }
 
   /**
@@ -1191,27 +1205,25 @@ class Import extends TImport, ModuleMember, TypeRef {
    * It is true that `getQualifiedName(0) = "foo"` and `getQualifiedName(1) = "bar"`.
    */
   string getQualifiedName(int i) {
-    result = imp.getChild(0).(QL::ImportModuleExpr).getChild().getName(i).getValue()
+    result = imp.getChild(0).(QL::ImportModuleExpr).getQualName(i).getValue()
   }
 
   /**
-   * Gets the full string specifying the module being imported.
+   * Gets a full string specifying the module being imported.
+   *
+   * Does NOT include type arguments!
    */
   string getImportString() {
-    exists(string selec |
-      not exists(this.getSelectionName(_)) and selec = ""
+    exists(string qual |
+      not exists(this.getQualifiedName(_)) and qual = ""
       or
-      selec =
-        "::" + strictconcat(int i, string q | q = this.getSelectionName(i) | q, "::" order by i)
+      qual = strictconcat(int i, string q | q = this.getQualifiedName(i) | q, "." order by i) + "."
     |
-      result =
-        strictconcat(int i, string q | q = this.getQualifiedName(i) | q, "." order by i) + selec
+      result = qual + this.getSelectionName()
     )
   }
 
-  override Type getResolvedType() {
-    exists(FileOrModule mod | resolve(this, mod) | result = mod.toType())
-  }
+  override Type getResolvedType() { result = this.getModuleExpr().getResolvedType() }
 }
 
 /** A formula, such as `x = 6 and y < 5`. */
@@ -2286,6 +2298,19 @@ class ModuleExpr extends TModuleExpr, TypeRef {
   SignatureExpr getArgument(int i) {
     result.toQL() = me.getAFieldOrChild().(QL::ModuleInstantiation).getChild(i)
   }
+
+  /**
+   * Gets the qualified name for this module expression, which does not include the type arguments.
+   */
+  string getQualifiedName() {
+    exists(string qual |
+      not exists(this.getQualifier()) and qual = ""
+      or
+      qual = this.getQualifier().getQualifiedName() + "::"
+    |
+      result = qual + this.getName()
+    )
+  }
 }
 
 /** A signature expression, either a `PredicateExpr` or a `TypeExpr`. */

ql/ql/src/codeql_ql/ast/internal/Module.qll

@@ -120,7 +120,7 @@ class Module_ extends FileOrModule, TModule {
   }
 }
 
-private predicate resolveQualifiedName(Import imp, ContainerOrModule m, int i) {
+private predicate resolveImportQualifier(Import imp, ContainerOrModule m, int i) {
   not m = TFile(any(File f | f.getExtension() = "ql")) and
   exists(string q | q = imp.getQualifiedName(i) |
     i = 0 and
@@ -139,7 +139,6 @@ private predicate resolveQualifiedName(Import imp, ContainerOrModule m, int i) {
         m = TFolder(c)
       )
       or
-      q = imp.getQualifiedName(i) and
       exists(ContainerOrModule container | container = getEnclosingModule(imp).getEnclosing+() |
         definesModule(container, q, m, _) and
         (
@@ -154,25 +153,18 @@ private predicate resolveQualifiedName(Import imp, ContainerOrModule m, int i) {
     )
     or
     exists(Folder_ mid |
-      resolveQualifiedName(imp, mid, i - 1) and
+      resolveImportQualifier(imp, mid, i - 1) and
       m.getEnclosing() = mid and
       q = m.getName()
     )
   )
 }
 
-private predicate resolveSelectionName(Import imp, ContainerOrModule m, int i) {
+private predicate resolveImportQualifier(Import imp, ContainerOrModule m) {
   (m.(File_).getFile().getExtension() = "qll" or not m instanceof File_) and
   exists(int last |
-    resolveQualifiedName(imp, m, last) and
-    last = count(int j | exists(imp.getQualifiedName(j))) - 1
-  ) and
-  not m instanceof Folder_ and
-  i = -1
-  or
-  exists(ContainerOrModule mid |
-    resolveSelectionName(imp, mid, i - 1) and
-    definesModule(mid, imp.getSelectionName(i), m, true)
+    last = max(int j | exists(imp.getQualifiedName(j))) and
+    resolveImportQualifier(imp, m, last)
   )
 }
 
@@ -202,18 +194,10 @@ private module Cached {
       TModule(Module m)
   }
 
-  /** Holds if import statement `imp` resolves to `m`. */
-  cached
-  predicate resolve(Import imp, FileOrModule m) {
-    exists(int last |
-      resolveSelectionName(imp, m, last) and
-      last = count(int j | exists(imp.getSelectionName(j))) - 1
-    )
-  }
-
   /** Holds if module expression `me` resolves to `m`. */
   cached
   predicate resolveModuleRef(TypeRef me, FileOrModule m) {
+    // base case, resolving a typeref without a qualifier (only moduleexpr can have qualifiers)
     not m = TFile(any(File f | f.getExtension() = "ql")) and
     not exists(me.(ModuleExpr).getQualifier()) and
     exists(ContainerOrModule enclosing, string name | resolveModuleRefHelper(me, enclosing, name) |
@@ -234,17 +218,69 @@ private module Cached {
       )
     )
     or
+    // recursive case, resolving the qualifier.
     exists(FileOrModule mid |
       resolveModuleRef(me.(ModuleExpr).getQualifier(), mid) and
       definesModule(mid, me.(ModuleExpr).getName(), m, true)
     )
   }
 
+  /**
+   * Gets the module that the lookup for `ref` should start at.
+   * For most type references this will simply be the enclosing module.
+   *
+   * However, for module expressions inside imports, this will be determined
+   * by the qualified name of the import (everything before the module expression).
+   *
+   * E.g. for an import `import foo.Bar::Baz`, the qualified name of the import is "foo",
+   * and the module expression is "Bar::Baz".
+   */
+  private ContainerOrModule getStartModule(TypeRef ref) {
+    if isInsideImport(ref)
+    then
+      exists(Import i | ref = i.getModuleExpr().getQualifier*() |
+        resolveImportQualifier(i, result)
+        or
+        not exists(i.getQualifiedName(_)) and
+        (
+          result = getEnclosingModule(ref)
+          or
+          exists(YAML::QLPack pack |
+            pack.getAFileInPack() = ref.getLocation().getFile() and
+            result = TFolder(pack.getADependency*().getFile().getParentContainer())
+          )
+        )
+      )
+    else result = getEnclosingModule(ref)
+  }
+
+  /** Holds of `me` is part of an import statement. */
+  pragma[noinline]
+  private predicate isInsideImport(ModuleExpr me) {
+    me = any(Import i).getModuleExpr().getQualifier*()
+  }
+
+  /** Gets the enclosing module/container, but stops after the first folder (so no folder -> folder step). */
+  private ContainerOrModule getEnclosingModuleNoFolderStep(ContainerOrModule m) {
+    result = m.getEnclosing() and
+    not (
+      result instanceof Folder_ and
+      m instanceof Folder_
+    )
+  }
+
   pragma[noinline]
   private predicate resolveModuleRefHelper(TypeRef me, ContainerOrModule enclosing, string name) {
-    enclosing = getEnclosingModule(me).getEnclosing*() and
+    // The scope is all enclosing modules, the immidiatly containing folder, not the parent folders.
+    enclosing = getEnclosingModuleNoFolderStep*(getStartModule(me)) and
     name = [me.(ModuleExpr).getName(), me.(TypeExpr).getClassName()] and
-    (not me instanceof ModuleExpr or not enclosing instanceof Folder_) // module expressions are not imports, so they can't resolve to a file (which is contained in a folder).
+    not exists(me.(ModuleExpr).getQualifier()) and
+    (
+      // module expressions are not imports, so they can't resolve to a file (which is contained in a folder).
+      (not me instanceof ModuleExpr or not enclosing instanceof Folder_)
+      or
+      isInsideImport(me) // unless it actually is an import.
+    )
   }
 }
 
@@ -296,7 +332,7 @@ private predicate definesModule(
   // import X
   exists(Import imp, ContainerOrModule m0 |
     container = getEnclosingModule(imp) and
-    resolve(imp, m0) and
+    resolveModuleRef(imp.getModuleExpr(), m0) and
     not exists(imp.importedAs()) and
     definesModule(m0, name, m, true) and
     public = getPublicBool(imp)
@@ -306,7 +342,7 @@ private predicate definesModule(
   exists(Import imp |
     container = getEnclosingModule(imp) and
     name = imp.importedAs() and
-    resolve(imp, m) and
+    resolveModuleRef(imp.getModuleExpr(), m) and
     public = getPublicBool(imp)
   )
   or
@@ -320,24 +356,6 @@ private predicate definesModule(
 }
 
 module ModConsistency {
-  query predicate noResolve(Import imp) {
-    not resolve(imp, _) and
-    not imp.getLocation()
-        .getFile()
-        .getAbsolutePath()
-        .regexpMatch(".*/(test|examples|ql-training|recorded-call-graph-metrics)/.*")
-  }
-
-  query predicate multipleResolve(Import imp, int c, ContainerOrModule m) {
-    c = strictcount(ContainerOrModule m0 | resolve(imp, m0)) and
-    c > 1 and
-    resolve(imp, m) and
-    not imp.getLocation()
-        .getFile()
-        .getAbsolutePath()
-        .regexpMatch(".*/(test|examples|ql-training|recorded-call-graph-metrics)/.*")
-  }
-
   // This can happen with parameterized modules.
   /*
    * query predicate multipleResolveModuleRef(ModuleExpr me, int c, ContainerOrModule m) {
@@ -362,4 +380,16 @@ module ModConsistency {
     mod instanceof ModuleExpr and
     count(mod.(ModuleExpr).getName()) >= 2
   }
+
+  query predicate uniqueResolve(Import i) {
+    count(FileOrModule mod |
+      mod = i.getResolvedModule() and
+      // don't count the alias reference, only the resolved.
+      not exists(mod.asModule().getAlias())
+    ) >= 2 and
+    // paramerized modules are not treated nicely, so we ignore them here.
+    not i.getResolvedModule().getEnclosing*().asModule().hasParameter(_, _, _)
+  }
+
+  query predicate noResolve(Import i) { not exists(i.getResolvedModule()) }
 }

ql/ql/src/codeql_ql/ast/internal/Predicate.qll

@@ -3,6 +3,7 @@ private import Builtins
 private import codeql_ql.ast.internal.Module
 private import codeql_ql.ast.internal.AstNodes
 
+pragma[nomagic]
 private predicate definesPredicate(
   FileOrModule m, string name, int arity, Predicate p, boolean public
 ) {

ql/ql/src/codeql_ql/ast/internal/TreeSitter.qll

@@ -602,15 +602,15 @@ module QL {
     /** Gets the name of the primary QL class for this element. */
     final override string getAPrimaryQlClass() { result = "ImportModuleExpr" }
 
-    /** Gets the node corresponding to the field `name`. */
-    final SimpleId getName(int i) { ql_import_module_expr_name(this, i, result) }
+    /** Gets the node corresponding to the field `qualName`. */
+    final SimpleId getQualName(int i) { ql_import_module_expr_qual_name(this, i, result) }
 
     /** Gets the child of this node. */
-    final QualModuleExpr getChild() { ql_import_module_expr_def(this, result) }
+    final ModuleExpr getChild() { ql_import_module_expr_def(this, result) }
 
     /** Gets a field or child node of this node. */
     final override AstNode getAFieldOrChild() {
-      ql_import_module_expr_name(this, _, result) or ql_import_module_expr_def(this, result)
+      ql_import_module_expr_qual_name(this, _, result) or ql_import_module_expr_def(this, result)
     }
   }
 
@@ -956,18 +956,6 @@ module QL {
     final override string getAPrimaryQlClass() { result = "Qldoc" }
   }
 
-  /** A class representing `qualModuleExpr` nodes. */
-  class QualModuleExpr extends @ql_qual_module_expr, AstNode {
-    /** Gets the name of the primary QL class for this element. */
-    final override string getAPrimaryQlClass() { result = "QualModuleExpr" }
-
-    /** Gets the node corresponding to the field `name`. */
-    final SimpleId getName(int i) { ql_qual_module_expr_name(this, i, result) }
-
-    /** Gets a field or child node of this node. */
-    final override AstNode getAFieldOrChild() { ql_qual_module_expr_name(this, _, result) }
-  }
-
   /** A class representing `qualifiedRhs` nodes. */
   class QualifiedRhs extends @ql_qualified_rhs, AstNode {
     /** Gets the name of the primary QL class for this element. */

ql/ql/src/codeql_ql/ast/internal/Type.qll

@@ -327,6 +327,12 @@ private predicate defines(FileOrModule m, string name, Type t, boolean public) {
     public = getPublicBool(ty.getParent())
   )
   or
+  exists(Module mod | t = TModule(mod) |
+    getEnclosingModule(mod) = m and
+    mod.getName() = name and
+    public = getPublicBool(mod)
+  )
+  or
   exists(Class ty | t = TUnion(ty) |
     getEnclosingModule(ty) = m and
     ty.getName() = name and

ql/ql/src/codeql_ql/style/DeadCodeQuery.qll

@@ -83,6 +83,8 @@ private AstNode aliveStep(AstNode prev) {
   //
   // The recursive cases.
   //
+  result = prev.(Import).getModuleExpr()
+  or
   result.getEnclosingPredicate() = prev
   or
   result = prev.(Call).getTarget()

ql/ql/src/codeql_ql/style/RedundantImportQuery.qll

@@ -35,6 +35,7 @@ predicate importsFromSameFolder(Import a, Import b) {
 predicate problem(Import imp, Import redundant, string message) {
   not exists(imp.importedAs()) and
   not exists(redundant.importedAs()) and
+  not exists(imp.getModuleExpr().getQualifier*().getArgument(_)) and // any type-arguments, and we ignore, they might be different.
   // skip the top-level language files, they have redundant imports, and that's fine.
   not exists(imp.getLocation().getFile().getParentContainer().getFile("qlpack.yml")) and
   // skip the DataFlowImpl.qll and similar, they have redundant imports in some copies.

ql/ql/src/ql.dbscheme

@@ -404,15 +404,15 @@ ql_import_directive_def(
 );
 
 #keyset[ql_import_module_expr, index]
-ql_import_module_expr_name(
+ql_import_module_expr_qual_name(
   int ql_import_module_expr: @ql_import_module_expr ref,
   int index: int ref,
-  unique int name: @ql_token_simple_id ref
+  unique int qual_name: @ql_token_simple_id ref
 );
 
 ql_import_module_expr_def(
   unique int id: @ql_import_module_expr,
-  int child: @ql_qual_module_expr ref
+  int child: @ql_module_expr ref
 );
 
 @ql_in_expr_left_type = @ql_add_expr | @ql_aggregate | @ql_call_or_unqual_agg_expr | @ql_comp_term | @ql_conjunction | @ql_disjunction | @ql_expr_annotation | @ql_if_term | @ql_implication | @ql_in_expr | @ql_instance_of | @ql_literal | @ql_mul_expr | @ql_negation | @ql_par_expr | @ql_prefix_cast | @ql_qualified_expr | @ql_quantified | @ql_range | @ql_set_literal | @ql_special_call | @ql_super_ref | @ql_unary_expr | @ql_variable
@@ -636,17 +636,6 @@ ql_ql_def(
   unique int id: @ql_ql
 );
 
-#keyset[ql_qual_module_expr, index]
-ql_qual_module_expr_name(
-  int ql_qual_module_expr: @ql_qual_module_expr ref,
-  int index: int ref,
-  unique int name: @ql_token_simple_id ref
-);
-
-ql_qual_module_expr_def(
-  unique int id: @ql_qual_module_expr
-);
-
 ql_qualified_rhs_name(
   unique int ql_qualified_rhs: @ql_qualified_rhs ref,
   unique int name: @ql_token_predicate_name ref
@@ -923,7 +912,7 @@ case @ql_token.kind of
 ;
 
 
-@ql_ast_node = @ql_add_expr | @ql_aggregate | @ql_annot_arg | @ql_annotation | @ql_arityless_predicate_expr | @ql_as_expr | @ql_as_exprs | @ql_body | @ql_bool | @ql_call_body | @ql_call_or_unqual_agg_expr | @ql_charpred | @ql_class_member | @ql_classless_predicate | @ql_comp_term | @ql_conjunction | @ql_dataclass | @ql_datatype | @ql_datatype_branch | @ql_datatype_branches | @ql_disjunction | @ql_expr_aggregate_body | @ql_expr_annotation | @ql_field | @ql_full_aggregate_body | @ql_higher_order_term | @ql_if_term | @ql_implication | @ql_import_directive | @ql_import_module_expr | @ql_in_expr | @ql_instance_of | @ql_literal | @ql_member_predicate | @ql_module | @ql_module_alias_body | @ql_module_expr | @ql_module_instantiation | @ql_module_member | @ql_module_name | @ql_module_param | @ql_mul_expr | @ql_negation | @ql_order_by | @ql_order_bys | @ql_par_expr | @ql_predicate_alias_body | @ql_predicate_expr | @ql_prefix_cast | @ql_ql | @ql_qual_module_expr | @ql_qualified_expr | @ql_qualified_rhs | @ql_quantified | @ql_range | @ql_select | @ql_set_literal | @ql_signature_expr | @ql_special_call | @ql_super_ref | @ql_token | @ql_type_alias_body | @ql_type_expr | @ql_type_union_body | @ql_unary_expr | @ql_unqual_agg_body | @ql_var_decl | @ql_var_name | @ql_variable
+@ql_ast_node = @ql_add_expr | @ql_aggregate | @ql_annot_arg | @ql_annotation | @ql_arityless_predicate_expr | @ql_as_expr | @ql_as_exprs | @ql_body | @ql_bool | @ql_call_body | @ql_call_or_unqual_agg_expr | @ql_charpred | @ql_class_member | @ql_classless_predicate | @ql_comp_term | @ql_conjunction | @ql_dataclass | @ql_datatype | @ql_datatype_branch | @ql_datatype_branches | @ql_disjunction | @ql_expr_aggregate_body | @ql_expr_annotation | @ql_field | @ql_full_aggregate_body | @ql_higher_order_term | @ql_if_term | @ql_implication | @ql_import_directive | @ql_import_module_expr | @ql_in_expr | @ql_instance_of | @ql_literal | @ql_member_predicate | @ql_module | @ql_module_alias_body | @ql_module_expr | @ql_module_instantiation | @ql_module_member | @ql_module_name | @ql_module_param | @ql_mul_expr | @ql_negation | @ql_order_by | @ql_order_bys | @ql_par_expr | @ql_predicate_alias_body | @ql_predicate_expr | @ql_prefix_cast | @ql_ql | @ql_qualified_expr | @ql_qualified_rhs | @ql_quantified | @ql_range | @ql_select | @ql_set_literal | @ql_signature_expr | @ql_special_call | @ql_super_ref | @ql_token | @ql_type_alias_body | @ql_type_expr | @ql_type_union_body | @ql_unary_expr | @ql_unqual_agg_body | @ql_var_decl | @ql_var_name | @ql_variable
 
 @ql_ast_node_parent = @file | @ql_ast_node
 

ql/ql/src/queries/diagnostics/EmptyConsistencies.ql

@@ -18,37 +18,52 @@ import codeql_ql.ast.internal.AstNodes::AstConsistency as AstConsistency
 
 from AstNode node, string msg
 where
-  PredConsistency::noResolveCall(node) and msg = "PredConsistency::noResolveCall"
-  or
-  PredConsistency::noResolvePredicateExpr(node) and msg = "PredConsistency::noResolvePredicateExpr"
-  or
-  PredConsistency::multipleResolveCall(node, _, _) and msg = "PredConsistency::multipleResolveCall"
-  or
-  PredConsistency::multipleResolvePredicateExpr(node, _, _) and
-  msg = "PredConsistency::multipleResolvePredicateExpr"
-  or
-  TypeConsistency::exprNoType(node) and msg = "TypeConsistency::exprNoType"
-  or
-  TypeConsistency::varDefNoType(node) and msg = "TypeConsistency::varDefNoType"
-  or
-  TypeConsistency::multiplePrimitives(node, _, _) and msg = "TypeConsistency::multiplePrimitives"
-  or
-  TypeConsistency::multiplePrimitivesExpr(node, _, _) and
-  msg = "TypeConsistency::multiplePrimitivesExpr"
-  or
-  AstConsistency::nonTotalGetParent(node) and msg = "AstConsistency::nonTotalGetParent"
-  or
-  AstConsistency::nonUniqueParent(node) and msg = "AstConsistency::nonUniqueParent"
-  or
-  TypeConsistency::noResolve(node) and msg = "TypeConsistency::noResolve"
-  or
-  ModConsistency::noResolve(node) and msg = "ModConsistency::noResolve"
-  or
-  ModConsistency::noName(node) and msg = "ModConsistency::noName"
-  or
-  ModConsistency::nonUniqueName(node) and msg = "ModConsistency::nonUniqueName"
-  or
-  VarConsistency::noFieldDef(node) and msg = "VarConsistency::noFieldDef"
-  or
-  VarConsistency::noVarDef(node) and msg = "VarConsistency::noVarDef"
+  (
+    PredConsistency::noResolveCall(node) and msg = "PredConsistency::noResolveCall"
+    or
+    PredConsistency::noResolvePredicateExpr(node) and
+    msg = "PredConsistency::noResolvePredicateExpr"
+    or
+    PredConsistency::multipleResolveCall(node, _, _) and
+    msg = "PredConsistency::multipleResolveCall"
+    or
+    PredConsistency::multipleResolvePredicateExpr(node, _, _) and
+    msg = "PredConsistency::multipleResolvePredicateExpr"
+    or
+    TypeConsistency::exprNoType(node) and msg = "TypeConsistency::exprNoType"
+    or
+    TypeConsistency::varDefNoType(node) and msg = "TypeConsistency::varDefNoType"
+    or
+    TypeConsistency::multiplePrimitives(node, _, _) and msg = "TypeConsistency::multiplePrimitives"
+    or
+    TypeConsistency::multiplePrimitivesExpr(node, _, _) and
+    msg = "TypeConsistency::multiplePrimitivesExpr"
+    or
+    AstConsistency::nonTotalGetParent(node) and msg = "AstConsistency::nonTotalGetParent"
+    or
+    AstConsistency::nonUniqueParent(node) and msg = "AstConsistency::nonUniqueParent"
+    or
+    TypeConsistency::noResolve(node) and msg = "TypeConsistency::noResolve"
+    or
+    ModConsistency::noName(node) and msg = "ModConsistency::noName"
+    or
+    ModConsistency::nonUniqueName(node) and msg = "ModConsistency::nonUniqueName"
+    or
+    VarConsistency::noFieldDef(node) and msg = "VarConsistency::noFieldDef"
+    or
+    VarConsistency::noVarDef(node) and msg = "VarConsistency::noVarDef"
+    or
+    ModConsistency::uniqueResolve(node) and msg = "ModConsistency::uniqueResolve"
+    or
+    ModConsistency::noResolve(node) and msg = "ModConsistency::noResolve"
+  ) and
+  not node.getLocation()
+      .getFile()
+      .getAbsolutePath()
+      .matches("%/" +
+          [
+            "docs", // docs is not meant to compile on it's own
+            "swift", // Swift has lots of code that doesn't compile
+            "ql/ql/test" // the QL-for-QL tests are not meant to compile
+          ] + "/%")
 select node, msg

ql/ql/test/modules/Foo.qll

@@ -0,0 +1,21 @@
+private signature module MySig {
+  predicate foo();
+}
+
+private module MyImpl implements MySig {
+  predicate foo() { none() }
+}
+
+private module MkThing<MySig Impl> {
+  signature module SubMod {
+    predicate bar();
+  }
+}
+
+module SimpleMod { }
+
+import SimpleMod
+
+private module SecondImpl implements MkThing<MyImpl>::SubMod {
+  predicate bar() { none() }
+}

ql/ql/test/modules/test.expected

@@ -0,0 +1,7 @@
+| Foo.qll:5:34:5:38 | TypeExpr | Foo.qll:1:26:1:30 | MySig |
+| Foo.qll:9:24:9:28 | TypeExpr | Foo.qll:1:26:1:30 | MySig |
+| Foo.qll:17:1:17:16 | Import | Foo.qll:15:8:15:16 | SimpleMod |
+| Foo.qll:17:8:17:16 | SimpleMod | Foo.qll:15:8:15:16 | SimpleMod |
+| Foo.qll:19:38:19:52 | MkThing | Foo.qll:9:16:9:22 | MkThing |
+| Foo.qll:19:38:19:60 | TypeExpr | Foo.qll:10:20:10:25 | SubMod |
+| Foo.qll:19:46:19:51 | TypeExpr | Foo.qll:5:16:5:21 | MyImpl |

ql/ql/test/modules/test.ql

@@ -0,0 +1,3 @@
+import ql
+
+query Type getTarget(TypeRef me) { result = me.getResolvedModule().toType() }

ql/ql/test/printAst/printAst.expected

@@ -3,154 +3,156 @@ nodes
 | Foo.qll:1:1:1:17 | Import | semmle.order | 1 |
 | Foo.qll:1:1:27:2 | TopLevel | semmle.label | [TopLevel] TopLevel |
 | Foo.qll:1:1:27:2 | TopLevel | semmle.order | 1 |
+| Foo.qll:1:8:1:17 | javascript | semmle.label | [ModuleExpr] javascript |
+| Foo.qll:1:8:1:17 | javascript | semmle.order | 3 |
 | Foo.qll:3:7:3:9 | Class Foo | semmle.label | [Class] Class Foo |
-| Foo.qll:3:7:3:9 | Class Foo | semmle.order | 3 |
+| Foo.qll:3:7:3:9 | Class Foo | semmle.order | 4 |
 | Foo.qll:3:19:3:22 | TypeExpr | semmle.label | [TypeExpr] TypeExpr |
-| Foo.qll:3:19:3:22 | TypeExpr | semmle.order | 4 |
+| Foo.qll:3:19:3:22 | TypeExpr | semmle.order | 5 |
 | Foo.qll:4:3:4:17 | CharPred Foo | semmle.label | [CharPred] CharPred Foo |
-| Foo.qll:4:3:4:17 | CharPred Foo | semmle.order | 5 |
+| Foo.qll:4:3:4:17 | CharPred Foo | semmle.order | 6 |
 | Foo.qll:4:11:4:11 | Integer | semmle.label | [Integer] Integer |
-| Foo.qll:4:11:4:11 | Integer | semmle.order | 6 |
+| Foo.qll:4:11:4:11 | Integer | semmle.order | 7 |
 | Foo.qll:4:11:4:15 | ComparisonFormula | semmle.label | [ComparisonFormula] ComparisonFormula |
-| Foo.qll:4:11:4:15 | ComparisonFormula | semmle.order | 6 |
+| Foo.qll:4:11:4:15 | ComparisonFormula | semmle.order | 7 |
 | Foo.qll:4:15:4:15 | Integer | semmle.label | [Integer] Integer |
-| Foo.qll:4:15:4:15 | Integer | semmle.order | 8 |
+| Foo.qll:4:15:4:15 | Integer | semmle.order | 9 |
 | Foo.qll:6:3:6:8 | TypeExpr | semmle.label | [TypeExpr] TypeExpr |
-| Foo.qll:6:3:6:8 | TypeExpr | semmle.order | 9 |
+| Foo.qll:6:3:6:8 | TypeExpr | semmle.order | 10 |
 | Foo.qll:6:10:6:17 | ClassPredicate toString | semmle.label | [ClassPredicate] ClassPredicate toString |
-| Foo.qll:6:10:6:17 | ClassPredicate toString | semmle.order | 10 |
+| Foo.qll:6:10:6:17 | ClassPredicate toString | semmle.order | 11 |
 | Foo.qll:6:23:6:28 | result | semmle.label | [ResultAccess] result |
-| Foo.qll:6:23:6:28 | result | semmle.order | 11 |
+| Foo.qll:6:23:6:28 | result | semmle.order | 12 |
 | Foo.qll:6:23:6:36 | ComparisonFormula | semmle.label | [ComparisonFormula] ComparisonFormula |
-| Foo.qll:6:23:6:36 | ComparisonFormula | semmle.order | 11 |
+| Foo.qll:6:23:6:36 | ComparisonFormula | semmle.order | 12 |
 | Foo.qll:6:32:6:36 | String | semmle.label | [String] String |
-| Foo.qll:6:32:6:36 | String | semmle.order | 13 |
+| Foo.qll:6:32:6:36 | String | semmle.order | 14 |
 | Foo.qll:9:1:9:5 | annotation | semmle.label | [Annotation] annotation |
-| Foo.qll:9:1:9:5 | annotation | semmle.order | 14 |
+| Foo.qll:9:1:9:5 | annotation | semmle.order | 15 |
 | Foo.qll:9:17:9:19 | ClasslessPredicate foo | semmle.label | [ClasslessPredicate] ClasslessPredicate foo |
-| Foo.qll:9:17:9:19 | ClasslessPredicate foo | semmle.order | 15 |
+| Foo.qll:9:17:9:19 | ClasslessPredicate foo | semmle.order | 16 |
 | Foo.qll:9:21:9:23 | TypeExpr | semmle.label | [TypeExpr] TypeExpr |
-| Foo.qll:9:21:9:23 | TypeExpr | semmle.order | 16 |
+| Foo.qll:9:21:9:23 | TypeExpr | semmle.order | 17 |
 | Foo.qll:9:21:9:25 | f | semmle.label | [VarDecl] f |
-| Foo.qll:9:21:9:25 | f | semmle.order | 16 |
+| Foo.qll:9:21:9:25 | f | semmle.order | 17 |
 | Foo.qll:10:3:10:3 | f | semmle.label | [VarAccess] f |
-| Foo.qll:10:3:10:3 | f | semmle.order | 18 |
+| Foo.qll:10:3:10:3 | f | semmle.order | 19 |
 | Foo.qll:10:3:10:85 | ComparisonFormula | semmle.label | [ComparisonFormula] ComparisonFormula |
-| Foo.qll:10:3:10:85 | ComparisonFormula | semmle.order | 18 |
+| Foo.qll:10:3:10:85 | ComparisonFormula | semmle.order | 19 |
 | Foo.qll:10:7:10:85 | Rank | semmle.label | [Rank] Rank |
-| Foo.qll:10:7:10:85 | Rank | semmle.order | 20 |
+| Foo.qll:10:7:10:85 | Rank | semmle.order | 21 |
 | Foo.qll:10:12:10:12 | Integer | semmle.label | [Integer] Integer |
-| Foo.qll:10:12:10:12 | Integer | semmle.order | 21 |
+| Foo.qll:10:12:10:12 | Integer | semmle.order | 22 |
 | Foo.qll:10:15:10:17 | TypeExpr | semmle.label | [TypeExpr] TypeExpr |
-| Foo.qll:10:15:10:17 | TypeExpr | semmle.order | 22 |
+| Foo.qll:10:15:10:17 | TypeExpr | semmle.order | 23 |
 | Foo.qll:10:15:10:23 | inner | semmle.label | [VarDecl] inner |
-| Foo.qll:10:15:10:23 | inner | semmle.order | 22 |
+| Foo.qll:10:15:10:23 | inner | semmle.order | 23 |
 | Foo.qll:10:27:10:31 | inner | semmle.label | [VarAccess] inner |
-| Foo.qll:10:27:10:31 | inner | semmle.order | 24 |
+| Foo.qll:10:27:10:31 | inner | semmle.order | 25 |
 | Foo.qll:10:27:10:42 | MemberCall | semmle.label | [MemberCall] MemberCall |
-| Foo.qll:10:27:10:42 | MemberCall | semmle.order | 24 |
+| Foo.qll:10:27:10:42 | MemberCall | semmle.order | 25 |
 | Foo.qll:10:27:10:50 | ComparisonFormula | semmle.label | [ComparisonFormula] ComparisonFormula |
-| Foo.qll:10:27:10:50 | ComparisonFormula | semmle.order | 24 |
+| Foo.qll:10:27:10:50 | ComparisonFormula | semmle.order | 25 |
 | Foo.qll:10:46:10:50 | String | semmle.label | [String] String |
-| Foo.qll:10:46:10:50 | String | semmle.order | 27 |
+| Foo.qll:10:46:10:50 | String | semmle.order | 28 |
 | Foo.qll:10:54:10:58 | inner | semmle.label | [VarAccess] inner |
-| Foo.qll:10:54:10:58 | inner | semmle.order | 28 |
+| Foo.qll:10:54:10:58 | inner | semmle.order | 29 |
 | Foo.qll:10:69:10:73 | inner | semmle.label | [VarAccess] inner |
-| Foo.qll:10:69:10:73 | inner | semmle.order | 29 |
+| Foo.qll:10:69:10:73 | inner | semmle.order | 30 |
 | Foo.qll:10:69:10:84 | MemberCall | semmle.label | [MemberCall] MemberCall |
-| Foo.qll:10:69:10:84 | MemberCall | semmle.order | 29 |
+| Foo.qll:10:69:10:84 | MemberCall | semmle.order | 30 |
 | Foo.qll:13:11:13:15 | ClasslessPredicate calls | semmle.label | [ClasslessPredicate] ClasslessPredicate calls |
-| Foo.qll:13:11:13:15 | ClasslessPredicate calls | semmle.order | 31 |
+| Foo.qll:13:11:13:15 | ClasslessPredicate calls | semmle.order | 32 |
 | Foo.qll:13:17:13:19 | TypeExpr | semmle.label | [TypeExpr] TypeExpr |
-| Foo.qll:13:17:13:19 | TypeExpr | semmle.order | 32 |
+| Foo.qll:13:17:13:19 | TypeExpr | semmle.order | 33 |
 | Foo.qll:13:17:13:21 | f | semmle.label | [VarDecl] f |
-| Foo.qll:13:17:13:21 | f | semmle.order | 32 |
+| Foo.qll:13:17:13:21 | f | semmle.order | 33 |
 | Foo.qll:14:3:14:10 | PredicateCall | semmle.label | [PredicateCall] PredicateCall |
-| Foo.qll:14:3:14:10 | PredicateCall | semmle.order | 34 |
+| Foo.qll:14:3:14:10 | PredicateCall | semmle.order | 35 |
 | Foo.qll:14:3:16:29 | Disjunction | semmle.label | [Disjunction] Disjunction |
-| Foo.qll:14:3:16:29 | Disjunction | semmle.order | 34 |
+| Foo.qll:14:3:16:29 | Disjunction | semmle.order | 35 |
 | Foo.qll:14:3:18:28 | Disjunction | semmle.label | [Disjunction] Disjunction |
-| Foo.qll:14:3:18:28 | Disjunction | semmle.order | 34 |
+| Foo.qll:14:3:18:28 | Disjunction | semmle.order | 35 |
 | Foo.qll:14:3:20:13 | Disjunction | semmle.label | [Disjunction] Disjunction |
-| Foo.qll:14:3:20:13 | Disjunction | semmle.order | 34 |
+| Foo.qll:14:3:20:13 | Disjunction | semmle.order | 35 |
 | Foo.qll:14:3:22:16 | Disjunction | semmle.label | [Disjunction] Disjunction |
-| Foo.qll:14:3:22:16 | Disjunction | semmle.order | 34 |
+| Foo.qll:14:3:22:16 | Disjunction | semmle.order | 35 |
 | Foo.qll:14:3:24:23 | Disjunction | semmle.label | [Disjunction] Disjunction |
-| Foo.qll:14:3:24:23 | Disjunction | semmle.order | 34 |
+| Foo.qll:14:3:24:23 | Disjunction | semmle.order | 35 |
 | Foo.qll:14:3:26:14 | Disjunction | semmle.label | [Disjunction] Disjunction |
-| Foo.qll:14:3:26:14 | Disjunction | semmle.order | 34 |
+| Foo.qll:14:3:26:14 | Disjunction | semmle.order | 35 |
 | Foo.qll:14:9:14:9 | f | semmle.label | [VarAccess] f |
-| Foo.qll:14:9:14:9 | f | semmle.order | 41 |
+| Foo.qll:14:9:14:9 | f | semmle.order | 42 |
 | Foo.qll:16:3:16:7 | String | semmle.label | [String] String |
-| Foo.qll:16:3:16:7 | String | semmle.order | 42 |
+| Foo.qll:16:3:16:7 | String | semmle.order | 43 |
 | Foo.qll:16:3:16:29 | ComparisonFormula | semmle.label | [ComparisonFormula] ComparisonFormula |
-| Foo.qll:16:3:16:29 | ComparisonFormula | semmle.order | 42 |
+| Foo.qll:16:3:16:29 | ComparisonFormula | semmle.order | 43 |
 | Foo.qll:16:11:16:11 | f | semmle.label | [VarAccess] f |
-| Foo.qll:16:11:16:11 | f | semmle.order | 44 |
+| Foo.qll:16:11:16:11 | f | semmle.order | 45 |
 | Foo.qll:16:11:16:29 | MemberCall | semmle.label | [MemberCall] MemberCall |
-| Foo.qll:16:11:16:29 | MemberCall | semmle.order | 44 |
+| Foo.qll:16:11:16:29 | MemberCall | semmle.order | 45 |
 | Foo.qll:16:22:16:22 | Integer | semmle.label | [Integer] Integer |
-| Foo.qll:16:22:16:22 | Integer | semmle.order | 46 |
+| Foo.qll:16:22:16:22 | Integer | semmle.order | 47 |
 | Foo.qll:16:25:16:25 | Integer | semmle.label | [Integer] Integer |
-| Foo.qll:16:25:16:25 | Integer | semmle.order | 47 |
+| Foo.qll:16:25:16:25 | Integer | semmle.order | 48 |
 | Foo.qll:16:28:16:28 | Integer | semmle.label | [Integer] Integer |
-| Foo.qll:16:28:16:28 | Integer | semmle.order | 48 |
+| Foo.qll:16:28:16:28 | Integer | semmle.order | 49 |
 | Foo.qll:18:3:18:3 | f | semmle.label | [VarAccess] f |
-| Foo.qll:18:3:18:3 | f | semmle.order | 49 |
+| Foo.qll:18:3:18:3 | f | semmle.order | 50 |
 | Foo.qll:18:3:18:9 | InlineCast | semmle.label | [InlineCast] InlineCast |
-| Foo.qll:18:3:18:9 | InlineCast | semmle.order | 49 |
+| Foo.qll:18:3:18:9 | InlineCast | semmle.order | 50 |
 | Foo.qll:18:3:18:20 | MemberCall | semmle.label | [MemberCall] MemberCall |
-| Foo.qll:18:3:18:20 | MemberCall | semmle.order | 49 |
+| Foo.qll:18:3:18:20 | MemberCall | semmle.order | 50 |
 | Foo.qll:18:3:18:28 | ComparisonFormula | semmle.label | [ComparisonFormula] ComparisonFormula |
-| Foo.qll:18:3:18:28 | ComparisonFormula | semmle.order | 49 |
+| Foo.qll:18:3:18:28 | ComparisonFormula | semmle.order | 50 |
 | Foo.qll:18:6:18:8 | TypeExpr | semmle.label | [TypeExpr] TypeExpr |
-| Foo.qll:18:6:18:8 | TypeExpr | semmle.order | 53 |
+| Foo.qll:18:6:18:8 | TypeExpr | semmle.order | 54 |
 | Foo.qll:18:24:18:28 | String | semmle.label | [String] String |
-| Foo.qll:18:24:18:28 | String | semmle.order | 54 |
+| Foo.qll:18:24:18:28 | String | semmle.order | 55 |
 | Foo.qll:20:3:20:3 | f | semmle.label | [VarAccess] f |
-| Foo.qll:20:3:20:3 | f | semmle.order | 55 |
+| Foo.qll:20:3:20:3 | f | semmle.order | 56 |
 | Foo.qll:20:3:20:9 | InlineCast | semmle.label | [InlineCast] InlineCast |
-| Foo.qll:20:3:20:9 | InlineCast | semmle.order | 55 |
+| Foo.qll:20:3:20:9 | InlineCast | semmle.order | 56 |
 | Foo.qll:20:3:20:13 | ComparisonFormula | semmle.label | [ComparisonFormula] ComparisonFormula |
-| Foo.qll:20:3:20:13 | ComparisonFormula | semmle.order | 55 |
+| Foo.qll:20:3:20:13 | ComparisonFormula | semmle.order | 56 |
 | Foo.qll:20:6:20:8 | TypeExpr | semmle.label | [TypeExpr] TypeExpr |
-| Foo.qll:20:6:20:8 | TypeExpr | semmle.order | 58 |
+| Foo.qll:20:6:20:8 | TypeExpr | semmle.order | 59 |
 | Foo.qll:20:13:20:13 | f | semmle.label | [VarAccess] f |
-| Foo.qll:20:13:20:13 | f | semmle.order | 59 |
+| Foo.qll:20:13:20:13 | f | semmle.order | 60 |
 | Foo.qll:22:3:22:3 | f | semmle.label | [VarAccess] f |
-| Foo.qll:22:3:22:3 | f | semmle.order | 60 |
+| Foo.qll:22:3:22:3 | f | semmle.order | 61 |
 | Foo.qll:22:3:22:16 | ComparisonFormula | semmle.label | [ComparisonFormula] ComparisonFormula |
-| Foo.qll:22:3:22:16 | ComparisonFormula | semmle.order | 60 |
+| Foo.qll:22:3:22:16 | ComparisonFormula | semmle.order | 61 |
 | Foo.qll:22:7:22:16 | Any | semmle.label | [Any] Any |
-| Foo.qll:22:7:22:16 | Any | semmle.order | 62 |
+| Foo.qll:22:7:22:16 | Any | semmle.order | 63 |
 | Foo.qll:22:11:22:13 | TypeExpr | semmle.label | [TypeExpr] TypeExpr |
-| Foo.qll:22:11:22:13 | TypeExpr | semmle.order | 63 |
+| Foo.qll:22:11:22:13 | TypeExpr | semmle.order | 64 |
 | Foo.qll:22:11:22:15 | f | semmle.label | [VarDecl] f |
-| Foo.qll:22:11:22:15 | f | semmle.order | 63 |
+| Foo.qll:22:11:22:15 | f | semmle.order | 64 |
 | Foo.qll:24:3:24:3 | Integer | semmle.label | [Integer] Integer |
-| Foo.qll:24:3:24:3 | Integer | semmle.order | 65 |
+| Foo.qll:24:3:24:3 | Integer | semmle.order | 66 |
 | Foo.qll:24:3:24:23 | ComparisonFormula | semmle.label | [ComparisonFormula] ComparisonFormula |
-| Foo.qll:24:3:24:23 | ComparisonFormula | semmle.order | 65 |
+| Foo.qll:24:3:24:23 | ComparisonFormula | semmle.order | 66 |
 | Foo.qll:24:7:24:7 | Integer | semmle.label | [Integer] Integer |
-| Foo.qll:24:7:24:7 | Integer | semmle.order | 67 |
+| Foo.qll:24:7:24:7 | Integer | semmle.order | 68 |
 | Foo.qll:24:7:24:23 | AddExpr | semmle.label | [AddExpr] AddExpr |
-| Foo.qll:24:7:24:23 | AddExpr | semmle.order | 67 |
+| Foo.qll:24:7:24:23 | AddExpr | semmle.order | 68 |
 | Foo.qll:24:12:24:12 | Integer | semmle.label | [Integer] Integer |
-| Foo.qll:24:12:24:12 | Integer | semmle.order | 69 |
+| Foo.qll:24:12:24:12 | Integer | semmle.order | 70 |
 | Foo.qll:24:12:24:22 | AddExpr | semmle.label | [AddExpr] AddExpr |
-| Foo.qll:24:12:24:22 | AddExpr | semmle.order | 69 |
+| Foo.qll:24:12:24:22 | AddExpr | semmle.order | 70 |
 | Foo.qll:24:17:24:17 | Integer | semmle.label | [Integer] Integer |
-| Foo.qll:24:17:24:17 | Integer | semmle.order | 71 |
+| Foo.qll:24:17:24:17 | Integer | semmle.order | 72 |
 | Foo.qll:24:17:24:21 | AddExpr | semmle.label | [AddExpr] AddExpr |
-| Foo.qll:24:17:24:21 | AddExpr | semmle.order | 71 |
+| Foo.qll:24:17:24:21 | AddExpr | semmle.order | 72 |
 | Foo.qll:24:21:24:21 | Integer | semmle.label | [Integer] Integer |
-| Foo.qll:24:21:24:21 | Integer | semmle.order | 73 |
+| Foo.qll:24:21:24:21 | Integer | semmle.order | 74 |
 | Foo.qll:26:3:26:6 | Boolean | semmle.label | [Boolean] Boolean |
-| Foo.qll:26:3:26:6 | Boolean | semmle.order | 74 |
+| Foo.qll:26:3:26:6 | Boolean | semmle.order | 75 |
 | Foo.qll:26:3:26:14 | ComparisonFormula | semmle.label | [ComparisonFormula] ComparisonFormula |
-| Foo.qll:26:3:26:14 | ComparisonFormula | semmle.order | 74 |
+| Foo.qll:26:3:26:14 | ComparisonFormula | semmle.order | 75 |
 | Foo.qll:26:10:26:14 | Boolean | semmle.label | [Boolean] Boolean |
-| Foo.qll:26:10:26:14 | Boolean | semmle.order | 76 |
+| Foo.qll:26:10:26:14 | Boolean | semmle.order | 77 |
 | file://:0:0:0:0 | abs | semmle.label | [BuiltinPredicate] abs |
 | file://:0:0:0:0 | abs | semmle.label | [BuiltinPredicate] abs |
 | file://:0:0:0:0 | acos | semmle.label | [BuiltinPredicate] acos |
@@ -233,161 +235,167 @@ nodes
 | file://:0:0:0:0 | trim | semmle.label | [BuiltinPredicate] trim |
 | file://:0:0:0:0 | ulp | semmle.label | [BuiltinPredicate] ulp |
 | printAst.ql:1:1:1:28 | Import | semmle.label | [Import] Import |
-| printAst.ql:1:1:1:28 | Import | semmle.order | 77 |
+| printAst.ql:1:1:1:28 | Import | semmle.order | 78 |
 | printAst.ql:1:1:1:29 | TopLevel | semmle.label | [TopLevel] TopLevel |
-| printAst.ql:1:1:1:29 | TopLevel | semmle.order | 77 |
+| printAst.ql:1:1:1:29 | TopLevel | semmle.order | 78 |
+| printAst.ql:1:18:1:28 | printAstAst | semmle.label | [ModuleExpr] printAstAst |
+| printAst.ql:1:18:1:28 | printAstAst | semmle.order | 80 |
 edges
+| Foo.qll:1:1:1:17 | Import | Foo.qll:1:8:1:17 | javascript | semmle.label | getModuleExpr() |
+| Foo.qll:1:1:1:17 | Import | Foo.qll:1:8:1:17 | javascript | semmle.order | 3 |
 | Foo.qll:1:1:27:2 | TopLevel | Foo.qll:1:1:1:17 | Import | semmle.label | getAnImport() |
 | Foo.qll:1:1:27:2 | TopLevel | Foo.qll:1:1:1:17 | Import | semmle.order | 1 |
 | Foo.qll:1:1:27:2 | TopLevel | Foo.qll:3:7:3:9 | Class Foo | semmle.label | getAClass() |
-| Foo.qll:1:1:27:2 | TopLevel | Foo.qll:3:7:3:9 | Class Foo | semmle.order | 3 |
+| Foo.qll:1:1:27:2 | TopLevel | Foo.qll:3:7:3:9 | Class Foo | semmle.order | 4 |
 | Foo.qll:1:1:27:2 | TopLevel | Foo.qll:9:17:9:19 | ClasslessPredicate foo | semmle.label | getAPredicate() |
-| Foo.qll:1:1:27:2 | TopLevel | Foo.qll:9:17:9:19 | ClasslessPredicate foo | semmle.order | 15 |
+| Foo.qll:1:1:27:2 | TopLevel | Foo.qll:9:17:9:19 | ClasslessPredicate foo | semmle.order | 16 |
 | Foo.qll:1:1:27:2 | TopLevel | Foo.qll:13:11:13:15 | ClasslessPredicate calls | semmle.label | getAPredicate() |
-| Foo.qll:1:1:27:2 | TopLevel | Foo.qll:13:11:13:15 | ClasslessPredicate calls | semmle.order | 31 |
+| Foo.qll:1:1:27:2 | TopLevel | Foo.qll:13:11:13:15 | ClasslessPredicate calls | semmle.order | 32 |
 | Foo.qll:3:7:3:9 | Class Foo | Foo.qll:3:19:3:22 | TypeExpr | semmle.label | getASuperType() |
-| Foo.qll:3:7:3:9 | Class Foo | Foo.qll:3:19:3:22 | TypeExpr | semmle.order | 4 |
+| Foo.qll:3:7:3:9 | Class Foo | Foo.qll:3:19:3:22 | TypeExpr | semmle.order | 5 |
 | Foo.qll:3:7:3:9 | Class Foo | Foo.qll:4:3:4:17 | CharPred Foo | semmle.label | getCharPred() |
-| Foo.qll:3:7:3:9 | Class Foo | Foo.qll:4:3:4:17 | CharPred Foo | semmle.order | 5 |
+| Foo.qll:3:7:3:9 | Class Foo | Foo.qll:4:3:4:17 | CharPred Foo | semmle.order | 6 |
 | Foo.qll:3:7:3:9 | Class Foo | Foo.qll:6:10:6:17 | ClassPredicate toString | semmle.label | getClassPredicate(_) |
-| Foo.qll:3:7:3:9 | Class Foo | Foo.qll:6:10:6:17 | ClassPredicate toString | semmle.order | 10 |
+| Foo.qll:3:7:3:9 | Class Foo | Foo.qll:6:10:6:17 | ClassPredicate toString | semmle.order | 11 |
 | Foo.qll:4:3:4:17 | CharPred Foo | Foo.qll:4:11:4:15 | ComparisonFormula | semmle.label | getBody() |
-| Foo.qll:4:3:4:17 | CharPred Foo | Foo.qll:4:11:4:15 | ComparisonFormula | semmle.order | 6 |
+| Foo.qll:4:3:4:17 | CharPred Foo | Foo.qll:4:11:4:15 | ComparisonFormula | semmle.order | 7 |
 | Foo.qll:4:11:4:15 | ComparisonFormula | Foo.qll:4:11:4:11 | Integer | semmle.label | getLeftOperand() |
-| Foo.qll:4:11:4:15 | ComparisonFormula | Foo.qll:4:11:4:11 | Integer | semmle.order | 6 |
+| Foo.qll:4:11:4:15 | ComparisonFormula | Foo.qll:4:11:4:11 | Integer | semmle.order | 7 |
 | Foo.qll:4:11:4:15 | ComparisonFormula | Foo.qll:4:15:4:15 | Integer | semmle.label | getRightOperand() |
-| Foo.qll:4:11:4:15 | ComparisonFormula | Foo.qll:4:15:4:15 | Integer | semmle.order | 8 |
+| Foo.qll:4:11:4:15 | ComparisonFormula | Foo.qll:4:15:4:15 | Integer | semmle.order | 9 |
 | Foo.qll:6:10:6:17 | ClassPredicate toString | Foo.qll:6:3:6:8 | TypeExpr | semmle.label | getReturnTypeExpr() |
-| Foo.qll:6:10:6:17 | ClassPredicate toString | Foo.qll:6:3:6:8 | TypeExpr | semmle.order | 9 |
+| Foo.qll:6:10:6:17 | ClassPredicate toString | Foo.qll:6:3:6:8 | TypeExpr | semmle.order | 10 |
 | Foo.qll:6:10:6:17 | ClassPredicate toString | Foo.qll:6:23:6:36 | ComparisonFormula | semmle.label | getBody() |
-| Foo.qll:6:10:6:17 | ClassPredicate toString | Foo.qll:6:23:6:36 | ComparisonFormula | semmle.order | 11 |
+| Foo.qll:6:10:6:17 | ClassPredicate toString | Foo.qll:6:23:6:36 | ComparisonFormula | semmle.order | 12 |
 | Foo.qll:6:23:6:36 | ComparisonFormula | Foo.qll:6:23:6:28 | result | semmle.label | getLeftOperand() |
-| Foo.qll:6:23:6:36 | ComparisonFormula | Foo.qll:6:23:6:28 | result | semmle.order | 11 |
+| Foo.qll:6:23:6:36 | ComparisonFormula | Foo.qll:6:23:6:28 | result | semmle.order | 12 |
 | Foo.qll:6:23:6:36 | ComparisonFormula | Foo.qll:6:32:6:36 | String | semmle.label | getRightOperand() |
-| Foo.qll:6:23:6:36 | ComparisonFormula | Foo.qll:6:32:6:36 | String | semmle.order | 13 |
+| Foo.qll:6:23:6:36 | ComparisonFormula | Foo.qll:6:32:6:36 | String | semmle.order | 14 |
 | Foo.qll:9:17:9:19 | ClasslessPredicate foo | Foo.qll:9:1:9:5 | annotation | semmle.label | getAnAnnotation() |
-| Foo.qll:9:17:9:19 | ClasslessPredicate foo | Foo.qll:9:1:9:5 | annotation | semmle.order | 14 |
+| Foo.qll:9:17:9:19 | ClasslessPredicate foo | Foo.qll:9:1:9:5 | annotation | semmle.order | 15 |
 | Foo.qll:9:17:9:19 | ClasslessPredicate foo | Foo.qll:9:21:9:25 | f | semmle.label | getParameter(_) |
-| Foo.qll:9:17:9:19 | ClasslessPredicate foo | Foo.qll:9:21:9:25 | f | semmle.order | 16 |
+| Foo.qll:9:17:9:19 | ClasslessPredicate foo | Foo.qll:9:21:9:25 | f | semmle.order | 17 |
 | Foo.qll:9:17:9:19 | ClasslessPredicate foo | Foo.qll:10:3:10:85 | ComparisonFormula | semmle.label | getBody() |
-| Foo.qll:9:17:9:19 | ClasslessPredicate foo | Foo.qll:10:3:10:85 | ComparisonFormula | semmle.order | 18 |
+| Foo.qll:9:17:9:19 | ClasslessPredicate foo | Foo.qll:10:3:10:85 | ComparisonFormula | semmle.order | 19 |
 | Foo.qll:9:21:9:25 | f | Foo.qll:9:21:9:23 | TypeExpr | semmle.label | getTypeExpr() |
-| Foo.qll:9:21:9:25 | f | Foo.qll:9:21:9:23 | TypeExpr | semmle.order | 16 |
+| Foo.qll:9:21:9:25 | f | Foo.qll:9:21:9:23 | TypeExpr | semmle.order | 17 |
 | Foo.qll:10:3:10:85 | ComparisonFormula | Foo.qll:10:3:10:3 | f | semmle.label | getLeftOperand() |
-| Foo.qll:10:3:10:85 | ComparisonFormula | Foo.qll:10:3:10:3 | f | semmle.order | 18 |
+| Foo.qll:10:3:10:85 | ComparisonFormula | Foo.qll:10:3:10:3 | f | semmle.order | 19 |
 | Foo.qll:10:3:10:85 | ComparisonFormula | Foo.qll:10:7:10:85 | Rank | semmle.label | getRightOperand() |
-| Foo.qll:10:3:10:85 | ComparisonFormula | Foo.qll:10:7:10:85 | Rank | semmle.order | 20 |
+| Foo.qll:10:3:10:85 | ComparisonFormula | Foo.qll:10:7:10:85 | Rank | semmle.order | 21 |
 | Foo.qll:10:7:10:85 | Rank | Foo.qll:10:12:10:12 | Integer | semmle.label | getRankExpr() |
-| Foo.qll:10:7:10:85 | Rank | Foo.qll:10:12:10:12 | Integer | semmle.order | 21 |
+| Foo.qll:10:7:10:85 | Rank | Foo.qll:10:12:10:12 | Integer | semmle.order | 22 |
 | Foo.qll:10:7:10:85 | Rank | Foo.qll:10:15:10:23 | inner | semmle.label | getArgument(_) |
-| Foo.qll:10:7:10:85 | Rank | Foo.qll:10:15:10:23 | inner | semmle.order | 22 |
+| Foo.qll:10:7:10:85 | Rank | Foo.qll:10:15:10:23 | inner | semmle.order | 23 |
 | Foo.qll:10:7:10:85 | Rank | Foo.qll:10:27:10:50 | ComparisonFormula | semmle.label | getRange() |
-| Foo.qll:10:7:10:85 | Rank | Foo.qll:10:27:10:50 | ComparisonFormula | semmle.order | 24 |
+| Foo.qll:10:7:10:85 | Rank | Foo.qll:10:27:10:50 | ComparisonFormula | semmle.order | 25 |
 | Foo.qll:10:7:10:85 | Rank | Foo.qll:10:54:10:58 | inner | semmle.label | getExpr(_) |
-| Foo.qll:10:7:10:85 | Rank | Foo.qll:10:54:10:58 | inner | semmle.order | 28 |
+| Foo.qll:10:7:10:85 | Rank | Foo.qll:10:54:10:58 | inner | semmle.order | 29 |
 | Foo.qll:10:7:10:85 | Rank | Foo.qll:10:69:10:84 | MemberCall | semmle.label | getOrderBy(_) |
-| Foo.qll:10:7:10:85 | Rank | Foo.qll:10:69:10:84 | MemberCall | semmle.order | 29 |
+| Foo.qll:10:7:10:85 | Rank | Foo.qll:10:69:10:84 | MemberCall | semmle.order | 30 |
 | Foo.qll:10:15:10:23 | inner | Foo.qll:10:15:10:17 | TypeExpr | semmle.label | getTypeExpr() |
-| Foo.qll:10:15:10:23 | inner | Foo.qll:10:15:10:17 | TypeExpr | semmle.order | 22 |
+| Foo.qll:10:15:10:23 | inner | Foo.qll:10:15:10:17 | TypeExpr | semmle.order | 23 |
 | Foo.qll:10:27:10:42 | MemberCall | Foo.qll:10:27:10:31 | inner | semmle.label | getBase() |
-| Foo.qll:10:27:10:42 | MemberCall | Foo.qll:10:27:10:31 | inner | semmle.order | 24 |
+| Foo.qll:10:27:10:42 | MemberCall | Foo.qll:10:27:10:31 | inner | semmle.order | 25 |
 | Foo.qll:10:27:10:50 | ComparisonFormula | Foo.qll:10:27:10:42 | MemberCall | semmle.label | getLeftOperand() |
-| Foo.qll:10:27:10:50 | ComparisonFormula | Foo.qll:10:27:10:42 | MemberCall | semmle.order | 24 |
+| Foo.qll:10:27:10:50 | ComparisonFormula | Foo.qll:10:27:10:42 | MemberCall | semmle.order | 25 |
 | Foo.qll:10:27:10:50 | ComparisonFormula | Foo.qll:10:46:10:50 | String | semmle.label | getRightOperand() |
-| Foo.qll:10:27:10:50 | ComparisonFormula | Foo.qll:10:46:10:50 | String | semmle.order | 27 |
+| Foo.qll:10:27:10:50 | ComparisonFormula | Foo.qll:10:46:10:50 | String | semmle.order | 28 |
 | Foo.qll:10:69:10:84 | MemberCall | Foo.qll:10:69:10:73 | inner | semmle.label | getBase() |
-| Foo.qll:10:69:10:84 | MemberCall | Foo.qll:10:69:10:73 | inner | semmle.order | 29 |
+| Foo.qll:10:69:10:84 | MemberCall | Foo.qll:10:69:10:73 | inner | semmle.order | 30 |
 | Foo.qll:13:11:13:15 | ClasslessPredicate calls | Foo.qll:13:17:13:21 | f | semmle.label | getParameter(_) |
-| Foo.qll:13:11:13:15 | ClasslessPredicate calls | Foo.qll:13:17:13:21 | f | semmle.order | 32 |
+| Foo.qll:13:11:13:15 | ClasslessPredicate calls | Foo.qll:13:17:13:21 | f | semmle.order | 33 |
 | Foo.qll:13:11:13:15 | ClasslessPredicate calls | Foo.qll:14:3:26:14 | Disjunction | semmle.label | getBody() |
-| Foo.qll:13:11:13:15 | ClasslessPredicate calls | Foo.qll:14:3:26:14 | Disjunction | semmle.order | 34 |
+| Foo.qll:13:11:13:15 | ClasslessPredicate calls | Foo.qll:14:3:26:14 | Disjunction | semmle.order | 35 |
 | Foo.qll:13:17:13:21 | f | Foo.qll:13:17:13:19 | TypeExpr | semmle.label | getTypeExpr() |
-| Foo.qll:13:17:13:21 | f | Foo.qll:13:17:13:19 | TypeExpr | semmle.order | 32 |
+| Foo.qll:13:17:13:21 | f | Foo.qll:13:17:13:19 | TypeExpr | semmle.order | 33 |
 | Foo.qll:14:3:14:10 | PredicateCall | Foo.qll:14:9:14:9 | f | semmle.label | getArgument(_) |
-| Foo.qll:14:3:14:10 | PredicateCall | Foo.qll:14:9:14:9 | f | semmle.order | 41 |
+| Foo.qll:14:3:14:10 | PredicateCall | Foo.qll:14:9:14:9 | f | semmle.order | 42 |
 | Foo.qll:14:3:16:29 | Disjunction | Foo.qll:14:3:14:10 | PredicateCall | semmle.label | getAnOperand() |
-| Foo.qll:14:3:16:29 | Disjunction | Foo.qll:14:3:14:10 | PredicateCall | semmle.order | 34 |
+| Foo.qll:14:3:16:29 | Disjunction | Foo.qll:14:3:14:10 | PredicateCall | semmle.order | 35 |
 | Foo.qll:14:3:16:29 | Disjunction | Foo.qll:16:3:16:29 | ComparisonFormula | semmle.label | getAnOperand() |
-| Foo.qll:14:3:16:29 | Disjunction | Foo.qll:16:3:16:29 | ComparisonFormula | semmle.order | 42 |
+| Foo.qll:14:3:16:29 | Disjunction | Foo.qll:16:3:16:29 | ComparisonFormula | semmle.order | 43 |
 | Foo.qll:14:3:18:28 | Disjunction | Foo.qll:14:3:16:29 | Disjunction | semmle.label | getAnOperand() |
-| Foo.qll:14:3:18:28 | Disjunction | Foo.qll:14:3:16:29 | Disjunction | semmle.order | 34 |
+| Foo.qll:14:3:18:28 | Disjunction | Foo.qll:14:3:16:29 | Disjunction | semmle.order | 35 |
 | Foo.qll:14:3:18:28 | Disjunction | Foo.qll:18:3:18:28 | ComparisonFormula | semmle.label | getAnOperand() |
-| Foo.qll:14:3:18:28 | Disjunction | Foo.qll:18:3:18:28 | ComparisonFormula | semmle.order | 49 |
+| Foo.qll:14:3:18:28 | Disjunction | Foo.qll:18:3:18:28 | ComparisonFormula | semmle.order | 50 |
 | Foo.qll:14:3:20:13 | Disjunction | Foo.qll:14:3:18:28 | Disjunction | semmle.label | getAnOperand() |
-| Foo.qll:14:3:20:13 | Disjunction | Foo.qll:14:3:18:28 | Disjunction | semmle.order | 34 |
+| Foo.qll:14:3:20:13 | Disjunction | Foo.qll:14:3:18:28 | Disjunction | semmle.order | 35 |
 | Foo.qll:14:3:20:13 | Disjunction | Foo.qll:20:3:20:13 | ComparisonFormula | semmle.label | getAnOperand() |
-| Foo.qll:14:3:20:13 | Disjunction | Foo.qll:20:3:20:13 | ComparisonFormula | semmle.order | 55 |
+| Foo.qll:14:3:20:13 | Disjunction | Foo.qll:20:3:20:13 | ComparisonFormula | semmle.order | 56 |
 | Foo.qll:14:3:22:16 | Disjunction | Foo.qll:14:3:20:13 | Disjunction | semmle.label | getAnOperand() |
-| Foo.qll:14:3:22:16 | Disjunction | Foo.qll:14:3:20:13 | Disjunction | semmle.order | 34 |
+| Foo.qll:14:3:22:16 | Disjunction | Foo.qll:14:3:20:13 | Disjunction | semmle.order | 35 |
 | Foo.qll:14:3:22:16 | Disjunction | Foo.qll:22:3:22:16 | ComparisonFormula | semmle.label | getAnOperand() |
-| Foo.qll:14:3:22:16 | Disjunction | Foo.qll:22:3:22:16 | ComparisonFormula | semmle.order | 60 |
+| Foo.qll:14:3:22:16 | Disjunction | Foo.qll:22:3:22:16 | ComparisonFormula | semmle.order | 61 |
 | Foo.qll:14:3:24:23 | Disjunction | Foo.qll:14:3:22:16 | Disjunction | semmle.label | getAnOperand() |
-| Foo.qll:14:3:24:23 | Disjunction | Foo.qll:14:3:22:16 | Disjunction | semmle.order | 34 |
+| Foo.qll:14:3:24:23 | Disjunction | Foo.qll:14:3:22:16 | Disjunction | semmle.order | 35 |
 | Foo.qll:14:3:24:23 | Disjunction | Foo.qll:24:3:24:23 | ComparisonFormula | semmle.label | getAnOperand() |
-| Foo.qll:14:3:24:23 | Disjunction | Foo.qll:24:3:24:23 | ComparisonFormula | semmle.order | 65 |
+| Foo.qll:14:3:24:23 | Disjunction | Foo.qll:24:3:24:23 | ComparisonFormula | semmle.order | 66 |
 | Foo.qll:14:3:26:14 | Disjunction | Foo.qll:14:3:24:23 | Disjunction | semmle.label | getAnOperand() |
-| Foo.qll:14:3:26:14 | Disjunction | Foo.qll:14:3:24:23 | Disjunction | semmle.order | 34 |
+| Foo.qll:14:3:26:14 | Disjunction | Foo.qll:14:3:24:23 | Disjunction | semmle.order | 35 |
 | Foo.qll:14:3:26:14 | Disjunction | Foo.qll:26:3:26:14 | ComparisonFormula | semmle.label | getAnOperand() |
-| Foo.qll:14:3:26:14 | Disjunction | Foo.qll:26:3:26:14 | ComparisonFormula | semmle.order | 74 |
+| Foo.qll:14:3:26:14 | Disjunction | Foo.qll:26:3:26:14 | ComparisonFormula | semmle.order | 75 |
 | Foo.qll:16:3:16:29 | ComparisonFormula | Foo.qll:16:3:16:7 | String | semmle.label | getLeftOperand() |
-| Foo.qll:16:3:16:29 | ComparisonFormula | Foo.qll:16:3:16:7 | String | semmle.order | 42 |
+| Foo.qll:16:3:16:29 | ComparisonFormula | Foo.qll:16:3:16:7 | String | semmle.order | 43 |
 | Foo.qll:16:3:16:29 | ComparisonFormula | Foo.qll:16:11:16:29 | MemberCall | semmle.label | getRightOperand() |
-| Foo.qll:16:3:16:29 | ComparisonFormula | Foo.qll:16:11:16:29 | MemberCall | semmle.order | 44 |
+| Foo.qll:16:3:16:29 | ComparisonFormula | Foo.qll:16:11:16:29 | MemberCall | semmle.order | 45 |
 | Foo.qll:16:11:16:29 | MemberCall | Foo.qll:16:11:16:11 | f | semmle.label | getBase() |
-| Foo.qll:16:11:16:29 | MemberCall | Foo.qll:16:11:16:11 | f | semmle.order | 44 |
+| Foo.qll:16:11:16:29 | MemberCall | Foo.qll:16:11:16:11 | f | semmle.order | 45 |
 | Foo.qll:16:11:16:29 | MemberCall | Foo.qll:16:22:16:22 | Integer | semmle.label | getArgument(_) |
-| Foo.qll:16:11:16:29 | MemberCall | Foo.qll:16:22:16:22 | Integer | semmle.order | 46 |
+| Foo.qll:16:11:16:29 | MemberCall | Foo.qll:16:22:16:22 | Integer | semmle.order | 47 |
 | Foo.qll:16:11:16:29 | MemberCall | Foo.qll:16:25:16:25 | Integer | semmle.label | getArgument(_) |
-| Foo.qll:16:11:16:29 | MemberCall | Foo.qll:16:25:16:25 | Integer | semmle.order | 47 |
+| Foo.qll:16:11:16:29 | MemberCall | Foo.qll:16:25:16:25 | Integer | semmle.order | 48 |
 | Foo.qll:16:11:16:29 | MemberCall | Foo.qll:16:28:16:28 | Integer | semmle.label | getArgument(_) |
-| Foo.qll:16:11:16:29 | MemberCall | Foo.qll:16:28:16:28 | Integer | semmle.order | 48 |
+| Foo.qll:16:11:16:29 | MemberCall | Foo.qll:16:28:16:28 | Integer | semmle.order | 49 |
 | Foo.qll:18:3:18:9 | InlineCast | Foo.qll:18:3:18:3 | f | semmle.label | getBase() |
-| Foo.qll:18:3:18:9 | InlineCast | Foo.qll:18:3:18:3 | f | semmle.order | 49 |
+| Foo.qll:18:3:18:9 | InlineCast | Foo.qll:18:3:18:3 | f | semmle.order | 50 |
 | Foo.qll:18:3:18:9 | InlineCast | Foo.qll:18:6:18:8 | TypeExpr | semmle.label | getTypeExpr() |
-| Foo.qll:18:3:18:9 | InlineCast | Foo.qll:18:6:18:8 | TypeExpr | semmle.order | 53 |
+| Foo.qll:18:3:18:9 | InlineCast | Foo.qll:18:6:18:8 | TypeExpr | semmle.order | 54 |
 | Foo.qll:18:3:18:20 | MemberCall | Foo.qll:18:3:18:9 | InlineCast | semmle.label | getBase() |
-| Foo.qll:18:3:18:20 | MemberCall | Foo.qll:18:3:18:9 | InlineCast | semmle.order | 49 |
+| Foo.qll:18:3:18:20 | MemberCall | Foo.qll:18:3:18:9 | InlineCast | semmle.order | 50 |
 | Foo.qll:18:3:18:28 | ComparisonFormula | Foo.qll:18:3:18:20 | MemberCall | semmle.label | getLeftOperand() |
-| Foo.qll:18:3:18:28 | ComparisonFormula | Foo.qll:18:3:18:20 | MemberCall | semmle.order | 49 |
+| Foo.qll:18:3:18:28 | ComparisonFormula | Foo.qll:18:3:18:20 | MemberCall | semmle.order | 50 |
 | Foo.qll:18:3:18:28 | ComparisonFormula | Foo.qll:18:24:18:28 | String | semmle.label | getRightOperand() |
-| Foo.qll:18:3:18:28 | ComparisonFormula | Foo.qll:18:24:18:28 | String | semmle.order | 54 |
+| Foo.qll:18:3:18:28 | ComparisonFormula | Foo.qll:18:24:18:28 | String | semmle.order | 55 |
 | Foo.qll:20:3:20:9 | InlineCast | Foo.qll:20:3:20:3 | f | semmle.label | getBase() |
-| Foo.qll:20:3:20:9 | InlineCast | Foo.qll:20:3:20:3 | f | semmle.order | 55 |
+| Foo.qll:20:3:20:9 | InlineCast | Foo.qll:20:3:20:3 | f | semmle.order | 56 |
 | Foo.qll:20:3:20:9 | InlineCast | Foo.qll:20:6:20:8 | TypeExpr | semmle.label | getTypeExpr() |
-| Foo.qll:20:3:20:9 | InlineCast | Foo.qll:20:6:20:8 | TypeExpr | semmle.order | 58 |
+| Foo.qll:20:3:20:9 | InlineCast | Foo.qll:20:6:20:8 | TypeExpr | semmle.order | 59 |
 | Foo.qll:20:3:20:13 | ComparisonFormula | Foo.qll:20:3:20:9 | InlineCast | semmle.label | getLeftOperand() |
-| Foo.qll:20:3:20:13 | ComparisonFormula | Foo.qll:20:3:20:9 | InlineCast | semmle.order | 55 |
+| Foo.qll:20:3:20:13 | ComparisonFormula | Foo.qll:20:3:20:9 | InlineCast | semmle.order | 56 |
 | Foo.qll:20:3:20:13 | ComparisonFormula | Foo.qll:20:13:20:13 | f | semmle.label | getRightOperand() |
-| Foo.qll:20:3:20:13 | ComparisonFormula | Foo.qll:20:13:20:13 | f | semmle.order | 59 |
+| Foo.qll:20:3:20:13 | ComparisonFormula | Foo.qll:20:13:20:13 | f | semmle.order | 60 |
 | Foo.qll:22:3:22:16 | ComparisonFormula | Foo.qll:22:3:22:3 | f | semmle.label | getLeftOperand() |
-| Foo.qll:22:3:22:16 | ComparisonFormula | Foo.qll:22:3:22:3 | f | semmle.order | 60 |
+| Foo.qll:22:3:22:16 | ComparisonFormula | Foo.qll:22:3:22:3 | f | semmle.order | 61 |
 | Foo.qll:22:3:22:16 | ComparisonFormula | Foo.qll:22:7:22:16 | Any | semmle.label | getRightOperand() |
-| Foo.qll:22:3:22:16 | ComparisonFormula | Foo.qll:22:7:22:16 | Any | semmle.order | 62 |
+| Foo.qll:22:3:22:16 | ComparisonFormula | Foo.qll:22:7:22:16 | Any | semmle.order | 63 |
 | Foo.qll:22:7:22:16 | Any | Foo.qll:22:11:22:15 | f | semmle.label | getArgument(_) |
-| Foo.qll:22:7:22:16 | Any | Foo.qll:22:11:22:15 | f | semmle.order | 63 |
+| Foo.qll:22:7:22:16 | Any | Foo.qll:22:11:22:15 | f | semmle.order | 64 |
 | Foo.qll:22:11:22:15 | f | Foo.qll:22:11:22:13 | TypeExpr | semmle.label | getTypeExpr() |
-| Foo.qll:22:11:22:15 | f | Foo.qll:22:11:22:13 | TypeExpr | semmle.order | 63 |
+| Foo.qll:22:11:22:15 | f | Foo.qll:22:11:22:13 | TypeExpr | semmle.order | 64 |
 | Foo.qll:24:3:24:23 | ComparisonFormula | Foo.qll:24:3:24:3 | Integer | semmle.label | getLeftOperand() |
-| Foo.qll:24:3:24:23 | ComparisonFormula | Foo.qll:24:3:24:3 | Integer | semmle.order | 65 |
+| Foo.qll:24:3:24:23 | ComparisonFormula | Foo.qll:24:3:24:3 | Integer | semmle.order | 66 |
 | Foo.qll:24:3:24:23 | ComparisonFormula | Foo.qll:24:7:24:23 | AddExpr | semmle.label | getRightOperand() |
-| Foo.qll:24:3:24:23 | ComparisonFormula | Foo.qll:24:7:24:23 | AddExpr | semmle.order | 67 |
+| Foo.qll:24:3:24:23 | ComparisonFormula | Foo.qll:24:7:24:23 | AddExpr | semmle.order | 68 |
 | Foo.qll:24:7:24:23 | AddExpr | Foo.qll:24:7:24:7 | Integer | semmle.label | getLeftOperand() |
-| Foo.qll:24:7:24:23 | AddExpr | Foo.qll:24:7:24:7 | Integer | semmle.order | 67 |
+| Foo.qll:24:7:24:23 | AddExpr | Foo.qll:24:7:24:7 | Integer | semmle.order | 68 |
 | Foo.qll:24:7:24:23 | AddExpr | Foo.qll:24:12:24:22 | AddExpr | semmle.label | getRightOperand() |
-| Foo.qll:24:7:24:23 | AddExpr | Foo.qll:24:12:24:22 | AddExpr | semmle.order | 69 |
+| Foo.qll:24:7:24:23 | AddExpr | Foo.qll:24:12:24:22 | AddExpr | semmle.order | 70 |
 | Foo.qll:24:12:24:22 | AddExpr | Foo.qll:24:12:24:12 | Integer | semmle.label | getLeftOperand() |
-| Foo.qll:24:12:24:22 | AddExpr | Foo.qll:24:12:24:12 | Integer | semmle.order | 69 |
+| Foo.qll:24:12:24:22 | AddExpr | Foo.qll:24:12:24:12 | Integer | semmle.order | 70 |
 | Foo.qll:24:12:24:22 | AddExpr | Foo.qll:24:17:24:21 | AddExpr | semmle.label | getRightOperand() |
-| Foo.qll:24:12:24:22 | AddExpr | Foo.qll:24:17:24:21 | AddExpr | semmle.order | 71 |
+| Foo.qll:24:12:24:22 | AddExpr | Foo.qll:24:17:24:21 | AddExpr | semmle.order | 72 |
 | Foo.qll:24:17:24:21 | AddExpr | Foo.qll:24:17:24:17 | Integer | semmle.label | getLeftOperand() |
-| Foo.qll:24:17:24:21 | AddExpr | Foo.qll:24:17:24:17 | Integer | semmle.order | 71 |
+| Foo.qll:24:17:24:21 | AddExpr | Foo.qll:24:17:24:17 | Integer | semmle.order | 72 |
 | Foo.qll:24:17:24:21 | AddExpr | Foo.qll:24:21:24:21 | Integer | semmle.label | getRightOperand() |
-| Foo.qll:24:17:24:21 | AddExpr | Foo.qll:24:21:24:21 | Integer | semmle.order | 73 |
+| Foo.qll:24:17:24:21 | AddExpr | Foo.qll:24:21:24:21 | Integer | semmle.order | 74 |
 | Foo.qll:26:3:26:14 | ComparisonFormula | Foo.qll:26:3:26:6 | Boolean | semmle.label | getLeftOperand() |
-| Foo.qll:26:3:26:14 | ComparisonFormula | Foo.qll:26:3:26:6 | Boolean | semmle.order | 74 |
+| Foo.qll:26:3:26:14 | ComparisonFormula | Foo.qll:26:3:26:6 | Boolean | semmle.order | 75 |
 | Foo.qll:26:3:26:14 | ComparisonFormula | Foo.qll:26:10:26:14 | Boolean | semmle.label | getRightOperand() |
-| Foo.qll:26:3:26:14 | ComparisonFormula | Foo.qll:26:10:26:14 | Boolean | semmle.order | 76 |
+| Foo.qll:26:3:26:14 | ComparisonFormula | Foo.qll:26:10:26:14 | Boolean | semmle.order | 77 |
+| printAst.ql:1:1:1:28 | Import | printAst.ql:1:18:1:28 | printAstAst | semmle.label | getModuleExpr() |
+| printAst.ql:1:1:1:28 | Import | printAst.ql:1:18:1:28 | printAstAst | semmle.order | 80 |
 | printAst.ql:1:1:1:29 | TopLevel | printAst.ql:1:1:1:28 | Import | semmle.label | getAnImport() |
-| printAst.ql:1:1:1:29 | TopLevel | printAst.ql:1:1:1:28 | Import | semmle.order | 77 |
+| printAst.ql:1:1:1:29 | TopLevel | printAst.ql:1:1:1:28 | Import | semmle.order | 78 |
 graphProperties
 | semmle.graphKind | tree |