Include JDTCore for Java14

5 files changed, 38 insertions, 0 deletions

diff --git a/tests/bugs196/java14/Jep305.java b/tests/bugs196/java14/Jep305.java
new file mode 100644
index 000000000..3c526aef3
--- /dev/null
+++ b/tests/bugs196/java14/Jep305.java
@@ -0,0 +1,22 @@
+class Orange {
+  public String name1 = "orange";
+}
+
+class Apple {
+  public String name2 = "apple";
+}
+
+public class Jep305 {
+  public static void main(String []argv) {
+    print(new Orange());
+    print(new Apple());
+  }
+
+  public static void print(Object obj) {
+    if (obj instanceof Orange o) {
+      System.out.println(o.name1);
+    } else if (obj instanceof Apple a) {
+      System.out.println(a.name2);
+    }
+  }
+}
diff --git a/tests/bugs196/java14/Person.java b/tests/bugs196/java14/Person.java
new file mode 100644
index 000000000..a74932c83
--- /dev/null
+++ b/tests/bugs196/java14/Person.java
@@ -0,0 +1,2 @@
+public record Person(String firstName, String lastName, int age) {}
+
diff --git a/tests/bugs196/java14/TraceRecordComponents.aj b/tests/bugs196/java14/TraceRecordComponents.aj
new file mode 100644
index 000000000..80cc2444e
--- /dev/null
+++ b/tests/bugs196/java14/TraceRecordComponents.aj
@@ -0,0 +1,5 @@
+public aspect TraceRecordComponents {
+  before(): execution(public * *()) {
+    System.out.println(thisJoinPointStaticPart);
+  }
+}
diff --git a/tests/bugs196/java14/UsingPersonRecord.java b/tests/bugs196/java14/UsingPersonRecord.java
new file mode 100644
index 000000000..a974e9913
--- /dev/null
+++ b/tests/bugs196/java14/UsingPersonRecord.java
@@ -0,0 +1,7 @@
+public class UsingPersonRecord {
+  public static void main(String[] argv) {
+    Person p = new Person("A","B",99);
+    System.out.println(p);
+    System.out.println(p.firstName());
+  }
+}
diff --git a/tests/bugs196/java14/p.java b/tests/bugs196/java14/p.java
new file mode 100644
index 000000000..a74932c83
--- /dev/null
+++ b/tests/bugs196/java14/p.java
@@ -0,0 +1,2 @@
+public record Person(String firstName, String lastName, int age) {}
+