-- CC3017B.ADA
|
-- CC3017B.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 AN INSTANCE OF A GENERIC PROCEDURE MUST DECLARE A
|
-- CHECK THAT AN INSTANCE OF A GENERIC PROCEDURE MUST DECLARE A
|
-- PROCEDURE AND THAT AN INSTANCE OF A GENERIC FUNCTION MUST
|
-- PROCEDURE AND THAT AN INSTANCE OF A GENERIC FUNCTION MUST
|
-- DECLARE A FUNCTION. CHECK THAT CONSTRAINT_ERROR IS NOT RAISED
|
-- DECLARE A FUNCTION. CHECK THAT CONSTRAINT_ERROR IS NOT RAISED
|
-- IF THE DEFAULT VALUE FOR A FORMAL PARAMETER DOES NOT SATISFY
|
-- IF THE DEFAULT VALUE FOR A FORMAL PARAMETER DOES NOT SATISFY
|
-- THE CONSTRAINTS OF THE SUBTYPE_INDICATION WHEN THE
|
-- THE CONSTRAINTS OF THE SUBTYPE_INDICATION WHEN THE
|
-- DECLARATION IS ELABORATED, ONLY WHEN THE DEFAULT IS USED.
|
-- DECLARATION IS ELABORATED, ONLY WHEN THE DEFAULT IS USED.
|
|
|
-- SUBTESTS ARE:
|
-- SUBTESTS ARE:
|
-- (A) ARRAY PARAMETERS CONSTRAINED WITH NONSTATIC BOUNDS AND
|
-- (A) ARRAY PARAMETERS CONSTRAINED WITH NONSTATIC BOUNDS AND
|
-- INITIALIZED WITH A STATIC AGGREGATE.
|
-- INITIALIZED WITH A STATIC AGGREGATE.
|
-- (B) A SCALAR PARAMETER WITH NON-STATIC RANGE CONSTRAINTS
|
-- (B) A SCALAR PARAMETER WITH NON-STATIC RANGE CONSTRAINTS
|
-- INITIALIZED WITH A STATIC VALUE.
|
-- INITIALIZED WITH A STATIC VALUE.
|
-- (C) A RECORD PARAMETER WHOSE COMPONENTS HAVE NON-STATIC
|
-- (C) A RECORD PARAMETER WHOSE COMPONENTS HAVE NON-STATIC
|
-- CONSTRAINTS INITIALIZED WITH A STATIC AGGREGATE.
|
-- CONSTRAINTS INITIALIZED WITH A STATIC AGGREGATE.
|
-- (D) AN ARRAY PARAMETER CONSTRAINED WITH STATIC BOUNDS ON SUB-
|
-- (D) AN ARRAY PARAMETER CONSTRAINED WITH STATIC BOUNDS ON SUB-
|
-- SCRIPTS AND NON-STATIC BOUNDS ON COMPONENTS, INITIALIZED
|
-- SCRIPTS AND NON-STATIC BOUNDS ON COMPONENTS, INITIALIZED
|
-- WITH A STATIC AGGREGATE.
|
-- WITH A STATIC AGGREGATE.
|
-- (E) A RECORD PARAMETER WITH A NON-STATIC CONSTRAINT
|
-- (E) A RECORD PARAMETER WITH A NON-STATIC CONSTRAINT
|
-- INITIALIZED WITH A STATIC AGGREGATE.
|
-- INITIALIZED WITH A STATIC AGGREGATE.
|
|
|
-- EDWARD V. BERARD, 7 AUGUST 1990
|
-- EDWARD V. BERARD, 7 AUGUST 1990
|
|
|
WITH REPORT;
|
WITH REPORT;
|
|
|
PROCEDURE CC3017B IS
|
PROCEDURE CC3017B IS
|
|
|
BEGIN
|
BEGIN
|
|
|
REPORT.TEST ("CC3017B", "CHECK THAT AN INSTANCE OF A GENERIC " &
|
REPORT.TEST ("CC3017B", "CHECK THAT AN INSTANCE OF A GENERIC " &
|
"PROCEDURE MUST DECLARE A PROCEDURE AND THAT AN " &
|
"PROCEDURE MUST DECLARE A PROCEDURE AND THAT AN " &
|
"INSTANCE OF A GENERIC FUNCTION MUST DECLARE A " &
|
"INSTANCE OF A GENERIC FUNCTION MUST DECLARE A " &
|
"FUNCTION. CHECK THAT CONSTRAINT_ERROR IS NOT " &
|
"FUNCTION. CHECK THAT CONSTRAINT_ERROR IS NOT " &
|
"RAISED IF AN INITIALIZATION VALUE DOES NOT SATISFY " &
|
"RAISED IF AN INITIALIZATION VALUE DOES NOT SATISFY " &
|
"CONSTRAINTS ON A FORMAL PARAMETER");
|
"CONSTRAINTS ON A FORMAL PARAMETER");
|
|
|
--------------------------------------------------
|
--------------------------------------------------
|
|
|
NONSTAT_ARRAY_PARMS:
|
NONSTAT_ARRAY_PARMS:
|
|
|
DECLARE
|
DECLARE
|
|
|
-- (A) ARRAY PARAMETERS CONSTRAINED WITH NONSTATIC BOUNDS AND
|
-- (A) ARRAY PARAMETERS CONSTRAINED WITH NONSTATIC BOUNDS AND
|
-- INITIALIZED WITH A STATIC AGGREGATE.
|
-- INITIALIZED WITH A STATIC AGGREGATE.
|
|
|
TYPE NUMBER IS RANGE 1 .. 100 ;
|
TYPE NUMBER IS RANGE 1 .. 100 ;
|
|
|
GENERIC
|
GENERIC
|
|
|
TYPE INTEGER_TYPE IS RANGE <> ;
|
TYPE INTEGER_TYPE IS RANGE <> ;
|
LOWER : IN INTEGER_TYPE ;
|
LOWER : IN INTEGER_TYPE ;
|
UPPER : IN INTEGER_TYPE ;
|
UPPER : IN INTEGER_TYPE ;
|
|
|
PROCEDURE PA (FIRST : IN INTEGER_TYPE ;
|
PROCEDURE PA (FIRST : IN INTEGER_TYPE ;
|
SECOND : IN INTEGER_TYPE) ;
|
SECOND : IN INTEGER_TYPE) ;
|
|
|
PROCEDURE PA (FIRST : IN INTEGER_TYPE ;
|
PROCEDURE PA (FIRST : IN INTEGER_TYPE ;
|
SECOND : IN INTEGER_TYPE) IS
|
SECOND : IN INTEGER_TYPE) IS
|
|
|
TYPE A1 IS ARRAY (INTEGER_TYPE RANGE LOWER .. FIRST,
|
TYPE A1 IS ARRAY (INTEGER_TYPE RANGE LOWER .. FIRST,
|
INTEGER_TYPE RANGE LOWER .. SECOND)
|
INTEGER_TYPE RANGE LOWER .. SECOND)
|
OF INTEGER_TYPE;
|
OF INTEGER_TYPE;
|
|
|
PROCEDURE PA1 (A : A1 := ((LOWER,UPPER),(UPPER,UPPER)))
|
PROCEDURE PA1 (A : A1 := ((LOWER,UPPER),(UPPER,UPPER)))
|
IS
|
IS
|
BEGIN
|
BEGIN
|
REPORT.FAILED ("BODY OF PA1 EXECUTED");
|
REPORT.FAILED ("BODY OF PA1 EXECUTED");
|
EXCEPTION
|
EXCEPTION
|
WHEN OTHERS =>
|
WHEN OTHERS =>
|
REPORT.FAILED ("EXCEPTION RAISED IN PA1");
|
REPORT.FAILED ("EXCEPTION RAISED IN PA1");
|
END PA1;
|
END PA1;
|
|
|
BEGIN -- PA
|
BEGIN -- PA
|
PA1;
|
PA1;
|
EXCEPTION
|
EXCEPTION
|
WHEN CONSTRAINT_ERROR =>
|
WHEN CONSTRAINT_ERROR =>
|
NULL;
|
NULL;
|
WHEN OTHERS =>
|
WHEN OTHERS =>
|
REPORT.FAILED ("WRONG EXCEPTION RAISED - PA1");
|
REPORT.FAILED ("WRONG EXCEPTION RAISED - PA1");
|
END PA;
|
END PA;
|
|
|
PROCEDURE NEW_PA IS NEW PA (INTEGER_TYPE => NUMBER,
|
PROCEDURE NEW_PA IS NEW PA (INTEGER_TYPE => NUMBER,
|
LOWER => 1,
|
LOWER => 1,
|
UPPER => 50) ;
|
UPPER => 50) ;
|
|
|
BEGIN -- NONSTAT_ARRAY_PARMS
|
BEGIN -- NONSTAT_ARRAY_PARMS
|
|
|
NEW_PA (FIRST => NUMBER (25),
|
NEW_PA (FIRST => NUMBER (25),
|
SECOND => NUMBER (75));
|
SECOND => NUMBER (75));
|
|
|
EXCEPTION
|
EXCEPTION
|
WHEN OTHERS =>
|
WHEN OTHERS =>
|
REPORT.FAILED ("EXCEPTION RAISED IN CALL TO NEW_PA");
|
REPORT.FAILED ("EXCEPTION RAISED IN CALL TO NEW_PA");
|
|
|
END NONSTAT_ARRAY_PARMS ;
|
END NONSTAT_ARRAY_PARMS ;
|
|
|
--------------------------------------------------
|
--------------------------------------------------
|
|
|
SCALAR_NON_STATIC:
|
SCALAR_NON_STATIC:
|
|
|
DECLARE
|
DECLARE
|
|
|
-- (B) A SCALAR PARAMETER WITH NON-STATIC RANGE CONSTRAINTS
|
-- (B) A SCALAR PARAMETER WITH NON-STATIC RANGE CONSTRAINTS
|
-- INITIALIZED WITH A STATIC VALUE.
|
-- INITIALIZED WITH A STATIC VALUE.
|
|
|
TYPE NUMBER IS RANGE 1 .. 100 ;
|
TYPE NUMBER IS RANGE 1 .. 100 ;
|
|
|
GENERIC
|
GENERIC
|
|
|
TYPE INTEGER_TYPE IS RANGE <> ;
|
TYPE INTEGER_TYPE IS RANGE <> ;
|
STATIC_VALUE : IN INTEGER_TYPE ;
|
STATIC_VALUE : IN INTEGER_TYPE ;
|
|
|
PROCEDURE PB (LOWER : IN INTEGER_TYPE ;
|
PROCEDURE PB (LOWER : IN INTEGER_TYPE ;
|
UPPER : IN INTEGER_TYPE) ;
|
UPPER : IN INTEGER_TYPE) ;
|
|
|
PROCEDURE PB (LOWER : IN INTEGER_TYPE ;
|
PROCEDURE PB (LOWER : IN INTEGER_TYPE ;
|
UPPER : IN INTEGER_TYPE) IS
|
UPPER : IN INTEGER_TYPE) IS
|
|
|
SUBTYPE INT IS INTEGER_TYPE RANGE LOWER .. UPPER ;
|
SUBTYPE INT IS INTEGER_TYPE RANGE LOWER .. UPPER ;
|
|
|
PROCEDURE PB1 (I : INT := STATIC_VALUE) IS
|
PROCEDURE PB1 (I : INT := STATIC_VALUE) IS
|
BEGIN -- PB1
|
BEGIN -- PB1
|
REPORT.FAILED ("BODY OF PB1 EXECUTED");
|
REPORT.FAILED ("BODY OF PB1 EXECUTED");
|
EXCEPTION
|
EXCEPTION
|
WHEN OTHERS =>
|
WHEN OTHERS =>
|
REPORT.FAILED ("EXCEPTION RAISED IN PB1");
|
REPORT.FAILED ("EXCEPTION RAISED IN PB1");
|
END PB1;
|
END PB1;
|
|
|
BEGIN -- PB
|
BEGIN -- PB
|
PB1;
|
PB1;
|
EXCEPTION
|
EXCEPTION
|
WHEN CONSTRAINT_ERROR =>
|
WHEN CONSTRAINT_ERROR =>
|
NULL;
|
NULL;
|
WHEN OTHERS =>
|
WHEN OTHERS =>
|
REPORT.FAILED ("WRONG EXCEPTION RAISED - PB1");
|
REPORT.FAILED ("WRONG EXCEPTION RAISED - PB1");
|
END PB;
|
END PB;
|
|
|
PROCEDURE NEW_PB IS NEW PB (INTEGER_TYPE => NUMBER,
|
PROCEDURE NEW_PB IS NEW PB (INTEGER_TYPE => NUMBER,
|
STATIC_VALUE => 20) ;
|
STATIC_VALUE => 20) ;
|
|
|
BEGIN -- SCALAR_NON_STATIC
|
BEGIN -- SCALAR_NON_STATIC
|
|
|
NEW_PB (LOWER => NUMBER (25),
|
NEW_PB (LOWER => NUMBER (25),
|
UPPER => NUMBER (75));
|
UPPER => NUMBER (75));
|
|
|
EXCEPTION
|
EXCEPTION
|
WHEN OTHERS =>
|
WHEN OTHERS =>
|
REPORT.FAILED ("EXCEPTION RAISED IN CALL TO NEW_PB");
|
REPORT.FAILED ("EXCEPTION RAISED IN CALL TO NEW_PB");
|
END SCALAR_NON_STATIC ;
|
END SCALAR_NON_STATIC ;
|
|
|
--------------------------------------------------
|
--------------------------------------------------
|
|
|
REC_NON_STAT_COMPS:
|
REC_NON_STAT_COMPS:
|
|
|
DECLARE
|
DECLARE
|
|
|
-- (C) A RECORD PARAMETER WHOSE COMPONENTS HAVE NON-STATIC
|
-- (C) A RECORD PARAMETER WHOSE COMPONENTS HAVE NON-STATIC
|
-- CONSTRAINTS INITIALIZED WITH A STATIC AGGREGATE.
|
-- CONSTRAINTS INITIALIZED WITH A STATIC AGGREGATE.
|
|
|
TYPE NUMBER IS RANGE 1 .. 100 ;
|
TYPE NUMBER IS RANGE 1 .. 100 ;
|
|
|
GENERIC
|
GENERIC
|
|
|
TYPE INTEGER_TYPE IS RANGE <> ;
|
TYPE INTEGER_TYPE IS RANGE <> ;
|
F_STATIC_VALUE : IN INTEGER_TYPE ;
|
F_STATIC_VALUE : IN INTEGER_TYPE ;
|
S_STATIC_VALUE : IN INTEGER_TYPE ;
|
S_STATIC_VALUE : IN INTEGER_TYPE ;
|
T_STATIC_VALUE : IN INTEGER_TYPE ;
|
T_STATIC_VALUE : IN INTEGER_TYPE ;
|
L_STATIC_VALUE : IN INTEGER_TYPE ;
|
L_STATIC_VALUE : IN INTEGER_TYPE ;
|
|
|
PROCEDURE PC (LOWER : IN INTEGER_TYPE ;
|
PROCEDURE PC (LOWER : IN INTEGER_TYPE ;
|
UPPER : IN INTEGER_TYPE) ;
|
UPPER : IN INTEGER_TYPE) ;
|
|
|
PROCEDURE PC (LOWER : IN INTEGER_TYPE ;
|
PROCEDURE PC (LOWER : IN INTEGER_TYPE ;
|
UPPER : IN INTEGER_TYPE) IS
|
UPPER : IN INTEGER_TYPE) IS
|
|
|
SUBTYPE SUBINTEGER_TYPE IS INTEGER_TYPE
|
SUBTYPE SUBINTEGER_TYPE IS INTEGER_TYPE
|
RANGE LOWER .. UPPER ;
|
RANGE LOWER .. UPPER ;
|
TYPE AR1 IS ARRAY (INTEGER RANGE 1..3) OF
|
TYPE AR1 IS ARRAY (INTEGER RANGE 1..3) OF
|
SUBINTEGER_TYPE ;
|
SUBINTEGER_TYPE ;
|
TYPE REC IS
|
TYPE REC IS
|
RECORD
|
RECORD
|
FIRST : SUBINTEGER_TYPE ;
|
FIRST : SUBINTEGER_TYPE ;
|
SECOND : AR1 ;
|
SECOND : AR1 ;
|
END RECORD;
|
END RECORD;
|
|
|
PROCEDURE PC1 (R : REC := (F_STATIC_VALUE,
|
PROCEDURE PC1 (R : REC := (F_STATIC_VALUE,
|
(S_STATIC_VALUE,
|
(S_STATIC_VALUE,
|
T_STATIC_VALUE,
|
T_STATIC_VALUE,
|
L_STATIC_VALUE))) IS
|
L_STATIC_VALUE))) IS
|
BEGIN -- PC1
|
BEGIN -- PC1
|
REPORT.FAILED ("BODY OF PC1 EXECUTED");
|
REPORT.FAILED ("BODY OF PC1 EXECUTED");
|
EXCEPTION
|
EXCEPTION
|
WHEN OTHERS =>
|
WHEN OTHERS =>
|
REPORT.FAILED ("EXCEPTION RAISED IN PC1");
|
REPORT.FAILED ("EXCEPTION RAISED IN PC1");
|
END PC1;
|
END PC1;
|
|
|
BEGIN -- PC
|
BEGIN -- PC
|
PC1;
|
PC1;
|
EXCEPTION
|
EXCEPTION
|
WHEN CONSTRAINT_ERROR =>
|
WHEN CONSTRAINT_ERROR =>
|
NULL;
|
NULL;
|
WHEN OTHERS =>
|
WHEN OTHERS =>
|
REPORT.FAILED ("WRONG EXCEPTION RAISED - PC1");
|
REPORT.FAILED ("WRONG EXCEPTION RAISED - PC1");
|
END PC;
|
END PC;
|
|
|
PROCEDURE NEW_PC IS NEW PC (INTEGER_TYPE => NUMBER,
|
PROCEDURE NEW_PC IS NEW PC (INTEGER_TYPE => NUMBER,
|
F_STATIC_VALUE => 15,
|
F_STATIC_VALUE => 15,
|
S_STATIC_VALUE => 19,
|
S_STATIC_VALUE => 19,
|
T_STATIC_VALUE => 85,
|
T_STATIC_VALUE => 85,
|
L_STATIC_VALUE => 99) ;
|
L_STATIC_VALUE => 99) ;
|
|
|
BEGIN -- REC_NON_STAT_COMPS
|
BEGIN -- REC_NON_STAT_COMPS
|
NEW_PC (LOWER => 20,
|
NEW_PC (LOWER => 20,
|
UPPER => 80);
|
UPPER => 80);
|
EXCEPTION
|
EXCEPTION
|
WHEN OTHERS =>
|
WHEN OTHERS =>
|
REPORT.FAILED ("EXCEPTION RAISED IN CALL TO NEW_PC");
|
REPORT.FAILED ("EXCEPTION RAISED IN CALL TO NEW_PC");
|
END REC_NON_STAT_COMPS ;
|
END REC_NON_STAT_COMPS ;
|
|
|
--------------------------------------------------
|
--------------------------------------------------
|
|
|
FIRST_STATIC_ARRAY:
|
FIRST_STATIC_ARRAY:
|
|
|
DECLARE
|
DECLARE
|
|
|
-- (D) AN ARRAY PARAMETER CONSTRAINED WITH STATIC BOUNDS ON SUB-
|
-- (D) AN ARRAY PARAMETER CONSTRAINED WITH STATIC BOUNDS ON SUB-
|
-- SCRIPTS AND NON-STATIC BOUNDS ON COMPONENTS, INITIALIZED
|
-- SCRIPTS AND NON-STATIC BOUNDS ON COMPONENTS, INITIALIZED
|
-- WITH A STATIC AGGREGATE.
|
-- WITH A STATIC AGGREGATE.
|
|
|
TYPE NUMBER IS RANGE 1 .. 100 ;
|
TYPE NUMBER IS RANGE 1 .. 100 ;
|
|
|
GENERIC
|
GENERIC
|
|
|
TYPE INTEGER_TYPE IS RANGE <> ;
|
TYPE INTEGER_TYPE IS RANGE <> ;
|
F_STATIC_VALUE : IN INTEGER_TYPE ;
|
F_STATIC_VALUE : IN INTEGER_TYPE ;
|
S_STATIC_VALUE : IN INTEGER_TYPE ;
|
S_STATIC_VALUE : IN INTEGER_TYPE ;
|
T_STATIC_VALUE : IN INTEGER_TYPE ;
|
T_STATIC_VALUE : IN INTEGER_TYPE ;
|
L_STATIC_VALUE : IN INTEGER_TYPE ;
|
L_STATIC_VALUE : IN INTEGER_TYPE ;
|
A_STATIC_VALUE : IN INTEGER_TYPE ;
|
A_STATIC_VALUE : IN INTEGER_TYPE ;
|
B_STATIC_VALUE : IN INTEGER_TYPE ;
|
B_STATIC_VALUE : IN INTEGER_TYPE ;
|
C_STATIC_VALUE : IN INTEGER_TYPE ;
|
C_STATIC_VALUE : IN INTEGER_TYPE ;
|
D_STATIC_VALUE : IN INTEGER_TYPE ;
|
D_STATIC_VALUE : IN INTEGER_TYPE ;
|
|
|
PROCEDURE P1D (LOWER : IN INTEGER_TYPE ;
|
PROCEDURE P1D (LOWER : IN INTEGER_TYPE ;
|
UPPER : IN INTEGER_TYPE) ;
|
UPPER : IN INTEGER_TYPE) ;
|
|
|
PROCEDURE P1D (LOWER : IN INTEGER_TYPE ;
|
PROCEDURE P1D (LOWER : IN INTEGER_TYPE ;
|
UPPER : IN INTEGER_TYPE) IS
|
UPPER : IN INTEGER_TYPE) IS
|
|
|
SUBTYPE SUBINTEGER_TYPE IS INTEGER_TYPE
|
SUBTYPE SUBINTEGER_TYPE IS INTEGER_TYPE
|
RANGE LOWER .. UPPER ;
|
RANGE LOWER .. UPPER ;
|
|
|
TYPE A1 IS ARRAY (INTEGER_TYPE RANGE
|
TYPE A1 IS ARRAY (INTEGER_TYPE RANGE
|
F_STATIC_VALUE .. S_STATIC_VALUE,
|
F_STATIC_VALUE .. S_STATIC_VALUE,
|
INTEGER_TYPE RANGE
|
INTEGER_TYPE RANGE
|
T_STATIC_VALUE .. L_STATIC_VALUE)
|
T_STATIC_VALUE .. L_STATIC_VALUE)
|
OF SUBINTEGER_TYPE ;
|
OF SUBINTEGER_TYPE ;
|
|
|
PROCEDURE P1D1 (A : A1 :=
|
PROCEDURE P1D1 (A : A1 :=
|
((A_STATIC_VALUE, B_STATIC_VALUE),
|
((A_STATIC_VALUE, B_STATIC_VALUE),
|
(C_STATIC_VALUE, D_STATIC_VALUE))) IS
|
(C_STATIC_VALUE, D_STATIC_VALUE))) IS
|
BEGIN -- P1D1
|
BEGIN -- P1D1
|
REPORT.FAILED ("BODY OF P1D1 EXECUTED");
|
REPORT.FAILED ("BODY OF P1D1 EXECUTED");
|
EXCEPTION
|
EXCEPTION
|
WHEN OTHERS =>
|
WHEN OTHERS =>
|
REPORT.FAILED ("EXCEPTION RAISED IN P1D1");
|
REPORT.FAILED ("EXCEPTION RAISED IN P1D1");
|
END P1D1;
|
END P1D1;
|
|
|
BEGIN -- P1D
|
BEGIN -- P1D
|
P1D1 ;
|
P1D1 ;
|
EXCEPTION
|
EXCEPTION
|
WHEN CONSTRAINT_ERROR =>
|
WHEN CONSTRAINT_ERROR =>
|
NULL;
|
NULL;
|
WHEN OTHERS =>
|
WHEN OTHERS =>
|
REPORT.FAILED ("WRONG EXCEPTION RAISED - P1D1");
|
REPORT.FAILED ("WRONG EXCEPTION RAISED - P1D1");
|
END P1D;
|
END P1D;
|
|
|
PROCEDURE NEW_P1D IS NEW P1D (INTEGER_TYPE => NUMBER,
|
PROCEDURE NEW_P1D IS NEW P1D (INTEGER_TYPE => NUMBER,
|
F_STATIC_VALUE => 21,
|
F_STATIC_VALUE => 21,
|
S_STATIC_VALUE => 37,
|
S_STATIC_VALUE => 37,
|
T_STATIC_VALUE => 67,
|
T_STATIC_VALUE => 67,
|
L_STATIC_VALUE => 79,
|
L_STATIC_VALUE => 79,
|
A_STATIC_VALUE => 11,
|
A_STATIC_VALUE => 11,
|
B_STATIC_VALUE => 88,
|
B_STATIC_VALUE => 88,
|
C_STATIC_VALUE => 87,
|
C_STATIC_VALUE => 87,
|
D_STATIC_VALUE => 13) ;
|
D_STATIC_VALUE => 13) ;
|
|
|
BEGIN -- FIRST_STATIC_ARRAY
|
BEGIN -- FIRST_STATIC_ARRAY
|
NEW_P1D (LOWER => 10,
|
NEW_P1D (LOWER => 10,
|
UPPER => 90);
|
UPPER => 90);
|
EXCEPTION
|
EXCEPTION
|
WHEN OTHERS =>
|
WHEN OTHERS =>
|
REPORT.FAILED ("EXCEPTION RAISED IN CALL TO NEW_P1D");
|
REPORT.FAILED ("EXCEPTION RAISED IN CALL TO NEW_P1D");
|
END FIRST_STATIC_ARRAY ;
|
END FIRST_STATIC_ARRAY ;
|
|
|
--------------------------------------------------
|
--------------------------------------------------
|
|
|
SECOND_STATIC_ARRAY:
|
SECOND_STATIC_ARRAY:
|
|
|
DECLARE
|
DECLARE
|
|
|
-- (D) AN ARRAY PARAMETER CONSTRAINED WITH STATIC BOUNDS ON SUB-
|
-- (D) AN ARRAY PARAMETER CONSTRAINED WITH STATIC BOUNDS ON SUB-
|
-- SCRIPTS AND NON-STATIC BOUNDS ON COMPONENTS, INITIALIZED
|
-- SCRIPTS AND NON-STATIC BOUNDS ON COMPONENTS, INITIALIZED
|
-- WITH A STATIC AGGREGATE.
|
-- WITH A STATIC AGGREGATE.
|
|
|
TYPE NUMBER IS RANGE 1 .. 100 ;
|
TYPE NUMBER IS RANGE 1 .. 100 ;
|
|
|
GENERIC
|
GENERIC
|
|
|
TYPE INTEGER_TYPE IS RANGE <> ;
|
TYPE INTEGER_TYPE IS RANGE <> ;
|
F_STATIC_VALUE : IN INTEGER_TYPE ;
|
F_STATIC_VALUE : IN INTEGER_TYPE ;
|
S_STATIC_VALUE : IN INTEGER_TYPE ;
|
S_STATIC_VALUE : IN INTEGER_TYPE ;
|
T_STATIC_VALUE : IN INTEGER_TYPE ;
|
T_STATIC_VALUE : IN INTEGER_TYPE ;
|
L_STATIC_VALUE : IN INTEGER_TYPE ;
|
L_STATIC_VALUE : IN INTEGER_TYPE ;
|
A_STATIC_VALUE : IN INTEGER_TYPE ;
|
A_STATIC_VALUE : IN INTEGER_TYPE ;
|
B_STATIC_VALUE : IN INTEGER_TYPE ;
|
B_STATIC_VALUE : IN INTEGER_TYPE ;
|
|
|
PROCEDURE P2D (LOWER : IN INTEGER_TYPE ;
|
PROCEDURE P2D (LOWER : IN INTEGER_TYPE ;
|
UPPER : IN INTEGER_TYPE) ;
|
UPPER : IN INTEGER_TYPE) ;
|
|
|
PROCEDURE P2D (LOWER : IN INTEGER_TYPE ;
|
PROCEDURE P2D (LOWER : IN INTEGER_TYPE ;
|
UPPER : IN INTEGER_TYPE) IS
|
UPPER : IN INTEGER_TYPE) IS
|
|
|
SUBTYPE SUBINTEGER_TYPE IS INTEGER_TYPE
|
SUBTYPE SUBINTEGER_TYPE IS INTEGER_TYPE
|
RANGE LOWER .. UPPER ;
|
RANGE LOWER .. UPPER ;
|
|
|
TYPE A1 IS ARRAY (INTEGER_TYPE RANGE
|
TYPE A1 IS ARRAY (INTEGER_TYPE RANGE
|
F_STATIC_VALUE .. S_STATIC_VALUE,
|
F_STATIC_VALUE .. S_STATIC_VALUE,
|
INTEGER_TYPE RANGE
|
INTEGER_TYPE RANGE
|
T_STATIC_VALUE .. L_STATIC_VALUE)
|
T_STATIC_VALUE .. L_STATIC_VALUE)
|
OF SUBINTEGER_TYPE ;
|
OF SUBINTEGER_TYPE ;
|
|
|
PROCEDURE P2D1 (A : A1 :=
|
PROCEDURE P2D1 (A : A1 :=
|
(F_STATIC_VALUE .. S_STATIC_VALUE =>
|
(F_STATIC_VALUE .. S_STATIC_VALUE =>
|
(A_STATIC_VALUE, B_STATIC_VALUE))) IS
|
(A_STATIC_VALUE, B_STATIC_VALUE))) IS
|
BEGIN -- P2D1
|
BEGIN -- P2D1
|
REPORT.FAILED ("BODY OF P2D1 EXECUTED");
|
REPORT.FAILED ("BODY OF P2D1 EXECUTED");
|
EXCEPTION
|
EXCEPTION
|
WHEN OTHERS =>
|
WHEN OTHERS =>
|
REPORT.FAILED ("EXCEPTION RAISED IN P2D1");
|
REPORT.FAILED ("EXCEPTION RAISED IN P2D1");
|
END P2D1;
|
END P2D1;
|
|
|
BEGIN -- P2D
|
BEGIN -- P2D
|
P2D1;
|
P2D1;
|
EXCEPTION
|
EXCEPTION
|
WHEN CONSTRAINT_ERROR =>
|
WHEN CONSTRAINT_ERROR =>
|
NULL;
|
NULL;
|
WHEN OTHERS =>
|
WHEN OTHERS =>
|
REPORT.FAILED ("WRONG EXCEPTION RAISED - P2D1");
|
REPORT.FAILED ("WRONG EXCEPTION RAISED - P2D1");
|
END P2D;
|
END P2D;
|
|
|
PROCEDURE NEW_P2D IS NEW P2D (INTEGER_TYPE => NUMBER,
|
PROCEDURE NEW_P2D IS NEW P2D (INTEGER_TYPE => NUMBER,
|
F_STATIC_VALUE => 21,
|
F_STATIC_VALUE => 21,
|
S_STATIC_VALUE => 37,
|
S_STATIC_VALUE => 37,
|
T_STATIC_VALUE => 67,
|
T_STATIC_VALUE => 67,
|
L_STATIC_VALUE => 79,
|
L_STATIC_VALUE => 79,
|
A_STATIC_VALUE => 7,
|
A_STATIC_VALUE => 7,
|
B_STATIC_VALUE => 93) ;
|
B_STATIC_VALUE => 93) ;
|
|
|
BEGIN -- SECOND_STATIC_ARRAY
|
BEGIN -- SECOND_STATIC_ARRAY
|
NEW_P2D (LOWER => 5,
|
NEW_P2D (LOWER => 5,
|
UPPER => 95);
|
UPPER => 95);
|
EXCEPTION
|
EXCEPTION
|
WHEN OTHERS =>
|
WHEN OTHERS =>
|
REPORT.FAILED ("EXCEPTION RAISED IN CALL TO NEW_P2D");
|
REPORT.FAILED ("EXCEPTION RAISED IN CALL TO NEW_P2D");
|
END SECOND_STATIC_ARRAY ;
|
END SECOND_STATIC_ARRAY ;
|
|
|
--------------------------------------------------
|
--------------------------------------------------
|
|
|
REC_NON_STATIC_CONS:
|
REC_NON_STATIC_CONS:
|
|
|
DECLARE
|
DECLARE
|
|
|
-- (E) A RECORD PARAMETER WITH A NON-STATIC CONSTRAINT
|
-- (E) A RECORD PARAMETER WITH A NON-STATIC CONSTRAINT
|
-- INITIALIZED WITH A STATIC AGGREGATE.
|
-- INITIALIZED WITH A STATIC AGGREGATE.
|
|
|
TYPE NUMBER IS RANGE 1 .. 100 ;
|
TYPE NUMBER IS RANGE 1 .. 100 ;
|
|
|
GENERIC
|
GENERIC
|
|
|
TYPE INTEGER_TYPE IS RANGE <> ;
|
TYPE INTEGER_TYPE IS RANGE <> ;
|
F_STATIC_VALUE : IN INTEGER_TYPE ;
|
F_STATIC_VALUE : IN INTEGER_TYPE ;
|
S_STATIC_VALUE : IN INTEGER_TYPE ;
|
S_STATIC_VALUE : IN INTEGER_TYPE ;
|
T_STATIC_VALUE : IN INTEGER_TYPE ;
|
T_STATIC_VALUE : IN INTEGER_TYPE ;
|
L_STATIC_VALUE : IN INTEGER_TYPE ;
|
L_STATIC_VALUE : IN INTEGER_TYPE ;
|
D_STATIC_VALUE : IN INTEGER_TYPE ;
|
D_STATIC_VALUE : IN INTEGER_TYPE ;
|
|
|
PROCEDURE PE (LOWER : IN INTEGER_TYPE ;
|
PROCEDURE PE (LOWER : IN INTEGER_TYPE ;
|
UPPER : IN INTEGER_TYPE) ;
|
UPPER : IN INTEGER_TYPE) ;
|
|
|
PROCEDURE PE (LOWER : IN INTEGER_TYPE ;
|
PROCEDURE PE (LOWER : IN INTEGER_TYPE ;
|
UPPER : IN INTEGER_TYPE) IS
|
UPPER : IN INTEGER_TYPE) IS
|
|
|
SUBTYPE SUBINTEGER_TYPE IS INTEGER_TYPE
|
SUBTYPE SUBINTEGER_TYPE IS INTEGER_TYPE
|
RANGE LOWER .. UPPER ;
|
RANGE LOWER .. UPPER ;
|
TYPE AR1 IS ARRAY (INTEGER RANGE 1..3) OF
|
TYPE AR1 IS ARRAY (INTEGER RANGE 1..3) OF
|
SUBINTEGER_TYPE ;
|
SUBINTEGER_TYPE ;
|
|
|
TYPE REC (DISCRIM : SUBINTEGER_TYPE) IS
|
TYPE REC (DISCRIM : SUBINTEGER_TYPE) IS
|
RECORD
|
RECORD
|
FIRST : SUBINTEGER_TYPE ;
|
FIRST : SUBINTEGER_TYPE ;
|
SECOND : AR1 ;
|
SECOND : AR1 ;
|
END RECORD ;
|
END RECORD ;
|
|
|
SUBTYPE REC4 IS REC (LOWER) ;
|
SUBTYPE REC4 IS REC (LOWER) ;
|
|
|
PROCEDURE PE1 (R : REC4 := (D_STATIC_VALUE,
|
PROCEDURE PE1 (R : REC4 := (D_STATIC_VALUE,
|
F_STATIC_VALUE,
|
F_STATIC_VALUE,
|
(S_STATIC_VALUE,
|
(S_STATIC_VALUE,
|
T_STATIC_VALUE,
|
T_STATIC_VALUE,
|
L_STATIC_VALUE))) IS
|
L_STATIC_VALUE))) IS
|
BEGIN -- PE1
|
BEGIN -- PE1
|
REPORT.FAILED ("BODY OF PE1 EXECUTED");
|
REPORT.FAILED ("BODY OF PE1 EXECUTED");
|
EXCEPTION
|
EXCEPTION
|
WHEN OTHERS =>
|
WHEN OTHERS =>
|
REPORT.FAILED ("EXCEPTION RAISED IN PE1");
|
REPORT.FAILED ("EXCEPTION RAISED IN PE1");
|
END PE1;
|
END PE1;
|
|
|
BEGIN -- PE
|
BEGIN -- PE
|
PE1;
|
PE1;
|
EXCEPTION
|
EXCEPTION
|
WHEN CONSTRAINT_ERROR =>
|
WHEN CONSTRAINT_ERROR =>
|
NULL;
|
NULL;
|
WHEN OTHERS =>
|
WHEN OTHERS =>
|
REPORT.FAILED ("WRONG EXCEPTION RAISED - PE1");
|
REPORT.FAILED ("WRONG EXCEPTION RAISED - PE1");
|
END PE;
|
END PE;
|
|
|
PROCEDURE NEW_PE IS NEW PE (INTEGER_TYPE => NUMBER,
|
PROCEDURE NEW_PE IS NEW PE (INTEGER_TYPE => NUMBER,
|
F_STATIC_VALUE => 37,
|
F_STATIC_VALUE => 37,
|
S_STATIC_VALUE => 21,
|
S_STATIC_VALUE => 21,
|
T_STATIC_VALUE => 67,
|
T_STATIC_VALUE => 67,
|
L_STATIC_VALUE => 79,
|
L_STATIC_VALUE => 79,
|
D_STATIC_VALUE => 44) ;
|
D_STATIC_VALUE => 44) ;
|
|
|
BEGIN -- REC_NON_STATIC_CONS
|
BEGIN -- REC_NON_STATIC_CONS
|
NEW_PE (LOWER => 2,
|
NEW_PE (LOWER => 2,
|
UPPER => 99);
|
UPPER => 99);
|
EXCEPTION
|
EXCEPTION
|
WHEN OTHERS =>
|
WHEN OTHERS =>
|
REPORT.FAILED ("EXCEPTION RAISED IN CALL TO NEW_PE");
|
REPORT.FAILED ("EXCEPTION RAISED IN CALL TO NEW_PE");
|
END REC_NON_STATIC_CONS ;
|
END REC_NON_STATIC_CONS ;
|
|
|
--------------------------------------------------
|
--------------------------------------------------
|
|
|
REPORT.RESULT;
|
REPORT.RESULT;
|
|
|
END CC3017B;
|
END CC3017B;
|
|
|