Классификация (IS/AS)

Операторы классификации создают свойства, которые определяют принадлежность объекта заданному классу, который может быть пользовательским классом или встроенным классом. Значение создаваемого свойства зависит от того, принадлежит ли объект этому классу:

Оператор	Объект принадлежит классу	Объект не принадлежит
IS	логическое значение TRUE	NULL
AS	сам объект, принадлежащий указанному классу	NULL

Язык

Для реализации операторов классификации используется операторы IS и AS.

Примеры

asOrder(object) = object AS Order;

person = DATA Human (Order);
isMale (Order o) = person(o) IS Male;