CVS difference for 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