superclass constructor invocation

[Marlene Miller]

Is JLS 8.8.5.1 missing an explicit constructor invocation?
ExpressionName.super( ArgumentList ) ;

class Outer {
    class Inner {}
}
class A extends Outer.Inner {
    A() { new Outer().super(); }
}
class B extends Outer.Inner {
    B(Outer ref) { ref.super(); }
}

new Outer() is a Primary expression. ref is an ExpressionName.
[ March 23, 2003: Message edited by: Marlene Miller ]

[Valentin Crettaz]

As per JLS 15.8 Primary Expressions, a Primary expression also includes field accesses. ref (a parameter) is accessed the same way you would access a field.
You could check out this unofficial JLS errata page, maybe you'll find something useful

[Marlene Miller]

Is the name �ref� in the expression �ref.super()� a primary expression or an expression name?
I think �ref� is an expression name, for the following reason.
If �ref� were a primary expression, it would be one of those things listed in 15.8. So it must be a FieldAccess. If it is a FieldAccess, it has must be one of the three things listed in 15.11. Which it is not.
However, if �ref� is an expression name, it must be one of things described in 6.5.6. Since the name �ref� consists of a single identifier, it is a simple expression name 6.5.6.1. The identifier appears within the scope of a visible parameter declaration? Yes.