Обработка исключений - История изменений

SergeMukhin в 11:31, 10 января 2008

2008-01-10T11:31:50Z

← Предыдущая		Версия 13:31, 10 января 2008
Строка 1:		Строка 1:
	Исключение - это отклонение программы от маршрута "нормального" выполнения. Пакет exception из состава PFC содержит предикаты помогающие обрабатывать и ~~распростронять~~ исключения, которые возникают в программах на Прологе. Это руководство объясняет:		Исключение - это отклонение программы от маршрута "нормального" выполнения. Пакет exception из состава PFC содержит предикаты помогающие обрабатывать и распространять исключения, которые возникают в программах на Прологе. Это руководство объясняет:

	*Как обрабатывать исключения;		*Как обрабатывать исключения;
Строка 92:		Строка 92:
	Первый параметр предиката exception::raise - предикат classInfo, который генерируется средой IDE для каждого нового класса. Для генерируемого исключения неплохо было бы определить дополнительную информацию, относящуюся к данному исключению. В нашем случае полезно имя файла, поскольку нулевой размер связан с этим заданным файлом.		Первый параметр предиката exception::raise - предикат classInfo, который генерируется средой IDE для каждого нового класса. Для генерируемого исключения неплохо было бы определить дополнительную информацию, относящуюся к данному исключению. В нашем случае полезно имя файла, поскольку нулевой размер связан с этим заданным файлом.

	Предикат myExceptionZeroFileSize ~~создается~~ по шаблону:		Предикат myExceptionZeroFileSize создаётся по шаблону:

	<vip>clauses		<vip>clauses
Строка 126:		Строка 126:
	continuedFromDll : core::exception as "_ContinuedFromDll@12"</vip>		continuedFromDll : core::exception as "_ContinuedFromDll@12"</vip>

	и этот предикат экспортируется из DLL. Имплементация предиката continuedFromDll ~~создается~~ по шаблону (аналогично предикату myExceptionZeroFileSizeabove):		и этот предикат экспортируется из DLL. Имплементация предиката continuedFromDll создаётся по шаблону (аналогично предикату myExceptionZeroFileSizeabove):

	<vip>clauses		<vip>clauses

Victor Yukhtenko: /* Продолжение другого исключения */

2007-10-30T12:50:57Z

Продолжение другого исключения

← Предыдущая		Версия 14:50, 30 октября 2007
Строка 197:		Строка 197:
	Мы пытаемся здесь найти исключение '''continuedFromDll''' и мы вызываем продолжающееся предикатом исключение '''tryGetContinueException'''. Это ясно показывает, что, если исключение продолжающееся, то мы можем получить дополнительную информацию касательно самого исключения.		Мы пытаемся здесь найти исключение '''continuedFromDll''' и мы вызываем продолжающееся предикатом исключение '''tryGetContinueException'''. Это ясно показывает, что, если исключение продолжающееся, то мы можем получить дополнительную информацию касательно самого исключения.

	Полностью пример представлен в проекте '''continueException\testContinuedException\testContinuedException.prj6'''. Необходимо построить сначала приложение '''continueException\continueException.prj6''' перед тем как вызывать на выполнение исполняемое приложение ~~testContunedException~~.		Полностью пример представлен в проекте '''continueException\testContinuedException\testContinuedException.prj6'''. Необходимо построить сначала приложение '''continueException\continueException.prj6''' перед тем как вызывать на выполнение исполняемое приложение testContinuedException.

	==trap vs try==		==trap vs try==

Victor Yukhtenko: /* Как перехватывать исключения */

2007-10-30T12:45:35Z

Как перехватывать исключения

← Предыдущая		Версия 14:45, 30 октября 2007
Строка 9:		Строка 9:
	Рассмотрим программу, которая читает текстовый файл и выводит его содержимое на консоль. PFC предлагает предикат '''file::readString''', который позволяет выполнить эту задачу. Однако, некоторые обстоятельства могут помешать эту задачу; например, заданное имя файла ссылается на несуществующий файл. Когда предикат '''file::readString''' не может выполнить задачу, он генерирует исключение.		Рассмотрим программу, которая читает текстовый файл и выводит его содержимое на консоль. PFC предлагает предикат '''file::readString''', который позволяет выполнить эту задачу. Однако, некоторые обстоятельства могут помешать эту задачу; например, заданное имя файла ссылается на несуществующий файл. Когда предикат '''file::readString''' не может выполнить задачу, он генерирует исключение.

	Visual Prolog предлагает конструкцию '''try/catch''' (см. [[trap vs try]]), которая перехватывает исключение и позволяет его обработать. Детальное описание этой конструкции можно найти в справке по Visual Prolog ('''Language Reference -> Exception Handling''').		Visual Prolog предлагает конструкцию '''try/catch''' (см. [[#trap vs try\|Try вместо Trap]]), которая перехватывает исключение и позволяет его обработать. Детальное описание этой конструкции можно найти в справке по Visual Prolog ('''Language Reference -> Exception Handling''').

	Соответственно, код для перехвата исключения будет выглядеть так:		Соответственно, код для перехвата исключения будет выглядеть так:

SergeMukhin в 12:34, 30 октября 2007

2007-10-30T12:34:18Z

← Предыдущая		Версия 14:34, 30 октября 2007
Строка 9:		Строка 9:
	Рассмотрим программу, которая читает текстовый файл и выводит его содержимое на консоль. PFC предлагает предикат '''file::readString''', который позволяет выполнить эту задачу. Однако, некоторые обстоятельства могут помешать эту задачу; например, заданное имя файла ссылается на несуществующий файл. Когда предикат '''file::readString''' не может выполнить задачу, он генерирует исключение.		Рассмотрим программу, которая читает текстовый файл и выводит его содержимое на консоль. PFC предлагает предикат '''file::readString''', который позволяет выполнить эту задачу. Однако, некоторые обстоятельства могут помешать эту задачу; например, заданное имя файла ссылается на несуществующий файл. Когда предикат '''file::readString''' не может выполнить задачу, он генерирует исключение.

	Visual Prolog предлагает конструкцию '''try/catch''' (см. :#trap vs try), которая перехватывает исключение и позволяет его обработать. Детальное описание этой конструкции можно найти в справке по Visual Prolog ('''Language Reference -> Exception Handling''').		Visual Prolog предлагает конструкцию '''try/catch''' (см. [[trap vs try]]), которая перехватывает исключение и позволяет его обработать. Детальное описание этой конструкции можно найти в справке по Visual Prolog ('''Language Reference -> Exception Handling''').

	Соответственно, код для перехвата исключения будет выглядеть так:		Соответственно, код для перехвата исключения будет выглядеть так:

SergeMukhin: /* Как перехватывать исключения */

2007-10-30T12:32:07Z

Как перехватывать исключения

← Предыдущая		Версия 14:32, 30 октября 2007
Строка 9:		Строка 9:
	Рассмотрим программу, которая читает текстовый файл и выводит его содержимое на консоль. PFC предлагает предикат '''file::readString''', который позволяет выполнить эту задачу. Однако, некоторые обстоятельства могут помешать эту задачу; например, заданное имя файла ссылается на несуществующий файл. Когда предикат '''file::readString''' не может выполнить задачу, он генерирует исключение.		Рассмотрим программу, которая читает текстовый файл и выводит его содержимое на консоль. PFC предлагает предикат '''file::readString''', который позволяет выполнить эту задачу. Однако, некоторые обстоятельства могут помешать эту задачу; например, заданное имя файла ссылается на несуществующий файл. Когда предикат '''file::readString''' не может выполнить задачу, он генерирует исключение.

	Visual Prolog предлагает конструкцию '''try/catch''' (см. #trap vs try), которая перехватывает исключение и позволяет его обработать. Детальное описание этой конструкции можно найти в справке по Visual Prolog ('''Language Reference -> Exception Handling''').		Visual Prolog предлагает конструкцию '''try/catch''' (см. :#trap vs try), которая перехватывает исключение и позволяет его обработать. Детальное описание этой конструкции можно найти в справке по Visual Prolog ('''Language Reference -> Exception Handling''').

	Соответственно, код для перехвата исключения будет выглядеть так:		Соответственно, код для перехвата исключения будет выглядеть так:
Строка 22:		Строка 22:

	<vip>class predicates		<vip>class predicates
	handleFileReadError : ( exception::traceID TraceId ) failure.		handleFileReadError : (exception::traceID TraceId) failure.
	clauses		clauses
	handleFileReadError(TraceId):-		handleFileReadError(TraceId):-

SergeMukhin в 12:29, 30 октября 2007

2007-10-30T12:29:22Z

← Предыдущая		Версия 14:29, 30 октября 2007
Строка 9:		Строка 9:
	Рассмотрим программу, которая читает текстовый файл и выводит его содержимое на консоль. PFC предлагает предикат '''file::readString''', который позволяет выполнить эту задачу. Однако, некоторые обстоятельства могут помешать эту задачу; например, заданное имя файла ссылается на несуществующий файл. Когда предикат '''file::readString''' не может выполнить задачу, он генерирует исключение.		Рассмотрим программу, которая читает текстовый файл и выводит его содержимое на консоль. PFC предлагает предикат '''file::readString''', который позволяет выполнить эту задачу. Однако, некоторые обстоятельства могут помешать эту задачу; например, заданное имя файла ссылается на несуществующий файл. Когда предикат '''file::readString''' не может выполнить задачу, он генерирует исключение.

	Visual Prolog предлагает конструкцию '''try/catch''', которая перехватывает исключение и позволяет его обработать. Детальное описание этой конструкции можно найти в справке по Visual Prolog ('''Language Reference -> Exception Handling''').		Visual Prolog предлагает конструкцию '''try/catch''' (см. #trap vs try), которая перехватывает исключение и позволяет его обработать. Детальное описание этой конструкции можно найти в справке по Visual Prolog ('''Language Reference -> Exception Handling''').

	Соответственно, код для перехвата исключения будет выглядеть так:		Соответственно, код для перехвата исключения будет выглядеть так:

SergeMukhin: Trap vs try

2007-10-30T12:27:23Z

Trap vs try

← Предыдущая		Версия 14:27, 30 октября 2007
Строка 198:		Строка 198:

	Полностью пример представлен в проекте '''continueException\testContinuedException\testContinuedException.prj6'''. Необходимо построить сначала приложение '''continueException\continueException.prj6''' перед тем как вызывать на выполнение исполняемое приложение testContunedException.		Полностью пример представлен в проекте '''continueException\testContinuedException\testContinuedException.prj6'''. Необходимо построить сначала приложение '''continueException\continueException.prj6''' перед тем как вызывать на выполнение исполняемое приложение testContunedException.

			==trap vs try==
			Начиная с версии 7.0 появилась конструкция '''try/catch/finally''', которая заменяет встроенные предикаты '''trap/3''' и '''finally/2'''.

	==Ссылки==		==Ссылки==

SergeMukhin: /* Продолжение другого исключения */

2007-10-30T12:24:11Z

Продолжение другого исключения

← Предыдущая		Версия 14:24, 30 октября 2007
Строка 152:		Строка 152:
	catch TraceID do		catch TraceID do
	handleFileReadError(TraceID)		handleFileReadError(TraceID)
	end ~~catch~~,		end try,
	!,		!,
	stdIO::write("The content of ",myFileName,"is:\n",MyTxtFileContent).		stdIO::write("The content of ",myFileName,"is:\n",MyTxtFileContent).

SergeMukhin: PFC не может перехватывать исключения

2007-10-29T11:04:37Z

PFC не может перехватывать исключения

← Предыдущая		Версия 13:04, 29 октября 2007
Строка 1:		Строка 1:
	Исключение - это отклонение программы от маршрута "нормального" выполнения. Пакет exception из состава PFC содержит предикаты ~~для перехвата исключений~~, которые возникают в программах на Прологе. Это руководство объясняет:		Исключение - это отклонение программы от маршрута "нормального" выполнения. Пакет exception из состава PFC содержит предикаты помогающие обрабатывать и распростронять исключения, которые возникают в программах на Прологе. Это руководство объясняет:

	*Как обрабатывать исключения;		*Как обрабатывать исключения;
Строка 7:		Строка 7:
	==Как перехватывать исключения==		==Как перехватывать исключения==

	Рассмотрим программу, которая читает текстовый файл и выводит его содержимое на консоль. PFC предлагает предикат '''file::readString''', который позволяет выполнить эту задачу. Однако, некоторые ~~обстоятельтства~~ могут помешать эту задачу; например, заданное имя файла ссылается на несуществующий файл. Когда предикат '''file::readString''' не может выполнить задачу, он генерирует исключение.		Рассмотрим программу, которая читает текстовый файл и выводит его содержимое на консоль. PFC предлагает предикат '''file::readString''', который позволяет выполнить эту задачу. Однако, некоторые обстоятельства могут помешать эту задачу; например, заданное имя файла ссылается на несуществующий файл. Когда предикат '''file::readString''' не может выполнить задачу, он генерирует исключение.

	Visual Prolog предлагает конструкцию '''try/catch''', которая перехватывает исключение и позволяет его обработать. Детальное описание этой конструкции можно найти в справке по Visual Prolog ('''Language Reference -> Exception Handling''').		Visual Prolog предлагает конструкцию '''try/catch''', которая перехватывает исключение и позволяет его обработать. Детальное описание этой конструкции можно найти в справке по Visual Prolog ('''Language Reference -> Exception Handling''').
Строка 32:		Строка 32:
	% но параметр не может участвовать в сравнении с помощью ' = '.		% но параметр не может участвовать в сравнении с помощью ' = '.
	% смотрите exceptionState::equals		% смотрите exceptionState::equals
	_Kind, % ~~исключени~~ может быть возбуждено или продолжено		_Kind, % исключение может быть возбуждено или продолжено
	ExtraInfo,		ExtraInfo,
	_TraceId, % здесь идентификатор ошибки, но необходимости в проверке нет		_TraceId, % здесь идентификатор ошибки, но необходимости в проверке нет
Строка 69:		Строка 69:

	==Как вызвать исключение==		==Как вызвать исключение==
	Рассмотрим программу, которая проверяет размер заданного файла. PFC предлагает предикат file::getFileProperties, который возвращает размер заданного файла. Если файл имеет нулевой размер, то мы можем вызвать исключение с помощью предиката exception::raise. Необходимо при этом создать предикат, который будет характеризовать исключение. С этой целью мы ~~создаем~~ предикат myExceptionZeroFileSize. Код, вызывающий исключение, будет выглядеть так:		Рассмотрим программу, которая проверяет размер заданного файла. PFC предлагает предикат file::getFileProperties, который возвращает размер заданного файла. Если файл имеет нулевой размер, то мы можем вызвать исключение с помощью предиката exception::raise. Необходимо при этом создать предикат, который будет характеризовать исключение. С этой целью мы создаём предикат myExceptionZeroFileSize. Код, вызывающий исключение, будет выглядеть так:

	<vip>clauses		<vip>clauses
Строка 108:		Строка 108:
	==Продолжение другого исключения==		==Продолжение другого исключения==

	Рассмотрим программу, ~~помещенную~~ в DLL, которая читает текстовый файл и его содержимое ~~передает~~ в возвращаемом параметре. Если происходит исключение, то DLL продолжает его и добавляет информацию о версии DLL. Для продолжения исключения код выглядит так:		Рассмотрим программу, помещённую в DLL, которая читает текстовый файл и его содержимое передаёт в возвращаемом параметре. Если происходит исключение, то DLL продолжает его и добавляет информацию о версии DLL. Для продолжения исключения код выглядит так:

	<vip>constants		<vip>constants

SergeMukhin: Trap->try

2007-10-29T11:01:15Z

Trap->try

← Предыдущая		Версия 13:01, 29 октября 2007
Строка 114:		Строка 114:
	clauses		clauses
	loadFile(FileName) = FileContent :-		loadFile(FileName) = FileContent :-
	~~trap~~		try
	(		FileContent = file::readString(FileName, _IsUnicode)
	FileContent = file::readString(FileName, _IsUnicode),		catch ErrorCode do
	ErrorCode,
	exception::continue(ErrorCode, classInfo, continuedFromDll,		exception::continue(ErrorCode, classInfo, continuedFromDll,
	[namedValue(version_Parameter,string(dllVersion))])		[namedValue(version_Parameter,string(dllVersion))])
	).</vip>		end try.</vip>

	Предикат continuedFromDll объявлен как:		Предикат continuedFromDll объявлен как:
Строка 149:		Строка 148:
	console::init(),		console::init(),
	initExceptionState(exception::getExceptionState()),		initExceptionState(exception::getExceptionState()),
	~~trap~~		try
	(		MyTxtFileContent = loadFile(myFileName)
	MyTxtFileContent = loadFile(myFileName),		catch TraceID do
	TraceID,
	handleFileReadError(TraceID)		handleFileReadError(TraceID)
	),		end catch,
	!,		!,
	stdIO::write("The content of ",myFileName,"is:\n",MyTxtFileContent).		stdIO::write("The content of ",myFileName,"is:\n",MyTxtFileContent).
	run().		run().