Most of the reason why I've refactored the logic for producing targets and instantiations away from SequenceGroup was to allow the creation of groups of the form
sequence group X for M:
// blah
derived sequence group Y = X
with
Foo set to 1
The idea here is that this mechanism allows instantiating sequences with various different instantiations, then applying assertions to all of them. Because assertions are generally tied to the particular group
I'm not sure of:
whether this should mean there exist derived and non-derived forms of each SpecGroup, or whether there should be a less redundant approach (maybe adding an abstract allSequences property to all groups?);
whether this is user-friendly;
whether there's an easier way that involves reintroducing instantiations to the assertions.
Most of the reason why I've refactored the logic for producing targets and instantiations away from
SequenceGroupwas to allow the creation of groups of the formThe idea here is that this mechanism allows instantiating sequences with various different instantiations, then applying assertions to all of them. Because assertions are generally tied to the particular group
I'm not sure of:
derivedand non-derivedforms of eachSpecGroup, or whether there should be a less redundant approach (maybe adding an abstractallSequencesproperty to all groups?);