To obtain Variability on the Base Specification Class we need to implement template type parameters in OBJECTS clause. Current grammar does not yet support this.
Example:
ABSTRACT SPEC AbstractFactory<T>
OBJECTS
com.google.crypto.tink.KeysetHandle ksh;
<T> primitive;
To obtain Variability on the Base Specification Class we need to implement template type parameters in OBJECTS clause. Current grammar does not yet support this.
Example: