Java: Add a consistency test for expressions

igfoo · igfoo · commit 15be80631f6c · 2022-05-10T18:45:52.000+01:00
They should have exactly 1 Type.
diff --git a/java/ql/consistency-queries/expressions.ql b/java/ql/consistency-queries/expressions.ql
@@ -0,0 +1,9 @@
+import java
+
+from Expr e, int n
+where n = count(e.getType())
+  and n != 1
+  // Java #144
+  and not e instanceof ReflectiveAccessAnnotation
+select e, n
+
