Subversion Repositories openrisc

-- C761007.A

--

--

--                             Grant of Unlimited Rights

--

--     Under contracts F33600-87-D-0337, F33600-84-D-0280, MDA903-79-C-0687,

--     F08630-91-C-0015, and DCA100-97-D-0025, the U.S. Government obtained

--     unlimited rights in the software and documentation contained herein.

--     Unlimited rights are defined in DFAR 252.227-7013(a)(19).  By making

--     this public release, the Government intends to confer upon all

--     recipients unlimited rights  equal to those held by the Government.

--     These rights include rights to use, duplicate, release or disclose the

--     released technical data and computer software in whole or in part, in

--     any manner and for any purpose whatsoever, and to have or permit others

--     to do so.

--

--                                    DISCLAIMER

--

--     ALL MATERIALS OR INFORMATION HEREIN RELEASED, MADE AVAILABLE OR

--     DISCLOSED ARE AS IS.  THE GOVERNMENT MAKES NO EXPRESS OR IMPLIED

--     WARRANTY AS TO ANY MATTER WHATSOEVER, INCLUDING THE CONDITIONS OF THE

--     SOFTWARE, DOCUMENTATION OR OTHER INFORMATION RELEASED, MADE AVAILABLE

--     OR DISCLOSED, OR THE OWNERSHIP, MERCHANTABILITY, OR FITNESS FOR A

--     PARTICULAR PURPOSE OF SAID MATERIAL.

--*

--

-- OBJECTIVE:

--      Check that if a finalize procedure invoked by a transfer of control

--      due to selection of a terminate alternative attempts to propagate an

--      exception, the exception is ignored, but any other finalizations due

--      to be performed are performed.

--

--

-- TEST DESCRIPTION:

--      This test declares a nested controlled data type, and embeds an object

--      of that type within a protected type.  Objects of the protected type

--      are created and destroyed, and the actions of the embedded controlled

--      object are checked.  The container controlled type causes an exception

--      as the last part of it's finalization operation.

--

--      This test utilizes several tasks to accomplish the objective.  The

--      tasks contain delays to ensure that the expected order of processing

--      is indeed accomplished.

--

--      Subtest 1:

--        local task object runs to normal completion

--

--      Subtest 2:

--        local task aborts a nested task to cause finalization

--

--      Subtest 3:

--        local task sleeps long enough to allow procedure started

--        asynchronously to go into infinite loop.  Procedure is then aborted

--        via ATC, causing finalization of objects.

--

--      Subtest 4:

--        local task object takes terminate alternative, causing finalization

--

--

-- CHANGE HISTORY:

--      06 JUN 95   SAIC    Initial version

--      05 APR 96   SAIC    Documentation changes

--      03 MAR 97   PWB.CTA Allowed two finalization orders for ATC test

--      02 DEC 97   EDS     Remove duplicate characters from check string.

--!

---------------------------------------------------------------- C761007_0

with Ada.Finalization;

package C761007_0 is

  type Internal is new Ada.Finalization.Controlled

    with record

      Effect : Character;

    end record;

  procedure Finalize( I: in out Internal );

  Side_Effect : String(1..80);  -- way bigger than needed

  Side_Effect_Finger : Natural := 0;

end C761007_0;

-- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- --

with TCTouch;

package body C761007_0 is

  procedure Finalize( I : in out Internal ) is

    Previous_Side_Effect : Boolean := False;

  begin

    -- look to see if this character has been finalized yet

    for SEI in 1..Side_Effect_Finger loop

      Previous_Side_Effect := Previous_Side_Effect

                              or Side_Effect(Side_Effect_Finger) = I.Effect;

    end loop;

    -- if not, then tack it on to the string, and touch the character

    if not Previous_Side_Effect then

      Side_Effect_Finger := Side_Effect_Finger +1;

      Side_Effect(Side_Effect_Finger) := I.Effect;

      TCTouch.Touch(I.Effect);

    end if;

  end Finalize;

end C761007_0;

---------------------------------------------------------------- C761007_1

with C761007_0;

with Ada.Finalization;

package C761007_1 is

  type Container is new Ada.Finalization.Controlled

    with record

      Effect   : Character;

      Content  : C761007_0.Internal;

    end record;

  procedure Finalize( C: in out Container );

  Side_Effect : String(1..80);  -- way bigger than needed

  Side_Effect_Finger : Natural := 0;

  This_Exception_Is_Supposed_To_Be_Ignored : exception;

end C761007_1;

-- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- --

with TCTouch;

package body C761007_1 is

  procedure Finalize( C: in out Container ) is

    Previous_Side_Effect : Boolean := False;

  begin

    -- look to see if this character has been finalized yet

    for SEI in 1..Side_Effect_Finger loop

      Previous_Side_Effect := Previous_Side_Effect

                              or Side_Effect(Side_Effect_Finger) = C.Effect;

    end loop;

    -- if not, then tack it on to the string, and touch the character

    if not Previous_Side_Effect then

      Side_Effect_Finger := Side_Effect_Finger +1;

      Side_Effect(Side_Effect_Finger) := C.Effect;

      TCTouch.Touch(C.Effect);

    end if;

    raise This_Exception_Is_Supposed_To_Be_Ignored;

  end Finalize;

end C761007_1;

---------------------------------------------------------------- C761007_2

with C761007_1;

package C761007_2 is

  protected type Prot_W_Fin_Obj is

    procedure Set_Effects( Container, Filling: Character );

  private

    The_Data_Under_Test : C761007_1.Container;

    -- finalization for this will occur when the Prot_W_Fin_Obj object

    --  "goes out of existence" for whatever reason.

  end Prot_W_Fin_Obj;

end C761007_2;

-- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- --

package body C761007_2 is

  protected body Prot_W_Fin_Obj is

    procedure Set_Effects( Container, Filling: Character ) is

    begin

      The_Data_Under_Test.Effect := Container;           -- A, etc.

      The_Data_Under_Test.Content.Effect := Filling;     -- B, etc.

    end Set_Effects;

  end Prot_W_Fin_Obj;

end C761007_2;

------------------------------------------------------------------ C761007

with Report;

with Impdef;

with TCTouch;

with C761007_0;

with C761007_1;

with C761007_2;

procedure C761007 is

  task type Subtests( Outer, Inner : Character) is

    entry Ready;

    entry Complete;

  end Subtests;

  task body Subtests is

    Local_Prot_W_Fin_Obj : C761007_2.Prot_W_Fin_Obj;

  begin

    Local_Prot_W_Fin_Obj.Set_Effects( Outer, Inner );

    accept Ready;

    select

      accept Complete;

    or terminate;       -- used in Subtest 4

    end select;

  exception

    -- the exception caused by the finalization of Local_Prot_W_Fin_Obj

    --  should never be visible to this scope.

    when others => Report.Failed("Exception in a Subtest object "

                                 & Outer & Inner);

  end Subtests;

  procedure Subtest_1 is

    -- check the case where "nothing special" happens.

    This_Subtest : Subtests( 'A', 'B' );

  begin

    This_Subtest.Ready;

    This_Subtest.Complete;

    while not This_Subtest'Terminated loop -- wait for finalization

      delay Impdef.Clear_Ready_Queue;

    end loop;

    -- in the finalization of This_Subtest, the controlled object embedded in

    -- the Prot_W_Fin_Obj will finalize.  An exception is raised in the

    -- container object, after "touching" it's tag character.

    -- The finalization of the contained controlled object must be performed.

    TCTouch.Validate( "AB", "Item embedded in task" );

  exception

    when others => Report.Failed("Undesirable exception in Subtest_1");

  end Subtest_1;

  procedure Subtest_2 is

    -- check for explicit abort

    task Subtest_Task is

      entry Complete;

    end Subtest_Task;

    task body Subtest_Task is

      task Nesting;

      task body Nesting is

        Deep_Nesting : Subtests( 'E', 'F' );

      begin

        if Report.Ident_Bool( True ) then

          -- controlled objects have been created in the elaboration of

          -- Deep_Nesting.  Deep_Nesting must call the Set_Effects operation

          -- in the Prot_W_Fin_Obj, and then hang waiting for the Complete

          -- entry call.

          Deep_Nesting.Ready;

          abort Deep_Nesting;

        else

          Report.Failed("Dead code in Nesting");

        end if;

      exception

        when others => Report.Failed("Exception in Subtest_Task.Nesting");

      end Nesting;

      Local_2 : C761007_2.Prot_W_Fin_Obj;

    begin

      -- Nesting has activated at this point, which implies the activation

      -- of Deep_Nesting as well.

      Local_2.Set_Effects( 'C', 'D' );

      -- wait for Nesting to terminate

      while not Nesting'Terminated loop

        delay Impdef.Clear_Ready_Queue;

      end loop;

      accept Complete;

    exception

      when others => Report.Failed("Exception in Subtest_Task");

    end Subtest_Task;

  begin

    -- wait for everything in Subtest_Task to happen

    Subtest_Task.Complete;

    while not Subtest_Task'Terminated loop -- wait for finalization

      delay Impdef.Clear_Ready_Queue;

    end loop;

    TCTouch.Validate( "EFCD", "Aborted nested task" );

  exception

    when others => Report.Failed("Undesirable exception in Subtest_2");

  end Subtest_2;

  procedure Subtest_3 is

    -- check abort caused by asynchronous transfer of control

    task Subtest_3_Task is

      entry Complete;

    end Subtest_3_Task;

    procedure Check_Atc_Operation is

      Check_Atc : C761007_2.Prot_W_Fin_Obj;

    begin

      Check_Atc.Set_Effects( 'G', 'H' );

      while Report.Ident_Bool( True ) loop -- wait to be aborted

        if Report.Ident_Bool( True ) then

          Impdef.Exceed_Time_Slice;

          delay Impdef.Switch_To_New_Task;

        else

          Report.Failed("Optimization prevention");

        end if;

      end loop;

      Report.Failed("Check_Atc_Operation loop completed");

    end Check_Atc_Operation;

    task body Subtest_3_Task is

      task Nesting is

        entry Complete;

      end Nesting;

      task body Nesting is

        Nesting_3 : C761007_2.Prot_W_Fin_Obj;

      begin

        Nesting_3.Set_Effects( 'G', 'H' );

        -- give Check_Atc_Operation sufficient time to perform it's

        -- Set_Effects on it's local Prot_W_Fin_Obj object

        delay Impdef.Clear_Ready_Queue;

        accept Complete;

      exception

        when others => Report.Failed("Exception in Subtest_3_Task.Nesting");

      end Nesting;

      Local_3 : C761007_2.Prot_W_Fin_Obj;

    begin -- Subtest_3_Task

      Local_3.Set_Effects( 'I', 'J' );

      select

        Nesting.Complete;

      then abort ---------------------------------------------------- cause KL

        Check_ATC_Operation;

      end select;

      accept Complete;

    exception

      when others => Report.Failed("Exception in Subtest_3_Task");

    end Subtest_3_Task;

  begin -- Subtest_3

    Subtest_3_Task.Complete;

    while not Subtest_3_Task'Terminated loop -- wait for finalization

      delay Impdef.Clear_Ready_Queue;

    end loop;

    TCTouch.Validate( "GHIJ", "Asynchronously aborted operation" );

  exception

    when others => Report.Failed("Undesirable exception in Subtest_3");

  end Subtest_3;

  procedure Subtest_4 is

    -- check the case where transfer is caused by terminate alternative

    -- highly similar to Subtest_1

    This_Subtest : Subtests( 'M', 'N' );

  begin

    This_Subtest.Ready;

    -- don't call This_Subtest.Complete;

  exception

    when others => Report.Failed("Undesirable exception in Subtest_4");

  end Subtest_4;

begin  -- Main test procedure.

  Report.Test ("C761007", "Check that if a finalize procedure invoked by " &

                          "a transfer of control or selection of a " &

                          "terminate alternative attempts to propagate " &

                          "an exception, the exception is ignored, but " &

                          "any other finalizations due to be performed " &

                          "are performed" );

  Subtest_1;  -- checks internal

  Subtest_2;  -- checks internal

  Subtest_3;  -- checks internal

  Subtest_4;

  TCTouch.Validate( "MN", "transfer due to terminate alternative" );

  Report.Result;

end C761007;