JDK 14 Preview Records constructors

[Mark Raynsford]

On 2020-06-09T22:35:23 +0200
Remi Forax <forax at univ-mlv.fr> wrote:
>
> There is a bit of theory behind the compact constructor, it's a way to define preconditions [1] in a design by contract way [2],

That's only really true if the conditions inside the constructor become
visible in the JavaDoc. I can dream, can't I? :)

-- 
Mark Raynsford | https://www.io7m.com