Java: Fix whitespace query.

aschackmull · aschackmull · commit 0b3c90b52685 · 2020-01-28T10:15:48.000+01:00
diff --git a/java/ql/src/Likely Bugs/Arithmetic/WhitespaceContradictsPrecedence.ql b/java/ql/src/Likely Bugs/Arithmetic/WhitespaceContradictsPrecedence.ql
@@ -145,7 +145,8 @@ int operatorWS(BinaryExpr expr) {
 predicate interestingNesting(BinaryExpr inner, BinaryExpr outer) {
   inner = outer.getAChildExpr() and
   not inner instanceof AssocNestedExpr and
-  not inner instanceof HarmlessNestedExpr
+  not inner instanceof HarmlessNestedExpr and
+  not inner.isParenthesized()
 }
 
 from BinaryExpr inner, BinaryExpr outer, int wsouter, int wsinner

Original file line number	Diff line number	Diff line change
`@@ -145,7 +145,8 @@ int operatorWS(BinaryExpr expr) {`
`145`	`145`	`predicate interestingNesting(BinaryExpr inner, BinaryExpr outer) {`
`146`	`146`	`inner = outer.getAChildExpr() and`
`147`	`147`	`not inner instanceof AssocNestedExpr and`
`148`		`- not inner instanceof HarmlessNestedExpr`
	`148`	`+ not inner instanceof HarmlessNestedExpr and`
	`149`	`+ not inner.isParenthesized()`
`149`	`150`	`}`
`150`	`151`
`151`	`152`	`from BinaryExpr inner, BinaryExpr outer, int wsouter, int wsinner`