CVS difference for acats/cxc/cxc7001.a

Differences between 1.5 and version 1.6
Log of other versions for file acats/cxc/cxc7001.a

--- acats/cxc/cxc7001.a	1999/03/11 23:47:15	1.5
+++ acats/cxc/cxc7001.a	2007/03/30 05:44:59	1.6
@@ -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.
 --*
@@ -29,10 +29,10 @@
 --      corresponding to the Task_ID parameter; Is_Terminated and
 --      Is_Callable return the corresponding attribute values for the task
 --      corresponding to the Task_ID parameter.
--- 
+--
 --      Check that an object of type Task_ID is default initialized to
 --      Null_Task_ID.
--- 
+--
 --      Check that the attribute T'Identity returns a Task_ID that
 --      identifies task T and the C'Caller returns a Task_ID that
 --      identifies the caller of entry E.
@@ -55,12 +55,13 @@
 --      06 Dec 94   SAIC    ACVC 2.0
 --      23 Nov 98   RLB     Revised TC_Match_States to work on a
 --                          multiprocessor implementation.
+--      29 Mar 07   RLB     Corrected TC_Match_States.
 --
 --!
 
 --------------------------------------------------------------------------
 
-with Ada.Task_Identification; 
+with Ada.Task_Identification;
 package CXC7001_0 is
 
   task type Task_Type is
@@ -122,8 +123,8 @@
                       Main_Task, No_Task);
 
   type ID_List is array(Indicators) of Ada.Task_Identification.Task_ID;
-  
-  The_Ids : ID_List;  
+
+  The_Ids : ID_List;
 
   -- the task objects:
 
@@ -162,7 +163,7 @@
        T3 : constant Boolean := Ada.Task_Identification.Is_Terminated(Which);
     begin
        -- Terminated can only change from False to True, if it changes at all.
-       if not ((T1 >= T2) and (T2 >= T3)) then
+       if not ((T1 <= T2) and (T2 <= T3)) then
           Report.Failed("Terminated value doesn't match for " &
                     Ada.Task_Identification.Image( Which ));
        end if;
@@ -174,7 +175,7 @@
        C3 : constant Boolean := Ada.Task_Identification.Is_Callable(Which);
     begin
        -- Callable can only change from True to False, if it changes at all.
-       if not ((C1 <= C2) and (C2 <= C3)) then
+       if not ((C1 >= C2) and (C2 >= C3)) then
           Report.Failed("Callable value doesn't match for " &
                     Ada.Task_Identification.Image( Which ));
        end if;
@@ -316,7 +317,7 @@
    begin
      -- should have "no effect"
      Ada.Task_Identification.Abort_Task( The_Ids(Simple_Object) );
-   exception 
+   exception
      when others => Report.Failed("A.TI.AT( SO ) - didn't have no effect");
    end;
 

Questions? Ask the ACAA Technical Agent