-- AA2010A.ADA
|
-- AA2010A.ADA
|
|
|
-- Grant of Unlimited Rights
|
-- Grant of Unlimited Rights
|
--
|
--
|
-- Under contracts F33600-87-D-0337, F33600-84-D-0280, MDA903-79-C-0687,
|
-- Under contracts F33600-87-D-0337, F33600-84-D-0280, MDA903-79-C-0687,
|
-- F08630-91-C-0015, and 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.
|
-- unlimited rights in the software and documentation contained herein.
|
-- Unlimited rights are defined in DFAR 252.227-7013(a)(19). By making
|
-- Unlimited rights are defined in DFAR 252.227-7013(a)(19). By making
|
-- this public release, the Government intends to confer upon all
|
-- this public release, the Government intends to confer upon all
|
-- recipients unlimited rights equal to those held by the Government.
|
-- recipients unlimited rights equal to those held by the Government.
|
-- These rights include rights to use, duplicate, release or disclose the
|
-- These rights include rights to use, duplicate, release or disclose the
|
-- released technical data and computer software in whole or in part, in
|
-- 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
|
-- any manner and for any purpose whatsoever, and to have or permit others
|
-- to do so.
|
-- to do so.
|
--
|
--
|
-- DISCLAIMER
|
-- DISCLAIMER
|
--
|
--
|
-- ALL MATERIALS OR INFORMATION HEREIN RELEASED, MADE AVAILABLE OR
|
-- ALL MATERIALS OR INFORMATION HEREIN RELEASED, MADE AVAILABLE OR
|
-- DISCLOSED ARE AS IS. 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
|
-- WARRANTY AS TO ANY MATTER WHATSOEVER, INCLUDING THE CONDITIONS OF THE
|
-- SOFTWARE, DOCUMENTATION OR OTHER INFORMATION RELEASED, MADE AVAILABLE
|
-- SOFTWARE, DOCUMENTATION OR OTHER INFORMATION RELEASED, MADE AVAILABLE
|
-- OR DISCLOSED, OR THE OWNERSHIP, MERCHANTABILITY, OR FITNESS FOR A
|
-- OR DISCLOSED, OR THE OWNERSHIP, MERCHANTABILITY, OR FITNESS FOR A
|
-- PARTICULAR PURPOSE OF SAID MATERIAL.
|
-- PARTICULAR PURPOSE OF SAID MATERIAL.
|
--*
|
--*
|
-- CHECK THAT SUBUNIT NAMES CAN BE IDENTICAL TO IDENTIFIERS DECLARED IN
|
-- CHECK THAT SUBUNIT NAMES CAN BE IDENTICAL TO IDENTIFIERS DECLARED IN
|
-- STANDARD, NAMELY, BOOLEAN, INTEGER, FLOAT, CHARACTER, ASCII,
|
-- STANDARD, NAMELY, BOOLEAN, INTEGER, FLOAT, CHARACTER, ASCII,
|
-- NATURAL, POSITIVE, STRING, DURATION, CONSTRAINT_ERROR,
|
-- NATURAL, POSITIVE, STRING, DURATION, CONSTRAINT_ERROR,
|
-- NUMERIC_ERROR, PROGRAM_ERROR, STORAGE_ERROR, AND TASKING_ERROR.
|
-- NUMERIC_ERROR, PROGRAM_ERROR, STORAGE_ERROR, AND TASKING_ERROR.
|
|
|
-- R.WILLIAMS 9/18/86
|
-- R.WILLIAMS 9/18/86
|
|
|
PACKAGE AA2010A_TYPEDEF IS
|
PACKAGE AA2010A_TYPEDEF IS
|
TYPE ENUM IS (E1, E2, E3);
|
TYPE ENUM IS (E1, E2, E3);
|
END AA2010A_TYPEDEF;
|
END AA2010A_TYPEDEF;
|
|
|
WITH AA2010A_TYPEDEF; USE AA2010A_TYPEDEF;
|
WITH AA2010A_TYPEDEF; USE AA2010A_TYPEDEF;
|
PACKAGE AA2010A_PARENT IS
|
PACKAGE AA2010A_PARENT IS
|
|
|
PROCEDURE BOOLEAN;
|
PROCEDURE BOOLEAN;
|
FUNCTION INTEGER RETURN ENUM;
|
FUNCTION INTEGER RETURN ENUM;
|
PACKAGE FLOAT IS END FLOAT;
|
PACKAGE FLOAT IS END FLOAT;
|
|
|
PROCEDURE CHARACTER;
|
PROCEDURE CHARACTER;
|
FUNCTION ASCII RETURN ENUM;
|
FUNCTION ASCII RETURN ENUM;
|
|
|
TASK NATURAL IS
|
TASK NATURAL IS
|
ENTRY E;
|
ENTRY E;
|
END NATURAL;
|
END NATURAL;
|
|
|
PROCEDURE POSITIVE;
|
PROCEDURE POSITIVE;
|
FUNCTION STRING RETURN ENUM;
|
FUNCTION STRING RETURN ENUM;
|
PACKAGE DURATION IS END DURATION;
|
PACKAGE DURATION IS END DURATION;
|
|
|
PROCEDURE CONSTRAINT_ERROR;
|
PROCEDURE CONSTRAINT_ERROR;
|
FUNCTION NUMERIC_ERROR RETURN ENUM;
|
FUNCTION NUMERIC_ERROR RETURN ENUM;
|
|
|
TASK PROGRAM_ERROR IS
|
TASK PROGRAM_ERROR IS
|
ENTRY E;
|
ENTRY E;
|
END PROGRAM_ERROR;
|
END PROGRAM_ERROR;
|
|
|
PROCEDURE STORAGE_ERROR;
|
PROCEDURE STORAGE_ERROR;
|
FUNCTION TASKING_ERROR RETURN ENUM;
|
FUNCTION TASKING_ERROR RETURN ENUM;
|
|
|
END AA2010A_PARENT;
|
END AA2010A_PARENT;
|
|
|
PACKAGE BODY AA2010A_PARENT IS
|
PACKAGE BODY AA2010A_PARENT IS
|
|
|
PROCEDURE BOOLEAN IS SEPARATE;
|
PROCEDURE BOOLEAN IS SEPARATE;
|
FUNCTION INTEGER RETURN ENUM IS SEPARATE;
|
FUNCTION INTEGER RETURN ENUM IS SEPARATE;
|
PACKAGE BODY FLOAT IS SEPARATE;
|
PACKAGE BODY FLOAT IS SEPARATE;
|
|
|
PROCEDURE CHARACTER IS SEPARATE;
|
PROCEDURE CHARACTER IS SEPARATE;
|
FUNCTION ASCII RETURN ENUM IS SEPARATE;
|
FUNCTION ASCII RETURN ENUM IS SEPARATE;
|
TASK BODY NATURAL IS SEPARATE;
|
TASK BODY NATURAL IS SEPARATE;
|
|
|
PROCEDURE POSITIVE IS SEPARATE;
|
PROCEDURE POSITIVE IS SEPARATE;
|
FUNCTION STRING RETURN ENUM IS SEPARATE;
|
FUNCTION STRING RETURN ENUM IS SEPARATE;
|
PACKAGE BODY DURATION IS SEPARATE;
|
PACKAGE BODY DURATION IS SEPARATE;
|
|
|
PROCEDURE CONSTRAINT_ERROR IS SEPARATE;
|
PROCEDURE CONSTRAINT_ERROR IS SEPARATE;
|
FUNCTION NUMERIC_ERROR RETURN ENUM IS SEPARATE;
|
FUNCTION NUMERIC_ERROR RETURN ENUM IS SEPARATE;
|
TASK BODY PROGRAM_ERROR IS SEPARATE;
|
TASK BODY PROGRAM_ERROR IS SEPARATE;
|
|
|
PROCEDURE STORAGE_ERROR IS SEPARATE;
|
PROCEDURE STORAGE_ERROR IS SEPARATE;
|
FUNCTION TASKING_ERROR RETURN ENUM IS SEPARATE;
|
FUNCTION TASKING_ERROR RETURN ENUM IS SEPARATE;
|
|
|
END AA2010A_PARENT;
|
END AA2010A_PARENT;
|
|
|
SEPARATE (AA2010A_PARENT)
|
SEPARATE (AA2010A_PARENT)
|
PROCEDURE BOOLEAN IS
|
PROCEDURE BOOLEAN IS
|
BEGIN
|
BEGIN
|
NULL;
|
NULL;
|
END;
|
END;
|
|
|
SEPARATE (AA2010A_PARENT)
|
SEPARATE (AA2010A_PARENT)
|
FUNCTION INTEGER RETURN ENUM IS
|
FUNCTION INTEGER RETURN ENUM IS
|
BEGIN
|
BEGIN
|
RETURN E1;
|
RETURN E1;
|
END;
|
END;
|
|
|
SEPARATE (AA2010A_PARENT)
|
SEPARATE (AA2010A_PARENT)
|
PACKAGE BODY FLOAT IS END;
|
PACKAGE BODY FLOAT IS END;
|
|
|
SEPARATE (AA2010A_PARENT)
|
SEPARATE (AA2010A_PARENT)
|
PROCEDURE CHARACTER IS
|
PROCEDURE CHARACTER IS
|
BEGIN
|
BEGIN
|
NULL;
|
NULL;
|
END;
|
END;
|
|
|
SEPARATE (AA2010A_PARENT)
|
SEPARATE (AA2010A_PARENT)
|
FUNCTION ASCII RETURN ENUM IS
|
FUNCTION ASCII RETURN ENUM IS
|
BEGIN
|
BEGIN
|
RETURN E1;
|
RETURN E1;
|
END;
|
END;
|
|
|
SEPARATE (AA2010A_PARENT)
|
SEPARATE (AA2010A_PARENT)
|
TASK BODY NATURAL IS
|
TASK BODY NATURAL IS
|
BEGIN
|
BEGIN
|
ACCEPT E;
|
ACCEPT E;
|
END;
|
END;
|
|
|
SEPARATE (AA2010A_PARENT)
|
SEPARATE (AA2010A_PARENT)
|
PROCEDURE POSITIVE IS
|
PROCEDURE POSITIVE IS
|
BEGIN
|
BEGIN
|
NULL;
|
NULL;
|
END;
|
END;
|
|
|
SEPARATE (AA2010A_PARENT)
|
SEPARATE (AA2010A_PARENT)
|
FUNCTION STRING RETURN ENUM IS
|
FUNCTION STRING RETURN ENUM IS
|
BEGIN
|
BEGIN
|
RETURN E1;
|
RETURN E1;
|
END;
|
END;
|
|
|
SEPARATE (AA2010A_PARENT)
|
SEPARATE (AA2010A_PARENT)
|
PACKAGE BODY DURATION IS END;
|
PACKAGE BODY DURATION IS END;
|
|
|
SEPARATE (AA2010A_PARENT)
|
SEPARATE (AA2010A_PARENT)
|
PROCEDURE CONSTRAINT_ERROR IS
|
PROCEDURE CONSTRAINT_ERROR IS
|
BEGIN
|
BEGIN
|
NULL;
|
NULL;
|
END;
|
END;
|
|
|
SEPARATE (AA2010A_PARENT)
|
SEPARATE (AA2010A_PARENT)
|
FUNCTION NUMERIC_ERROR RETURN ENUM IS
|
FUNCTION NUMERIC_ERROR RETURN ENUM IS
|
BEGIN
|
BEGIN
|
RETURN E1;
|
RETURN E1;
|
END;
|
END;
|
|
|
SEPARATE (AA2010A_PARENT)
|
SEPARATE (AA2010A_PARENT)
|
TASK BODY PROGRAM_ERROR IS
|
TASK BODY PROGRAM_ERROR IS
|
BEGIN
|
BEGIN
|
ACCEPT E;
|
ACCEPT E;
|
END;
|
END;
|
|
|
SEPARATE (AA2010A_PARENT)
|
SEPARATE (AA2010A_PARENT)
|
PROCEDURE STORAGE_ERROR IS
|
PROCEDURE STORAGE_ERROR IS
|
BEGIN
|
BEGIN
|
NULL;
|
NULL;
|
END;
|
END;
|
|
|
SEPARATE (AA2010A_PARENT)
|
SEPARATE (AA2010A_PARENT)
|
FUNCTION TASKING_ERROR RETURN ENUM IS
|
FUNCTION TASKING_ERROR RETURN ENUM IS
|
BEGIN
|
BEGIN
|
RETURN E1;
|
RETURN E1;
|
END;
|
END;
|
|
|
WITH REPORT; USE REPORT;
|
WITH REPORT; USE REPORT;
|
WITH AA2010A_TYPEDEF; USE AA2010A_TYPEDEF;
|
WITH AA2010A_TYPEDEF; USE AA2010A_TYPEDEF;
|
WITH AA2010A_PARENT; USE AA2010A_PARENT;
|
WITH AA2010A_PARENT; USE AA2010A_PARENT;
|
PROCEDURE AA2010A IS
|
PROCEDURE AA2010A IS
|
E : ENUM;
|
E : ENUM;
|
BEGIN
|
BEGIN
|
TEST ( "AA2010A", "CHECK THAT SUBUNIT NAMES CAN BE IDENTICAL " &
|
TEST ( "AA2010A", "CHECK THAT SUBUNIT NAMES CAN BE IDENTICAL " &
|
"TO IDENTIFIERS DECLARED IN STANDARD, " &
|
"TO IDENTIFIERS DECLARED IN STANDARD, " &
|
"NAMELY, BOOLEAN, INTEGER, FLOAT, " &
|
"NAMELY, BOOLEAN, INTEGER, FLOAT, " &
|
"CHARACTER, ASCII, NATURAL, POSITIVE, " &
|
"CHARACTER, ASCII, NATURAL, POSITIVE, " &
|
"STRING, DURATION, CONSTRAINT_ERROR, " &
|
"STRING, DURATION, CONSTRAINT_ERROR, " &
|
"NUMERIC_ERROR, PROGRAM_ERROR, " &
|
"NUMERIC_ERROR, PROGRAM_ERROR, " &
|
"STORAGE_ERROR, AND TASKING_ERROR" );
|
"STORAGE_ERROR, AND TASKING_ERROR" );
|
|
|
AA2010A_PARENT.BOOLEAN;
|
AA2010A_PARENT.BOOLEAN;
|
E := AA2010A_PARENT.INTEGER;
|
E := AA2010A_PARENT.INTEGER;
|
|
|
AA2010A_PARENT.CHARACTER;
|
AA2010A_PARENT.CHARACTER;
|
E := AA2010A_PARENT.ASCII;
|
E := AA2010A_PARENT.ASCII;
|
AA2010A_PARENT.NATURAL.E;
|
AA2010A_PARENT.NATURAL.E;
|
|
|
AA2010A_PARENT.POSITIVE;
|
AA2010A_PARENT.POSITIVE;
|
E := AA2010A_PARENT.STRING;
|
E := AA2010A_PARENT.STRING;
|
|
|
AA2010A_PARENT.CONSTRAINT_ERROR;
|
AA2010A_PARENT.CONSTRAINT_ERROR;
|
E := AA2010A_PARENT.NUMERIC_ERROR;
|
E := AA2010A_PARENT.NUMERIC_ERROR;
|
AA2010A_PARENT.PROGRAM_ERROR.E;
|
AA2010A_PARENT.PROGRAM_ERROR.E;
|
|
|
AA2010A_PARENT.STORAGE_ERROR;
|
AA2010A_PARENT.STORAGE_ERROR;
|
E := AA2010A_PARENT.TASKING_ERROR;
|
E := AA2010A_PARENT.TASKING_ERROR;
|
|
|
RESULT;
|
RESULT;
|
END AA2010A;
|
END AA2010A;
|
|
|