NAMES

Meaning of Expression Names

6.5.5

N

Otherwise, if the class variable is declared

final

, then

Q.Id

 denotes the

value of the class variable. The type of the expression

Q.Id

 is the declared

type of the class variable. If

Q.Id

 appears in a context that requires a vari 

able and not a value, then a compile time error occurs.

N

Otherwise,

Q.Id

 denotes the class variable. The type of the expression

Q.Id

 is the declared type of the class variable.

If

Q

 is a type name that names an interface type ( 9), then:

N

If there is not exactly one accessible ( 6.6) member of the interface type

that is a field named

Id

, then a compile time error occurs.

N

Otherwise,

Q.Id

 denotes the value of the field. The type of the expression

Q.Id

 is the declared type of the field. If

Q.Id

 appears in a context that

requires a variable and not a value, then a compile time error occurs.

If

Q

 is an expression name, let

T

 be the type of the expression

Q

:

N

If

T

 is not a reference type, a compile time error occurs.

N

If there is not exactly one accessible ( 6.6) member of the type

T

 that is a

field named

Id

, then a compile time error occurs.

N

Otherwise, if this field is any of the following:

O

A field of an interface type

O

A

final

 field of a class type (which may be either a class variable or an

instance variable)

O

The

final

 field

length

 of an array type

then

Q.Id

 denotes the value of the field. The type of the expression

Q.Id

 is

the declared type of the field. If

Q.Id

 appears in a context that requires a

variable and not a value, then a compile time error occurs.

N

Otherwise,

Q.Id

 denotes a variable, the field

Id

 of class

T

, which may be

either a class variable or an instance variable. The type of the expression

Q.Id

 is the declared type of the field

97