Введение в Классы и Объекты - История изменений

Victor Yukhtenko: /* Заключение */

2007-10-24T05:46:01Z

Заключение

← Предыдущая		Версия 07:46, 24 октября 2007
Строка 266:		Строка 266:
	* Предикаты завершения, освобождающие занятую память.		* Предикаты завершения, освобождающие занятую память.
	* и т.д.		* и т.д.
			==Ссылки==
	[[en:Introduction_to_Classes_and_Objects]]		[[en:Introduction_to_Classes_and_Objects]]
	[[Категория:VipРуководства]]		[[Категория:VipРуководства]]
			[[Категория:VipLanguage]]

Victor Yukhtenko: /* Наследование */

2007-09-21T09:12:42Z

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

← Предыдущая		Версия 11:12, 21 сентября 2007
Строка 198:		Строка 198:

	==Наследование==		==Наследование==
	Для применения класса ''user'', можно использовать свойства одного из наших классов ''person''. Класс ''user'' похож на класс ''person'', за исключением того, что ''user'' имеет дело еще и с паролями. Хотелось бы, чтобы наш класс ''user'' наследовал раздел implement из класса person. Это можно сделать с помощью ~~следующего кода~~:		Для применения класса ''user'', можно использовать свойства одного из наших классов ''person''. Класс ''user'' похож на класс ''person'', за исключением того, что ''user'' имеет дело еще и с паролями. Хотелось бы, чтобы наш класс ''user'' наследовал раздел '''implement''' из класса ''person''. Это можно сделать с помощью квалификации '''inherits''', как показано ниже:
	<vip>implement user		<vip>implement user
	inherits person		inherits person
Строка 218:		Строка 218:
	end implement user</vip>		end implement user</vip>
	Раздел '''implement''' подтверждает, что этот класс наследует ('''inherits''') свойства класса ''person''. Отсюда следует, что:		Раздел '''implement''' подтверждает, что этот класс наследует ('''inherits''') свойства класса ''person''. Отсюда следует, что:
	* Объект ''person'' встраивается в каждый ~~сконструированный~~ объект ''user''.		* Объект ''person'' встраивается в каждый созданный объект ''user''.
	* Все предикаты, объявленные в интерфейсе ''person'', могут быть наследованы из класса ''person'' в класс ''user''.		* Все предикаты, объявленные в интерфейсе ''person'', могут быть наследованы из класса ''person'' в класс ''user''.
	Когда наследуется какой-нибудь предикат, определять его в разделе '''implement''' не нужно, т.к. наследуется определение предиката из раздела '''implement''' наследуемого класса.		Когда наследуется какой-нибудь предикат, определять его в разделе '''implement''' не нужно, т.к. наследуется определение предиката из раздела '''implement''' наследуемого класса.
Строка 240:		Строка 240:
	</vip>		</vip>
	Действие этого кода похоже на действие предыдущего фрагмента, но размер текста увеличился.		Действие этого кода похоже на действие предыдущего фрагмента, но размер текста увеличился.
	В этом фрагменте наследования из класса ''person'' не происходит. Вместо этого создан объект ''person'' и он сохранен в факте-переменной. Вместо наследования кода ''getName'' и ''setName'' они просто переопределены и теперь обращаются за решением к объекту из факт-переменной. Такие обращения за решением можно сократить с помощью ключевого слова '''delegate'''. Код в этом случае сократится.		В этом фрагменте наследования из класса ''person'' не происходит. Вместо этого создан объект ''person'' и он сохранен в одноименном факте-переменной. Вместо наследования кода ''getName'' и ''setName'' они просто переопределены и теперь обращаются за решением к объекту из факт-переменной. Такие обращения за решением можно сократить с помощью ключевого слова '''delegate'''. Код в этом случае сократится.
	<vip>		<vip>
	implement user		implement user

Victor Yukhtenko: /* Модули */

2007-09-21T09:05:34Z

Модули

← Предыдущая		Версия 11:05, 21 сентября 2007
Строка 94:		Строка 94:
	Это особые варианты классов, которые вообще не порождают объектов, поэтому они действуют, как модули, а не как классы. Класс, не конструирующий объекты (т.е., модуль), объявляется без указания объектного типа:		Это особые варианты классов, которые вообще не порождают объектов, поэтому они действуют, как модули, а не как классы. Класс, не конструирующий объекты (т.е., модуль), объявляется без указания объектного типа:
	<vip>		<vip>
	class io % ~~no type here~~		class io % тип не указан!
	predicates		predicates
	write : (string ToWrite).		write : (string ToWrite).
Строка 101:		Строка 101:
	</vip>		</vip>
	Такой класс не может порождать объекты.		Такой класс не может порождать объекты.

	==Создание и доступ==		==Создание и доступ==
	С использованием кода, приведенного выше, можно задать цель, в которой создается объект, который используется классом ''io'' (применение которого мы здесь обсуждать не будем) для выдачи на печать имени персоны.		С использованием кода, приведенного выше, можно задать цель, в которой создается объект, который используется классом ''io'' (применение которого мы здесь обсуждать не будем) для выдачи на печать имени персоны.

Victor Yukhtenko: /* Заключение */

2007-09-21T09:04:11Z

Заключение

← Предыдущая		Версия 11:04, 21 сентября 2007
Строка 262:		Строка 262:
	==Заключение==		==Заключение==
	Вы познакомились с самыми основными концепциями объектной системы в VIP. В ней имеются и другие интересные особенности, о которых здесь не было упомянуто, например,:		Вы познакомились с самыми основными концепциями объектной системы в VIP. В ней имеются и другие интересные особенности, о которых здесь не было упомянуто, например,:
	* Объекты могут поддерживать добавочные интерфейсы в разделе implement.		* Объекты могут поддерживать добавочные интерфейсы в разделе '''implement'''.
	* Предикаты завершения, освобождающие занятую память.		* Предикаты завершения, освобождающие занятую память.
	* и т.д.		* и т.д.
	[[en:Introduction_to_Classes_and_Objects]]		[[en:Introduction_to_Classes_and_Objects]]
	[[Категория:VipРуководства]]		[[Категория:VipРуководства]]

Victor Yukhtenko: /* Наследование */

2007-09-21T09:03:23Z

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

← Предыдущая		Версия 11:03, 21 сентября 2007
Строка 219:		Строка 219:
	* Объект ''person'' встраивается в каждый сконструированный объект ''user''.		* Объект ''person'' встраивается в каждый сконструированный объект ''user''.
	* Все предикаты, объявленные в интерфейсе ''person'', могут быть наследованы из класса ''person'' в класс ''user''.		* Все предикаты, объявленные в интерфейсе ''person'', могут быть наследованы из класса ''person'' в класс ''user''.
	Когда наследуется какой-нибудь предикат, определять его в разделе '''implement''' не нужно, т.к. наследуется определение предиката из раздела implement наследуемого класса.		Когда наследуется какой-нибудь предикат, определять его в разделе '''implement''' не нужно, т.к. наследуется определение предиката из раздела '''implement''' наследуемого класса.

	Можно получить тот же результат с помощью следующего кода (клозы для предикатов, обрабатывающие пароли остаются теми же):		Можно получить тот же результат с помощью следующего кода (клозы для предикатов, обрабатывающие пароли остаются теми же):
Строка 239:		Строка 239:
	</vip>		</vip>
	Действие этого кода похоже на действие предыдущего фрагмента, но размер текста увеличился.		Действие этого кода похоже на действие предыдущего фрагмента, но размер текста увеличился.
	В этом фрагменте наследования из класса ''person'' не происходит. Вместо этого создан объект ''person'' и он сохранен в факте-переменной. Вместо наследования кода ''getName'' и ''setName'' они просто переопределены и теперь обращаются за решением к объекту из факт-переменной. Такие обращения за решением можно сократить с помощью ключевого слова '''delegate'''. Код в этом случае ~~согратится~~.		В этом фрагменте наследования из класса ''person'' не происходит. Вместо этого создан объект ''person'' и он сохранен в факте-переменной. Вместо наследования кода ''getName'' и ''setName'' они просто переопределены и теперь обращаются за решением к объекту из факт-переменной. Такие обращения за решением можно сократить с помощью ключевого слова '''delegate'''. Код в этом случае сократится.
	<vip>		<vip>
	implement user		implement user
Строка 254:		Строка 254:
	Функционирование то же, но:		Функционирование то же, но:
	* Вызовы предикатов, относящихся к объекту ''person'' транзитом передаются в него		* Вызовы предикатов, относящихся к объекту ''person'' транзитом передаются в него
	* Mожно динамически изменить значение в факт-переменной на другой объект, например, на объект класса personInDB простым присваиванием нового объекта факту-переменной.		* Mожно динамически изменить значение в факт-переменной на другой объект, например, на объект класса ''personInDB'' простым присваиванием нового объекта факту-переменной.

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

Victor Yukhtenko: /* Заключение */

2007-09-21T09:01:23Z

Заключение

← Предыдущая		Версия 11:01, 21 сентября 2007
Строка 262:		Строка 262:
	==Заключение==		==Заключение==
	Вы познакомились с самыми основными концепциями объектной системы в VIP. В ней имеются и другие интересные особенности, о которых здесь не было упомянуто, например,:		Вы познакомились с самыми основными концепциями объектной системы в VIP. В ней имеются и другие интересные особенности, о которых здесь не было упомянуто, например,:
	• Объекты могут поддерживать добавочные интерфейсы в разделе implement.		* Объекты могут поддерживать добавочные интерфейсы в разделе implement.
	• Предикаты завершения, освобождающие занятую память.		* Предикаты завершения, освобождающие занятую память.
	• и т.д.		* и т.д.
	[[en:Introduction_to_Classes_and_Objects]]		[[en:Introduction_to_Classes_and_Objects]]
	[[Категория:VipРуководства]]		[[Категория:VipРуководства]]

Victor Yukhtenko: /* Наследование */

2007-09-21T08:59:19Z

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

← Предыдущая		Версия 10:59, 21 сентября 2007
Строка 197:		Строка 197:

	==Наследование==		==Наследование==
	Для применения класса user, можно использовать свойства одного из наших классов person. Класс user похож на класс person, за исключением того, что user имеет дело еще и с паролями. Хотелось бы, чтобы наш класс user наследовал раздел implement из класса person. Это можно сделать с помощью следующего кода:		Для применения класса ''user'', можно использовать свойства одного из наших классов ''person''. Класс ''user'' похож на класс ''person'', за исключением того, что ''user'' имеет дело еще и с паролями. Хотелось бы, чтобы наш класс ''user'' наследовал раздел implement из класса person. Это можно сделать с помощью следующего кода:
			<vip>implement user
			inherits person

	Раздел implement подтверждает, что этот класс наследует (inherits) свойства класса person. Отсюда следует, что:		facts
	* Объект person встраивается в каждый сконструированный объект user.		password : string.
	* Все предикаты, объявленные в интерфейсе person, могут быть наследованы из класса person в класс user.		clauses
	Когда наследуется какой-нибудь предикат, определять его в разделе implement не нужно, т.к. наследуется определение предиката из раздела implement наследуемого класса.		new(Name, Password) :-
			person::new(Name),
			password := Password.
			clauses
			trySetPassword(Old, New, Confirm) :-
			validatePassword(Old),
			New = Confirm,
			password := New.
			clauses
			validatePassword(Password) :-
			password = Password.
			end implement user</vip>
			Раздел '''implement''' подтверждает, что этот класс наследует ('''inherits''') свойства класса ''person''. Отсюда следует, что:
			* Объект ''person'' встраивается в каждый сконструированный объект ''user''.
			* Все предикаты, объявленные в интерфейсе ''person'', могут быть наследованы из класса ''person'' в класс ''user''.
			Когда наследуется какой-нибудь предикат, определять его в разделе '''implement''' не нужно, т.к. наследуется определение предиката из раздела implement наследуемого класса.

	Можно получить тот же результат с помощью следующего кода (клозы для предикатов, обрабатывающие пароли остаются теми же):		Можно получить тот же результат с помощью следующего кода (клозы для предикатов, обрабатывающие пароли остаются теми же):
Строка 208:		Строка 225:
	implement user		implement user
	facts		facts
	person : person.		person : person.
	password : string.		password : string.
	clauses		clauses
			new(Name, Password) :-
	new(Name, Password) :-		person := person::new(Name),
			password := Password.
	person := ~~person_class~~::new(Name),

	password := Password.

	clauses		clauses
			getName() = person:getName().
	getName() = person:getName().		clauses
			setName(Name) :-
			person:setName(Name).
			end implement user
			</vip>
			Действие этого кода похоже на действие предыдущего фрагмента, но размер текста увеличился.
			В этом фрагменте наследования из класса ''person'' не происходит. Вместо этого создан объект ''person'' и он сохранен в факте-переменной. Вместо наследования кода ''getName'' и ''setName'' они просто переопределены и теперь обращаются за решением к объекту из факт-переменной. Такие обращения за решением можно сократить с помощью ключевого слова '''delegate'''. Код в этом случае согратится.
			<vip>
			implement user
			delegate interface person to person
			facts
			person : person:=erroneous.
			password : string.
	clauses		clauses
			new(Name, Password) :-
	~~setName~~(Name) :- person:~~setName~~(Name).		person := person::new(Name),
	...		password := Password.
	end implement user_class		end implement user_class
	</vip>		</vip>
	В этом фрагменте наследования из класса person не происходит. Вместо этого создан объект person и он сохранен в факт-переменной. Вместо наследования кода getName и setName они просто переопределены и теперь обращаются за решением к объекту из факт-переменной. Такие обращения за решением можно сократить с помощью ключевого слова delegate.		Функционирование то же, но:
	~~Действие этого кода похоже на действие предыдущего фрагмента~~, но ~~есть заметные различия~~:		* Вызовы предикатов, относящихся к объекту ''person'' транзитом передаются в него
	* ~~Прежде всего~~, ~~увеличился размер текста.~~		* Mожно динамически изменить значение в факт-переменной на другой объект, например, на объект класса personInDB простым присваиванием нового объекта факту-переменной.
	* Объект person ~~не встраивается~~ в ~~объект user, а, вместо этого, оюъект ссылается на~~ него~~. Кроме того, увеличился размер занятой памяти.~~
	* ~~В последнем случае, можно~~ динамически изменить значение в факт-переменной на другой объект, например, на объект класса personInDB простым присваиванием нового объекта ~~факт~~-переменной.		VIP обрабатывает такие непрямые обращения довольно эффективно, но в случае наследования обработка все же происходит гораздо быстрее.

	Следует отметить, что второй вариант раздела implement имеет дополнительный непрямой вызов. VIP обрабатывает такие непрямые обращения довольно эффективно, но в случае наследования обработка все происходит гораздо быстрее.
	VIP дает возможность многократного наследования, т.е., вы можете одновременно наследовать многие классы.		VIP дает возможность многократного наследования, т.е., вы можете одновременно наследовать многие классы.

Victor Yukhtenko: /* Объект: первичный тип */

2007-09-21T08:34:41Z

Объект: первичный тип

← Предыдущая		Версия 10:34, 21 сентября 2007
Строка 193:		Строка 193:
	Квалификация '''supports''' порождает, таким образом, иерархию подтипов. Мы говорим, что ''user'' является подтипом ''person''.		Квалификация '''supports''' порождает, таким образом, иерархию подтипов. Мы говорим, что ''user'' является подтипом ''person''.

	==~~Объект:~~ первичный тип==		==object - первичный тип==
	Интерфейс~~, который~~ неявно поддерживает все интерфейсы~~, является объектным интерфейсом~~. ~~Объектный интерфейс~~ является интерфейсом, не имеющим содержания, т.е. в нем нет объявленных предикатов. Объектный интерфейс поддерживает, прямо или непрямо, любой другой интерфейс, поэтому все объекты имеют тип объектного интерфейса. Объектный интерфейс является супертипом для любого объекта.		Интерфейс '''object''' неявно поддерживает все интерфейсы. Интерфейс '''object''' является интерфейсом, не имеющим содержания, т.е. в нем нет объявленных предикатов. Объектный интерфейс '''object''' поддерживает, прямо или непрямо, любой другой интерфейс, поэтому все объекты имеют тип объектного интерфейса '''object'''. Объектный интерфейс '''object''' является супертипом для любого объекта.

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

Victor Yukhtenko: /* Объектная модель */

2007-09-21T06:56:09Z

Объектная модель

← Предыдущая		Версия 08:56, 21 сентября 2007
Строка 10:		Строка 10:
	Основными элементами объектной модели VIP являются объекты, объектные типы и классы.		Основными элементами объектной модели VIP являются объекты, объектные типы и классы.

	Основными средствами при работе с ними являются интерфейсы (~~'''~~interfaces~~'''~~), объявления классов(~~'''~~class~~'''~~ declarations) и ~~применения~~ (~~'''~~implementations~~'''~~).		Основными средствами при работе с ними являются интерфейсы (interfaces), объявления классов(class declarations) и исполнения (implementations).

	Интерфейсом называется именованный набор объявлений предикатов. Интерфейсы описывают доступ к объектам извне объекта. Интерфейсы представляют собой объектные типы.		'''Интерфейсом''' называется именованный набор объявлений предикатов и оформленный в виде раздела '''interface'''. Интерфейсы описывают доступ к объектам извне объекта. Интерфейсы представляют собой объектные типы.

	Рассмотрим следующее определение интерфейса:		Рассмотрим следующее определение интерфейса:
Строка 24:		Строка 24:
	Это определение интерфейса с именем '''''person'''''. В этом примере объекты типа '''''person''''' имеют два предиката ''getName'' и ''setName'', которые объявляются в этом разделе.		Это определение интерфейса с именем '''''person'''''. В этом примере объекты типа '''''person''''' имеют два предиката ''getName'' и ''setName'', которые объявляются в этом разделе.

	Интерфейсы только определяют типы объектов, классы порождают объекты. Класс имеет ~~разделы~~ '''~~declaration~~''' и '''~~implementation~~'''. Класс, который порождает объект '''''person''''', можно объявить так:		Интерфейсы только определяют типы объектов, классы порождают объекты. Класс имеет раздел '''class''' объявления (declaration) и раздел '''implement''' исполнения. Класс, который порождает объект '''''person''''', можно объявить так:
	<vip>		<vip>
	class person : person		class person : person
Строка 31:		Строка 31:
	end class person		end class person
	</vip>		</vip>
	Это объявление класса с именем '''''person''''', который создает объект типа '''''person'''''. Класс имеет конструктор с именем ''new'', который при вызове и порождает объект типа '''''person''''', передавая при этом новому объекту строку с именем ''Name''.		Это объявление класса с именем '''''person''''', который создает объект типа '''''person'''''. Класс имеет конструктор (contructor) с именем ''new'', который при вызове и порождает объект типа '''''person''''', передавая при этом новому объекту строку с именем ''Name''.
	У класса должен быть раздел ~~применения~~ ('''~~implementation~~'''), который может выглядеть так:		У класса должен быть раздел исполнения ('''implement'''), который может выглядеть так:
	<vip>		<vip>
	implement person		implement person
Строка 47:		Строка 47:
	end implement person		end implement person
	</vip>		</vip>
	Как видно, в этом разделе должны присутствовать определения для каждого из видимых извне (public) предикатов и конструкторов, т.е. для ''new'', ''getName'' и ''setName''. В разделе '''~~implementation~~''' можно, кроме того, объявить и определить дополнительные локальные элементы, доступ к которым возможен только из самого раздела '''~~implementation~~'''. Так, класс содержит объявление факта-переменной ''name'', который будет использоваться для хранения имени персоны.		Как видно, в этом разделе должны присутствовать определения для каждого из видимых извне (public) предикатов и конструкторов, т.е. для ''new'', ''getName'' и ''setName''. В разделе '''implement''' можно, кроме того, объявить и определить дополнительные локальные элементы, доступ к которым возможен только из самого раздела '''implement'''. Так, класс содержит объявление факта-переменной ''name'', который будет использоваться для хранения имени персоны.

	Каждый из объектов при создании получает свою собственную реализацию факта-переменной. Выше приведенные клозы будут ссылаться только на конкретную реализацию факта-переменной внутри объекта. Мы говорим, что этот предикат является объектным предикатом (object predicate), а факт является объектным фактом (object fact).		Каждый из объектов при создании получает свою собственную реализацию факта-переменной. Выше приведенные клозы будут ссылаться только на конкретную реализацию факта-переменной внутри объекта. Мы говорим, что этот предикат является объектным предикатом (object predicate), а факт является объектным фактом (object fact).

Victor Yukhtenko: /* Элементы класса */

2007-09-21T06:44:04Z

Элементы класса

← Предыдущая		Версия 08:44, 21 сентября 2007
Строка 87:		Строка 87:
	name := Name.		name := Name.
	end implement person</vip>		end implement person</vip>
	Здесь мы добавили факт класса ''createdCount'' и инициализировали его нулевым значением. Мы также добавил клоз для предиката ''getCreatedCount'', который возвращает текущее значение переменной ''createdCount''. И, наконец, мы добавили в текст ~~предиката~~-конструктора строку, которая увеличивает ''createdCount'' на единицу.		Здесь мы добавили факт класса ''createdCount'' и инициализировали его нулевым значением. Мы также добавил клоз для предиката ''getCreatedCount'', который возвращает текущее значение переменной ''createdCount''. И, наконец, мы добавили в текст клоза-конструктора строку, которая увеличивает ''createdCount'' на единицу.

	Отметим, что в конструкторе два присваивания имеют похожий вид, но одно присваивание ''createdCount := createdCount+1'', оперирующее с фактом класса, меняет состояние класса, а другое - ''name := Name'', оперирующее с фактом объекта, меняет состояние объекта.		Отметим, что в конструкторе два присваивания имеют похожий вид, но одно присваивание ''createdCount := createdCount+1'', оперирующее с фактом класса, меняет состояние класса, а другое - ''name := Name'', оперирующее с фактом объекта, меняет состояние объекта.