On Fri, Dec 14, 2018 at 02:09:50PM +0000, Bernd Eckenfels wrote: > Maybe a comment should point to the description of this pattern (if it > applies): > https://www.oracle.com/technetwork/java/seccodeguide-139067.html#4-5
+1 Do document what initialized/checkInitialized() are about. Now I'm wondering whether it's been thought through well enough and whether assumptions when that was written still hold. (And maybe the language needs syntactic support for this pattern.) Nico --
