Adapt control-flow graph to record patterns

2026-05-01 11:45:14 +02:00 · 2023-11-01 18:22:25 +00:00
parent 556feb31f0
commit 05addde957
5 changed files with 89 additions and 17 deletions
--- a/java/ql/test/library-tests/pattern-switch/cfg/Test.java
+++ b/java/ql/test/library-tests/pattern-switch/cfg/Test.java
@@ -84,6 +84,23 @@ public class Test {
         break;
     }

+     switch(thing) {
+       case A(B(int x, String y), float z):
+         break;
+       default:
+         break;
+     }
+
+     switch(thing) {
+       case A(B(var x, var y), var z):
+         break;
+       default:
+         break;
+     }
+
  }

 }
+
+record A(B b, float field3) { }
+record B(int field1, String field2) { }