-- C910002.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 the contents of a task object include the values
--      of its discriminants.
--      Check that selected_component notation can be used to
--      denote a discriminant of a task.
--
-- TEST DESCRIPTION:
--      This test declares a task type that contains discriminants.
--      Objects of the task type are created with different values.
--      The task type has nested tasks that are used to check that
--      the discriminate values are the expected values.
--      Note that the names of the discriminants in the body of task
--      type DTT denote the current instance of the unit.
--
--
-- CHANGE HISTORY:
--      12 OCT 95   SAIC    Initial release for 2.1
--       8 MAY 96   SAIC    Incorporated Reviewer comments.
--
--!


with Report;
procedure C910002 is
  Verbose : constant Boolean := False;
begin
  Report.Test ("C910002",
               "Check that selected_component notation can be" &
               " used to access task discriminants");
  declare

    task type DTT
         (IA, IB : Integer;
          CA, CB : Character) is
      entry Check_Values (First_Int : Integer;
                          First_Char : Character);
    end DTT;

    task body DTT is
       Int1 : Integer;
       Char1 : Character;

       -- simple nested task to check the character values
       task Check_Chars is
          entry Start_Check;
       end Check_Chars;
       task body Check_Chars is
       begin
          accept Start_Check;
          if DTT.CA /= Char1 or
             DTT.CB /= Character'Succ (Char1) then
            Report.Failed ("character check failed.  Expected: '" &
                     Char1 & Character'Succ (Char1) &
                     "' but found '" &
                     DTT.CA & DTT.CB & "'");
          elsif Verbose then
            Report.Comment ("char check for " & Char1);
          end if;
       exception
          when others => Report.Failed ("exception in Check_Chars");
       end Check_Chars;

       -- use a discriminated task to check the integer values
       task type Check_Ints (First : Integer);
       task body Check_Ints is
       begin
          if DTT.IA /= Check_Ints.First or
             IB     /= First+1 then
            Report.Failed ("integer check failed.  Expected:" &
                     Integer'Image (Check_Ints.First) & 
                     Integer'Image (First+1) &
                     " but found" &
                     Integer'Image (DTT.IA) & Integer'Image (IB) );
          elsif Verbose then
            Report.Comment ("int check for" & Integer'Image (First));
          end if;
       exception
          when others => Report.Failed ("exception in Check_Ints");
       end Check_Ints;
    begin
      accept Check_Values (First_Int : Integer;
                           First_Char : Character) do
        Int1 := First_Int;
        Char1 := First_Char;
      end Check_Values;

      -- kick off the character check
      Check_Chars.Start_Check;

      -- do the integer check
      declare
         Int_Checker : Check_Ints (Int1);
      begin
        null;  -- let task do its thing
      end;

      -- do one test here too
      if DTT.IA /= Int1 then
        Report.Failed ("DTT check failed.  Expected:" &
              Integer'Image (Int1) &
              " but found:" &
              Integer'Image (DTT.IA));
      elsif Verbose then
        Report.Comment ("DTT check for" & Integer'Image (Int1));
      end if;
    exception
      when others => Report.Failed ("exception in DTT");
    end DTT;

    T1a : DTT (1,  2, 'a', 'b');
    T9C : DTT (9, 10, 'C', 'D');
  begin   -- test encapsulation
    T1a.Check_Values (1, 'a');
    T9C.Check_Values (9, 'C');
  end;

  Report.Result;
end C910002;