File tree Expand file tree Collapse file tree 1 file changed +7
-2
lines changed
java/ql/consistency-queries Expand file tree Collapse file tree 1 file changed +7
-2
lines changed Original file line number Diff line number Diff line change @@ -50,9 +50,14 @@ predicate gapInChildren(Element e, int i) {
50
50
// Pattern case statements legitimately have a TypeAccess (-2) and a pattern (0) but not a rule (-1)
51
51
not ( i = - 1 and e instanceof PatternCase and not e .( PatternCase ) .isRule ( ) ) and
52
52
// Pattern case statements can have a gap at -3 when they have more than one pattern but no guard.
53
- not ( i = - 3 and count ( e .( PatternCase ) .getAPattern ( ) ) > 1 and not exists ( e .( PatternCase ) .getGuard ( ) ) ) and
53
+ not (
54
+ i = - 3 and count ( e .( PatternCase ) .getAPattern ( ) ) > 1 and not exists ( e .( PatternCase ) .getGuard ( ) )
55
+ ) and
54
56
// Pattern case statements may have some missing type accesses, depending on the nature of the direct child
55
- not ( ( i = - 2 or i < - 4 ) and e instanceof PatternCase ) and
57
+ not (
58
+ ( i = - 2 or i < - 4 ) and
59
+ e instanceof PatternCase
60
+ ) and
56
61
// Instanceof with a record pattern is not expected to have a type access in position 1
57
62
not ( i = 1 and e .( InstanceOfExpr ) .getPattern ( ) instanceof RecordPatternExpr ) and
58
63
// RecordPatternExpr extracts type-accesses only for its LocalVariableDeclExpr children
You can’t perform that action at this time.
0 commit comments