Студопедия Главная Случайная страница Обратная связь

Разделы: Автомобили Астрономия Биология География Дом и сад Другие языки Другое Информатика История Культура Литература Логика Математика Медицина Металлургия Механика Образование Охрана труда Педагогика Политика Право Психология Религия Риторика Социология Спорт Строительство Технология Туризм Физика Философия Финансы Химия Черчение Экология Экономика Электроника

Лабораторная работа №4. Объектное программирование в CLIPS




Использование объектно-ориентированных средств в CLIPS

Использование объектно-ориентированных средств в CLIPS позволяет значительно упростить программирование правил, поскольку для обновления данных можно применять механизм передачи и обработки сообщений методами классов.

Общий синтаксис определения класса выглядит следующим образом:

 

(defclass <name> [<comment>]

(is-a <superclass-name>+)

[<role>]

[<pattern-match-role>]

<slot>*

<handler-documentation>*)

<role> ::= (role concrete | abstract)

<pattern-match-role>

::= (pattern-match reactive | non-reactive)

<slot> ::= (slot <name> <facet>*) |

(single-slot <name> <facet>*) |

(multislot <name> <facet>*)

<facet> ::= <default-facet> | <storage-facet> |

<access-facet> | <propagation-facet> |

<source-facet> | <pattern-match-facet> |

<visibility-facet> | <create-accessor-facet>

<override-message-facet> | <constraint-attributes>

<default-facet> ::=

(default ?DERIVE | ?NONE | <expression>*) |

(default-dynamic <expression>*)

<storage-facet> ::= (storage local | shared)

<access-facet>

::= (access read-write | read-only | initialize-only)

<propagation-facet> ::= (propagation inherit | no-inherit)

<source-facet> ::= (source exclusive | composite)

<pattern-match-facet>

::= (pattern-match reactive | non-reactive)

<visibility-facet> ::= (visibility private | public)

<create-accessor-facet>

::= (create-accessor ?NONE | read | write | read-write)

<override-message-facet>

::= (override-message ?DEFAULT | <message-name>)

<handler-documentation>

::= (message-handler <name> [<handler-type>])

<handler-type> ::= primary | around | before | after

 

Наследование

Если класс Б наследуется от А, то Б является потомком А, а А – родителем Б. Каждый создаваемый пользователем класс должен быть напрямую унаследован хотя бы от одного класса (обычно от OBJECT). Случай прямого наследования от более чем одного класса называется множественным наследованием. Новый класс наследует слоты и сообщения от своих родителей. При множественном наследовании необходимо учитывать следующие правила:

1. Класс имеет более высокое старшинство, чем его родители

2. В списке классов-родителей классы должны располагаться по старшинству

3. При конфликте имен слотов или сообщений выбирается слот или сообщение более старшего класса.

Пример 1

(defclass A (is-a USER))

Класс A является прямым наследником класса USER. Список старшинства классов для A: A USER OBJECT.

Пример 2

(defclass B (is-a USER))

Класс B является прямым наследником класса USER. Список старшинства классов для B: B USER OBJECT.

Пример 3

(defclass C (is-a A B))

Класс C является прямым наследником классов A и B. Список старшинства классов для C: C A B USER OBJECT.

Пример 4

(defclass D (is-a B A))

Класс D является прямым наследником классов A и B. Список старшинства классов для D: D B A USER OBJECT.

Пример 5

(defclass E (is-a A C))

В соответствии с правилом 2, A долже быть старше C. В нашем случае, C – это потомок A и является более сташим в соответствии с правилом 1. Ошибка.

Пример 6

defclass E (is-a C A))

Правильное определение класса из примера 5. Список старшинства для E: E C A B USER OBJECT.

Описатели классов

Абстрактные и конкретные классы

Абстрактный класс предназначен только для наследования, на его основе не могут создаваться экземпляры. На основе конкретного класса могут создаваться его экземпляры.

Слоты

Слот – это место для хранения значений поля класса. Каждый экземпляр класса содержит копию всех слотов своего родителя. Количество слотов класса ограничено только размером свободной памяти, имя слота – любой набор символов, за исключением зарезервированных слов. Потомок класса содержит слоты родителя. В случае конфликта имен слотов, он разрешается в соответствии с правилом старшинства.

 

Пример.

(defclass A (is-a USER)

(slot fooA)

(slot barA))

 

(defclass B (is-a A)

(slot fooB)

(slot barB))

 

Список старшинства для A: A USER OBJECT. Экземпляр класса A будет иметь 2 слота: fooA и barA. Список страшинства для B: B A USER OBJECT. Экземпляр класса B будет иметь 4 слота: fooB, barB, fooA, barA.

Для каждого слота может быть определен набор фасетов. Фасеты описывают различные свойства слотов: значения по умолчанию, вид хранения, видимость и т.п. Более подробно фасеты будут рассмотрены ниже.

Создание экземпляра класса производится командой (make-instance a of A) – создается экземпляр с именем а класса А. Другой вариант (создание массива экземпляра классов):

(definstances my_inst

(a of A)

(b of A)

(c of A)

)


Поможем в написании учебной работы
Поможем с курсовой, контрольной, дипломной, рефератом, отчетом по практике, научно-исследовательской и любой другой работой





Дата добавления: 2015-08-30; просмотров: 601. Нарушение авторских прав; Мы поможем в написании вашей работы!

Studopedia.info - Студопедия - 2014-2022 год . (0.017 сек.) русская версия | украинская версия
Поможем в написании
> Курсовые, контрольные, дипломные и другие работы со скидкой до 25%
3 569 лучших специалисов, готовы оказать помощь 24/7