1 /*
 2  * Copyright (c) 2018, Oracle and/or its affiliates. All rights reserved.
 3  * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
 4  *
 5  * This code is free software; you can redistribute it and/or modify it
 6  * under the terms of the GNU General Public License version 2 only, as
 7  * published by the Free Software Foundation.
 8  *
 9  * This code is distributed in the hope that it will be useful, but WITHOUT
10  * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
11  * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
12  * version 2 for more details (a copy is included in the LICENSE file that
13  * accompanied this code).
14  *
15  * You should have received a copy of the GNU General Public License version
16  * 2 along with this work; if not, write to the Free Software Foundation,
17  * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
18  *
19  * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
20  * or visit www.oracle.com if you need additional information or have any
21  * questions.
22  */
23 
24 /**
25  * @test
26  * @bug 8208067
27  * @enablePreview
28  * @summary Verify that instance methods are callable from ctor after all instance fields are DA.
29  */
30 
31 public value class CanonicalCtorTest {
32 
33     private final int x, ymx;
34 
35     CanonicalCtorTest(int x, int y) {
36 
37         ymx = y - x;
38         this.x = x;
39 
40         // all fields are assigned now, but we need a explicit `super()` invocation before accessing `this`
41         super();
42 
43         validate();                 // OK: DU = {}
44         this.validate();            // OK: DU = {}
45         CanonicalCtorTest.this.validate();          // OK: DU = {}
46 
47         assert (this.x > 0);        // OK: DU = {}
48         assert (this.y() > 0);      // OK: DU = {}
49     }
50 
51     int x() {
52         return x;
53     }
54 
55     int y() {
56         return ymx + x;
57     }
58 
59     void validate() {
60         assert (x() > 0 && y() > 0);
61     }
62 
63     public static void main(String... av) {
64         CanonicalCtorTest z = new CanonicalCtorTest(1, 10);
65         assert (z.x() == 1);
66         assert (z.y() == 10);
67     }
68 }