Merge branch 'js/graph-export' of github.com:asgerf/codeql into js/graph-export

asgerf · asgerf · commit c0db40d11a53 · 2024-04-16T20:25:11.000+02:00
diff --git a/shared/mad/codeql/mad/dynamic/GraphExport.qll b/shared/mad/codeql/mad/dynamic/GraphExport.qll
@@ -154,7 +154,7 @@ module GraphExport<
   }
 
   /**
-   * Holds if a named type exists or will be generated for `node`.
+   * Holds if a synthetic name must be generated for `node`.
    */
   private predicate isSyntheticallyNamedNode(RelevantNode node, string prefix) {
     nodeMustBeNamed(node) and

Original file line number	Diff line number	Diff line change
`@@ -154,7 +154,7 @@ module GraphExport<`
`154`	`154`	`}`
`155`	`155`
`156`	`156`	`/**`
`157`		- * Holds if a named type exists or will be generated for `node`.
	`157`	+ * Holds if a synthetic name must be generated for `node`.
`158`	`158`	`*/`
`159`	`159`	`private predicate isSyntheticallyNamedNode(RelevantNode node, string prefix) {`
`160`	`160`	`nodeMustBeNamed(node) and`