The standard specifies that subprogram groups cannot have flows, yet the grammar allows flows in subprogram group types. The following model should produce an error:
package Test
public
subprogram group sg
features
f: feature;
flows
src: flow source f;
end sg;
end Test;
The grammar already prevents flows in subprogram group implementations.
The standard specifies that subprogram groups cannot have flows, yet the grammar allows flows in subprogram group types. The following model should produce an error:
The grammar already prevents flows in subprogram group implementations.