Здравствуйте, _newcomer_, Вы писали:

__>Вот странные там по ссылке примеры приводят.
__>"...assertion could be used to check that the harddrive suddenly disapears..."
Да в интернете много чего странного можно прочитать. Например про то, что, дескать, каждый параметр надо во всех возможных вариантах проверять в каждом методе. 2 вложенных метода — значит две одинаковые проверки. 10 вложенных методов — 10 вложенных проверок. Крутяк

__>P.S.: Я, например, начал дискутировать в этой теме только с одной целью — вдруг кто-то покажет реальный пример, где все это нужно. И пока что-то никак.
Вам было приведено достаточно примеров. То, что вы не хотите их принимать, не означает, что они таковыми не являются.