Справочник по Ada 95
H.3.2 Предикат Inspection_Point
Встреча pragma Inspection_Point определяет набор объектов, значения которых должны быть доступны в момент(ах) выполнения программы, соответствующих позиции pragma в единице компиляции. Цель такого предиката – облегчить проверку кода.
Синтаксис
Форма предиката Inspection_Point:
pragma Inspection_Point[(имя_объекта {, имя_объекта})];
Правила легальности
Предикат Inspection_Point разрешен там, где разрешен declarative_item или statement. Каждое имя_объекта должно статически обозначать объявление объекта.
Статическая семантика
Точка инспекции – точка в объектном коде, соответствующая появлению pragma Inspection_Point в единице компиляции. Объект является инспектируемым в точке инспекции, если соответствующий pragma Inspection_Point содержит аргумент, обозначающий этот объект, или не содержит аргументов, и объект виден в точке инспекции.
Динамическая семантика
Выполнение предиката Inspection_Point не имеет эффекта.
Требования к реализации
Достижение точки инспекции является внешним взаимодействием относительно значений инспектируемых объектов в этой точке (см. 1.1.3).
Требования к документации
Для каждой точки инспекции реализация должна определить отображение между каждым инспектируемым объектом и аппаратными ресурсами (такими как расположения памяти или регистры), из которых можно получить значение объекта.
ПРИМЕЧАНИЯ
7 Реализация не должна выполнять «удаление мертвых записей» для последнего присваивания переменной перед точкой, где переменная является инспектируемой. Таким образом, точка инспекции имеет эффект неявной ссылки на каждый из ее инспектируемых объектов.
8 Точки инспекции полезны для поддержания соответствия между состоянием программы в терминах исходного кода и состоянием машины во время выполнения программы. Утверждения о значениях объектов программы могут быть проверены в аппаратных терминах в точках инспекции. Объектный код между точками инспекции может обрабатываться автоматизированными инструментами для механической проверки программ.
9 Определение отображения от объектов исходной программы к аппаратным ресурсам разрешается в форме аннотированного списка объектов, в удобочитаемой или обрабатываемой инструментами форме.
