WITH REPORT;
PROCEDURE C52102A IS
USE REPORT;
BEGIN
TEST( "C52102A" , "CHECK THAT THE ASSIGNMENT OF OVERLAPPING " &
"SOURCE AND TARGET VARIABLES (INCLUDING " &
"ARRAYS AND SLICES IN VARIOUS COMBINATIONS) " &
"SATISFIES THE SEMANTICS OF ""COPY"" " &
"ASSIGNMENT (PART 1: STATIC BOUNDS)" );
DECLARE
A : ARRAY( 1..4 ) OF INTEGER;
BEGIN
A := ( 11 , 12 , 13 , 14 );
A := ( 1 , A(1) , A(2) , A(1) );
IF A /= ( 1 , 11 , 12 , 11 ) THEN
FAILED( "WRONG VALUES - I1" );
END IF;
A := ( 11 , 12 , 13 , 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 := ( -4 , -3 , -2 , -1 , 100 , 1 , 2 , 3 , 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 := ( -4 , -3 , -2 , -1 , 100 , 1 , 2 , 3 , 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 := ( 1 , 2 , 3 , 4 , 5 , 6 , 7 , 8 , 9 , 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 := ( 1 , 2 , 3 , 4 , 5 , 6 , 7 , 8 , 9 , 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 := ( FALSE , TRUE , TRUE , FALSE );
A := ( TRUE , A(1) , A(2) , A(1) );
IF A /= ( TRUE , FALSE , TRUE , FALSE )
THEN
FAILED( "WRONG VALUES - B1" );
END IF;
A := ( FALSE , TRUE , TRUE , 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 := (FALSE,FALSE,FALSE,FALSE,FALSE,TRUE, TRUE, TRUE,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 := (FALSE,FALSE,FALSE,FALSE, TRUE,TRUE, TRUE, TRUE,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 := (TRUE,FALSE,TRUE,FALSE,TRUE,FALSE,TRUE,FALSE,TRUE,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 := (TRUE,FALSE,TRUE,FALSE,TRUE,FALSE,TRUE,FALSE,TRUE,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
A := "ARGH";
A := ( 'Q' , A(1) , A(2) , A(1) );
IF A /= "QARA" THEN
FAILED( "WRONG VALUES - C1" );
END IF;
A := "ARGH";
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
A := "APHRODITE";
A(96..100) := A(100..104);
IF A /= "ODITEDITE" THEN
FAILED( "WRONG VALUES - C3" );
END IF;
A := "APHRODITE";
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
A := "CAMBRIDGE";
A := 'S' & A(1..2) & A(1..2) & A(1..4);
IF A /= "SCACACAMB" THEN
FAILED( "WRONG VALUES - C5" );
END IF;
A := "CAMBRIDGE";
A := A(8..8) & A(6..8) & A(6..8) & "EA";
IF A /= "GIDGIDGEA" THEN
FAILED( "WRONG VALUES - C6" );
END IF;
END;
RESULT;
END C52102A;