rename getAClassReferenceStep to getAClassReferenceRec

erik-krogh · erik-krogh · commit cebba05b8b23 · 2022-03-29T22:44:03.000+02:00
diff --git a/javascript/ql/lib/semmle/javascript/dataflow/Nodes.qll b/javascript/ql/lib/semmle/javascript/dataflow/Nodes.qll
@@ -962,11 +962,11 @@ class ClassNode extends DataFlow::SourceNode instanceof ClassNode::Range {
       result.getAstNode().getFile() = this.getAstNode().getFile()
     )
     or
-    result = getAClassReferenceStep(t)
+    result = getAClassReferenceRec(t)
   }
 
   pragma[noopt]
-  private DataFlow::SourceNode getAClassReferenceStep(DataFlow::TypeTracker t) {
+  private DataFlow::SourceNode getAClassReferenceRec(DataFlow::TypeTracker t) {
     exists(DataFlow::TypeTracker t2, StepSummary summary, DataFlow::SourceNode prev |
       prev = this.getAClassReference(t2) and
       StepSummary::step(prev, result, summary) and

Original file line number	Diff line number	Diff line change
`@@ -962,11 +962,11 @@ class ClassNode extends DataFlow::SourceNode instanceof ClassNode::Range {`
`962`	`962`	`result.getAstNode().getFile() = this.getAstNode().getFile()`
`963`	`963`	`)`
`964`	`964`	`or`
`965`		`- result = getAClassReferenceStep(t)`
	`965`	`+ result = getAClassReferenceRec(t)`
`966`	`966`	`}`
`967`	`967`
`968`	`968`	`pragma[noopt]`
`969`		`- private DataFlow::SourceNode getAClassReferenceStep(DataFlow::TypeTracker t) {`
	`969`	`+ private DataFlow::SourceNode getAClassReferenceRec(DataFlow::TypeTracker t) {`
`970`	`970`	`exists(DataFlow::TypeTracker t2, StepSummary summary, DataFlow::SourceNode prev \|`
`971`	`971`	`prev = this.getAClassReference(t2) and`
`972`	`972`	`StepSummary::step(prev, result, summary) and`