DSL generator

Вход

Файл, написанный на DSL, содержит:

• события ( events) - ввод отдельных символов с клавиатуры, что вызовет переход в другое состояние,
• события перезапуска ( resetEvents) — подмножество событий, всегда вызывающих переход в исходное состояние,
• команды ( commands) — действия, которые выполняются автоматически при переходе в заданное состояние — конкретные операторы персонажей на экране,
• и сами состояния ( state), опционально содержащие действия ( actions) и переходы в виде udalosť -> nový_stav.

Упомянутые 4 основные части не имеют фиксированного порядка и могут повторяться. Однако определение запасов в состоянии должно предшествовать определениям переходов. Начальное состояние — это то, которое определено первым. Простой пример ввода выглядит следующим образом:

events {

    next 'n'

    reset 'r'

}



resetEvents {

    reset

}



commands {

    printX 'X'

}



state s1 {

    next -> s2

}



state s2 {

    actions { printX }

}

Выход

На выходе генератора должен быть файл с исходным кодом программы на языке C. Он должен иметь следующее поведение после компиляции и исполнения:

1. Изначально он устанавливает начальное состояние и выполняет соответствующие действия. В нашем примере это состояние s1, без запаса.
2. Затем он ожидает события, т. е. символа из стандартного ввода. Игнорирует неподдерживаемые символы. Выполняет переход после чтения символа, принадлежащего событию. Таким образом, при вводе «n» происходит событие next, которое s1вызывает переход состояния в состояние s2.
3. Сразу после перехода снова выполнит соответствующие действия. В частности, для состояния s2это действие printX, которое печатает «X». Затем он снова ждет следующего события (шаг 2).

Если мы встречаем символ, соответствующий событию перезапуска (в нашем случае resetтогда r), мы переходим в исходное состояние ( s1).