meta.language.classes
3 anchors
| Anchor | Implementation | Tests |
|---|---|---|
| meta.language.classes (3) | 3 Implemented | 3 Implemented |
abstract_complete | Implemented | Implemented |
A concrete class must implement every inherited abstract method. | ||
override_signature | Implemented | Implemented |
An overriding method must preserve the inherited method’s operation kind and resolved result type. | ||
single_inheritance | Implemented | Implemented |
A class or context declaration has at most one | ||