CVS difference for acats/b6/b660002.a

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

--- acats/b6/b660002.a	1999/03/11 00:29:56	1.2
+++ acats/b6/b660002.a	2019/11/20 05:38:18	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.
 --*
@@ -27,7 +27,7 @@
 --      Check that the "=" operator may be overloaded for non-limited types.
 --      Check that explicit overloadings of "/=" may not have a Boolean
 --      result.
--- lt of an explicitly declared "=" operator may be 
+--      Check that the result of an explicitly declared "=" operator may be
 --      other than Boolean.  Check that an equality operator may rename a
 --      function other than an equality operator.  Check that a declaration of
 --      "=" whose result type is not Boolean does not implicitly declare a
@@ -35,14 +35,14 @@
 --
 -- TEST DESCRIPTION:
 --      Define "/=" operations on non-limited types, returning Boolean
--- lts.  Define tri-state logic with "=" and 
---  return values NL_True, NL_False and Unknown.  
--- tion on an array type, returning an array of 
--- 
---
---  verify that errors are issued for an explicit 
---  that returns a Boolean result.  Verify that
--- or rename of "/= that returns a Boolean result.
+--      and other type results.  Define tri-state logic with "=" and
+--      "/=" operators that return values NL_True, NL_False and Unknown.
+--      Define an "=" operation on an array type, returning an array of
+--      Booleans.
+--
+--      In another package, verify that errors are issued for an explicit
+--      declaration of "/=" that returns a Boolean result.  Verify that errors
+--      are issued for rename of "/= that returns a Boolean result.
 --      Also verify that errors are issued for statements which attempt to
 --      use an implicit operator "/=" that was from a declaration of "="
 --      whose result type is not boolean.
@@ -50,7 +50,7 @@
 --
 -- CHANGE HISTORY:
 --      06 Oct 95   SAIC    Initial prerelease version.
---
+--      19 Nov 19   RLB     Added error location indicators.
 --!
 
 package B660002_0 is
@@ -69,7 +69,7 @@
 
    procedure Do_Something (I1, I2 : in NonLimited);
 
-   function Not_Equal_AccToProc (I1 : NonLimited; 
+   function Not_Equal_AccToProc (I1 : NonLimited;
                                  I2 : Arr_Of_Booleans) return Access_To_Proc;
 
    function Not_Equal_Boolean   (I1, I2 : NonLimited) return Boolean;
@@ -87,21 +87,21 @@
 
    -- "/=" may be overloaded for non-limited types.
 
-   function "/=" (I1, I2 : NonLimited) return Float is               -- OK.
+   function "/=" (I1, I2 : NonLimited) return Float is          -- OK.    {4}
    begin
       return ( Float (I1) - Float (I2) );
    end "/=";
 
    -------------------------------------------------------------
-   function "/=" (I1, I2 : Arr_Of_Booleans) 
-     return Arr_Of_Booleans is                                       -- OK.
+   function "/=" (I1, I2 : Arr_Of_Booleans)
+     return Arr_Of_Booleans is                                  -- OK.    {1:4}
    begin
       return ( I1(1) /= I2(1),
                I2(2) /= I2(2) );
-   end "/=";   
+   end "/=";
 
    -------------------------------------------------------------
-   function "/=" (I1, I2 : NonLimited) return Access_To_Proc is      -- OK.
+   function "/=" (I1, I2 : NonLimited) return Access_To_Proc is -- OK.    {4}
    begin
       return Do_Something_Access;
    end "/=";
@@ -109,8 +109,8 @@
    -------------------------------------------------------------
    -- "/=" may not have a Boolean result.
 
-   function "/=" (I1, I2 : Arr_Of_Booleans) 
-     return Boolean is                                               -- ERROR:
+   function "/=" (I1, I2 : Arr_Of_Booleans)
+     return Boolean is                                          -- ERROR: {1:4}
                                                     -- Result type is Boolean.
    begin
       if ( I1(1) /= I2(1) and I2(2) /= I2(2) ) then
@@ -122,17 +122,17 @@
 
    -------------------------------------------------------------
    function "/=" (I1 : NonLimited; I2 : Arr_Of_Booleans)
-     return Access_To_Proc renames Not_Equal_AccToProc;              -- OK.
+     return Access_To_Proc renames Not_Equal_AccToProc;         -- OK.    {1:4}
 
    -------------------------------------------------------------
-   function "/=" (I1, I2 : NonLimited) 
-     return Boolean renames Not_Equal_Boolean;                       -- ERROR:
+   function "/=" (I1, I2 : NonLimited)
+     return Boolean renames Not_Equal_Boolean;                  -- ERROR: {1:4}
                                                     -- Result type is Boolean.
 
    -------------------------------------------------------------
    -- "=" may have a result other than Boolean.
 
-   function "=" (I1, I2 : NonLimited) return Enumeration_Type is     -- OK.
+   function "=" (I1, I2 : NonLimited) return Enumeration_Type is -- OK.   {4}
    begin
       if ( Integer (I1) = Integer (I2) ) then
          return NL_True;
@@ -143,7 +143,7 @@
 
    -------------------------------------------------------------
    function "=" (I1, I2 : NonLimited)
-     return Arr_Of_Booleans is                                       -- OK.
+     return Arr_Of_Booleans is                                  -- OK.    {1:4}
       Arr : Arr_Of_Booleans;
    begin
       if ( Integer (I1) = Integer (I2) ) then
@@ -156,7 +156,7 @@
 
    --------------------------------------------------------------------------
    function "=" (I1, I2 : Record_Type)
-     return Record_Type is                                           -- OK.
+     return Record_Type is                                      -- OK.    {1:4}
    begin
       if (I1.C = I2.C ) then
          return I1;
@@ -168,7 +168,7 @@
    --------------------------------------------------------------------------
    -- "/=" may have a result other than Boolean.
 
-   function "/=" (I1, I2 : Integer) return Integer is                -- OK.
+   function "/=" (I1, I2 : Integer) return Integer is           -- OK.    {4}
    begin
       if (I1 = I2 ) then
          return I1;
@@ -178,25 +178,25 @@
    end "/=";
 
    --------------------------------------------------------------------------
-   function "/=" (I1, I2 : NonLimited)      
-     return Integer renames Equal_Integer;                           -- OK.
+   function "/=" (I1, I2 : NonLimited)
+     return Integer renames Equal_Integer;                      -- OK.    {1:4}
 
    --------------------------------------------------------------------------
    generic
 
       -- "/=" may have a result other than Boolean.
 
-      with function "/=" (I1, I2 : NonLimited)      
-        return Integer;                                              -- OK.
+      with function "/=" (I1, I2 : NonLimited)
+        return Integer;                                         -- OK.    {1:4}
 
       -- "/=" may not have a Boolean result.
 
-      with function "/=" (I1, I2 : NonLimited)      
-        return Boolean;                                              -- ERROR:
+      with function "/=" (I1, I2 : NonLimited)
+        return Boolean;                                         -- ERROR: {1:4}
                                                     -- Result type is Boolean.
 
       with function "/=" (I1, I2 : Arr_Of_Booleans)
-        return Boolean;                                              -- ERROR:
+        return Boolean;                                         -- ERROR: {1:4}
                                                     -- Result type is Boolean.
 
    package Gen_Pck is end;
@@ -212,16 +212,16 @@
 
 begin
 
-   Enu_Result := NL1 /= NL2;                                         -- ERROR:
+   Enu_Result := NL1 /= NL2;                                    -- ERROR: {4}
                                   -- "/=" return Enumeration_Type not defined.
 
-   Int_Result := I1  /= I2;                                          -- OK.
+   Int_Result := I1  /= I2;                                     -- OK.    {4}
                                             -- "/=" return Integer is defined.
 
-   Rec_Result := R1 /= R2;                                           -- ERROR:
+   Rec_Result := R1 /= R2;                                      -- ERROR: {4}
                                           -- "/=" return Rec_Type not defined.
 
-   Arr_Result := NL1 /= NL2;                                         -- ERROR:
+   Arr_Result := NL1 /= NL2;                                    -- ERROR: {4}
                                    -- "/=" return Arr_Or_Booleans not defined.
 
 end B660002;

Questions? Ask the ACAA Technical Agent