WITH REPORT;
PROCEDURE C52102C IS
USE REPORT;
FUNCTION ID_I (X : INTEGER) RETURN INTEGER RENAMES IDENT_INT;
FUNCTION ID_B (X : BOOLEAN) RETURN BOOLEAN RENAMES IDENT_BOOL;
BEGIN
TEST( "C52102C" , "CHECK THAT THE ASSIGNMENT OF OVERLAPPING " &
"SOURCE AND TARGET VARIABLES (INCLUDING " &
"ARRAYS AND SLICES IN VARIOUS COMBINATIONS) " &
"SATISFIES THE SEMANTICS OF ""COPY"" " &
"ASSIGNMENT WHEN INITIAL ASSIGNMENT VALUES " &
"ARE DYNAMIC (PART 1: STATIC BOUNDS)" );
DECLARE
A : ARRAY( 1..4 ) OF INTEGER;
BEGIN
A := ( ID_I(11), ID_I(12), ID_I(13), ID_I(14));
A := ( 1 , A(1) , A(2) , A(1) );
IF A /= ( 1 , 11 , 12 , 11 ) THEN
FAILED( "WRONG VALUES - I1" );
END IF;
A := ( ID_I(11), ID_I(12), ID_I(13), ID_I(14));
A := ( A(4) , A(3) , A(4) , 1 );
IF A /= ( 14 , 13 , 14 , 1 ) THEN
FAILED( "WRONG VALUES - I2" );
END IF;
END;
DECLARE
A : ARRAY( INTEGER RANGE -4..4 ) OF INTEGER;
BEGIN
A := ( -ID_I(4), -ID_I(3), -ID_I(2), -ID_I(1),
ID_I(100), ID_I(1),ID_I(2), ID_I(3), ID_I(4) );
A(-4..0) := A(0..4);
IF A /= ( 100 , 1 , 2 , 3 , 4 , 1 , 2 , 3 , 4 )
THEN
FAILED( "WRONG VALUES - I3" );
END IF;
A := ( -ID_I(4), -ID_I(3), -ID_I(2), -ID_I(1),
ID_I(100), ID_I(1), ID_I(2), ID_I(3), ID_I(4) );
A(0..4) := A(-4..0);
IF A /= ( -4 , -3 , -2 , -1 , -4 , -3 , -2 , -1 , 100 )
THEN
FAILED( "WRONG VALUES - I4" );
END IF;
END;
DECLARE
TYPE INT_ARR IS ARRAY (INTEGER RANGE <>) OF INTEGER;
A : INT_ARR (1..10);
BEGIN
A := ( ID_I(1), ID_I(2), ID_I(3), ID_I(4), ID_I(5),
ID_I(6), ID_I(7), ID_I(8), ID_I(9), ID_I(10) );
A := 0 & A(1..2) & A(1..2) & A(1..5);
IF A /= ( 0 , 1 , 2 , 1 , 2 , 1 , 2 , 3 , 4 , 5 )
THEN
FAILED( "WRONG VALUES - I5" );
END IF;
A := ( ID_I(1), ID_I(2), ID_I(3), ID_I(4), ID_I(5),
ID_I(6), ID_I(7), ID_I(8), ID_I(9), ID_I(10) );
A := A(6..9) & A(8..9) & A(8..9) & 0 & 0;
IF A /= ( 6 , 7 , 8 , 9 , 8 , 9 , 8 , 9 , 0 , 0 )
THEN
FAILED( "WRONG VALUES - I6" );
END IF;
END;
DECLARE
A : ARRAY( 1..4 ) OF BOOLEAN;
BEGIN
A := (ID_B(FALSE), ID_B(TRUE), ID_B(TRUE), ID_B(FALSE));
A := ( TRUE , A(1) , A(2) , A(1) );
IF A /= ( TRUE ,FALSE , TRUE , FALSE )
THEN
FAILED( "WRONG VALUES - B1" );
END IF;
A := (ID_B(FALSE), ID_B(TRUE), ID_B(TRUE), ID_B(FALSE));
A := ( A(4) , A(3) , A(4) , TRUE );
IF A /= ( FALSE , TRUE , FALSE, TRUE )
THEN
FAILED( "WRONG VALUES - B2" );
END IF;
END;
DECLARE
A : ARRAY( INTEGER RANGE -4..4 ) OF BOOLEAN;
BEGIN
A := (ID_B(FALSE), ID_B(FALSE), ID_B(FALSE), ID_B(FALSE),
ID_B(FALSE), ID_B(TRUE), ID_B(TRUE),
ID_B(TRUE), ID_B(TRUE));
A(-4..0) := A(0..4);
IF A /= (FALSE, TRUE, TRUE, TRUE, TRUE,TRUE, TRUE, TRUE,TRUE)
THEN
FAILED( "WRONG VALUES - B3" );
END IF;
A := (ID_B(FALSE), ID_B(FALSE), ID_B(FALSE), ID_B(FALSE),
ID_B(TRUE), ID_B(TRUE), ID_B(TRUE),
ID_B(TRUE), ID_B(TRUE));
A(0..4) := A(-4..0);
IF A /= (FALSE,FALSE,FALSE,FALSE,FALSE,FALSE,FALSE,FALSE,TRUE)
THEN
FAILED( "WRONG VALUES - B4" );
END IF;
END;
DECLARE
TYPE B_ARR IS ARRAY (INTEGER RANGE <>) OF BOOLEAN;
A : B_ARR (1..10);
BEGIN
A := (ID_B(TRUE), ID_B(FALSE), ID_B(TRUE), ID_B(FALSE),
ID_B(TRUE), ID_B(FALSE), ID_B(TRUE),
ID_B(FALSE), ID_B(TRUE), ID_B(FALSE));
A := FALSE & A(1..2) & A(1..2) & A(1..5);
IF A/=(FALSE,TRUE,FALSE,TRUE,FALSE,TRUE,FALSE,TRUE,FALSE,TRUE)
THEN
FAILED( "WRONG VALUES - B5" );
END IF;
A := (ID_B(TRUE), ID_B(FALSE), ID_B(TRUE), ID_B(FALSE),
ID_B(TRUE), ID_B(FALSE), ID_B(TRUE),
ID_B(FALSE), ID_B(TRUE), ID_B(FALSE));
A := A(6..9) & A(8..9) & A(8..9) & FALSE & TRUE;
IF A/=(FALSE,TRUE,FALSE,TRUE,FALSE,TRUE,FALSE,TRUE,FALSE,TRUE)
THEN
FAILED( "WRONG VALUES - B6" );
END IF;
END;
DECLARE
A : STRING( 1..4 );
BEGIN
IF EQUAL (3,3) THEN
A := "ARGH";
END IF;
A := ( 'Q' , A(1) , A(2) , A(1) );
IF A /= "QARA" THEN
FAILED( "WRONG VALUES - C1" );
END IF;
IF EQUAL (3,3) THEN
A := "ARGH";
END IF;
A := ( A(4) , A(3) , A(4) , 'X' );
IF A /= "HGHX" THEN
FAILED( "WRONG VALUES - C2" );
END IF;
END;
DECLARE
A : STRING( 96..104 );
BEGIN
IF EQUAL (3,3) THEN
A := "APHRODITE";
END IF;
A(96..100) := A(100..104);
IF A /= "ODITEDITE" THEN
FAILED( "WRONG VALUES - C3" );
END IF;
IF EQUAL (3,3) THEN
A := "APHRODITE";
END IF;
A(100..104) := A(96..100) ;
IF A /= "APHRAPHRO" THEN
FAILED( "WRONG VALUES - C4" );
END IF;
END;
DECLARE
TYPE CH_ARR IS ARRAY (INTEGER RANGE <>) OF CHARACTER;
A : CH_ARR (1..9);
BEGIN
IF EQUAL (3,3) THEN
A := "CAMBRIDGE";
END IF;
A := 'S' & A(1..2) & A(1..2) & A(1..4);
IF A /= "SCACACAMB" THEN
FAILED( "WRONG VALUES - C5" );
END IF;
IF EQUAL (3,3) THEN
A := "CAMBRIDGE";
END IF;
A := A(8..8) & A(6..8) & A(6..8) & "EA";
IF A /= "GIDGIDGEA" THEN
FAILED( "WRONG VALUES - C6" );
END IF;
END;
RESULT;
END C52102C;