// функция подсчета объема ведер и бутылок
ERRORCODE CalcVesselVolume( const OBJECT& po ) // вызов по ссылке не даст передать NULL
{
    if( o.type != TYPE_BUCKET && 
        o.type != TYPE_BOTTLE )
        return ERROR_BAD_OBJECT_TYPE;
   ...

// функция подсчета объема ведер и бутылок
   void CalcVesselVolume( const OBJECT& po ) // вызов по ссылке не даст передать NULL
{
    if( o.type != TYPE_BUCKET && 
        o.type != TYPE_BOTTLE )
        Throw( Ex_Errno("vessel_volume", "Неумелый прикладной программист подготовил дрянной объект-параметр для великолепной библиотечной процедуры" ));

   ...

// функция подсчета объема ведер и бутылок, вызов по ссылке не даст передать NULL 
   void CalcVesselVolume( const OBJECT& po ) { if( o.type != TYPE_BUCKET && o.type != TYPE_BOTTLE ) Throw( Ex_Errno("vessel_volume", "Неумелый прикладной программист подготовил дрянной объект-параметр для великолепной библиотечной процедуры" ));

   ...

// псевдокод, использующий выброс ошибки при "проверке параметров"
  void CalcVesselVolume( const OBJECT& po ) { 

    //предполагается абстрактная среда времени выполнения, поддерживающая работу с исключениями.

    //варианты использования:
    //а) Вызываемая процедура работает в одном (главном) потоке с вызывающей:
    //  При выбрасывании исключения управление передается в точку обработки ожидаемого исключения
    //  в коде вызывающего. Если такого места не обнаруживается, среда времени выполнения обязана уметь
    //  остановить такой поток и освободить занятые им ресурсы, без нарушения устойчивости в целом работы 
    //  запускающей среды.
    //  В Oracle Database, например, такой режим обеспечивается при запуске системой независимых pl/sql заданий (job).
    
    //б) Многопоточное окружение с главным потоком, порождающим дочерние.
    //   При возникновении ошибки в дочернем потоке среда выполнения не может просто погасить выбросивший исключение дочерний поток,
    //   а должна передать информацию о получении такого исключения в порождающий поток.
    //   В Oracle Database, например, такой режим поддерживается при параллельном выполнении SQL-запросов.
    
    //в) Распределенное окружение, вызывающий и вызываемый работают в независимых процессах,
    //   взаимодействие между которыми обеспечивается независимо от них обоих управляемой средой передачи сообщений.
    //   В Oracle Database это режим, к котром взаимодействует удалённый клиент и сервер.
    //   Пусть клиент явно запросил выполнения такой процедуры.
    //   Тогда для вызываемой процедуры вызывающим становится обслуживающий вызов серверный процесс.
    // 
    //   С точки зрения самого обслуживающего вызов процесса он всегда выполняет тот или курсор,
    //   отдавая результат выполнения в виде потока сообщений.
    //   В общем случае, при получении обслуживающим вызов процессом любого исключения,
    //   возникающем в процессе выполнения курсора, нельзя предсказать, 
    //   какого размера поток данных будет, или уже был, и был ли, отдан клиенту.
    //
    //   На стороне обслуживающего вызов процесса выполнение в этот момент должно прерваться,
    //   и сообщение о возникшей ошибке должно быть отдано клиенту отдельным сообщением, 
    //   вне потока передачи результатов выполнения заказанного курсора.
    //
    //   На стороне вызывающего клиента, в любом случае должен быть организован прием потока сообщений ошибках, переданных с сервера.
    //   Следует принять в расчет, что в составе этого же потока идут, кроме сообщений об ошибках прочие сообщения информационного плана, 
    //   докладывающие, например, о состоянии среды выполнения обслуживающего серверного процесса.
    //   Далее, в зависимости от конкретного устройства софта на клиентской стороне, обслуживающего вызов,
    //   или от его настроек, на стороне клиента может происходить или не происходить симметричный 
    //   выброс исключения, сигнализирующего о возникновении ошибки на серверной стороне.
    //   Во втором случае, клиентский код должен самостоятельно обследовать (обычно коллекцию) полученных от сервера сообщений,
    //   отделить информационные сообщения от сообщения об ошибках, и принять решение, что делать при наличии последних.
    //  
    //   На практике встречаются два подхода, один из которых либо полагается на гарантированность доставки сообщения об ошибке 
    //   и умение клиентского драйвера автоматически выбросить ошибку на клиенте, либо быть настроенным на такое умение.
    //
    //   Другой подход заключается в том, чтобы строить такие слои прикладных программных интерфейсов,
    //   которые гарантируют отсутствие необходимости анализа специального потока об ошибках,
    //   никогда не приводят к возникновению исключительной ситуации на стороне серверного обслуживающего процесса,
    //   и всю необходимую информацию явно содержат в параметрах вызываемой удаленной процедуры.    
    
     if( o.type != TYPE_BUCKET && o.type != TYPE_BOTTLE ) Throw( Ex_Errno("vessel_volume", "Неумелый прикладной программист подготовил дрянной объект-параметр для великолепной библиотечной процедуры" ));

   ...