... | ... | @@ -44,7 +44,7 @@ _Restrictions_ |
|
|
| 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.|: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.|:x: |
|
|
|
| j | Class extension shall not contain cycles such that a class directly or indirectly extends itself.|:x:|
|
|
|
| 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:|
|
|
|
| m | Neither fields not non-abstract methods shall be declared in trait classes. | :white_check_mark:|
|
... | ... | |