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

Операторы классификации создают свойства, которые определяют принадлежность объекта заданному классу. В случае, если аргумент свойства не принадлежит указанному в операторе классу, то свойство возвращает NULL. Иначе оператор IS возвращает TRUE, а оператор AS возвращает переданный в качестве аргумента объект.

Язык

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

Примеры

asOrder(object) = object AS Order;

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