Данные для записи в файл формируются посредством трансляции из объектов внутреннего представления libarchfpga с помощью отдельных процедур обработки, после чего записываются в файл FLG с помощью процедуры printFileXml, реализованной с использованием библиотеки pugixml.
Корректно (is_correct): 1