JS: elaborate qldoc for isTopLevelExpr

asger-semmle · asger-semmle · commit 8801431352eb · 2019-02-15T14:28:06.000Z
diff --git a/javascript/ql/src/semmle/javascript/Closure.qll b/javascript/ql/src/semmle/javascript/Closure.qll
@@ -30,7 +30,8 @@ module Closure {
   }
 
   /**
-   * Holds if `node` is the data flow node for a top-level expression.
+   * Holds if `node` is the data flow node corresponding to the expression in
+   * a top-level expression statement.
    */
   private predicate isTopLevelExpr(DataFlow::Node node) {
     node.getTopLevel().getAChildStmt().(ExprStmt).getExpr().flow() = node

Original file line number	Diff line number	Diff line change
`@@ -30,7 +30,8 @@ module Closure {`
`30`	`30`	`}`
`31`	`31`
`32`	`32`	`/**`
`33`		- * Holds if `node` is the data flow node for a top-level expression.
	`33`	+ * Holds if `node` is the data flow node corresponding to the expression in
	`34`	`+ * a top-level expression statement.`
`34`	`35`	`*/`
`35`	`36`	`private predicate isTopLevelExpr(DataFlow::Node node) {`
`36`	`37`	`node.getTopLevel().getAChildStmt().(ExprStmt).getExpr().flow() = node`