Стиль программирования - История изменений

Максим Соболев: Исправление орфографической ошибки

2022-01-31T15:04:58Z

Исправление орфографической ошибки

← Предыдущая		Версия 17:04, 31 января 2022
Строка 150:		Строка 150:
	Следует различать внутренние ошибки и ошибки, связанные с использованием пакета, модуля, класса, компоненты. Если нарушается внутренняя инвариантность, то это внутренняя ошибка. Типичными примерами внутренних ошибок являются:		Следует различать внутренние ошибки и ошибки, связанные с использованием пакета, модуля, класса, компоненты. Если нарушается внутренняя инвариантность, то это внутренняя ошибка. Типичными примерами внутренних ошибок являются:
	*Факт базы данных, который должен быть определён, не определён на самом деле.		*Факт базы данных, который должен быть определён, не определён на самом деле.
	*Предикат, который должен бы быть процедурой, но компилятор не способен это распознать, преобразован в процедуру путём добавления "холостого" клауза. Если такой ~~кляуз~~ достигается, то это происходит от того, что предположение о том, что предыдущий клауз не может завершиться не успешно, было неверным.		*Предикат, который должен бы быть процедурой, но компилятор не способен это распознать, преобразован в процедуру путём добавления "холостого" клауза. Если такой клауз достигается, то это происходит от того, что предположение о том, что предыдущий клауз не может завершиться не успешно, было неверным.

	Внутренние ошибки должны генерировать по одному исключению на каждую. Использование исключений следует по принципу: по одному на каждую ошибку пользователя и по одному на каждую внутреннюю ошибку.		Внутренние ошибки должны генерировать по одному исключению на каждую. Использование исключений следует по принципу: по одному на каждую ошибку пользователя и по одному на каждую внутреннюю ошибку.

Максим Соболев: Исправление орфографической ошибки

2022-01-31T14:55:23Z

Исправление орфографической ошибки

← Предыдущая		Версия 16:55, 31 января 2022
Строка 10:		Строка 10:
	а не		а не
	<vip>someClass::someClassMethod</vip>		<vip>someClass::someClassMethod</vip>
	*Предикат должен выполнять точно одну задачу. Поэтому, если у Вас есть предикат, который что-то делает с каждым элементом списка, рассмотрите возможность разбиения его на два предиката: один делает проход по списку, а второй выполняет операцию над элементом. ~~Достроинство~~ такого подхода заключается в том, что предикат становится проще (и, следовательно, проще для модификации и понимания).		*Предикат должен выполнять точно одну задачу. Поэтому, если у Вас есть предикат, который что-то делает с каждым элементом списка, рассмотрите возможность разбиения его на два предиката: один делает проход по списку, а второй выполняет операцию над элементом. Достоинство такого подхода заключается в том, что предикат становится проще (и, следовательно, проще для модификации и понимания).
	*В общем случае, если с одной стороны от знака равенства ("=") должна быть переменная, то помещайте ее '''''справа''''', если она '''''связана'''''.		*В общем случае, если с одной стороны от знака равенства ("=") должна быть переменная, то помещайте ее '''''справа''''', если она '''''связана'''''.

Victor Yukhtenko: /* Типы и потоки ввода-вывода */

2007-11-16T10:31:12Z

Типы и потоки ввода-вывода

← Предыдущая		Версия 12:31, 16 ноября 2007
Строка 166:		Строка 166:
	==Типы и потоки ввода-вывода==		==Типы и потоки ввода-вывода==

	По умолчанию предикаты имеют тип '''procedure (процедуры)'''. Не стоит писать квалификатор '''procedure''' до тех пор, пока в этом не возникнет необходимость (но, возможно, в этом случае следует рассмотреть необходимость ~~измнения~~ имени предиката).		По умолчанию предикаты имеют тип '''procedure (процедуры)'''. Не стоит писать квалификатор '''procedure''' до тех пор, пока в этом не возникнет необходимость (но, возможно, в этом случае следует рассмотреть необходимость изменения имени предиката).

	<vip>predicates		<vip>predicates

Victor Yukhtenko: /* Типы и потоки ввода-вывода */

2007-11-16T10:30:26Z

Типы и потоки ввода-вывода

← Предыдущая		Версия 12:30, 16 ноября 2007
Строка 166:		Строка 166:
	==Типы и потоки ввода-вывода==		==Типы и потоки ввода-вывода==

	По ~~умлчанию~~ предикаты имеют тип '''procedure (процедуры)'''. Не стоит писать квалификатор '''procedure''' до тех пор, пока в этом не возникнет необходимость (но, возможно, в этом случае следует рассмотреть необходимость измнения имени предиката).		По умолчанию предикаты имеют тип '''procedure (процедуры)'''. Не стоит писать квалификатор '''procedure''' до тех пор, пока в этом не возникнет необходимость (но, возможно, в этом случае следует рассмотреть необходимость измнения имени предиката).

	<vip>predicates		<vip>predicates

Victor Yukhtenko: /* Типы и потоки ввода-вывода */

2007-11-16T08:24:34Z

Типы и потоки ввода-вывода

← Предыдущая		Версия 10:24, 16 ноября 2007
Строка 174:		Строка 174:

	<vip>predicates		<vip>predicates
	doSomeThing : (string In1, string In2). % не пишите здесь потоки ввода-вывода, если все потоки являются и так входными</vip>		doSomeThing : (string In1, string In2).
			% не пишите здесь потоки ввода-вывода, если все потоки являются и так входными</vip>

	Непосредственно с аргументами могут быть использованы квалификаторы '''[in]''' и '''[out]''' . Не пишите '''[in]''', поскольку аргументы являются входными по умолчанию.		Непосредственно с аргументами могут быть использованы квалификаторы '''[in]''' и '''[out]''' . Не пишите '''[in]''', поскольку аргументы являются входными по умолчанию.

	<vip>predicates		<vip>predicates
	doSomeThing : (string In1 /* не писать здесь [in]*/, string Out2 [out]).</vip>		doSomeThing : (string In1 /* не писать здесь [in]*/, string Out2 [out]).</vip>

	Если придикат имеет только один вариант потоков входа-выхода, надо использовать '''[out]''' вместо шаблона.		Если придикат имеет только один вариант потоков входа-выхода, надо использовать '''[out]''' вместо шаблона.

	<vip>predicates		<vip>predicates
	doSomeThing : (string In1 /* не писать здесь [in]*/, string Out2 [out]). % не писать шаболоны ввода-вывода, если вариант всего один</vip>		doSomeThing : (string In1 /* не писать здесь [in]*/, string Out2 [out]).
			% не писать шаболоны ввода-вывода, если вариант всего один</vip>

	По умолчанию факты являются недетерминированными - '''nondeterm'''. Не следует писать '''nondeterm''', если в этом нет особой необходимости (но следует, возможно, рассмотреть изменение имени факта).		По умолчанию факты являются недетерминированными - '''nondeterm'''. Не следует писать '''nondeterm''', если в этом нет особой необходимости (но следует, возможно, рассмотреть изменение имени факта).

	<vip>facts		<vip>facts
	personData_fact : (string FirstName, string LastName, string Address). % ~~do not write~~ "nondeterm" ~~here~~</vip>		personData_fact : (string FirstName, string LastName, string Address).
			% не писать здесь "nondeterm"</vip>

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

Victor Yukhtenko: /* Ссылки */

2007-11-16T08:22:41Z

Ссылки

@@ Строка 163: / Строка 163: @@
 *Есть желание обработать ''исключение''. Скажем, при открытии файла возникает прерывание, сообщающее, что файл не существует. В этом случает возникает желание блокировать завершение программы и показать некоторое сообщение об ошибке, говорящее о том, что файл не существует. Естественно, если такое исключение не является единственно возможным, то следует продолжить исключение.
 *Есть желание что-то сделать независимо от того, прерывается ли выполнение предиката. Типичный пример - Вы что-блокируете (захватываете ресурс), затем что-то делаете и, наконец, сбрасываете блокировку (освобождаете ресурс). Здесь Вам надо быть уверенным, что блокировка сброшена (ресурс освобождён), даже если выполнение прерывается. С этой целью используется ''try/finally''.
 ==Ссылки==

SergeMukhin в 11:10, 5 ноября 2007

2007-11-05T11:10:16Z

← Предыдущая		Версия 13:10, 5 ноября 2007
Строка 148:		Строка 148:

	===Внутренние и прочие ошибки===		===Внутренние и прочие ошибки===
	Следует различать ~~внутренни~~ ошибки и ошибки, связанные с использованием пакета, модуля, класса, компоненты. Если нарушается внутренняя инвариантность, то это внутренняя ошибка. Типичными примерами внутренних ошибок являются:		Следует различать внутренние ошибки и ошибки, связанные с использованием пакета, модуля, класса, компоненты. Если нарушается внутренняя инвариантность, то это внутренняя ошибка. Типичными примерами внутренних ошибок являются:
	*Факт базы данных, который должен быть ~~опреледен~~, не ~~определен~~ на самом деле.		*Факт базы данных, который должен быть определён, не определён на самом деле.
	*Предикат, который должен бы быть процедурой, но ~~компялятор~~ не способен это распознать, преобразован в процедуру ~~путем~~ добавления "холостого" ~~клуза~~. Если такой ~~клауз~~ достигается, то это происходит от того, что предположение о том, что предыдущий клауз не может завершиться ~~неуспешно~~, было неверным.		*Предикат, который должен бы быть процедурой, но компилятор не способен это распознать, преобразован в процедуру путём добавления "холостого" клауза. Если такой кляуз достигается, то это происходит от того, что предположение о том, что предыдущий клауз не может завершиться не успешно, было неверным.

	Внутренние ошибки должны генерировать по одному исключению на каждую. Использование исключений следует по принципу: по одному на каждую ошибку пользователя и по одному на каждую внутреннюю ошибку.		Внутренние ошибки должны генерировать по одному исключению на каждую. Использование исключений следует по принципу: по одному на каждую ошибку пользователя и по одному на каждую внутреннюю ошибку.
Строка 160:		Строка 160:
	*нарушение порядка следования предикатов		*нарушение порядка следования предикатов

	Блокировка (~~trap~~) завершения программы ~~може~~ быть предусмотрена по двум причинам:		Блокировка (try/catch) завершения программы может быть предусмотрена по двум причинам:
	*Есть желание обработать ''исключение''. Скажем, при открытии файла возникает прерывание, сообщающее, что файл не существует. В этом случает возникает желание блокировать завершение программы и показать некоторое сообщение об ошибке, говорящее о том, что файл не существует. ~~Естествнно~~, если такое исключение не является единственно возможным, то следует продолжить исключение.		*Есть желание обработать ''исключение''. Скажем, при открытии файла возникает прерывание, сообщающее, что файл не существует. В этом случает возникает желание блокировать завершение программы и показать некоторое сообщение об ошибке, говорящее о том, что файл не существует. Естественно, если такое исключение не является единственно возможным, то следует продолжить исключение.
	*Есть желание что-то сделать независимо от того, прерывается ли выполнение предиката. Типичный пример - Вы что-блокируете, затем что-то делаете и, наконец, сбрасываете блокировку. Здесь Вам надо быть уверенным, что блокировка сброшена, даже если выполнение прерывается. С этой целью используется ''finally''.		*Есть желание что-то сделать независимо от того, прерывается ли выполнение предиката. Типичный пример - Вы что-блокируете (захватываете ресурс), затем что-то делаете и, наконец, сбрасываете блокировку (освобождаете ресурс). Здесь Вам надо быть уверенным, что блокировка сброшена (ресурс освобождён), даже если выполнение прерывается. С этой целью используется ''try/finally''.

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

Victor Yukhtenko: /* References */

2007-10-27T16:58:07Z

References

← Предыдущая		Версия 18:58, 27 октября 2007
Строка 164:		Строка 164:
	*Есть желание что-то сделать независимо от того, прерывается ли выполнение предиката. Типичный пример - Вы что-блокируете, затем что-то делаете и, наконец, сбрасываете блокировку. Здесь Вам надо быть уверенным, что блокировка сброшена, даже если выполнение прерывается. С этой целью используется ''finally''.		*Есть желание что-то сделать независимо от того, прерывается ли выполнение предиката. Типичный пример - Вы что-блокируете, затем что-то делаете и, наконец, сбрасываете блокировку. Здесь Вам надо быть уверенным, что блокировка сброшена, даже если выполнение прерывается. С этой целью используется ''finally''.

	==~~References~~==		==Ссылки==
	[[en:Programming Pragmatics]]		[[en:Programming Pragmatics]]
	[[Category:VipLanguage]]		[[Category:VipLanguage]]
	[[Category:VipРуководства]]		[[Category:VipРуководства]]

Victor Yukhtenko: /* Внутренние и прочие ошибки */

2007-10-27T16:56:43Z

Внутренние и прочие ошибки

← Предыдущая		Версия 18:56, 27 октября 2007
Строка 161:		Строка 161:

	Блокировка (trap) завершения программы може быть предусмотрена по двум причинам:		Блокировка (trap) завершения программы може быть предусмотрена по двум причинам:
	*Есть желание обработать ''исключение''. Скажем, при открытии файла возникает прерывание, сообщающее, что файл не существует.		*Есть желание обработать ''исключение''. Скажем, при открытии файла возникает прерывание, сообщающее, что файл не существует. В этом случает возникает желание блокировать завершение программы и показать некоторое сообщение об ошибке, говорящее о том, что файл не существует. Естествнно, если такое исключение не является единственно возможным, то следует продолжить исключение.
	В этом случает возникает желание блокировать завершение программы и показать некоторое сообщение об ошибке, говорящее о том, что файл не существует. Естествнно, если такое исключение не является единственно возможным, то следует продолжить исключение.
	*Есть желание что-то сделать независимо от того, прерывается ли выполнение предиката. Типичный пример - Вы что-блокируете, затем что-то делаете и, наконец, сбрасываете блокировку. Здесь Вам надо быть уверенным, что блокировка сброшена, даже если выполнение прерывается. С этой целью используется ''finally''.		*Есть желание что-то сделать независимо от того, прерывается ли выполнение предиката. Типичный пример - Вы что-блокируете, затем что-то делаете и, наконец, сбрасываете блокировку. Здесь Вам надо быть уверенным, что блокировка сброшена, даже если выполнение прерывается. С этой целью используется ''finally''.

Victor Yukhtenko: /* Внутренние и прочие ошибки */

2007-10-27T16:55:10Z

Внутренние и прочие ошибки

← Предыдущая		Версия 18:55, 27 октября 2007
Строка 152:		Строка 152:
	*Предикат, который должен бы быть процедурой, но компялятор не способен это распознать, преобразован в процедуру путем добавления "холостого" клуза. Если такой клауз достигается, то это происходит от того, что предположение о том, что предыдущий клауз не может завершиться неуспешно, было неверным.		*Предикат, который должен бы быть процедурой, но компялятор не способен это распознать, преобразован в процедуру путем добавления "холостого" клуза. Если такой клауз достигается, то это происходит от того, что предположение о том, что предыдущий клауз не может завершиться неуспешно, было неверным.

	~~Internal errors should share one exception per unit~~. ~~You should always use an exception~~: ~~One for each user error and one for internal error (that is one for each unit)~~.		Внутренние ошибки должны генерировать по одному исключению на каждую. Использование исключений следует по принципу: по одному на каждую ошибку пользователя и по одному на каждую внутреннюю ошибку.

	~~Typical user errors~~:		Типичные пользовательские ошибки:

	*~~If an index is out of limits~~		*Выход индекса за допустимый диапазон
			*"неправильный" указатель на окно
			*нарушение порядка следования предикатов

	*If a window handle is "wrong"		Блокировка (trap) завершения программы може быть предусмотрена по двум причинам:
			*Есть желание обработать ''исключение''. Скажем, при открытии файла возникает прерывание, сообщающее, что файл не существует.
	*If the predicates are called in the wrong order.		В этом случает возникает желание блокировать завершение программы и показать некоторое сообщение об ошибке, говорящее о том, что файл не существует. Естествнно, если такое исключение не является единственно возможным, то следует продолжить исключение.
			*Есть желание что-то сделать независимо от того, прерывается ли выполнение предиката. Типичный пример - Вы что-блокируете, затем что-то делаете и, наконец, сбрасываете блокировку. Здесь Вам надо быть уверенным, что блокировка сброшена, даже если выполнение прерывается. С этой целью используется ''finally''.
	~~There are two reasons why one might want to~~ trap ~~an exit~~:

	*~~Because one wants to handle the~~ ''~~exception~~'', ~~say you open a file and get an exit saying that the file does not exists~~. ~~In that case you want to trap the exit and display some error message saying that the file does not exists~~. ~~Of course if the exception was not one of the ones you wanted to handle you have to continue the exception~~.

	*~~Because you want to do something regardless of whether the predicate exits~~, ~~a typical example is that you get some kind of lock do something and release the lock~~. ~~Here you want to be sure that the lock is released also if this something exits~~. ~~So you use~~ ''finally''.

	==References==		==References==