... | ... | @@ -43,7 +43,7 @@ _Restrictions_ |
|
|
| f | The functions of a class shall not have a runs on, mtc or system clause. | :white_check_mark:|
|
|
|
| g | The runs on type of a class shall be runs on compatible with the runs on type of the behaviour creating a class. |:x:|
|
|
|
| h | The runs on type of a class shall be runs on compatible with the runs on type of the superclass and the supertraits.|:white_check_mark: |
|
|
|
| i | The mtc and system type of a class shall be mtc and system compatible with the mtc and system types of the superclass and the supertraits, respectively.|:x: |
|
|
|
| i | The mtc and system type of a class shall be mtc and system compatible with the mtc and system types of the superclass and the supertraits, respectively.|:white_check_mark:|
|
|
|
| j | Class extension shall not contain cycles such that a class directly or indirectly extends itself.|:white_check_mark:|
|
|
|
| k | Reference to a class shall not occur more than once in the list of classes being extended. | :white_check_mark:|
|
|
|
| l | Neither fields not non-abstract methods shall be declared in trait classes. | :white_check_mark:|
|
... | ... | |