@@ -302,25 +302,18 @@ predicate nodeIsHidden(Node n) { n instanceof FlowSummaryNode }
302
302
303
303
private class DictionarySubscriptNode extends NodeImpl , TDictionarySubscriptNode {
304
304
SubscriptExpr expr ;
305
- DictionarySubscriptNode ( ) {
306
- this = TDictionarySubscriptNode ( expr )
307
- }
305
+
306
+ DictionarySubscriptNode ( ) { this = TDictionarySubscriptNode ( expr ) }
308
307
309
308
override DataFlowCallable getEnclosingCallable ( ) {
310
309
result .asSourceCallable ( ) = expr .getEnclosingCallable ( )
311
310
}
312
311
313
- override string toStringImpl ( ) {
314
- result = "DictionarySubscriptNode"
315
- }
312
+ override string toStringImpl ( ) { result = "DictionarySubscriptNode" }
316
313
317
- override Location getLocationImpl ( ) {
318
- result = expr .getLocation ( )
319
- }
314
+ override Location getLocationImpl ( ) { result = expr .getLocation ( ) }
320
315
321
- SubscriptExpr getExpr ( ) {
322
- result = expr
323
- }
316
+ SubscriptExpr getExpr ( ) { result = expr }
324
317
}
325
318
326
319
private module ParameterNodes {
@@ -755,7 +748,7 @@ predicate storeStep(Node node1, ContentSet c, Node node2) {
755
748
)
756
749
or
757
750
// read of a dictionary value via subscript operator, with intermediate step
758
- exists ( AssignExpr assign , SubscriptExpr subscript |
751
+ exists ( AssignExpr assign , SubscriptExpr subscript |
759
752
subscript = assign .getDest ( ) and
760
753
(
761
754
subscript .getArgument ( 0 ) .getExpr ( ) = node1 .asExpr ( ) and
@@ -859,7 +852,7 @@ predicate readStep(Node node1, ContentSet c, Node node2) {
859
852
)
860
853
or
861
854
// read of a dictionary value via subscript operator
862
- exists ( SubscriptExpr subscript |
855
+ exists ( SubscriptExpr subscript |
863
856
subscript .getBase ( ) = node1 .asExpr ( ) and
864
857
node2 .( DictionarySubscriptNode ) .getExpr ( ) = subscript and
865
858
c .isSingleton ( any ( Content:: CollectionContent cc ) )
0 commit comments