Классы. Наследование - История изменений

Victor Yukhtenko в 11:29, 28 сентября 2007

2007-09-28T11:29:59Z

← Предыдущая		Версия 13:29, 28 сентября 2007
Строка 9:		Строка 9:
	<vip>		<vip>
	predicates		predicates
	выделитьИзФайлаОтрезокТекстаСЗаданнойДлиной:(string ~~ИмяФайла~~, unsigned ЧислоСимоволов) ->string		выделитьИзФайлаОтрезокТекстаСЗаданнойДлиной:(string FileName, unsigned ЧислоСимоволов) ->string
	clauses		clauses
	выделитьИзФайлаОтрезокТекстаСЗаданнойДлиной(ИмяФайла,ЧислоСимоволов)=ОтрезокТекста:-		выделитьИзФайлаОтрезокТекстаСЗаданнойДлиной(ИмяФайла,ЧислоСимоволов)=ОтрезокТекста:-

Victor Yukhtenko в 11:28, 28 сентября 2007

2007-09-28T11:28:30Z

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

Victor Yukhtenko в 10:39, 28 сентября 2007

2007-09-28T10:39:44Z

← Предыдущая		Версия 12:39, 28 сентября 2007
Строка 2:		Строка 2:
	В вульгарной интерпретации под правилом видимости мы понимаем возможность обращения к базовым элементам языка (константам, доменам, предикатам, клаузам и фактам) одной сущности из какой-либо другой сущности. Сущностями являются в данном случае классы и объекты.		В вульгарной интерпретации под правилом видимости мы понимаем возможность обращения к базовым элементам языка (константам, доменам, предикатам, клаузам и фактам) одной сущности из какой-либо другой сущности. Сущностями являются в данном случае классы и объекты.

	'''''Примечание.''''' К правилам видимости мы не относим вопросы включения текстов интерфейсов, классов и имплементаций в соответствующие файлы проекта. Такие коллизии включения должны быть разрешены корректно использованием директив ''~~inlude~~'' в файлах проекта *.pack и .		'''''Примечание.''''' К правилам видимости мы не относим вопросы включения текстов интерфейсов, классов и имплементаций в соответствующие файлы проекта. Такие коллизии включения должны быть разрешены корректно с использованием директив ''include'' в файлах проекта .pack и .ph.

	Обычно, говоря о Visual Prolog, подчеркивают, что это - типизированный язык. Это подразумевает, что существует объявление (или декларация) типов данных, используемых в предикатах в качестве входных или выходных параметров. Это объявление используется затем в клаузе - исполняемой части предиката, где и интерпретируется как программистом, так и компилятором.		Обычно, говоря о Visual Prolog, подчеркивают, что это - типизированный язык. Это подразумевает, что существует объявление (или декларация) типов данных, используемых в предикатах в качестве входных или выходных параметров. Это объявление используется затем в клаузе - исполняемой части предиката, где и интерпретируется как программистом, так и компилятором.
Строка 15:		Строка 15:
	...		...
	</vip>		</vip>
	декларация (раздел predicates) и клауза (раздел clauses) помещаются рядом по тексту. Но это лишь частный случай возможного их взаимного размещения. Местом помещения исполнительной части всегда является имплементация класса. Местами помещения декларации могут быть:		декларация (раздел predicates) и клауза (раздел clauses) помещаются рядом по тексту. Но это лишь частный случай возможного их взаимного размещения. Местом помещения исполнительной части '''всегда''' является имплементация класса (implement ... end implement). Местами помещения декларации могут быть:
	*декларация класса (class ... end class)		*декларация класса (class ... end class)
	*декларация интерфейса (interface ... end interface)		*декларация интерфейса (interface ... end interface)
Строка 22:		Строка 22:
	Прежде всего рассмотрим варианты взаимного расположения декларации предиката и его клаузы.		Прежде всего рассмотрим варианты взаимного расположения декларации предиката и его клаузы.

	Поэтому ~~первым условием~~ видимости: декларация вызываемого элемента должна быть видна из места вызова.		Поэтому первое условие видимости: декларация вызываемого элемента должна быть видна из места вызова.

	Рассмотрим следующие программные конструкции		Рассмотрим следующие программные конструкции

Victor Yukhtenko в 09:49, 28 сентября 2007

2007-09-28T09:49:49Z

← Предыдущая		Версия 11:49, 28 сентября 2007
Строка 1:		Строка 1:
	~~Обсуждаемы~~ далее механизмы наследования включают понятие "правила видимости".		Обсуждаемые далее механизмы наследования включают понятие "правила видимости".
	В вульгарной интерпретации под правилом видимости мы понимаем возможность обращения к базовым элементам языка (константам, доменам, предикатам, клаузам и фактам) одной сущности из какой-либо другой сущности. Сущностями являются в данном случае классы и объекты.		В вульгарной интерпретации под правилом видимости мы понимаем возможность обращения к базовым элементам языка (константам, доменам, предикатам, клаузам и фактам) одной сущности из какой-либо другой сущности. Сущностями являются в данном случае классы и объекты.

	'''''Примечание.''''' К правилам видимости мы не относим вопросы включения текстов интерфейсов, классов и имплементаций в соответствующие файлы проекта. Такие коллизии включения должны быть разрешены корректно.		'''''Примечание.''''' К правилам видимости мы не относим вопросы включения текстов интерфейсов, классов и имплементаций в соответствующие файлы проекта. Такие коллизии включения должны быть разрешены корректно использованием директив ''inlude'' в файлах проекта *.pack и .

	Обычно, говоря о Visual Prolog, подчеркивают, что это - типизированный язык. Это подразумевает, что существует объявление (или декларация) типов данных, используемых в предикатах в качестве входных или выходных параметров. Это объявление используется затем в клаузе - исполняемой части предиката, где и интерпретируется как программистом, так и компилятором.		Обычно, говоря о Visual Prolog, подчеркивают, что это - типизированный язык. Это подразумевает, что существует объявление (или декларация) типов данных, используемых в предикатах в качестве входных или выходных параметров. Это объявление используется затем в клаузе - исполняемой части предиката, где и интерпретируется как программистом, так и компилятором.

Victor Yukhtenko в 10:59, 27 сентября 2007

2007-09-27T10:59:50Z

← Предыдущая		Версия 12:59, 27 сентября 2007
Строка 15:		Строка 15:
	...		...
	</vip>		</vip>
	декларация (раздел predicates) и клауза (раздел clauses) помещаются рядом по тексту. Но это лишь частный случай возможного их взаимного размещения. ~~Если местом~~ помещения исполнительной части всегда является имплементация класса~~, то местом~~ декларации ~~может~~ быть:		декларация (раздел predicates) и клауза (раздел clauses) помещаются рядом по тексту. Но это лишь частный случай возможного их взаимного размещения. Местом помещения исполнительной части всегда является имплементация класса. Местами помещения декларации могут быть:
	*декларация класса (class ... end class)		*декларация класса (class ... end class)
	*декларация интерфейса (interface ... end interface)		*декларация интерфейса (interface ... end interface)

Victor Yukhtenko в 10:56, 27 сентября 2007

2007-09-27T10:56:41Z

← Предыдущая		Версия 12:56, 27 сентября 2007
Строка 181:		Строка 181:
	B) все предикаты, декларированные интерфейсе Interface_1		B) все предикаты, декларированные интерфейсе Interface_1

	[[Категория:~~VipLanguage~~]]		[[Категория:VipLanguage_в_работе]]

Victor Yukhtenko в 10:53, 27 сентября 2007

2007-09-27T10:53:40Z

← Предыдущая		Версия 12:53, 27 сентября 2007
Строка 2:		Строка 2:
	В вульгарной интерпретации под правилом видимости мы понимаем возможность обращения к базовым элементам языка (константам, доменам, предикатам, клаузам и фактам) одной сущности из какой-либо другой сущности. Сущностями являются в данном случае классы и объекты.		В вульгарной интерпретации под правилом видимости мы понимаем возможность обращения к базовым элементам языка (константам, доменам, предикатам, клаузам и фактам) одной сущности из какой-либо другой сущности. Сущностями являются в данном случае классы и объекты.

	Примечание. К правилам видимости мы не относим вопросы включения текстов интерфейсов, классов и имплементаций в соответствующие файлы проекта. Такие коллизии включения должны быть разрешены корректно.		'''''Примечание.''''' К правилам видимости мы не относим вопросы включения текстов интерфейсов, классов и имплементаций в соответствующие файлы проекта. Такие коллизии включения должны быть разрешены корректно.

	~~В VIP все правила видимости определяются~~ местом декларации~~. Таким местом~~ может быть:		Обычно, говоря о Visual Prolog, подчеркивают, что это - типизированный язык. Это подразумевает, что существует объявление (или декларация) типов данных, используемых в предикатах в качестве входных или выходных параметров. Это объявление используется затем в клаузе - исполняемой части предиката, где и интерпретируется как программистом, так и компилятором.

			Например, в следущем коде
			<vip>
			predicates
			выделитьИзФайлаОтрезокТекстаСЗаданнойДлиной:(string ИмяФайла, unsigned ЧислоСимоволов) ->string
			clauses
			выделитьИзФайлаОтрезокТекстаСЗаданнойДлиной(ИмяФайла,ЧислоСимоволов)=ОтрезокТекста:-
			ПолныйТекстФайла=прочитатьФайл(ИмяФайла),
			...
			</vip>
			декларация (раздел predicates) и клауза (раздел clauses) помещаются рядом по тексту. Но это лишь частный случай возможного их взаимного размещения. Если местом помещения исполнительной части всегда является имплементация класса, то местом декларации может быть:
	*декларация класса (class ... end class)		*декларация класса (class ... end class)
	*декларация интерфейса (interface ... end interface)		*декларация интерфейса (interface ... end interface)
	*имплементация класса (implement ... end implement)		*имплементация класса (implement ... end implement)

			Прежде всего рассмотрим варианты взаимного расположения декларации предиката и его клаузы.

			Поэтому первым условием видимости: декларация вызываемого элемента должна быть видна из места вызова.

	Рассмотрим следующие программные конструкции		Рассмотрим следующие программные конструкции

Victor Yukhtenko в 09:53, 27 сентября 2007

2007-09-27T09:53:50Z

← Предыдущая		Версия 11:53, 27 сентября 2007
Строка 1:		Строка 1:
	Обсуждаемы далее механизмы наследования включают понятие "правила видимости".		Обсуждаемы далее механизмы наследования включают понятие "правила видимости".
	В вульгарной интерпретации под правилом видимости мы понимаем возможность обращения к константам, доменам, предикатам, клаузам и фактам ~~(базовым элементам языка~~) одной сущности из какой-либо другой сущности. ~~Такими сущностями~~ являются классы и объекты.		В вульгарной интерпретации под правилом видимости мы понимаем возможность обращения к базовым элементам языка (константам, доменам, предикатам, клаузам и фактам) одной сущности из какой-либо другой сущности. Сущностями являются в данном случае классы и объекты.

			Примечание. К правилам видимости мы не относим вопросы включения текстов интерфейсов, классов и имплементаций в соответствующие файлы проекта. Такие коллизии включения должны быть разрешены корректно.

	В VIP все правила видимости определяются местом декларации. Таким местом может быть:		В VIP все правила видимости определяются местом декларации. Таким местом может быть:

Victor Yukhtenko в 13:39, 26 сентября 2007

2007-09-26T13:39:17Z

← Предыдущая		Версия 15:39, 26 сентября 2007
Строка 37:		Строка 37:
	end implement child		end implement child
	</vip>		</vip>
			Здесь представлены два класса, порождающих объекты: parent (родитель) и child (потомок)
	Здесь
	helloWorldFromChild(...) - подчиняется правилу public		helloWorldFromChild(...) - подчиняется правилу public
	а на		а на

Victor Yukhtenko в 13:03, 26 сентября 2007

2007-09-26T13:03:59Z

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