Name: vsC45997 Date: 10/21/96


The section "12.3 Linking of Classes and Interfaces" of The Java Language
Specification contains the following:

If an error occurs during verification, then an instance of the
following subclass of class LinkageError will be thrown at the point in
the Java program that caused the class to be verified:

     VerifyError The binary definition for a class or interface failed
                  to pass a set of required checks to verify that it obeys
                  the semantics of the Java language and that
                  it cannot violate the integrity of the Java Virtual Machine.


The section "13.4.2 final Classes" of The Java Language
Specification contains the following:

"If a class that was not declared final is changed to be declared
final, then a VerifyError is thrown if a binary of a pre-existing
subclass of this class is loaded, because final classes can have no
subclasses; such a change is not recommended for widely distributed
classes. "
 
JVM does not catch VerifyError when subclass of a final class occurs.
The test below is failed because of it.
This is the test on binary compatibility.
The test consist of three files.

// FILE: binc00301b.java
// Ident: %Z%%M% %I% %E%
// Copyright %G% Sun Microsystems, Inc. All Rights Reserved

package javasoft.sqe.tests.lang.binc003.binc00301;

class binc00301a {
  int a = 5;
}

class binc00301b extends binc00301a {
  int a = 5;
}
    


// FILE: binc00301.java
// Ident: %Z%%M% %I% %E%
// Copyright %G% Sun Microsystems, Inc. All Rights Reserved

package javasoft.sqe.tests.lang.binc003.binc00301;
import java.io.PrintStream;

public class binc00301 {
  public static void main(String argv[])
  {
     System.exit(run(argv, System.out) + 95/*STATUS_TEMP*/);
  }
  public static int run(String argv[],PrintStream out) {
    binc00301a ncli;
    try {
      ncli = new binc00301b ();
    }
    catch (InstantiationError e) {
      out.println (e);
      return 2;
    }
    catch (VerifyError e) {
      out.println (e);
      return 0;
    }
    out.println ("failed");
    return 2;
  }
}
    

// FILE: binc00301a.java
// Ident: %Z%%M% %I% %E%
// Copyright %G% Sun Microsystems, Inc. All Rights Reserved

package javasoft.sqe.tests.lang.binc003.binc00301;

final class binc00301a {
  int a1 = 5;
}

> javac -d . binc00301b.java
> javac -d . binc00301.java
> javac -d . binc00301a.java
> java -verify javasoft.sqe.tests.lang.binc003.binc00301.binc00301
failed

VERIFIER CLASS ERROR javasoft/sqe/tests/lang/binc003/binc00301/binc00301b:
Class javasoft/sqe/tests/lang/binc003/binc00301/binc00301b is subclass of final class javasoft/sqe/tests/lang/binc003/binc00301/binc00301a
java.lang.NoClassDefFoundError: javasoft/sqe/tests/lang/binc003/binc00301/binc00301b
at
at javasoft.sqe.tests.lang.binc003.binc00301.binc00301.main(binc00301.java:10)
Failed. unexpected exit code

======================================================================