WITH REPORT;
PROCEDURE CC3017C IS
BEGIN
REPORT.TEST ("CC3017C", "CHECK THAT AN INSTANCE OF A GENERIC " &
"PROCEDURE MUST DECLARE A PROCEDURE AND THAT AN " &
"INSTANCE OF A GENERIC FUNCTION MUST DECLARE A " &
"FUNCTION. CHECK THAT SCALAR AND ACCESS PARAMETERS " &
"ARE COPIED");
SCALAR_TO_PROCS:
DECLARE
TYPE NUMBER IS RANGE 0 .. 120 ;
VALUE : NUMBER ;
E : EXCEPTION ;
GENERIC
TYPE SCALAR_ITEM IS RANGE <> ;
PROCEDURE P (P_IN : IN SCALAR_ITEM ;
P_OUT : OUT SCALAR_ITEM ;
P_IN_OUT : IN OUT SCALAR_ITEM) ;
PROCEDURE P (P_IN : IN SCALAR_ITEM ;
P_OUT : OUT SCALAR_ITEM ;
P_IN_OUT : IN OUT SCALAR_ITEM) IS
STORE : SCALAR_ITEM ;
BEGIN
STORE := P_IN;
P_OUT := 10;
IF (P_IN /= STORE) THEN
REPORT.FAILED ("ASSIGNMENT TO SCALAR OUT " &
"PARAMETER CHANGES THE VALUE OF " &
"INPUT PARAMETER");
STORE := P_IN; END IF;
P_IN_OUT := P_IN_OUT + 100;
IF (P_IN /= STORE) THEN
REPORT.FAILED ("ASSIGNMENT TO SCALAR IN OUT " &
"PARAMETER CHANGES THE VALUE OF " &
"INPUT PARAMETER");
STORE := P_IN; END IF;
VALUE := VALUE + 1;
IF (P_IN /= STORE) THEN
REPORT.FAILED ("ASSIGNMENT TO SCALAR GLOBAL " &
"PARAMETER CHANGES THE VALUE OF " &
"INPUT PARAMETER");
END IF;
RAISE E; END P;
PROCEDURE NEW_P IS NEW P (SCALAR_ITEM => NUMBER) ;
BEGIN VALUE := 0;
NEW_P (P_IN => VALUE,
P_OUT => VALUE,
P_IN_OUT => VALUE);
REPORT.FAILED ("EXCEPTION NOT RAISED - SCALARS TO PROCEDURES");
EXCEPTION
WHEN E =>
IF (VALUE /= 1) THEN
CASE VALUE IS
WHEN 11 =>
REPORT.FAILED ("OUT ACTUAL SCALAR " &
"PARAMETER CHANGED GLOBAL VALUE");
WHEN 101 =>
REPORT.FAILED ("IN OUT ACTUAL SCALAR " &
"PARAMETER CHANGED GLOBAL VALUE");
WHEN 111 =>
REPORT.FAILED ("OUT AND IN OUT ACTUAL " &
"SCALAR PARAMETERS CHANGED " &
"GLOBAL VALUE");
WHEN OTHERS =>
REPORT.FAILED ("UNDETERMINED CHANGE TO " &
"GLOBAL VALUE");
END CASE;
END IF;
WHEN OTHERS =>
REPORT.FAILED ("WRONG EXCEPTION RAISED - SCALARS TO PROCEDURES");
END SCALAR_TO_PROCS ;
SCALAR_TO_FUNCS:
DECLARE
TYPE NUMBER IS RANGE 0 .. 101 ;
FIRST : NUMBER ;
SECOND : NUMBER ;
GENERIC
TYPE ITEM IS RANGE <> ;
FUNCTION F (F_IN : IN ITEM) RETURN ITEM ;
FUNCTION F (F_IN : IN ITEM) RETURN ITEM IS
STORE : ITEM := F_IN;
BEGIN
FIRST := FIRST + 1;
IF (F_IN /= STORE) THEN
REPORT.FAILED ("ASSIGNMENT TO SCALAR GLOBAL FUNCTION " &
"PARAMETER CHANGES THE VALUE OF " &
"INPUT PARAMETER");
END IF;
RETURN (100);
END F;
FUNCTION NEW_F IS NEW F (ITEM => NUMBER) ;
BEGIN FIRST := 100 ;
SECOND := NEW_F (FIRST) ;
END SCALAR_TO_FUNCS ;
ACCESS_TO_PROCS:
DECLARE
TYPE MONTH_TYPE IS (JAN, FEB, MAR, APR, MAY, JUN, JUL, AUG,
SEP, OCT, NOV, DEC) ;
TYPE DAY_TYPE IS RANGE 1 .. 31 ;
TYPE YEAR_TYPE IS RANGE 1904 .. 2050 ;
TYPE DATE IS RECORD
MONTH : MONTH_TYPE ;
DAY : DAY_TYPE ;
YEAR : YEAR_TYPE ;
END RECORD ;
TYPE DATE_ACCESS IS ACCESS DATE ;
DATE_POINTER : DATE_ACCESS ;
E : EXCEPTION;
GENERIC
TYPE ITEM IS PRIVATE ;
TYPE ACCESS_ITEM IS ACCESS ITEM ;
PROCEDURE P (P_IN : IN ACCESS_ITEM ;
P_OUT : OUT ACCESS_ITEM ;
P_IN_OUT : IN OUT ACCESS_ITEM) ;
PROCEDURE P (P_IN : IN ACCESS_ITEM ;
P_OUT : OUT ACCESS_ITEM ;
P_IN_OUT : IN OUT ACCESS_ITEM) IS
STORE : ACCESS_ITEM ;
BEGIN
STORE := P_IN ;
DATE_POINTER := NEW DATE'(YEAR => 1990,
DAY => 7,
MONTH => AUG) ;
IF (P_IN /= STORE) THEN
REPORT.FAILED ("ASSIGNMENT TO ACCESS GLOBAL " &
"PARAMETER CHANGES THE VALUE OF " &
"INPUT PARAMETER");
STORE := P_IN; END IF;
P_OUT := NEW ITEM ;
IF (P_IN /= STORE) THEN
REPORT.FAILED ("ASSIGNMENT TO ACCESS OUT " &
"PARAMETER CHANGES THE VALUE OF " &
"INPUT PARAMETER");
STORE := P_IN; END IF;
P_IN_OUT := NEW ITEM ;
IF (P_IN /= STORE) THEN
REPORT.FAILED ("ASSIGNMENT TO ACCESS IN OUT " &
"PARAMETER CHANGES THE VALUE OF " &
"INPUT PARAMETER");
END IF;
RAISE E; END P ;
PROCEDURE NEW_P IS NEW P (ITEM => DATE,
ACCESS_ITEM => DATE_ACCESS) ;
BEGIN DATE_POINTER := NEW DATE'(MONTH => DEC,
DAY => 25,
YEAR => 2000) ;
NEW_P (P_IN => DATE_POINTER,
P_OUT => DATE_POINTER,
P_IN_OUT => DATE_POINTER) ;
REPORT.FAILED ("EXCEPTION NOT RAISED - ACCESS TO PROCEDURES");
EXCEPTION
WHEN E =>
IF (DATE_POINTER.ALL /= (AUG, 7, 1990)) THEN
REPORT.FAILED ("OUT OR IN OUT ACTUAL PROCEDURE " &
"PARAMETER VALUE CHANGED DESPITE " &
"RAISED EXCEPTION");
END IF;
WHEN OTHERS =>
REPORT.FAILED ("WRONG EXCEPTION RAISED - ACCESS TO PROCEDURES");
END ACCESS_TO_PROCS ;
ACCESS_TO_FUNCS:
DECLARE
TYPE MONTH_TYPE IS (JAN, FEB, MAR, APR, MAY, JUN, JUL, AUG,
SEP, OCT, NOV, DEC) ;
TYPE DAY_TYPE IS RANGE 1 .. 31 ;
TYPE YEAR_TYPE IS RANGE 1904 .. 2050 ;
TYPE DATE IS RECORD
MONTH : MONTH_TYPE ;
DAY : DAY_TYPE ;
YEAR : YEAR_TYPE ;
END RECORD ;
TYPE DATE_ACCESS IS ACCESS DATE ;
DATE_POINTER : DATE_ACCESS ;
NEXT_DATE : DATE_ACCESS ;
GENERIC
TYPE ITEM IS PRIVATE ;
TYPE ACCESS_ITEM IS ACCESS ITEM ;
FUNCTION F (F_IN : IN ACCESS_ITEM) RETURN ACCESS_ITEM ;
FUNCTION F (F_IN : IN ACCESS_ITEM) RETURN ACCESS_ITEM IS
STORE : ACCESS_ITEM := F_IN ;
BEGIN
DATE_POINTER := NEW DATE'(YEAR => 1990,
DAY => 7,
MONTH => AUG) ;
IF (F_IN /= STORE) THEN
REPORT.FAILED ("ASSIGNMENT TO ACCESS GLOBAL FUNCTION " &
"PARAMETER CHANGES THE VALUE OF " &
"INPUT PARAMETER");
END IF;
RETURN (NULL);
END F ;
FUNCTION NEW_F IS NEW F (ITEM => DATE,
ACCESS_ITEM => DATE_ACCESS) ;
BEGIN DATE_POINTER := NULL ;
NEXT_DATE := NEW_F(F_IN => DATE_POINTER) ;
END ACCESS_TO_FUNCS ;
REPORT.RESULT;
END CC3017C;