CVS difference for acats/lxd/lxd70031.a

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

--- acats/lxd/lxd70031.a	1999/03/10 22:11:27	1.2
+++ acats/lxd/lxd70031.a	2017/02/04 00:50:21	1.3
@@ -3,22 +3,22 @@
 --                             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.
 --*
@@ -26,7 +26,7 @@
 -- OBJECTIVE:
 --      See LXD70032.AM.
 --
--- 
+-- TEST FILES:
 --      This test consists of the following files:
 --          LXD70030.A     A text file containing the Restrictions pragma
 --       => LXD70031.A     A Library task containing an Abort statement
@@ -37,6 +37,7 @@
 --      10 Nov 95   SAIC    Fix for 2.0.1 in files LXD70030.A and
 --                          LXD70032.AM
 --      30 Sep 96   SAIC    Multi-file prolog convention fix.
+--      02 Feb 17   RLB     Added missing error tag (and location indicator).
 --
 --!
 
@@ -63,7 +64,7 @@
    begin
       loop
          accept Input do
-            null;  -- Application code    
+            null;  -- Application code
          end Input;
       end loop;
    end Line_Driver;
@@ -75,16 +76,17 @@
 
    task body Close_Control is
    begin
-      select 
+      select
          accept Normal_Shut_Down do
-            null;  -- Application code 
+            null;  -- Application code
          end Normal_Shut_Down;
       or
          accept Disaster_Shut_Down do
             null;  -- Application code
                for i in Driver_Index loop
-                  -- This abort should not be allowed
-                  abort Driver_Array(i).all;
+                  -- This abort should not be allowed when
+                  -- restriction No_Abort_Statements is in force.
+                  abort Driver_Array(i).all;      -- OPTIONAL ERROR: {19}
                end loop;
          end Disaster_Shut_Down;
       end select;

Questions? Ask the ACAA Technical Agent