Генерация программного кода

Метод разработан для объектно-ориентированных языков, но может быть расширен и для других языков. Однако это расширение выходит за рамки данного исследования.

В отличие от таких инструментов, как Unimod[81]и Stateflow[51], в данном подходе предлагается генерировать не самостоятельную программу, а подпрограмму.

• Для каждого автоматного типа генерируется отдельный класс в отдельном файле. Такой класс называется автоматизированным классом [45].

• Сгенерированный класс содержит: функцию переходов автомата, перечисление, содержащее события, необходимые переменные для переходов и определения функций (выходных воздействий второго типа), в которые пользователь может дописать собственный код, и этот код не исчезнет при повторной генерации кода.

• В коде специальными комментариями помечаются места, которые полностью переписываются, и в которые не следует писать пользовательский код, так как он не сохранится. Пользовательский код из остальных мест будет полностью сохранён.

• Если пользователь добавит новые выходные воздействия второго типа, то их определения будут добавлены к сгенерированному коду.

• Пользователь может задать пространство имён (или пакет в языке Java), в котором будет находиться сгенерированный код. Если между генерациями кода пространство имён было удалено, то оно будет восстановлено.

• Если пользователь добавит к автоматизированному классу наследование от базового класса или интерфейса, то повторная генерация кода сохранит это наследование.

• Генерируются вспомогательные классы, включая менеджер потоков, которые обеспечивают взаимодействие автоматов, находящихся в

разных потоках. Если многопоточность не требуется, то генерацию таких классов можно отключить.

• Пользователь может ввести произвольное число автоматных объектов, которые будут запущены при запуске менеджера потоков.

3.3.1. Первичная генерация кода

При первичной генерации кода файл с автоматизированным классом полностью перезаписывается. Если файла не существовало, то он создаётся.

3.3.2. Повторная генерация кода

При повторной генерации кода файл с предыдущей версией считывается в память и построчно отправляется на вход обработчику CodeProcessor. CodeProcessorчитает строку, и в зависимости от её содержимого, отправляет события автомату GenFinder.Этот автомат записывает код обратно в файл.

На рисунке 3.3.2.1 изображена диаграмма состояний конечного автомата GenFinder, который управляет повторной генерацией кода. Для удобства переходы перенумерованы и их номера отмечены красным.

Список событий автомата GenFinder:

• _class - объявление автоматизированного класса.

• _namespace - объявление генерируемого пространства имён.

• action_found - объявление выходного воздействия второго типа.

• eof - конец файла.

• gen_functions - маркер начала или конца генерируемых функций.

• next_line - новая строка кода, в которой не встретилось ничего из вышеперечисленного.

Рисунок 3.3.2.1. Автомат GenFinder

В таблице 3.3.2.1 приведён список выходных воздействий автомата

GenFinder.

Таблица 3.3.2.1. Выходные воздействия автомата GenFinder

Для того чтобы не перегружать диаграмму переходов, выходные воздействия автомата приведем в табл.

Таблица 3.2.2.2. Выходные воздействия автомата GenFinder

3.4.