@@ -375,7 +375,7 @@ module VariableCapture {
375
375
or
376
376
result .( Flow:: ParameterNode ) .getParameter ( ) .getParameterNode ( ) = n
377
377
or
378
- result .( Flow:: ThisParameterNode ) .getCallable ( ) = n .( LambdaSelfParameterNode ) .getCallable ( )
378
+ result .( Flow:: ThisParameterNode ) .getCallable ( ) = n .( LambdaSelfReferenceNode ) .getCallable ( )
379
379
}
380
380
381
381
predicate storeStep ( Node node1 , Content:: CapturedVariableContent c , Node node2 ) {
@@ -443,7 +443,7 @@ private module Cached {
443
443
p instanceof SplatParameter
444
444
} or
445
445
TSelfParameterNode ( MethodBase m ) or
446
- TLambdaSelfParameterNode ( Callable c ) { lambdaCreationExpr ( _, _, c ) } or
446
+ TLambdaSelfReferenceNode ( Callable c ) { lambdaCreationExpr ( _, _, c ) } or
447
447
TBlockParameterNode ( MethodBase m ) or
448
448
TSynthHashSplatParameterNode ( DataFlowCallable c ) {
449
449
isParameterNode ( _, c , any ( ParameterPosition p | p .isKeyword ( _) ) )
@@ -696,7 +696,7 @@ predicate nodeIsHidden(Node n) {
696
696
or
697
697
n instanceof SynthSplatParameterElementNode
698
698
or
699
- n instanceof LambdaSelfParameterNode
699
+ n instanceof LambdaSelfReferenceNode
700
700
or
701
701
n instanceof CaptureNode
702
702
}
@@ -892,10 +892,10 @@ private module ParameterNodes {
892
892
* "lambda self" from "normal self", as lambdas may also access outer `self`
893
893
* variables (through variable capture).
894
894
*/
895
- class LambdaSelfParameterNode extends ParameterNodeImpl , TLambdaSelfParameterNode {
895
+ class LambdaSelfReferenceNode extends ParameterNodeImpl , TLambdaSelfReferenceNode {
896
896
private Callable callable ;
897
897
898
- LambdaSelfParameterNode ( ) { this = TLambdaSelfParameterNode ( callable ) }
898
+ LambdaSelfReferenceNode ( ) { this = TLambdaSelfReferenceNode ( callable ) }
899
899
900
900
final Callable getCallable ( ) { result = callable }
901
901
@@ -1674,7 +1674,7 @@ predicate expectsContent(Node n, ContentSet c) {
1674
1674
}
1675
1675
1676
1676
private newtype TDataFlowType =
1677
- TLambdaDataFlowType ( Callable c ) { c = any ( LambdaSelfParameterNode n ) .getCallable ( ) } or
1677
+ TLambdaDataFlowType ( Callable c ) { c = any ( LambdaSelfReferenceNode n ) .getCallable ( ) } or
1678
1678
TUnknownDataFlowType ( )
1679
1679
1680
1680
class DataFlowType extends TDataFlowType {
@@ -1695,14 +1695,14 @@ private predicate mustHaveLambdaType(CfgNodes::ExprCfgNode e, Callable c) {
1695
1695
1696
1696
/** Gets the type of `n` used for type pruning. */
1697
1697
DataFlowType getNodeType ( Node n ) {
1698
- result = TLambdaDataFlowType ( n .( LambdaSelfParameterNode ) .getCallable ( ) )
1698
+ result = TLambdaDataFlowType ( n .( LambdaSelfReferenceNode ) .getCallable ( ) )
1699
1699
or
1700
1700
exists ( Callable c |
1701
1701
mustHaveLambdaType ( n .asExpr ( ) , c ) and
1702
1702
result = TLambdaDataFlowType ( c )
1703
1703
)
1704
1704
or
1705
- not n instanceof LambdaSelfParameterNode and
1705
+ not n instanceof LambdaSelfReferenceNode and
1706
1706
not mustHaveLambdaType ( n .asExpr ( ) , _) and
1707
1707
result = TUnknownDataFlowType ( )
1708
1708
}
0 commit comments