MicroTESK

Необходимо проработать логику генерации тестовых последовательностей (блоки и комбинаторы/композиторы). Необходимо:

1. Уточнение требований
2. Реализация
3. Примеры
4. Документация

Следующие случаи должны быть проработаны:

1. atomic { I1, ..., In } - возвращает итератор, который возвращает одну единственную последовательность.
2. atomic { I1, ..., In, block {...}, In+1, ..., Im} - возвращает итератор, который возвращает столько последовательностей, сколько из дает block: (I1, ..., In, seq1, In+1, ..., Im), ..., (I1, ..., In, seqk, In+1, ..., Im).
3. atomic { I1, ..., In, block {...}, In+1, ..., Im, block {…}, Im+1, …, Ik} - (вложенные блоки дают разное количество последовательностей) - ???
4. block { I1, ..., In } - возвращает итератор, который выдает n последовательностей, состоящих из одного элемента каждая.
5. block { I1, ..., In, block {...}, In+1, ..., Im} - ???
6. block { I1, ..., In, block {...}, In+1, ..., Im, block {…}, Im+1, …, Ik} - ???

P.S. Cейчас из этого только atomic { I1, ..., In } и block { I1, ..., In } работают корректно. Более сложные случаи не проработаны: atomic { ... } объединяет все в единственную последовательность, а block { ... } создает на основе n вложенных элементов (инструкций или блоков) n последовательностей, которые получаются путем объединения всех последовательностей, возвращаемых соответствующим элементом.