CVS difference for acats/b3/b330001.a

Differences between 1.2 and version 1.3
Log of other versions for file acats/b3/b330001.a

--- acats/b3/b330001.a	1999/03/11 00:18:39	1.2
+++ acats/b3/b330001.a	2001/08/20 22:12:04	1.3
@@ -3,36 +3,36 @@
 --                             Grant of Unlimited Rights
 --
 --     Under contracts F33600-87-D-0337, F33600-84-D-0280, MDA903-79-C-0687,
--- d DCA100-97-D-0025, the U.S. Government obtained 
+--     F08630-91-C-0015, and DCA100-97-D-0025, the U.S. Government obtained
 --     unlimited rights in the software and documentation contained herein.
---  defined in DFAR 252.227-7013(a)(19).  By making 
---  the Government intends to confer upon all 
---  rights  equal to those held by the Government.  
---  rights to use, duplicate, release or disclose the 
--- ata and computer software in whole or in part, in 
--- ny purpose whatsoever, and to have or permit others 
+--     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
---   THE GOVERNMENT MAKES NO EXPRESS OR IMPLIED 
+--     DISCLOSED ARE AS IS.  THE GOVERNMENT MAKES NO EXPRESS OR IMPLIED
 --     WARRANTY AS TO ANY MATTER WHATSOEVER, INCLUDING THE CONDITIONS OF THE
--- ION OR OTHER INFORMATION RELEASED, MADE AVAILABLE 
+--     SOFTWARE, DOCUMENTATION OR OTHER INFORMATION RELEASED, MADE AVAILABLE
 --     OR DISCLOSED, OR THE OWNERSHIP, MERCHANTABILITY, OR FITNESS FOR A
 --     PARTICULAR PURPOSE OF SAID MATERIAL.
 --*
 --
 -- OBJECTIVE:
--- ype indication of a variable object defines an 
--- then there is an initialization. Check that if 
+--     Check that if a subtype indication of a variable object defines an
+--     indefinite subtype, then there is an initialization. Check that if
 --     the array type definition of a variable object defines an unconstrained
--- there is an initialization. Check that indefinite 
--- used as the subtype indication of a component 
+--     array subtype, then there is an initialization. Check that indefinite
+--     subtypes may not be used as the subtype indication of a component
 --     definition (in either an array or a record definition).
--- 
+--
 -- TEST DESCRIPTION:
--- ubtypes in a package specification.  An indefinite 
+--     Declare indefinite subtypes in a package specification.  An indefinite
 --     subtype is either:
 --         a) An unconstrained array subtype.
 --         b) A subtype with unknown discriminants (this includes class-wide
@@ -40,18 +40,19 @@
 --         c) A subtype with unconstrained discriminants without defaults.
 --
 --     In the children (private and public) and the main program, verify that
--- r object declarations without constraints or 
--- ions.  Also verify that errors are issued for 
--- ich have indefinite subtype components. 
+--     errors are issued for object declarations without constraints or
+--     explicit initializations.  Also verify that errors are issued for
+--     type declarations which have indefinite subtype components.
 --
 --
 -- CHANGE HISTORY:
 --      19 Sep 95   SAIC    Initial prerelease version.
 --      15 Apr 96   SAIC    Revised test for 2.1
+--      20 Aug 01   RLB     Corrected error command for last subtest.
 --
 --!
 
-package B330001_0 is  
+package B330001_0 is
 
    subtype Sub_Type is Natural range 1 .. 4;
 
@@ -64,7 +65,7 @@
 
    type Uncons_Tag_Type (Dimension : Sub_Type) is      -- Unconstrained tagged
      tagged record                                     -- type.
-        Left  : Uncons_Rec_Type (Dimension);                       
+        Left  : Uncons_Rec_Type (Dimension);
         Right : Uncons_Rec_Type (Dimension);
      end record;
 
@@ -73,7 +74,7 @@
         C : Boolean;                                    -- class-wide type).
      end record;
 
-   type NUncons_Tag_Type is new Uncons_Tag_Type with 
+   type NUncons_Tag_Type is new Uncons_Tag_Type with
     record
        C : Boolean;
     end record;
@@ -97,18 +98,18 @@
 
    type FullViewIsDefinite (<>) is private;              -- Type with unknown
                                                          -- discriminants.
-                                                         
+
    function Def_Func   (P : Sub_Type) return FullViewIsDefinite;
 
 private
 
    type FullViewIsIndefinite (Disc : Sub_Type) is new Cons_Tag_Type with
-     record     
+     record
         S : Sub_Type := Disc;
      end record;
 
-   type FullViewIsDefinite   (Disc : Sub_Type := 2) is 
-     record     
+   type FullViewIsDefinite   (Disc : Sub_Type := 2) is
+     record
       S : Sub_Type := Disc;
    end record;
 
@@ -116,7 +117,7 @@
 
      --==================================================================--
 
-private package B330001_0.B330001_1 is  
+private package B330001_0.B330001_1 is
 
    Priv_Child_Indef_Var_W_Int :  FullViewIsIndefinite
                               := Indef_Func (4);                     -- OK.
@@ -125,7 +126,7 @@
                              -- Subtype is unconstrained and no initialization
                              -- expression.
 
-   type Priv_Child_Array_Indef is 
+   type Priv_Child_Array_Indef is
      array (1 .. 2) of FullViewIsIndefinite;                         -- ERROR:
                                            -- Component subtype is indefinite.
 
@@ -140,7 +141,7 @@
 
      --==================================================================--
 
-package B330001_0.B330001_2 is  
+package B330001_0.B330001_2 is
 
    Pub_Child_Indef_Var_W_Int :  FullViewIsIndefinite
                              := Indef_Func (4);                      -- OK.
@@ -148,7 +149,7 @@
    Pub_Child_Indef_Var       :  FullViewIsIndefinite;                -- ERROR:
                  -- Subtype is unconstrained and no initialization expression.
 
-   type Pub_Child_Array_Indef is 
+   type Pub_Child_Array_Indef is
      array (1 .. 2) of FullViewIsIndefinite;                         -- ERROR:
                                            -- Component subtype is indefinite.
 
@@ -158,7 +159,7 @@
    Pub_Child_Def_Var         :  FullViewIsDefinite;                  -- ERROR:
  -- Partial view of subtype is unconstrained and no initialization expression.
 
-   type Pub_Child_Array_Def is 
+   type Pub_Child_Array_Def is
      array (1 .. 2) of FullViewIsDefinite;                           -- ERROR:
                                            -- Component subtype is indefinite.
 
@@ -169,14 +170,14 @@
 with B330001_0;
 procedure B330001 is
 
-   Constraint_Arr_Var     :  B330001_0.Uncons_Arr_Type (1..3, 1..3); 
+   Constraint_Arr_Var     :  B330001_0.Uncons_Arr_Type (1..3, 1..3);
 
-   Constraint_Rec_Var     :  B330001_0.Uncons_Rec_Type (4);      
+   Constraint_Rec_Var     :  B330001_0.Uncons_Rec_Type (4);
 
    Uncons_Rec_Var_W_Int   :  B330001_0.Uncons_Rec_Type
                           := (Side => 3, Com => Constraint_Arr_Var); -- OK.
 
-   Uncons_Tag_Var_W_Int   :  B330001_0.Uncons_Tag_Type                   
+   Uncons_Tag_Var_W_Int   :  B330001_0.Uncons_Tag_Type
        := ( Dimension => 1, Left => Constraint_Rec_Var,
             Right     => (Side => 3, Com => Constraint_Arr_Var) );   -- OK.
 
@@ -218,7 +219,7 @@
    type Arr is array (1 .. 3) of B330001_0.Uncons_Tag_Type;          -- ERROR:
                                            -- Component subtype is indefinite.
 
-   type Indef_Array is array (1 .. 3) of 
+   type Indef_Array is array (1 .. 3) of
      B330001_0.FullViewIsIndefinite;                                 -- ERROR:
                                            -- Component subtype is indefinite.
 
@@ -232,18 +233,18 @@
    type CW_Arr is array (1 .. 3) of B330001_0.Cons_Tag_Type'Class;   -- ERROR:
                                            -- Component subtype is indefinite.
 
-   type Flt_Arr is array (Positive range <>) of Float; 
+   type Flt_Arr is array (Positive range <>) of Float;
 
    Flt_Arr_Var : Flt_Arr (1 .. 25);
 
    Arr_Of_Arr : array (1 .. 2) of Flt_Arr := (others => Flt_Arr_Var);-- ERROR:
                                            -- Component subtype is indefinite.
 
-   Int_Arr_W_Init :  array (Positive range <>) of Integer 
+   Int_Arr_W_Init :  array (Positive range <>) of Integer
                   := (1, 2, 3, 4, 5, 6, 7);                          -- OK.
 
    Int_Arr : array (Positive range <>) of Integer;                   -- ERROR:
-                                           -- Component subtype is indefinite.
+                                   -- Indefinite since index is unconstrained.
 
 begin
    null;

Questions? Ask the ACAA Technical Agent