@@ -302,25 +302,18 @@ predicate nodeIsHidden(Node n) { n instanceof FlowSummaryNode }
302302
303303private class DictionarySubscriptNode extends NodeImpl , TDictionarySubscriptNode {
304304 SubscriptExpr expr ;
305- DictionarySubscriptNode ( ) {
306- this = TDictionarySubscriptNode ( expr )
307- }
305+
306+ DictionarySubscriptNode ( ) { this = TDictionarySubscriptNode ( expr ) }
308307
309308 override DataFlowCallable getEnclosingCallable ( ) {
310309 result .asSourceCallable ( ) = expr .getEnclosingCallable ( )
311310 }
312311
313- override string toStringImpl ( ) {
314- result = "DictionarySubscriptNode"
315- }
312+ override string toStringImpl ( ) { result = "DictionarySubscriptNode" }
316313
317- override Location getLocationImpl ( ) {
318- result = expr .getLocation ( )
319- }
314+ override Location getLocationImpl ( ) { result = expr .getLocation ( ) }
320315
321- SubscriptExpr getExpr ( ) {
322- result = expr
323- }
316+ SubscriptExpr getExpr ( ) { result = expr }
324317}
325318
326319private module ParameterNodes {
@@ -755,7 +748,7 @@ predicate storeStep(Node node1, ContentSet c, Node node2) {
755748 )
756749 or
757750 // read of a dictionary value via subscript operator, with intermediate step
758- exists ( AssignExpr assign , SubscriptExpr subscript |
751+ exists ( AssignExpr assign , SubscriptExpr subscript |
759752 subscript = assign .getDest ( ) and
760753 (
761754 subscript .getArgument ( 0 ) .getExpr ( ) = node1 .asExpr ( ) and
@@ -859,7 +852,7 @@ predicate readStep(Node node1, ContentSet c, Node node2) {
859852 )
860853 or
861854 // read of a dictionary value via subscript operator
862- exists ( SubscriptExpr subscript |
855+ exists ( SubscriptExpr subscript |
863856 subscript .getBase ( ) = node1 .asExpr ( ) and
864857 node2 .( DictionarySubscriptNode ) .getExpr ( ) = subscript and
865858 c .isSingleton ( any ( Content:: CollectionContent cc ) )
0 commit comments