... | ... | @@ -28,11 +28,20 @@ _Restrictions_ |
|
|
| rule | text | conformance |
|
|
|
| ------ | ------ | :------: |
|
|
|
| a | void | n\a |
|
|
|
| b | Passing of object references and structured types containing fields or elements of class type to the create operation of a component type or a function started on another component is not allowed.|:x:|
|
|
|
| c | No subtyping definition is allowed for class types via the normal subtype definition. |:x: |
|
|
|
| d | No local/global constants or module parameters of class type or structured types containing fields or elements of class type are allowed.|:x:|
|
|
|
| e | Class type cannot be the contained value of an any type value.| :question: |
|
|
|
| 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.|: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:|
|
|
|
| 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:|
|
|
|
| n | A class shall extend at most one normal class. | :white_check_mark:|
|
|
|
| o | If a structured type contains a field of a class type, this type is not seen as a data type and its values cannot be used for encoding or decoding, sending or receiving and neither used as an actual parameter (or part thereof) to a function started on another component.|:x:|
|
|
|
|
|
|
## 5.1.1.1 Scope rules
|
|
|
|
... | ... | |