EXPRESSIONS

Runtime Evaluation of Method Invocation

15.11.4

N

Otherwise, if the part of the method invocation before the left parenthesis is

of the form

super .

Identifier

, then the invocation mode is

super

.

N

Otherwise, if the compile time declaration is in an interface, then the invo 

cation mode is

interface

.

N

Otherwise, the invocation mode is

virtual

.

If the compile time declaration for the method invocation is not

void

, then

the type of the method invocation expression is the result type specified in the

compile time declaration.

15.11.4   Runtime Evaluation of Method Invocation

At run time, method invocation requires five steps. First, a

target reference

 may be

computed. Second, the argument expressions are evaluated. Third, the accessibil 

ity of the method to be invoked is checked. Fourth, the actual code for the method

to be executed is located. Fifth, a new activation frame is created, synchronization

is performed if necessary, and control is transferred to the method code.

15.11.4.1

Compute Target Reference (If Necessary)

There are several cases to consider, depending on which of the three productions

for

MethodInvocation

 ( 15.11) is involved:

If the first production for

MethodInvocation

, which includes a

MethodName

,

is involved, then there are three subcases:

N

If the

MethodName

 is a simple name, that is, just an

Identifier

, then there are

two subcases:

O

If the invocation mode is

static

, then there is no target reference.

O

Otherwise, the target reference is the value of

this

.

N

If the

MethodName

 is a qualified name of the form

TypeName

.

Identifier

,

then there is no target reference.

N

If the

MethodName

 is a qualified name of the form

FieldName

.

Identifier

,

then there are two subcases:

O

If the invocation mode is

static

, then there is no target reference.

O

Otherwise, the target reference is the value of the expression

FieldName

.

333