Issues in spec v0.06 chapter 7. Classes

[DartBot]

This issue was originally filed by [email protected]

---

1. 7.1.1 Abstract Methods
   Invoking an abstract method always results in a run-time error. This may be NoSuchMethodError or a sbuclass, such as AbstractMethodError.

Probably, it is better to change NoSuchMethodError -> NoSuchMethodException
Also probably the spec should specify that this must be NoSuchMethodException or its subclass.

1. 7.1.2 Operators
    a) Grammar contains ! operator, however it is not contained in the list of allowed operators below the grammar.
    b) prefixOperator is obsolete?
2. 7.2 Getters
   It is a static warning if a getter m1 overrides (7.8.1) a getter or method m2 ...

It is written in the previous statements that a getter cannot override a method. It is possible to safely remove "or method" words.

1. 7.3 Setters
   The same as (3) - it is possible to safely remove "or method" words.
2. 7.3 Setters
   setterSignature:
   static? returnType? ...

"static" should be in bold.

1. 7.4 Instance Variables
   If an instance variable declaration has one of the forms ... the the expression e must be a compile-time constant.

Probably it should be written explicitly that a compile-time error occurs if the expression e is not a compile-time constant?

1. 7.5 Constructors
   Probably it is worth to add a note that says that default constructor will not be generated if a class has at least one constructor.
2. 7.5.1 Generative constructors
   It is not specified what happens if a redirecting constructor redirects execution to itself, or there is a longer cycle of constructors redirection.
3. 7.5.1 Generative constructors
   It is not specified what happens if a redirecting constructor has initializing formals (currently, compile-time error in VM)

[dgrove]

Set owner to @gbracha.
Added Area-Language, Triaged labels.

[gbracha]

1. Changed "may" to "must".

2. The grammar for operator declarations does not allow !.

3. Fixed.

4. Fixed.

5. Fixed.

6. Fixed.

7. Using iff instead of if addresses this.

8. I is specified: you'll get a loop.

9. Fixed.

---

Added Done label.