CVS difference for acats/b6/b63005a.ada
--- acats/b6/b63005a.ada 1999/03/11 00:29:30 1.2
+++ acats/b6/b63005a.ada 2017/02/04 05:07:50 1.3
@@ -3,31 +3,42 @@
-- 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.
--*
--- AM SPECIFICATION IS PROVIDED IN A PACKAGE
+--
+-- OBJECTIVE:
+-- CHECK THAT IF A SUBPROGRAM SPECIFICATION IS PROVIDED IN A PACKAGE
-- SPECIFICATION, A CORRESPONDING SUBPROGRAM BODY MUST BE
-- PROVIDED IN A PACKAGE BODY.
-
-
---
+--
+-- PASS/FAIL CRITERIA:
+-- The test contains several lines marked POSSIBLE ERROR: [Setn].
+-- For each value of n, the implementation must detect one or more of
+-- these possible errors. For instance, an error must be detected on
+-- at least one of the lines labeled POSSIBLE ERROR: [Set1] for an
+-- implementation to pass.
+--
+-- CHANGE HISTORY:
+-- RM 05/05/81
+-- RLB 02/03/17 Added additional error tags so reasonable error
+-- reporting strategies are directly supported.
PROCEDURE B63005A IS
@@ -37,11 +48,12 @@
DECLARE
PACKAGE PACK1 IS
- PROCEDURE PR1(A1 : INTEGER; A2 : BOOLEAN);
+ PROCEDURE PR1
+ (A1 : INTEGER; A2 : BOOLEAN); -- POSSIBLE ERROR: [Set1] {1:16}
END PACK1;
PACKAGE BODY PACK1 IS
- END PACK1; -- ERROR: BODY OF PR1 MISSING.
+ END PACK1; -- POSSIBLE ERROR: [Set1] {1:11} Body of PR1 missing.
BEGIN
NULL;
@@ -52,11 +64,11 @@
PACKAGE PACK1 IS
FUNCTION FN1(A1 : INTEGER; A2 : BOOLEAN; A3 : CHARACTER)
- RETURN INTEGER;
+ RETURN INTEGER; -- POSSIBLE ERROR: [Set2] {1:16}
END PACK1;
PACKAGE BODY PACK1 IS
- END PACK1; -- ERROR: BODY OF FN1 MISSING.
+ END PACK1; -- POSSIBLE ERROR: [Set2] {1:11} Body of FN1 missing.
BEGIN
NULL;
@@ -66,7 +78,8 @@
DECLARE
PACKAGE PACK1 IS
- PROCEDURE PR1(A1 : INTEGER; A2 : BOOLEAN);
+ PROCEDURE PR1
+ (A1 : INTEGER; A2 : BOOLEAN); -- POSSIBLE ERROR: [Set3] {1:16}
END PACK1;
PACKAGE BODY PACK1 IS
@@ -75,7 +88,8 @@
BEGIN
RETURN 17;
END PR1;
- END PACK1; -- ERROR: BODY OF PR1 MISSING.
+
+ END PACK1; -- POSSIBLE ERROR: [Set3] {1:11} Body of PR1 missing.
BEGIN
NULL;
@@ -86,7 +100,7 @@
PACKAGE PACK1 IS
FUNCTION FN1(A1 : INTEGER; A2 : BOOLEAN)
- RETURN INTEGER;
+ RETURN INTEGER; -- POSSIBLE ERROR: [Set4] {1:16}
END PACK1;
PACKAGE BODY PACK1 IS
@@ -95,9 +109,10 @@
BEGIN
NULL;
END FN1;
- END PACK1; -- ERROR: BODY OF FN1 MISSING.
+ END PACK1; -- POSSIBLE ERROR: [Set4] {1:11} Body of FN1 missing.
+
BEGIN
NULL;
END;
@@ -107,11 +122,11 @@
PACKAGE PACK1 IS
FUNCTION "+"(A1 : INTEGER; A2 : CHARACTER)
- RETURN CHARACTER ;
+ RETURN CHARACTER; -- POSSIBLE ERROR: [Set5] {1:16}
END PACK1;
PACKAGE BODY PACK1 IS
- END PACK1; -- ERROR: BODY OF "+" MISSING.
+ END PACK1; -- POSSIBLE ERROR: [Set4] {1:11} Body of "+" missing.
BEGIN
NULL;
@@ -127,7 +142,7 @@
END PACK2;
FUNCTION "+"(A1 : INTEGER; A2 : CHARACTER)
- RETURN CHARACTER ;
+ RETURN CHARACTER ; -- POSSIBLE ERROR: [Set6] {1:16}
END PACK1;
@@ -139,7 +154,9 @@
RETURN A2;
END "+";
END PACK2;
- END PACK1; -- ERROR: BODY OF PACK1."+" MISSING.
+
+ END PACK1; -- POSSIBLE ERROR: [Set6] {1:11}
+ -- Body of PACK1."+" missing.
BEGIN
NULL;
Questions? Ask the ACAA Technical Agent