1 /*

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

    26  * Note: verifier_test_tmp.jar will be processed by ../AppCDSVerifierTest.java to

    27  * create verifier_test.jar, which contains invalid versions of UnverifiableBase

    28  * and UnverifiableIntf.

    29  */

    30 

    31 public class VerifierTest0 {

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

    33     boolean good = true;

    34     good &= mustBeInvalid("VerifierTestA");

    35     good &= mustBeInvalid("VerifierTestB");

    36     good &= mustBeInvalid("VerifierTestC");

    37     good &= mustBeInvalid("VerifierTestD");

    38     good &= mustBeInvalid("VerifierTestE");

    39     if (!good) {

    40       System.out.println("VerifierTest0 failed");

    41       System.exit(1);

    42     }

    43   }

    44 

    45   /** @return false means error */

    46   static boolean mustBeInvalid(String className) {

    47     System.out.println("Testing: " + className);

    48     try {

    49       Class.forName(className);

    50       System.out.println("ERROR: class " + className + " was loaded unexpectedly.");

    51       return false;

    52     } catch (Throwable t) {

    53       System.out.println("Expected exception:");

    54       t.printStackTrace();

    55       return true;

    56     }

    57   }

    58 }

    59 

    60 class UnverifiableBase {

    61   static final VerifierTest0 x = new VerifierTest0(); // <- this static initializer will be made unverifiable by type mismatch

    62 }

    63 

    64 interface UnverifiableIntf {

    65   static final VerifierTest0 x = new VerifierTest0(); // <- this static initializer will be made unverifiable by type mismatch

    66 }

    67 

    68 interface UnverifiableIntfSub extends UnverifiableIntf {}

    69 

    70 class VerifierTestA extends    UnverifiableBase {}

    71 class VerifierTestB extends    VerifierTestA {}

    72 class VerifierTestC implements UnverifiableIntf {}

    73 class VerifierTestD extends    VerifierTestC {}

    74 class VerifierTestE implements UnverifiableIntfSub {}

    75