WITH REPORT;
PROCEDURE C52011A IS
USE REPORT;
TYPE ARR IS ARRAY(INTEGER RANGE <>) OF INTEGER;
TYPE ARR_NAME IS ACCESS ARR;
SUBTYPE S1 IS ARR_NAME(IDENT_INT(1)..IDENT_INT(10));
SUBTYPE S2 IS ARR_NAME(IDENT_INT(3)..IDENT_INT(6));
W : ARR_NAME := NULL; X1,X2 : S1 := NULL; Y1,Y2 : S2 := NULL;
W_NONNULL : ARR_NAME := NEW ARR'(3..5=>7) ;
X1_NONNULL : S1 := NEW ARR'(IDENT_INT(1)..IDENT_INT(10)=>7);
Y1_NONNULL : S2 := NEW ARR'(IDENT_INT(3)..IDENT_INT( 6)=>7);
TOO_EARLY : BOOLEAN := TRUE;
BEGIN
TEST ("C52011A", "INDEX CONSTRAINTS ON ACCESS SUBTYPE OBJECTS " &
"MUST BE SATISFIED FOR ASSIGNMENT");
BEGIN
IF EQUAL(3,3) THEN
W_NONNULL := X1; END IF;
IF W_NONNULL /= X1 THEN
FAILED ("ASSIGNMENT FAILED - 1");
END IF;
IF EQUAL(3,3) THEN
X1_NONNULL := X2; END IF;
IF X1_NONNULL /= X2 THEN
FAILED ("ASSIGNMENT FAILED - 2");
END IF;
IF EQUAL(3,3) THEN
X1_NONNULL := Y1; END IF;
IF X1 /= Y1 THEN
FAILED ("ASSIGNMENT FAILED - 3");
END IF;
X1 := NEW ARR'(1..IDENT_INT(10) => 5);
IF EQUAL(3,3) THEN
X2 := X1; END IF;
IF X2 /= X1 THEN
FAILED ("ASSIGNMENT FAILED - 4");
END IF;
IF EQUAL(3,3) THEN
W := X1; END IF;
IF W /= X1 THEN
FAILED ("ASSIGNMENT FAILED - 5");
END IF;
BEGIN
Y1 := X1; IF Y1'FIRST /= REPORT.IDENT_INT(3) THEN
FAILED ("NON-NULL ASSIGNMENT MADE BETWEEN TWO " &
"VARIABLES OF DIFFERENT CONSTRAINED ACCESS SUBTYPES " &
"AND CONSTRAINT IS CHANGED");
ELSE
FAILED ("NON-NULL ASSIGNMENT MADE BETWEEN TWO " &
"VARIABLES OF DIFFERENT CONSTRAINED ACCESS SUBTYPES " &
"AND CONSTRAINT IS NOT CHANGED");
END IF;
EXCEPTION
WHEN CONSTRAINT_ERROR => NULL;
WHEN OTHERS =>
FAILED ("WRONG EXCEPTION - 1");
END;
W := NEW ARR'(IDENT_INT(3)..IDENT_INT(6) => 3);
BEGIN
X1 := W; IF X1'FIRST /= REPORT.IDENT_INT(1) THEN
FAILED ("NON-NULL ASSIGNMENT MADE FROM UNCONSTRAINED " &
"ACCESS TYPE DESIGNATING CONSTRAINED OBJECT TO "&
"ACCESS SUBTYPE WITH DIFFERENT CONSTRAINT " &
"AND CONSTRAINT IS CHANGED");
ELSE
FAILED ("NON-NULL ASSIGNMENT MADE FROM UNCONSTRAINED " &
"ACCESS TYPE DESIGNATING CONSTRAINED OBJECT TO "&
"ACCESS SUBTYPE WITH DIFFERENT CONSTRAINT " &
"AND CONSTRAINT IS NOT CHANGED");
END IF;
EXCEPTION
WHEN CONSTRAINT_ERROR =>
NULL ;
WHEN OTHERS =>
FAILED ("WRONG EXCEPTION - 2");
END;
EXCEPTION
WHEN OTHERS =>
FAILED ("EXCEPTION RAISED");
END;
RESULT;
END C52011A;