Лист 9. Модель протокола состояний блоков(ViewStates)

1. Назначение
Выполняет функции сохранения значений текущих состояний объектов для цикла обработки текущего символа, поступившего на вход блока ET.

2. Базовые классы
LFsaAppl (базовый автоматный класс)

3. Связи
Имеет связь с основными объектами/моделями - ET, FL, PD, VD, VE.

4. Функционирование
4.1. Роли состояний:

Состояние «ss» - начальное состояние; «st» - ждать состояния «ESC» блока ET; «s1» - ждать состояние «kbh» блока ET.

4.2. Алгоритм работы:

Переходя из начального состояния «ss», автомат открывает файл протокола, в котором будут фиксироваться текущие состояния моделей. В состоянии «st» ожидается состояние «ESC» блока ET. Это состояние начинает цикл обработки символа, поступившего на вход блока ET и запомненного им. Далее происходит переход в состояние «s1» и при этом делается первая запись в файл протокола. Далее, пока состояние блока ET не стало равным «kbh», на каждом такте фиксируются текущие состояния объектов. Как только состояние ET стало равным "kbh" делается последняя запись текущих состояний и вновь ожидается состояние «ESC» блока ET.
Так организуется цикл записи текущих состояний объектов для цикла обработки символа, поступившего на вход блока ET. Завершение работы модели и соответственно закрытие файла протокола осуществляется, когда блок ET прекращает свою работу.