The Java Language Specification, Third Edition

15.12.3 Compile-Time Step 3: Is the Chosen Method Appropriate? EXPRESSIONS
472
parenthesis, has the form TypeName.NonWildTypeArguments Identifier, then
the compile-time declaration should be static. If the compile-time declaration
for the method invocation is for an instance method, then a compile-time
error occurs. (The reason is that a method invocation of this form does not
specify a reference to an object that can serve as this within the instance
method.)
• If the method invocation has, before the left parenthesis, the form
super.NonWildTypeArgumentsopt Identifier, then:
◆ If the method is abstract, a compile-time error occurs
◆ If the method invocation occurs in a static context, a compile-time error
occurs
• If the method invocation has, before the left parenthesis, the form
ClassName.super.NonWildTypeArgumentsopt Identifier, then:
◆ If the method is abstract, a compile-time error occurs
◆ If the method invocation occurs in a static context, a compile-time error
occurs
◆ Otherwise, let C be the class denoted by ClassName. If the invocation is not
directly enclosed by C or an inner class of C, then a compile-time error
occurs
• If the compile-time declaration for the method invocation is void, then the
method invocation must be a top-level expression, that is, the Expression in an
expression statement (§14.8) or in the ForInit or ForUpdate part of a for
statement (§14.14), or a compile-time error occurs. (The reason is that such a
method invocation produces no value and so must be used only in a situation
where a value is not needed.)
The following compile-time information is then associated with the method
invocation for use at run time:
• The name of the method.
• The qualifying type of the method invocation (§13.1).
• The number of parameters and the types of the parameters, in order.
• The result type, or void.
• The invocation mode, computed as follows:
DRAFT