<атрибуты-ограничений>::= <атрибут-типа> |
<константный-атрибут>│
<атрибут-диапазона> | <атрибут-мощности>
Рис. 13.1. Диалоговое окно Execution Options
Атрибут типа
Атрибут типа позволяет ограничивать типы значений, помещаемых в слоты объектов или поля фактов.
Определение 13.2. Синтаксис атрибута ограничения типа
<атрибут-типа>:= (type <спецификация-типа>)
спецификация-типа>:= <допустимые-типы> |?VARIABLE
<допустимый-тип>::= SYMBOL | STRING | LEXEME |
INTEGER | FLOAT | NUMBER |
INSTANCE-NAME | INSTANCE-ADDRESS |
INSTANCE | EXTERNAL-ADDRESS | FACT-ADDRES
Использование в качестве атрибута типа number эквивалентно использованию двух типов: integer и float. Таким же образом тип lexeme эквивалентен паре типов symbol и string, а тип instance эквивалентен instance-name и INSTANCE-ADDRESS. Использование ключевого слова?VARIABLE позволяет сохранять в слот значения различных типов.