WITH REPORT; USE REPORT;
PROCEDURE C37404A IS
SUBTYPE INT IS INTEGER RANGE 1 .. 10;
TYPE REC(A : INT) IS
RECORD
I : INT;
END RECORD;
TYPE ACC_REC IS ACCESS REC(4);
TYPE ACC_REC1 IS ACCESS REC;
SUBTYPE REC4 IS REC(4);
SUBTYPE REC5 IS REC;
TYPE REC_DEF(A : INT := 5) IS
RECORD
I : INT := 1;
END RECORD;
TYPE ACC_DEF IS ACCESS REC_DEF(4);
TYPE ACC_DEF1 IS ACCESS REC_DEF;
SUBTYPE REC6 IS REC_DEF(6);
SUBTYPE REC7 IS REC_DEF;
A : REC4 := (A => 4, I => 1); B : REC5(4) := (A => 4, I => 1); C : REC6; D : REC7(6); E : ACC_REC1(4); F : ACC_DEF1(4); G : ACC_REC1; H : ACC_DEF1;
R : REC(5) := (A => 5, I => 1); T : REC_DEF(5); U : ACC_REC; V : ACC_DEF; W : CONSTANT REC(5) := (A => 5, I => 1); X : CONSTANT REC := (A => 5, I => 1); Y : CONSTANT REC_DEF(5) := (A => 5, I => 1); Z : CONSTANT REC_DEF := (A => 5, I => 1);
BEGIN
TEST("C37404A", "CHECK THAT 'CONSTRAINED IS TRUE FOR VARIABLES " &
"DECLARED WITH A CONSTRAINED TYPE, FOR " &
"CONSTANT OBJECTS (EVEN IF NOT DECLARED WITH A " &
"CONSTRAINED TYPE), AND DESIGNATED OBJECTS");
U := NEW REC(4);
V := NEW REC_DEF(4);
E := NEW REC(4);
F := NEW REC_DEF(4);
G := NEW REC(4); H := NEW REC_DEF(4);
IF NOT A'CONSTRAINED THEN
FAILED("'CONSTRAINED NOT TRUE FOR SUBTYPE1");
END IF;
IF NOT B'CONSTRAINED THEN
FAILED("'CONSTRAINED NOT TRUE FOR SUBTYPE2");
END IF;
IF NOT C'CONSTRAINED THEN
FAILED("'CONSTRAINED NOT TRUE FOR DEFAULT SUBTYPE1");
END IF;
IF NOT D'CONSTRAINED THEN
FAILED("'CONSTRAINED NOT TRUE FOR DEFAULT SUBTYPE2");
END IF;
IF NOT R'CONSTRAINED THEN
FAILED("'CONSTRAINED NOT TRUE FOR RECORD COMPONENT");
END IF;
IF NOT T'CONSTRAINED THEN
FAILED("'CONSTRAINED NOT TRUE FOR DEFAULT VARIABLE");
END IF;
IF NOT E.ALL'CONSTRAINED THEN
FAILED("'CONSTRAINED NOT TRUE FOR ACCESS 1");
END IF;
IF NOT F.ALL'CONSTRAINED THEN
FAILED("'CONSTRAINED NOT TRUE FOR DEFAULT ACCESS 1");
END IF;
IF NOT G.ALL'CONSTRAINED THEN
FAILED("'CONSTRAINED NOT TRUE FOR ACCESS 2");
END IF;
IF NOT H.ALL'CONSTRAINED THEN
FAILED("'CONSTRAINED NOT TRUE FOR DEFAULT ACCESS 2");
END IF;
IF NOT U.ALL'CONSTRAINED THEN
FAILED("'CONSTRAINED NOT TRUE FOR ACCESS 3");
END IF;
IF NOT V.ALL'CONSTRAINED THEN
FAILED("'CONSTRAINED NOT TRUE FOR DEFAULT ACCESS 3");
END IF;
IF NOT W'CONSTRAINED THEN
FAILED("'CONSTRAINED NOT TRUE FOR CONSTANT, CONSTRAINED");
END IF;
IF NOT X'CONSTRAINED THEN
FAILED("'CONSTRAINED NOT TRUE FOR CONSTANT, UNCONSTRAINED");
END IF;
IF NOT Y'CONSTRAINED THEN
FAILED("'CONSTRAINED NOT TRUE FOR DEFAULT CONSTANT, " &
"CONSTRAINED");
END IF;
IF NOT Z'CONSTRAINED THEN
FAILED("'CONSTRAINED NOT TRUE FOR DEFAULT CONSTANT, " &
"UNCONSTRAINED");
END IF;
IF IDENT_INT(T.I) /= 1 OR
IDENT_INT(C.I) /= 1 OR
IDENT_INT(D.I) /= 1 OR
IDENT_INT(W.A) /= 5 OR
IDENT_INT(X.A) /= 5 OR
IDENT_INT(Y.A) /= 5 OR
IDENT_INT(Z.I) /= 1 OR
IDENT_INT(A.I) /= 1 OR
IDENT_INT(B.I) /= 1 OR
IDENT_BOOL(R.I /= 1) THEN
FAILED("INCORRECT INITIALIZATION VALUES");
END IF;
RESULT;
END C37404A;