Name: swC45995 Date: 12/10/96


The following assertion do not holds:

Let C be the class containing the method invocation, and let T be the class or interface that contained the method being invoked, and m be the name of the method, as determined at compile time. ...

The virtual machine must also insure, during linkage, that the type T and
the method m are accessible. ...

If either T or m is not accessible, then an IllegalAccessError occurs
(#15.11.4.3 Check Accessibility of Type and Method)

Thus, compilation of the source file:

public class test
{
public static void main(String argv[])
{
int res;

try {
res = auxiliary.cipher();
} catch (IllegalAccessError e) {
System.out.println("pass");
}
System.out.println("fail");
}
}

class auxiliary
{
public static int cipher()
{
return 777;
}
}

followed by compilation of the modified version of the latter class:

class auxiliary
{
private static int cipher()
{
return 777;
}
}

and subsequent execution of the test produces such output:

novo40% javac test.java
novo40% javac auxiliary.java
novo40% java test
fail


instead of expected:

novo40% javac test.java
novo40% javac auxiliary.java
novo40% java test
pass
======================================================================