Skip to content

Commit 732fcbf

Browse files
committed
Shared: Move 'asParameter' out of the class signature.
1 parent a1dc874 commit 732fcbf

File tree

1 file changed

+4
-7
lines changed

1 file changed

+4
-7
lines changed

shared/mad/codeql/mad/modelgenerator/internal/ModelGeneratorImpl.qll

Lines changed: 4 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -55,11 +55,8 @@ signature module ModelGeneratorInputSig<LocationSig Location, InputSig<Location>
5555
*/
5656
Callable getAsExprEnclosingCallable();
5757

58-
/**
59-
* Gets the parameter corresponding to this node, if any.
60-
*/
61-
Parameter asParameter();
62-
}
58+
/** Gets the parameter corresponding to this node, if any. */
59+
Parameter asParameter(NodeExtended n);
6360

6461
/**
6562
* A class of callables that are potentially relevant for generating summary or
@@ -390,7 +387,7 @@ module MakeModelGenerator<
390387
* Gets the MaD string representation of the parameter node `p`.
391388
*/
392389
string parameterNodeAsInput(DataFlow::ParameterNode p) {
393-
result = parameterAccess(p.(NodeExtended).asParameter())
390+
result = parameterAccess(asParameter(p))
394391
or
395392
result = qualifierString() and p instanceof InstanceParameterNode
396393
}
@@ -613,7 +610,7 @@ module MakeModelGenerator<
613610
* when used in content flow.
614611
*/
615612
private string parameterNodeAsContentInput(DataFlow::ParameterNode p) {
616-
result = parameterContentAccess(p.(NodeExtended).asParameter())
613+
result = parameterContentAccess(asParameter(p))
617614
or
618615
result = qualifierString() and p instanceof InstanceParameterNode
619616
}

0 commit comments

Comments
 (0)