Лист 6. Модель блока вывода отладочной информации (ViewDebug)

1. Назначение
Вывод отладочной информации о работе магазинного автомата - объекта типа PD (класс FPDNotMarker).

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

3. Связи
Связан с объектом АМП.

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

Состояние «st» - ожидание состояния «АМП» магазинного автомата; «p1» - состояние ожидания выхода магазинного автомата из состояния «АМП».
Примечание 1. «st» - начальное состояние, «00» - конечное.

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

В состоянии «st» автомат ожидает, когда связанный с ним объек перейдет в состояние «АМП». Дождавшись этого, выводит отладочную информацию о текущем состоянии объекта и переходит в состояние «p1», где ожидается выход внешнего объекта из состояния «АМП». Это сделано с целью исключения повторной выдачи одной и той же информации. Далее цикл повторяется, т.к. модель возвращается в состояние «st» как только АМП покинет свое состояние «АМП». Автомат завершает свою работу, как только АМП перестает быть активным.