Восстановление текстов программ по преобразованному

Восстановление текстов
программ по преобразованному
синтаксическому дереву
Выполнил: Юрий Литвинов, 545гр.
Научный руководитель: Дмитрий Копаев
Введение



Одна из задач реинжиниринга –
преобразование программ к виду,
пригодному для сопровождения
После различных преобразований над
программой (удаление мёртвого кода,
реструктуризация) необходимо породить
текстовое представление
Результат генерации должен выглядеть,
как правка исходной программы
Постановка задачи



Порождённый текст должен содержать
возможно больше промежутков,
скопированных из исходного файла
Текст, порождённый по дереву, должен
естественным образом вписываться в
неизменённый текст
Алгоритм должен накладывать возможно
меньшие ограничения на входное дерево
Обзор предыдущего решения

Принцип работы основного прохода
заключался в обходе дерева в глубину и
печати текста узла следующим образом:





Печатается текст от начала узла до
начала первого сына
Печатается текст сына
Печатается текст между сыновьями
Печатается текст от конца последнего
сына до конца узла
Недостатки: должен быть известен
порядок сыновей, требует соответствия
структуры дерева структуре исходного
файла
01 A PIC X OCCURS 10.
01 A PIC X OCCURS 10.
01 A PIC X OCCURS 20.
Трудные ситуации 1

Простейший пример: удаление сына
f(a, b, c)
Пусть в результате преобразования один из
параметров функции был удалён. Если просто
удалить его текст, получим
f(a, , c)
Требуется перегенерация всего узла по дереву, при
этом сыновья могут быть сгенерированы по привязке
Трудные ситуации 2

Неизвестный порядок сыновей
Синтаксические элементы в тексте могут идти в
произвольном порядке, тогда как порядок узлов в
дереве фиксирован
01 A PIC X OCCURS 10.
01 A OCCURS 10 PIC X.
При генерации сыновей в порядке, в котором они
входили в дерево, порождается неверный текст:
 01 A OCCURS 10 PIC X 10 PIC X.
Трудные ситуации 3

Несинтаксические элементы
Некоторые элементы текста программы отсутствуют в дереве:
01 A PIC X.
EJECT
01 B PIC X.
01 C PIC X.
Положим, 01 B PIC X. удалили. Получим
01 A PIC X.
01 C PIC X.
Должны получить
01 A PIC X.
EJECT
01 C PIC X.
Идеи предлагаемого алгоритма




Для каждого узла определяется его
прообраз в тексте
Полученные промежутки
сортируются по привязке
Промежутки с неизвестной
привязкой вставляются в порядке,
определяемом синтаксическими
правилами и расположением
привязанных промежутков
Над цепочками промежутков могут
выполняться дополнительные
преобразования (разбиение по
строкам, анализ копибуков и т.д.)
01 A PIC X OCCURS 10.
01 A PIC X OCCURS 20.
Преимущества предлагаемого подхода



Порядок узлов в дереве не имеет
значения
Возможно порождение элементов текста,
не являющихся частью синтаксиса
программы
Для алгоритма не важна вложенность и
непрерывность привязок
Заключение



Предлагаемый алгоритм реализован и
используется для генерации текстов программ на
языках COBOL и RPG в системе Modernization
Workbench
Алгоритм позволяет генерировать по привязке
больше промежутков, чем предыдущий
алгоритм, и при этом накладывает меньшие
ограничения на дерево
Реализация позволяет поддерживать новые
языки, описывая только синтаксические правила
и некоторые особенности языка