Определение 15.73. Предикатные функции для анализа свойств класса

 

(class-existp <имя-класса>)

(class-abstractp <имя-класса>)

(class-reactivep <имя-класса>)

(superclassp <имя-класса1> <имя-класса2>)

(subclassp <имя-класса1> <имя-класса2>)

Функция class-existp возвращает значение true, если заданный класс оп­ределен в системе, и значение false, если это не так. Функции class-abstractp и class-reactivep предназначены для проверки, является ли за­данный класс абстрактным и участвует ли он в процессе сопоставления об­разцов. В случае положительного результата проверки функции возвращают значение true, иначе — false. Предикатная функция superclassp проверяет, является ли класс, заданный первым параметром, суперклассом класса, за­данного вторым параметром, т. е. первый класс унаследован от второго. Аналогично функция subclass проверяет, является ли класс, заданный пер­вым параметром, подклассом класса, заданного вторым параметром, т. е. первый класс является предком второго.

Для проверки существования заданного слота у некоторого класса предна­значена функция slot-existp. Она возвращает значение true в случае положительного результата проверки и значение false, если это не так. Если при вызове функции указан необязательный параметр inherit, слот может быть унаследован от какого-нибудь суперкласса. В противном случае он должен быть определен непосредственно в проверяемом классе.

Определение 15.74. Функция slot-existp

 

(slot-existp <имя-класса> <имя-слота> [inherit])

Для проверки некоторых свойств отдельных слотов CLISP предоставляет несколько функций, синтаксис которых приведен ниже.

Определение 15.75. Функции для анализа свойств слотов

 

(slot-writablep <имя-класса> <имя-слота>)

(slot-initablep <имя-класса> <имя-слота>)

(slot-publicp <имя-класса> <имя-слота>)

(slot-direct-accessp <имя-класса> <имя-слота>)

В случае положительного результата проверки функции возвращают значе­ние TRUE иначе — false. В случае если указанный класс или слот не суще­ствует, перечисленные функции генерируют сообщение об ошибке. Функция slot-writablep проверяет возможность записи в слот. Функция slot-initablep предназначена для проверки возможности инициализации слота. Для выяснения, передается ли слот по наследованию (грань visibility име­ет значение public), предназначена функция siot-publicp. Функция slot-direct-accessp служит для проверки, возможен ли прямой доступ к указан­ному слоту.

Для определения, существует ли указанный обработчик у заданного класса, предназначена функция message-handler-existp.

Определение 15.76. Функция message-handler-existp

(message-handler-existp <имя-класса>

<имя-обработчика-сообщения>

[<тип-обработчика-сообщения>])

<тип-обработчика-сообщения>::= around | before | primary | after

Эта функция возвращает значение true, если указанный обработчик сооб­щений существует (обработчик должен быть определен непосредственно у заданного класса, а не получен при помощи наследования). Иначе воз­вращает значение false. В качестве необязательного третьего параметра мо­жет быть задан тип обработчика. Если этого не сделано, по умолчанию анализируются только обработчики сообщений primary.

Пара функций class-superclasses и class-subclasses предназначена для получения списка всех суперклассов и подклассов указанного класса.

Определение 15.77. Функции class-superclasses и class-subclasses

 

(class-superclasses <имя-класса> [inherit])

(class-subclasses <имя-класса> [inherit])

При использовании необязательного флага inherit функция class-superclasses генерирует список всех суперклассов. В противном случае воз­вращается список только прямых суперклассов (классов, от которых задан­ный класс унаследован непосредственно). Если в функции class-subclasses использован параметр inherit, то функция отображает всех наследников указанного класса, иначе только прямых наследников.

Варианты использования функций class-superclasses и class-subclasses представлены в примере 15.29 и на рис. 15.26.