Принадлежность сигнатуре (ISCLASS)
Оператор принадлежности сигнатуре создает свойство, которое определяет, может ли, с точки зрения классов, указанное в операторе свойство иметь не NULL
значение для переданных аргументов или нет. Фактически данный оператор выводит возможные классы указанного свойства из его семантики, после чего при помощи логических операторов и оператора классификации создает требуемое свойство.
Язык
Для реализации этого оператора используется оператор ISCLASS
.