11.7.3. Формат файла WPO

На верх  Назад  Вперёд

Эта информация может оказаться интересной, если есть необходимость добавить внешние данные в файл обратной связи WPO, например, с помощью профилирующего инструмента. Для регулярного использования функции WPO следующая информация не нужна и может быть игнорирована.

Файл состоит из комментариев и некоторого количества разделов. Комментариями являются строки, которые начинаются с символа #. Каждый раздел начинается с "%", после чего следует имя раздела (например, % contextinsensitive_devirtualization ).

После этого, пока не достигнут конец файла или до начала следующего раздела (то есть до строки, которая начинается с "%"), сначала идёт понятное для человека описание формата раздела (в комментариях), а затем содержимое самого раздела.

Не существует правил для того, как должно выглядеть содержимое раздела, за исключением того, что строки, которые начинаются с символа #, являются зарезервированными для комментариев, а строки, начинающиеся с %, зарезервированы для метки начала раздела.