metadata-feature-metaclass-not-abstract
Available in: KerML, SysML
This checks that metadata is typed by a concrete metaclass.
Specification
The
metaclassof aMetadataFeaturemust not be abstract.
Example
abstract metadata def M;
@M;
Instead, remove abstract:
metadata def M;
@M; // ok
Or create a concrete metaclass:
abstract metadata def M;
metadata def MM :> M;
@MM; // ok