Skip to content

Commit 8ecdb5c

Browse files
committed
Update VariableCapture.qll
1 parent 82abd86 commit 8ecdb5c

File tree

1 file changed

+3
-3
lines changed

1 file changed

+3
-3
lines changed

javascript/ql/lib/semmle/javascript/dataflow/internal/VariableCapture.qll

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -185,7 +185,7 @@ module VariableCaptureConfig implements InputSig<js::Location> {
185185

186186
string toString() { none() } // Overridden in subclass
187187

188-
Location getLocation() { none() } // Overridden in subclass
188+
js::Location getLocation() { none() } // Overridden in subclass
189189

190190
predicate hasCfgNode(BasicBlock bb, int i) { none() } // Overridden in subclass
191191

@@ -203,7 +203,7 @@ module VariableCaptureConfig implements InputSig<js::Location> {
203203
override string toString() { result = pattern.toString() }
204204

205205
/** Gets the location of this write. */
206-
override Location getLocation() { result = pattern.getLocation() }
206+
override js::Location getLocation() { result = pattern.getLocation() }
207207

208208
override js::DataFlow::Node getSource() {
209209
// Note: there is not always an expression corresponding to the RHS of the assignment.
@@ -239,7 +239,7 @@ module VariableCaptureConfig implements InputSig<js::Location> {
239239

240240
override string toString() { result = "[implicit init] " + variable }
241241

242-
override Location getLocation() { result = variable.getLocation() }
242+
override js::Location getLocation() { result = variable.getLocation() }
243243

244244
override CapturedVariable getVariable() { result = variable }
245245

0 commit comments

Comments
 (0)