1pragma Restrictions (No_Exception_Propagation); 2 3package BIP_Exception_Pkg is 4 type T_Process is abstract tagged limited private; 5 type T_Process_Class_Access is access all T_Process'Class; 6 7 procedure V_Run (This : in T_Process) is abstract; 8 9private 10 type T_Process is abstract tagged limited null record; 11end BIP_Exception_Pkg; 12