5.1. ЭКЗЕМПЛЯРЫ КЛАССОВ

Экземпляр класса ("мир") - это конкретное применение класса. В состав экземпляра класса входят:

  1. Предложения класса, а также предложения его предков.
  2. Слоты экземпляра класса.

Слот - это составная часть экземпляра класса, характеризуемая именем и значением. Именем слота является некоторый атрибут, а значением слота - терм.

Построение экземпляров классов происходит в результате доказательства утверждений об их существовании - конструкторов.

Мир B называется вложенным по отношению к миру A, если конструктор мира B является инициализатором некоторого слота мира A или какого-либо мира E, вложенного по отношению к A.

Пример. Наследование предложений класса.

Экземпляр класса 'CHERRY' содержит предложения colour и taste, определённые в классах 'CHERRY' и 'FRUIT'.

class 'FRUIT':
[
taste('sweet').
taste('sour').
]
class 'CHERRY' specializing 'FRUIT':
[
colour('red').
]

Ссылки: атрибут 4.1.1, вложенность миров 5, инициализатор 4.1.2, класс 4.1, конструктор 4.1.3, конструктор мира 4.1.3, построение миров 5.4.1, предложение 6, терм 3, class 2.1.2, specializing 2.1.2.


Следующий: 5.2. ПРОЦЕССЫ
Предыдущий: 5. СТРУКТУРА ПРОСТРАНСТВА ПОИСКА


5. СТРУКТУРА ПРОСТРАНСТВА ПОИСКА
КОРНЕВАЯ СТРАНИЦА
ОГЛАВЛЕНИЕ
СПИСОК ПОНЯТИЙ ЯЗЫКА (ИНДЕКС)