WITH REPORT; USE REPORT;
WITH SYSTEM; USE SYSTEM;
PROCEDURE C93001A IS
GLOBAL : INTEGER;
FUNCTION SIDE_EFFECT (I : INTEGER) RETURN INTEGER IS
BEGIN
GLOBAL := IDENT_INT (I);
RETURN 0;
END SIDE_EFFECT;
TASK TYPE TT IS
ENTRY E;
END TT;
TASK BODY TT IS
I : INTEGER := SIDE_EFFECT (1);
BEGIN
NULL;
END TT;
BEGIN
TEST ("C93001A", "CHECK THAT DECLARED TASK OBJECTS ARE NOT " &
"ACTIVATED BEFORE THE END OF THE DECLARATIVE " &
"PART");
GLOBAL := IDENT_INT (0);
DECLARE
T : TT;
I : INTEGER := GLOBAL;
BEGIN
IF I /= 0 THEN
FAILED ("A SIMPLE TASK OBJECT IN A BLOCK WAS " &
"ACTIVATED TOO SOON - (A)");
END IF;
END;
GLOBAL := IDENT_INT (0);
DECLARE
J : INTEGER;
FUNCTION F RETURN INTEGER IS
A : ARRAY (1..1) OF TT;
I : INTEGER := GLOBAL;
BEGIN
IF I /= 0 THEN
FAILED ("AN ARRAY OF TASK OBJECT IN A FUNCTION " &
"WAS ACTIVATED TOO SOON - (B)");
END IF;
RETURN 0;
END F;
BEGIN
J := F ;
END;
GLOBAL := IDENT_INT (0);
DECLARE
PACKAGE P IS
TYPE REC IS
RECORD
T : TT;
N1 : INTEGER := GLOBAL;
END RECORD;
TYPE RT IS
RECORD
M : INTEGER := GLOBAL;
T : TT;
N : REC;
END RECORD;
R : RT;
I : INTEGER := GLOBAL;
END P;
PACKAGE Q IS
J : INTEGER;
PRIVATE
TYPE RT IS
RECORD
N : P.REC;
T : TT;
M : INTEGER := GLOBAL;
END RECORD;
R : RT;
END Q;
K : INTEGER := GLOBAL;
PACKAGE BODY Q IS
BEGIN
IF R.M /= 0 OR R.N.N1 /= 0 THEN
FAILED ( "NON-TASK COMPONENTS OF RECORD R NOT " &
"INITIALIZED BEFORE TASKS ACTIVATED " &
"- (C.1)" );
END IF;
END Q;
BEGIN
IF P.R.M /= 0 OR P.R.N.N1 /= 0 THEN
FAILED ( "NON-TASK COMPONENTS OF RECORDS NOT " &
"INITIALIZED BEFORE TASKS ACTIVATED " &
"- (C.2)" );
END IF;
IF P.I /= 0 OR K /= 0 THEN
FAILED ("A RECORD OF TASK OBJECT IN A PACKAGE " &
"SPECIFICATION WAS ACTIVATED TOO SOON - (C)");
END IF;
END;
GLOBAL := IDENT_INT (0);
DECLARE
PACKAGE P IS
TYPE GRADE IS (GOOD, FAIR, POOR);
TYPE REC (G : GRADE) IS
RECORD
NULL;
END RECORD;
TYPE ACCR IS ACCESS REC;
TYPE ACCI IS ACCESS INTEGER;
TYPE ARR IS ARRAY (1..1) OF TT;
TYPE RAT IS
RECORD
M : ACCR := NEW REC (GRADE'VAL (GLOBAL));
A : ARR;
N : ACCI := NEW INTEGER'(GLOBAL);
END RECORD;
RA1 : RAT;
PRIVATE
RA2 : RAT;
END P;
PACKAGE BODY P IS
RA3 : RAT;
I : INTEGER := GLOBAL;
BEGIN
IF RA1.M.G /= GOOD OR RA1.N.ALL /= 0 THEN
FAILED ( "NON-TASK COMPONENTS OF RECORD RA1 NOT " &
"INITIALIZED BEFORE TASKS ACTIVATED " &
"- (D)" );
END IF;
IF RA2.M.G /= GOOD OR RA2.N.ALL /= 0 THEN
FAILED ( "NON-TASK COMPONENTS OF RECORD RA2 NOT " &
"INITIALIZED BEFORE TASKS ACTIVATED " &
"- (D)" );
END IF;
IF RA3.M.G /= GOOD OR RA3.N.ALL /= 0 THEN
FAILED ( "NON-TASK COMPONENTS OF RECORD RA3 NOT " &
"INITIALIZED BEFORE TASKS ACTIVATED " &
"- (D)" );
END IF;
IF I /= 0 THEN
FAILED ("A RECORD OF ARRAY OF TASK OBJECT IN A " &
"PACKAGE SPEC OR BODY WAS ACTIVATED " &
"TOO SOON - (D)");
END IF;
END P;
BEGIN
NULL;
END;
GLOBAL := IDENT_INT (0);
DECLARE
TYPE REC IS
RECORD
B : BOOLEAN := BOOLEAN'VAL (GLOBAL);
T : TT;
C :CHARACTER :=CHARACTER'VAL (GLOBAL);
END RECORD;
TASK T IS
ENTRY E;
END T;
TASK BODY T IS
TYPE RT IS
RECORD
M : REC;
T : TT;
N : REC;
END RECORD;
AR : ARRAY (1..1) OF RT;
I : INTEGER := GLOBAL;
BEGIN
IF AR (1).M.B /= FALSE OR AR (1).M.C /= ASCII.NUL OR
AR (1).N.B /= FALSE OR AR (1).N.C /= ASCII.NUL THEN
FAILED ( "NON-TASK COMPONENTS OF RECORD RT NOT " &
"INITIALIZED BEFORE TASKS ACTIVATED " &
"- (E)" );
END IF;
IF I /= 0 THEN
FAILED ("AN ARRAY OF RECORD OF TASK OBJECT IN A " &
"TASK BODY WAS ACTIVATED TOO SOON - (E)");
END IF;
END T;
BEGIN
NULL;
END;
RESULT;
END C93001A;