1 /*

     2  * Copyright (c) 2017, 2019, 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 8231827

    27  * @summary Basic tests for bindings from instanceof

    28  * @compile --enable-preview -source ${jdk.version} BindingsTest1.java

    29  * @run main/othervm --enable-preview BindingsTest1

    30  */

    31 

    32 public class BindingsTest1 {

    33     public static boolean Ktrue() { return true; }

    34     public static void main(String[] args) {

    35         Object o1 = "hello";

    36         Integer i = 42;

    37         Object o2 = i;

    38         Object o3 = "there";

    39 

    40 

    41         // Test for (e matches P).T = { binding variables in P }

    42         if (o1 instanceof String s) {

    43             s.length();

    44         }

    45 

    46         // Test for e1 && e2.T = union(e1.T, e2.T)

    47         if (o1 instanceof String s && o2 instanceof Integer in) {

    48             s.length();

    49             in.intValue();

    50         }

    51 

    52         // test for e1&&e2 - include e1.T in e2

    53         if (o1 instanceof String s && s.length()>0) {

    54             System.out.print("done");

    55         }

    56 

    57         // Test for (e1 || e2).F = union(e1.F, e2.F)

    58         if (!(o1 instanceof String s) || !(o3 instanceof Integer in)){

    59         } else {

    60             s.length();

    61             i.intValue();

    62         }

    63 

    64         // Test for e1||e2 - include e1.F in e2

    65 

    66         if (!(o1 instanceof String s) || s.length()>0) {

    67             System.out.println("done");

    68         }

    69 

    70         // Test for e1 ? e2: e3 - include e1.T in e2

    71         if (o1 instanceof String s ? s.length()>0 : false) {

    72             System.out.println("done");

    73         }

    74 

    75         // Test for e1 ? e2 : e3 - include e1.F in e3

    76         if (!(o1 instanceof String s) ? false : s.length()>0){

    77             System.out.println("done");

    78         }

    79 

    80         // Test for (!e).T = e.F

    81 

    82         if (!(!(o1 instanceof String s) || !(o3 instanceof Integer in))){

    83             s.length();

    84             i.intValue();

    85         }

    86 

    87         // Test for (!e).F = e.T

    88         if (!(o1 instanceof String s)) {

    89 

    90         } else {

    91             s.length();

    92         }

    93 

    94         L1: {

    95             if (o1 instanceof String s) {

    96                 s.length();

    97             } else {

    98                 break L1;

    99             }

   100             s.length();

   101         }

   102 

   103         L2: {

   104             if (!(o1 instanceof String s)) {

   105                 break L2;

   106             } else {

   107                 s.length();

   108             }

   109             s.length();

   110         }

   111 

   112         L4: {

   113             if (!(o1 instanceof String s)) {

   114                 break L4;

   115             }

   116             s.length();

   117         }

   118 

   119         {

   120             while (!(o1 instanceof String s)) {

   121             }

   122 

   123             s.length();

   124         }

   125 

   126         L5: {

   127             while (!(o1 instanceof String s)) {

   128             }

   129 

   130             s.length();

   131         }

   132 

   133         {

   134             L6: for ( ;!(o1 instanceof String s); ) {

   135 

   136             }

   137 

   138             s.length();

   139         }

   140 

   141         {

   142             L7: do {

   143 

   144             } while (!(o1 instanceof String s));

   145 

   146             s.length();

   147         }

   148 

   149         if (o1 instanceof String s) {

   150             Runnable r1 = new Runnable() {

   151                 @Override

   152                 public void run() {

   153                     s.length();

   154                 }

   155             };

   156             r1.run();

   157             Runnable r2 = () -> {

   158                 s.length();

   159             };

   160             r2.run();

   161             String s2 = s;

   162         }

   163 

   164         System.out.println("BindingsTest1 complete");

   165     }

   166 }