... | @@ -42,7 +42,7 @@ _Restrictions_ |
... | @@ -42,7 +42,7 @@ _Restrictions_ |
|
| e | Class type cannot be the contained value of an any type value.| :white_check_mark: |
|
|
| e | Class type cannot be the contained value of an any type value.| :white_check_mark: |
|
|
| f | The functions of a class shall not have a runs on, mtc or system clause. | :white_check_mark:|
|
|
| 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:|
|
|
| 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: |
|
|
| 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.|:x: |
|
|
| j | Class extension shall not contain cycles such that a class directly or indirectly extends itself.|: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:|
|
|
| k | Reference to a class shall not occur more than once in the list of classes being extended. | :white_check_mark:|
|
... | | ... | |