Классы. Статические и динамические сущности - История изменений

SergeMukhin: /* Особенности использования фактов-переменных */

2008-08-08T08:43:09Z

Особенности использования фактов-переменных

← Предыдущая		Версия 10:43, 8 августа 2008
Строка 228:		Строка 228:
	<vip>class facts		<vip>class facts
	город_V:string:=erroneous.</vip>		город_V:string:=erroneous.</vip>
	где ''erroneous'' - ключевое слово языка. Факт со значением erroneous не может быть использован, можно только проверить является ли значение факта неустановленным с помощью детерминированного предиката ''isErroneous(...)''		где ''erroneous'' - ключевое слово языка. Факт со значением erroneous не может быть использован (точнее: при попытке его использования будет выдана соответствующая ошибка), можно только проверить является ли значение факта неустановленным с помощью детерминированного предиката ''isErroneous(...)''
	<vip>implement dynamicClass		<vip>implement dynamicClass
	domains		domains
Строка 248:		Строка 248:
	город_V:string Город.</vip>		город_V:string Город.</vip>
	на этапе компиляции выдаст ошибку, поскольку статический факт не инициализирован при объявлении.		на этапе компиляции выдаст ошибку, поскольку статический факт не инициализирован при объявлении.

	==Константы и домены==		==Константы и домены==
	Константы и домены могут объявляться везде - в декларациях классов, интерфейсов и в имплементациях. По своей сущности они, естественно, имеют статический характер.		Константы и домены могут объявляться везде - в декларациях классов, интерфейсов и в имплементациях. По своей сущности они, естественно, имеют статический характер.

SergeMukhin: очепятки

2008-08-08T08:40:31Z

очепятки

← Предыдущая		Версия 10:40, 8 августа 2008
Строка 251:		Строка 251:
	Константы и домены могут объявляться везде - в декларациях классов, интерфейсов и в имплементациях. По своей сущности они, естественно, имеют статический характер.		Константы и домены могут объявляться везде - в декларациях классов, интерфейсов и в имплементациях. По своей сущности они, естественно, имеют статический характер.
	Объявления, сделанные в имплементации, видимы только внутри этой же имплементации.		Объявления, сделанные в имплементации, видимы только внутри этой же имплементации.
	Объявления констант и доменов, сделанные в декларации класса или интерфейса, являются ~~глабальными~~.		Объявления констант и доменов, сделанные в декларации класса или интерфейса, являются глобальными.
	Конкретное использование осуществляется путем добавления префикса декларации соответствующего класса или интерфейса в формате		Конкретное использование осуществляется путем добавления префикса декларации соответствующего класса или интерфейса в формате

Victor Yukhtenko: /* Константы и домены */

2007-09-19T07:49:27Z

Константы и домены

← Предыдущая		Версия 09:49, 19 сентября 2007
Строка 253:		Строка 253:
	Объявления констант и доменов, сделанные в декларации класса или интерфейса, являются глабальными.		Объявления констант и доменов, сделанные в декларации класса или интерфейса, являются глабальными.
	Конкретное использование осуществляется путем добавления префикса декларации соответствующего класса или интерфейса в формате		Конкретное использование осуществляется путем добавления префикса декларации соответствующего класса или интерфейса в формате

	''<имя декларации класса или интерфейса>::<имя домена или константы>''.		''<имя декларации класса или интерфейса>::<имя домена или константы>''.

	==Взаимоотношени статических и динамических сущностей==		==Взаимоотношени статических и динамических сущностей==
	Клаузы предикатов, объявленных статическими, не могут обращаться к динамическим сущностям (предикатам и фактам).		Клаузы предикатов, объявленных статическими, не могут обращаться к динамическим сущностям (предикатам и фактам).

Victor Yukhtenko в 07:47, 19 сентября 2007

2007-09-19T07:47:06Z

← Предыдущая		Версия 09:47, 19 сентября 2007
Строка 143:		Строка 143:
	...</vip>		...</vip>
	Примечания:		Примечания:
	a) Конструктор ''new()'' является предопределенным конструктором, объявление которого не требуется, если в имплементации нет для него клауза;		* Конструктор ''new()'' является предопределенным конструктором, объявление которого не требуется, если в имплементации нет для него клауза;
	b) В обращении к экземпляру класса (объекту) используется разделитель ':' (а не '::', как этого требует обращение к статической сущности).		* В обращении к экземпляру класса (объекту) используется разделитель ':' (а не '::', как этого требует обращение к статической сущности).

	==Факты==		==Факты==

Victor Yukhtenko в 07:44, 19 сентября 2007

2007-09-19T07:44:30Z

← Предыдущая		Версия 09:44, 19 сентября 2007
Строка 1:		Строка 1:
	Каждый класс должен иметь декларацию класса и имплементацию.		==Классы==
	'''Декларация класса''' содержит набор объявлений констант, доменов, предикатов, видимых извне.		Каждый класс должен иметь декларацию класса и имплементацию.

			'''Декларация класса''' содержит набор объявлений констант, доменов, предикатов, видимых извне.

	'''Имплементация класса''' содержит		'''Имплементация класса''' содержит
	*собственно реализацию предикатов (клаузы), объявленных в декларации,		*собственно реализацию предикатов (клаузы), объявленных в декларации,
Строка 245:		Строка 248:
	город_V:string Город.</vip>		город_V:string Город.</vip>
	на этапе компиляции выдаст ошибку, поскольку статический факт не инициализирован при объявлении.		на этапе компиляции выдаст ошибку, поскольку статический факт не инициализирован при объявлении.
	===Константы и домены===		==Константы и домены==
	Константы и домены могут объявляться везде - в декларациях классов, интерфейсов и в имплементациях. По своей сущности они, естественно, имеют статический характер.		Константы и домены могут объявляться везде - в декларациях классов, интерфейсов и в имплементациях. По своей сущности они, естественно, имеют статический характер.
	Объявления, сделанные в имплементации, видимы только внутри этой же имплементации.		Объявления, сделанные в имплементации, видимы только внутри этой же имплементации.
Строка 251:		Строка 254:
	Конкретное использование осуществляется путем добавления префикса декларации соответствующего класса или интерфейса в формате		Конкретное использование осуществляется путем добавления префикса декларации соответствующего класса или интерфейса в формате
	''<имя декларации класса или интерфейса>::<имя домена или константы>''.		''<имя декларации класса или интерфейса>::<имя домена или константы>''.
	===Взаимоотношени статических и динамических сущностей===		==Взаимоотношени статических и динамических сущностей==
	Клаузы предикатов, объявленных статическими, не могут обращаться к динамическим сущностям (предикатам и фактам).		Клаузы предикатов, объявленных статическими, не могут обращаться к динамическим сущностям (предикатам и фактам).
	То есть нельзя так:		То есть нельзя так:

Victor Yukhtenko в 07:41, 19 сентября 2007

2007-09-19T07:41:42Z

Внесённые изменения

Victor Yukhtenko в 07:23, 19 сентября 2007

2007-09-19T07:23:40Z

← Предыдущая		Версия 09:23, 19 сентября 2007
Строка 1:		Строка 1:
	~~==Классы==~~
	Каждый класс должен иметь декларацию класса и имлементацию. Декларация класса содержит набор объявлений констант, доменов, предикатов.		Каждый класс должен иметь декларацию класса и имлементацию. Декларация класса содержит набор объявлений констант, доменов, предикатов.
	Имплементация класса содержит собственно реализацию предикатов (клаузы).		Имплементация класса содержит собственно реализацию предикатов (клаузы).

Victor Yukhtenko: Новая: ==Классы== Каждый класс должен иметь декларацию класса и имлементацию. Декларация класса содержит наб...

2007-09-19T07:19:47Z

Новая: ==Классы== Каждый класс должен иметь декларацию класса и имлементацию. Декларация класса содержит наб...

Новая страница

==Классы==
Каждый класс должен иметь декларацию класса и имлементацию. Декларация класса содержит набор объявлений констант, доменов, предикатов.
Имплементация класса содержит собственно реализацию предикатов (клаузы).

'''Cтатический класс''' - класс не способный порождать объекты (экземпляры или точные копии).
Все предикаты и разделы фактов статического класса существуют
в единственном экземпляре во всем проекте.

'''Динамический класс''' - класс, способный порождать объекты (экземпляры или точные копии),
Каждый экземпляр динамического класса содержит свою копию предиката и свою копию раздела фактов.
Создание объекта (экземпляра или копии класса) осуществляется вызовом предиката-конструктора. Как правило, это предикат-функция ''new()'', но может быть и любой другой, объявленный как конструктор в разделе ''constructors'' декларации класса.

Статический класс - это класс, не имеющий интерфейса.
Или, что то же самое, - если класс не имеет инерфейса, то он - статический,

Если класс имеет интерфейс - то он - динамический.

Статические классы
Например, класс staticClass является статическим классом.
<vip>
class staticClass
end class staticClass

implement staticClass
end implement staticClass
</vip>
но этот класс ничего не способен делать.
Чтобы что-то делать, добавим в этот класс декларации предикатов и клаузы.

<vip>
class staticClass
predicates
visibleStaticPred:().
end class staticClass

implement staticClass
clauses
visibleStaticPred():-
...
invisibleStaticPred(),
...

class predicates
invisibleStaticPred:().
clauses
invisibleStaticPred():-
...
end implement staticClass
</vip>
Обращения к предикатам этого класса записываются как

<vip>
...
staticClass::staticVisiblePred(),
...
</vip>
(существенно использования именно :: для обращения к статической сущности)

Здесь предикат ''invisibleStaticPred'' является предикатом, объявленным внутри имплементации, и только внутри этой имплементации может быть вызван.
То есть предикаты, объявленные в декларации класса являются заведомо всегда статическими предикатами, а раздел объявлений предикатов внутри имплементации статического класса всегда должен имет вид
<vip>
class predicates
</vip>
Разделы фактов могут быть только в имплементации и для статичесих классов это объявление тоже использует форму
<vip>
class facts
</vip>
Если попробовать создать экземпляр класса ''staticClass'' с помощью вызова конструктора ''new()''

<vip> ...
staticClass::new(),
...
</vip>
то это не пропустит компилятор.

Таким образом, статические классы - это просто модули проекта.
Проект, построенный только на модулях (статических классах) - не имеет никакого отношения к объекто-ориентированной концепции программирования.

Динамические классы
Например, класс ''dynamicClass'' является динамическим классом, что определяется
конструкцией ''dynamicClass:justInterface''.
<vip>
class dynamicClass:justInterface
end class dynamicClass

implement dynamicClass
end implement dynamicClass

interface justInterface
end interface justInterface
</vip>
Опять-таки, синтаксически все правильно, но практически бесполезно.
Теперь добавим какие-нибудь полезности и вынесем вперед декларацию интерфейса.
<vip>interface justInterface
predicates
visibleDynamicPred:().
end interface justInterface

class dynamicClass:justInterface
predicates
visibleStaticPred:().
end class dynamicClass

implement dynamicClass
clauses
visibleStaticPred():-
...
invisibleStaticPred(),
...

clauses
visibleDynamicPred():-
...
invisibleStaticPred(),
...

class predicates
invisibleStaticPred:().
clauses
invisibleStaticPred():-
...

predicates
invisibleDynamicPred:().
clauses
invisibleDynamicPred():-
...

end implement dynamicClass
</vip>
Здесь мы имеем четыре предиката, которые имеют различные динамические особенности.

''visibleDynamicPred'' - динамический предикат, принадлежащий интерфесу ''justInterface'', видимый извне.
''visibleStaticPred'' - статический предикат, видимый извне.
''invisibleStaticPred'' - статический предикат, определенный в имплементации класса ''dynamicClass'', невидимый извне.
''invisibleDynamicPred'' - динамический предикат, определенный в имплементации класса ''dynamicClass'', невидимый извне.

Похожим образом внутри имплементации декларируются статические и динамические разделы фактов.

К такому классу можно обратиться как к статическому

<vip> ...
dynamicClass::visibleStaticPred(),
...
</vip>
но нельзя так:

<vip> ...
dynamicClass::visibleDynamicPred(),
...
</vip>
Чтобы вызвать предикат ''visibleDynamicPred()'', необходимо с помощью конструктора создать
экземпляр класса и обратиться к этому экземпляру:

<vip> ...
ЭкземплярDynamicClass=DynamicClass::new(),
ЭкземплярDynamicClass:visibleDynamicPred(),
...
</vip>
Примечания:
a) Конструктор ''new()'' является предопределенным конструктором, объявление которого не требуется;
B) В обращении к экземпляру класса (объекту) используется разделитель '''':'''' (а не '::', как этого требует обращение к статической сущности);
[[Категория:VipLanguage]]