Константный атрибут

Константный атрибут позволяет задавать константные значения определенного типа, которые могут сохраняться в данном слоте. Список значений константного атрибута может принимать два значения: либо список значе­ний некоторых констант заданного типа, либо символ?variable, который означает, что допустимым является любое значение заданного типа. Атрибут allowed-values отличается от остальных константных атрибутов. Он позволяет задавать список допустимых значений любых типов. Обратите внимание на разницу между атрибутами, например, (allowed-symbols red green blue) И (allowed-values red green blue). Атрибут allowed-symbols строго определяет, что заданные с его помощью значения имеют тип symbol. Атрибут allowed-values ограничивает различные допустимые значения атрибута, невзирая на тип. Общий синтаксис константного атрибута можно предста­вить следующим образом.

Определение 13.3. Синтаксис константного атрибута

<константный-атрибут>:: =(allowed-symbols <список-symbol-значений>) │

(allowed-strings <список-string-значений>) |

(allowed-lexemes <список-1ехеmе-значений> |

(allowed-integers <список-integer-значений>) |

(allowed-floats <список-f1оаt;-значений>) |

(allowed-numbers <список-number-значений>) |

(allowed-instance-names < список -instance-значений) |

(allowed-values <список-значений>)

<список- symbo1-значений>::=< symbol >+ |?VARIABLE

<cпиcoк-string-знaчeний>::=< string >+ |?VARIABLE

<список-1ехеmе-значений>::=< 1ехеmе >+ |?VARIABLE

<список-integer-значений>::=< integer >+ |?VARIABLE

<список-f1оаt-значений>::=< f1оаt >+ |?VARIABLE

<список-number-значений>::=< number >+ |?VARIABLE

<cnисок-instance-значений>::=< instance -name>+ |?VARIABLE

<список-значений>::=<constant>+ |?VARIABLE

Указание атрибута allowed-lexemes позволяет использовать значения как типа symbol, так и типа string. Значения этих типов должны совпадать с одним из значений типа lexeme из списка значений. Преобразование типа из SYMBOL в STRING или из STRING в SYMBOL При этом не выполняется. Аналогично, применение атрибута allowed-numbers позволяет использовать значения как типа integer, так и типа float. При использовании атрибута allowed-numbers в CLIPS версии 6.0 выполняется преобразование типов из integer в float или из float в integer (таким образом, указание этого атрибута не эквивалентно использованию пары атрибутов allowed-integers и allowed-floats). В CLIPS версии 5.1 атрибут allowed-instances не поддерживался, вместо него использовался атрибут allowed-instance-names.

Атрибут диапазона

Атрибут диапазона позволяет задавать диапазон для слотов, содержащих числовые значения. Если слот, для которого задан атрибут диапазона, содержит не числовое значение, проверка на удовлетворение этого атрибута не выполняется.

Определение 13.4. Синтаксис атрибута диапазона

<атрибут-диапазона>::= (range <граница-диапазона> <граница-диапазона>)

<граница-диапазона>::= <число> |? VARIABLE

Для задания границ диапазона могут использоваться числа как целого, так и вещественного типа. Первая граница диапазона определяет минимальное допустимое значение, которое может содержать соответствующий слот, вторая граница диапазона — максимальное. Для выполнения сравнения там, где это необходимо, целые числа временно переводятся в вещественные. В случае использования?variable в качестве первой границы диапазона, минимальным значением, которое может принимать соответствующий слот, считается отрицательная бесконечность (- ∞). В случае если ключевое слово?VARIABLE использовалось в качестве второй границы диапазона, макси­мальным допустимым значением слота считается положительная бесконечность (+ ∞). Атрибут диапазона range не может быть использован вместе с константными атрибутами allowed-values, allowed-numbers, allowed-integers, или allowed-floats.