CVS difference for acats/b9/b92001b.ada
--- acats/b9/b92001b.ada 1999/03/11 00:37:04 1.2
+++ acats/b9/b92001b.ada 2007/03/24 01:23:50 1.3
@@ -3,36 +3,37 @@
-- 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.
--*
--- AND OBJECTS HAVING A SUBCOMPONENT OF A TASK
+-- CHECK THAT TASK OBJECTS AND OBJECTS HAVING A SUBCOMPONENT OF A TASK
-- TYPE CANNOT BE ASSIGNED OR COMPARED FOR EQUALITY OR INEQUALITY.
---
+-- TBN 30 Jan 1986
+-- RLB 23 Mar 2007 Limited Initializations can be legal.
PROCEDURE B92001B IS
TASK TYPE T1;
OBJ_T1 : T1;
- OBJ_T2 : T1 := OBJ_T1; -- ERROR: :=
+ OBJ_T2 : T1 := OBJ_T1; -- ERROR: Init w/ OBJ_T1
OBJ_T3 : T1;
TYPE MY_REC1 IS
@@ -40,22 +41,23 @@
ONE : T1;
END RECORD;
- OBJ_REC1 : MY_REC1 := (ONE => OBJ_T1); -- ERROR: :=
+ OBJ_REC1 : MY_REC1 := (ONE => OBJ_T1); -- ERROR: Init w/ OBJ_T1
OBJ_REC4, OBJ_REC5 : MY_REC1;
TYPE MY_REC2 IS
RECORD
- ONE : T1 := OBJ_T1; -- ERROR: :=
+ ONE : T1 := OBJ_T1; -- ERROR: Init w/ OBJ_T1
END RECORD;
TYPE MY_ARRAY1 IS ARRAY (1 .. 2) OF T1;
- OBJ_ARA1 : MY_ARRAY1 := (OBJ_T1, OBJ_T1); -- ERROR: :=
+ OBJ_ARA1 : MY_ARRAY1 := (OBJ_T1, OBJ_T1); -- ERROR: Init w/ OBJ_T1
OBJ_ARA3, OBJ_ARA4 : MY_ARRAY1;
TYPE MY_ARRAY2 IS ARRAY (1 .. 2) OF MY_REC1;
OBJ_ARA2 : MY_ARRAY2 := ((ONE=> OBJ_T1),(ONE=> OBJ_T1)); -- ERROR:
+ -- Init w/ OBJ_T1
OBJ_ARA5, OBJ_ARA6 : MY_ARRAY2;
TYPE MY_REC3 IS
@@ -63,7 +65,8 @@
NEXT : MY_ARRAY1;
END RECORD;
- OBJ_REC3 : MY_REC3 := (NEXT => (OBJ_T1, OBJ_T1)); -- ERROR: :=
+ OBJ_REC3 : MY_REC3 := (NEXT => (OBJ_T1, OBJ_T1)); -- ERROR:
+ -- Init w/ OBJ_T1
OBJ_REC6, OBJ_REC7 : MY_REC3;
TASK BODY T1 IS
Questions? Ask the ACAA Technical Agent