Partial update to JDK 17 Features

Author: BruceEckel

collections/BasicRecord.java

@@ -0,0 +1,29 @@
+// collections/BasicRecord.java
+// (c)2021 MindView LLC: see Copyright.txt
+// We make no guarantees that this code is fit for any purpose.
+// Visit http://OnJava8.com for more book information.
+// {NewFeature} Since JDK 16
+import java.util.*;
+
+record Employee(String name, int id) {}
+
+public class BasicRecord {
+  public static void main(String[] args) {
+    var bob = new Employee("Bob Dobbs", 11);
+    var dot = new Employee("Dorothy Gale", 9);
+    // bob.id = 12; // Error:
+    // id has private access in Employee
+    System.out.println(bob.name()); // Accessor
+    System.out.println(bob.id()); // Accessor
+    System.out.println(bob); // toString()
+    // Employee works as the key in a Map:
+    var map = Map.of(bob, "A", dot, "B");
+    System.out.println(map);
+  }
+}
+/* Output:
+Bob Dobbs
+11
+Employee[name=Bob Dobbs, id=11]
+{Employee[name=Dorothy Gale, id=9]=B, Employee[name=Bob Dobbs, id=11]=A}
+*/

collections/CompactConstructor.java

@@ -0,0 +1,16 @@
+// collections/CompactConstructor.java
+// (c)2021 MindView LLC: see Copyright.txt
+// We make no guarantees that this code is fit for any purpose.
+// Visit http://OnJava8.com for more book information.
+// {NewFeature} Since JDK 16
+
+record Point(int x, int y) {
+  void assertPositive(int val) {
+    if(val < 0)
+      throw new IllegalArgumentException("negative");
+  }
+  Point { // Compact: No parameter list
+    assertPositive(x);
+    assertPositive(y);
+  }
+}

collections/ComposedRecord.java

@@ -0,0 +1,10 @@
+// collections/ComposedRecord.java
+// (c)2021 MindView LLC: see Copyright.txt
+// We make no guarantees that this code is fit for any purpose.
+// Visit http://OnJava8.com for more book information.
+// {NewFeature} Since JDK 16
+
+record Company(Employee[] e) {}
+
+// class Conglomerate extends Company {}
+// error: cannot inherit from final Company

collections/CopyRecord.java

@@ -0,0 +1,18 @@
+// collections/CopyRecord.java
+// (c)2021 MindView LLC: see Copyright.txt
+// We make no guarantees that this code is fit for any purpose.
+// Visit http://OnJava8.com for more book information.
+// {NewFeature} Since JDK 16
+
+record R(int a, double b, char c) {}
+
+public class CopyRecord {
+  public static void main(String[] args) {
+    var r1 = new R(11, 2.2, 'z');
+    var r2 = new R(r1.a(), r1.b(), r1.c());
+    System.out.println(r1.equals(r2));
+  }
+}
+/* Output:
+true
+*/

collections/FinalFields.java

@@ -0,0 +1,12 @@
+// collections/FinalFields.java
+// (c)2021 MindView LLC: see Copyright.txt
+// We make no guarantees that this code is fit for any purpose.
+// Visit http://OnJava8.com for more book information.
+// {NewFeature} Since JDK 16
+import java.util.*;
+
+record FinalFields(int i) {
+  int timesTen() { return i * 10; }
+  // void tryToChange() { i++; } // Error:
+  // cannot assign a value to final variable i
+}

collections/GenericTypeInference.java

@@ -0,0 +1,20 @@
+// collections/GenericTypeInference.java
+// (c)2021 MindView LLC: see Copyright.txt
+// We make no guarantees that this code is fit for any purpose.
+// Visit http://OnJava8.com for more book information.
+// {NewFeature} Since JDK 11
+import java.util.*;
+
+public class GenericTypeInference {
+  void old() {
+    ArrayList<Apple> apples = new ArrayList<>();
+  }
+  void modern() {
+    var apples = new ArrayList<Apple>();
+  }
+  void pitFall() {
+    var apples = new ArrayList<>();
+    apples.add(new Apple());
+    apples.get(0); // Comes back as plain Object
+  }
+}

collections/ImplementingRecord.java

@@ -0,0 +1,14 @@
+// collections/ImplementingRecord.java
+// (c)2021 MindView LLC: see Copyright.txt
+// We make no guarantees that this code is fit for any purpose.
+// Visit http://OnJava8.com for more book information.
+// {NewFeature} Since JDK 16
+
+interface Star {
+  double brightness();
+  double density();
+}
+
+record RedDwarf(double brightness) implements Star {
+  @Override public double density() { return 100.0; }
+}

collections/NestedLocalRecords.java

@@ -0,0 +1,12 @@
+// collections/NestedLocalRecords.java
+// (c)2021 MindView LLC: see Copyright.txt
+// We make no guarantees that this code is fit for any purpose.
+// Visit http://OnJava8.com for more book information.
+// {NewFeature} Since JDK 16
+
+public class NestedLocalRecords {
+  record Nested(String s) {}
+  void method() {
+    record Local(String s) {}
+  }
+}

collections/NormalConstructor.java

@@ -0,0 +1,11 @@
+// collections/NormalConstructor.java
+// (c)2021 MindView LLC: see Copyright.txt
+// We make no guarantees that this code is fit for any purpose.
+// Visit http://OnJava8.com for more book information.
+// {NewFeature} Since JDK 16
+
+record Value(int x) {
+  Value(int x) { // With the parameter list
+    this.x = x; // Must explicitly initialize
+  }
+}

collections/PlusTen.java

@@ -0,0 +1,20 @@
+// collections/PlusTen.java
+// (c)2021 MindView LLC: see Copyright.txt
+// We make no guarantees that this code is fit for any purpose.
+// Visit http://OnJava8.com for more book information.
+// {NewFeature} Since JDK 16
+
+record PlusTen(int x) {
+  PlusTen {
+    x += 10;
+  }
+  // Adjustment to field can only happen in
+  // the constructor. Still not legal:
+  // void mutate() { x += 10; }
+  public static void main(String[] args) {
+    System.out.println(new PlusTen(10));
+  }
+}
+/* Output:
+PlusTen[x=20]
+*/

concurrent/PSP2.txt

@@ -1,5 +1,5 @@
 0: main
-1: main
+1: ForkJoinPool.commonPool-worker-2
 2: main
 3: main
 4: main
@@ -107,22 +107,150 @@
 106: main
 107: main
 108: main
-109: main
-110: main
-111: main
-112: main
-113: main
-114: main
-115: main
-116: main
-117: main
-118: main
-119: main
-120: main
-121: main
-122: main
-123: main
-124: main
-125: main
-126: main
-127: main
+108: ForkJoinPool.commonPool-worker-2
+109: ForkJoinPool.commonPool-worker-2
+110: ForkJoinPool.commonPool-worker-2
+111: ForkJoinPool.commonPool-worker-2
+112: ForkJoinPool.commonPool-worker-2
+113: ForkJoinPool.commonPool-worker-2
+114: ForkJoinPool.commonPool-worker-2
+115: ForkJoinPool.commonPool-worker-2
+116: ForkJoinPool.commonPool-worker-2
+117: ForkJoinPool.commonPool-worker-2
+118: ForkJoinPool.commonPool-worker-2
+119: ForkJoinPool.commonPool-worker-2
+120: ForkJoinPool.commonPool-worker-2
+121: ForkJoinPool.commonPool-worker-2
+122: ForkJoinPool.commonPool-worker-2
+123: ForkJoinPool.commonPool-worker-2
+124: ForkJoinPool.commonPool-worker-2
+125: ForkJoinPool.commonPool-worker-2
+126: ForkJoinPool.commonPool-worker-2
+127: ForkJoinPool.commonPool-worker-2
+128: ForkJoinPool.commonPool-worker-2
+129: ForkJoinPool.commonPool-worker-2
+130: ForkJoinPool.commonPool-worker-2
+131: ForkJoinPool.commonPool-worker-2
+132: ForkJoinPool.commonPool-worker-2
+133: ForkJoinPool.commonPool-worker-2
+134: ForkJoinPool.commonPool-worker-2
+135: ForkJoinPool.commonPool-worker-2
+136: ForkJoinPool.commonPool-worker-2
+137: ForkJoinPool.commonPool-worker-2
+138: ForkJoinPool.commonPool-worker-2
+139: ForkJoinPool.commonPool-worker-2
+140: ForkJoinPool.commonPool-worker-2
+141: ForkJoinPool.commonPool-worker-2
+142: ForkJoinPool.commonPool-worker-2
+143: ForkJoinPool.commonPool-worker-2
+144: ForkJoinPool.commonPool-worker-2
+145: ForkJoinPool.commonPool-worker-2
+146: ForkJoinPool.commonPool-worker-2
+147: ForkJoinPool.commonPool-worker-2
+148: ForkJoinPool.commonPool-worker-2
+149: ForkJoinPool.commonPool-worker-2
+150: ForkJoinPool.commonPool-worker-2
+151: ForkJoinPool.commonPool-worker-2
+152: ForkJoinPool.commonPool-worker-2
+153: ForkJoinPool.commonPool-worker-2
+154: ForkJoinPool.commonPool-worker-2
+155: ForkJoinPool.commonPool-worker-2
+156: ForkJoinPool.commonPool-worker-2
+157: ForkJoinPool.commonPool-worker-2
+158: ForkJoinPool.commonPool-worker-2
+159: ForkJoinPool.commonPool-worker-2
+160: ForkJoinPool.commonPool-worker-2
+161: ForkJoinPool.commonPool-worker-2
+162: ForkJoinPool.commonPool-worker-2
+163: ForkJoinPool.commonPool-worker-2
+164: ForkJoinPool.commonPool-worker-2
+165: ForkJoinPool.commonPool-worker-2
+166: ForkJoinPool.commonPool-worker-2
+167: ForkJoinPool.commonPool-worker-2
+168: ForkJoinPool.commonPool-worker-2
+169: ForkJoinPool.commonPool-worker-2
+170: ForkJoinPool.commonPool-worker-2
+171: ForkJoinPool.commonPool-worker-2
+172: ForkJoinPool.commonPool-worker-2
+173: ForkJoinPool.commonPool-worker-2
+174: ForkJoinPool.commonPool-worker-2
+175: ForkJoinPool.commonPool-worker-2
+176: ForkJoinPool.commonPool-worker-2
+177: ForkJoinPool.commonPool-worker-2
+178: ForkJoinPool.commonPool-worker-2
+179: ForkJoinPool.commonPool-worker-2
+180: ForkJoinPool.commonPool-worker-2
+181: ForkJoinPool.commonPool-worker-2
+182: ForkJoinPool.commonPool-worker-2
+183: ForkJoinPool.commonPool-worker-2
+184: ForkJoinPool.commonPool-worker-2
+185: ForkJoinPool.commonPool-worker-2
+186: ForkJoinPool.commonPool-worker-2
+187: ForkJoinPool.commonPool-worker-2
+188: ForkJoinPool.commonPool-worker-2
+189: ForkJoinPool.commonPool-worker-2
+190: ForkJoinPool.commonPool-worker-2
+191: ForkJoinPool.commonPool-worker-2
+192: ForkJoinPool.commonPool-worker-2
+193: ForkJoinPool.commonPool-worker-2
+194: ForkJoinPool.commonPool-worker-2
+195: ForkJoinPool.commonPool-worker-2
+196: ForkJoinPool.commonPool-worker-2
+197: ForkJoinPool.commonPool-worker-2
+198: ForkJoinPool.commonPool-worker-2
+199: ForkJoinPool.commonPool-worker-2
+200: ForkJoinPool.commonPool-worker-2
+201: ForkJoinPool.commonPool-worker-2
+202: ForkJoinPool.commonPool-worker-2
+203: ForkJoinPool.commonPool-worker-2
+204: ForkJoinPool.commonPool-worker-2
+205: ForkJoinPool.commonPool-worker-2
+206: ForkJoinPool.commonPool-worker-2
+207: ForkJoinPool.commonPool-worker-2
+208: ForkJoinPool.commonPool-worker-2
+209: ForkJoinPool.commonPool-worker-2
+210: ForkJoinPool.commonPool-worker-2
+211: ForkJoinPool.commonPool-worker-2
+212: ForkJoinPool.commonPool-worker-2
+213: ForkJoinPool.commonPool-worker-2
+214: ForkJoinPool.commonPool-worker-2
+215: ForkJoinPool.commonPool-worker-2
+216: ForkJoinPool.commonPool-worker-2
+217: ForkJoinPool.commonPool-worker-2
+218: ForkJoinPool.commonPool-worker-2
+219: ForkJoinPool.commonPool-worker-2
+220: ForkJoinPool.commonPool-worker-2
+221: ForkJoinPool.commonPool-worker-2
+222: ForkJoinPool.commonPool-worker-2
+223: ForkJoinPool.commonPool-worker-2
+224: ForkJoinPool.commonPool-worker-2
+225: ForkJoinPool.commonPool-worker-2
+226: ForkJoinPool.commonPool-worker-2
+227: ForkJoinPool.commonPool-worker-2
+228: ForkJoinPool.commonPool-worker-2
+229: ForkJoinPool.commonPool-worker-2
+230: ForkJoinPool.commonPool-worker-2
+231: ForkJoinPool.commonPool-worker-2
+232: ForkJoinPool.commonPool-worker-2
+233: ForkJoinPool.commonPool-worker-2
+234: ForkJoinPool.commonPool-worker-2
+236: main
+237: main
+238: main
+239: main
+240: main
+241: main
+242: main
+243: main
+244: main
+245: main
+246: main
+247: main
+248: main
+249: main
+250: main
+251: main
+252: main
+253: main
+254: main
+255: main

exceptions/BetterNullPointerReports.java

@@ -0,0 +1,43 @@
+// exceptions/BetterNullPointerReports.java
+// (c)2021 MindView LLC: see Copyright.txt
+// We make no guarantees that this code is fit for any purpose.
+// Visit http://OnJava8.com for more book information.
+// {NewFeature} Since JDK 15
+
+class A {
+  String s;
+  A(String s) {
+    this.s = s;
+  }
+}
+
+class B {
+  A a;
+  B(A a) {
+    this.a = a;
+  }
+}
+
+class C {
+  B b;
+  C(B b) {
+    this.b = b;
+  }
+}
+
+public class BetterNullPointerReports {
+  public static void main(String[] args) {
+    C[] ca = {
+      new C(new B(new A(null))),
+      new C(new B(null)),
+      new C(null),
+    };
+    for(C c: ca) {
+      try {
+        System.out.println(c.b.a.s);
+      } catch(NullPointerException npe) {
+        System.out.println(npe);
+      }
+    }
+  }
+}