Алгоритм восстановления позиций выражений в исходном коде Cloud Sisal программ

В статье предложен алгоритм восстановления позиций выражений в исходном коде программ на языке Cloud Sisal. Актуальность исследования обусловлена важностью точного сопоставления элементов абстрактного синтаксического дерева с фрагментами исходного текста для построения инструментов разработки, таких как редактор исходного кода, визуальный отладчик, средства диагностики ошибок. Предлагаемый подход решает проблему неполной информации о позициях в выходных данных синтаксических анализаторов, модификация которых затруднительна. В работе описан разработанный трехфазный алгоритм, включающий этапы восстановления последовательности лексем, вычисления позиций лексем и вычисления позиций вершин абстрактного синтаксического дерева. Асимптотическая оценка времени выполнения алгоритма линейно зависит от объема входных данных и не превышает O(n), где n — количество символов в исходной программе.