OberonCore

Споры споры споры... но в них рождается истина
Мне кажется, Вы, Vlad, путаете ASSERT в BB с искл. ситуацией (представляемой значением какого-то типа) и/или с макросом assert в C++.

ASSERT - это не тип, который можно определить. Это встроенная в язык процедура, которая прерывает выполнение программы при не выполнении заданного условия. Эти условия не должны возникать если программа написана корректно. В этом смысле он похож на макрос assert из "assert.h". Различают ситуации численными кодами - которые выбираются по определенному соглашению и которые указываются в документации к функциям. Это во-первых.

Во-вторых, ASSERT не завершает программу полностью. Он завершает только вызванную средой процедуру, в которой не выполнилось условие ASSERT с выводом отладочного дампа со значением переменных. Далее среда (программа) функционирует как ни в чем не бывало.

И именно поэтому, все что дает ASSERT в Invoke интерфейса-обработчика - аварийно завершает выполнение процедуры-обработчика. BB как работал так и работает, Explorer - тоже. Единственное - плодятся окна "трэпа" с дампами.

Нет, не путаю.



Я в курсе.



Верно. Именно поэтому и не ставят в ASSERT "внешние" переменные, потому что к корректности программы они не имеют никакого отношения. Если провести грубую аналогию, то в срабатывании ASSERT'а виноват только ты. Ты можешь поставить ASSERT на аргументы своей процедуры, чтобы дать понять другому модулю (и другому разработчику), что он не прав - но это осмысленно только в рамках среды BB. За ее рамками - смысла никакого.



А вот с численными кодами, кстати, я не очень понял - зачем это нужно? И если нужно, то почему не строка?



В данном случае процедуру вызывает не среда, а Explorer. Или подсистема COM в BB создает какой-то прокси на каждый вызов метода интерфейса? Накладно это было бы, так что я сомневаюсь.



Естетственно. Если бы Explorer падал при вызове каждой глючной DLL, пользоваться им было бы невозможно.

Если Вы считаете нужным продолжить дискуссию, запустите BB, сделайте интерфейсный модуль для MS Internet Contorls при помощи DevComInterfaceGen. Просмотрите Dev-Man в подсистеме Ctl. Попробуйте сделать то, что делал я. Тогда в этой дискуссии будет какой-то смысл...

Посмотрел. У тебя не DLL (как я думал), а сам BB. Но это ничего не меняет. CtlT.OutDispatch.Invoke по прежнему зовет система (точнее COM-подсистема Windows). Трап обрабатывается BB. Ладно. Давай попробуем с другой стороны. Как ты думаешь, что получает Explorer при сработавшем ASSERT'е в твоем коде?