... | ... | @@ -15,7 +15,7 @@ _Semantic description_ |
|
|
|All members which are neither private nor public are protected and can also be accessed by members of subclasses|:question:|
|
|
|
|All fields may be declared without initializer, even const and template fields.|:white_check_mark: |
|
|
|
|A class can be declared with the @trait modifier.|:white_check_mark:|
|
|
|
|A trait class is an abstract class and can not be instantiated.|:x:|
|
|
|
|A trait class is an abstract class and can not be instantiated.|:white_check_mark:|
|
|
|
|It also shall only declare methods without function bodies as members and no constructor.|:white_check_mark:|
|
|
|
|A normal class can extend at most one other normal class and also any number of trait classes|:white_check_mark:|
|
|
|
|Trait classes can only extend trait classes but not normal classes.|:white_check_mark:|
|
... | ... | @@ -59,7 +59,7 @@ _Restrictions_ |
|
|
|
|
|
| rule | text | conformance |
|
|
|
| ------ | ------ | :------: |
|
|
|
|a| Abstract classes cannot be explicitly instantiated. ||
|
|
|
|a| Abstract classes cannot be explicitly instantiated. |:white_check_mark:|
|
|
|
|b| If a class that is not declared abstract extends an abstract class, all methods, property getters and setters that have no implementation in the superclass shall be implemented in this class.||
|
|
|
|
|
|
## 5.1.1.3 External classes
|
... | ... | |