Справочник по Ada 95
13.9.2 Атрибут Valid
Атрибут Valid используется для проверки валидности данных, полученных в результате неконтролируемых преобразований, ввода, взаимодействия с другими языками и т.п.
Статические семантика
Для префикса X, обозначающего скалярный объект (после всех неявных разыменований), определяется следующий атрибут:
- X'Valid
- Возвращает True тогда и только тогда, когда объект, обозначаемый X, является нормальным и имеет валидное представление. Значение этого атрибута имеет тип Boolean.
ПРИМЕЧАНИЯ
19 Невалидные данные могут быть созданы в следующих случаях (не считая ошибок или непредсказуемого выполнения):
- неинициализированный скалярный объект,
- результат неконтролируемого преобразования,
- ввод данных,
- взаимодействие с другим языком (включая машинный код),
- прерывание присваивания,
- нарушение присваивания из-за неудачи проверки, определенной языком (см. 11.6), и
- использование объекта, адрес которого был указан.
20 X'Valid не считается чтением X; следовательно, проверка валидности невалидных данных не является ошибкой.
