WITH SYSTEM;
WITH REPORT;
PROCEDURE C55B15A IS
USE REPORT ;
BEGIN
TEST( "C55B15A" , "WHEN 'FOR I IN ST RANGE L..R LOOP' " &
"RAISES AN EXCEPTION, CONTROL DOES NOT ENTER " &
"THE BODY OF THE LOOP" );
DECLARE
SUBTYPE ST IS INTEGER RANGE 1..4 ;
FIRST : CONSTANT INTEGER := IDENT_INT( 1) ;
SECOND : CONSTANT INTEGER := IDENT_INT( 2) ;
THIRD : CONSTANT INTEGER := IDENT_INT( 3) ;
FOURTH : CONSTANT INTEGER := IDENT_INT( 4) ;
FIFTH : CONSTANT INTEGER := IDENT_INT( 5) ;
TENTH : CONSTANT INTEGER := IDENT_INT(10) ;
ZEROTH : CONSTANT INTEGER := IDENT_INT( 0) ;
BEGIN
BEGIN
FOR I IN ST RANGE 3..TENTH LOOP
FAILED( "EXCEPTION NOT RAISED (I1)" );
END LOOP;
EXCEPTION
WHEN CONSTRAINT_ERROR => NULL ;
WHEN OTHERS =>
FAILED( "WRONG EXCEPTION RAISED (I1)" );
END ;
BEGIN
FOR I IN ST RANGE 0..THIRD LOOP
FAILED( "EXCEPTION NOT RAISED (I2)" );
END LOOP;
EXCEPTION
WHEN CONSTRAINT_ERROR => NULL ;
WHEN OTHERS =>
FAILED( "WRONG EXCEPTION RAISED (I2)" );
END ;
END ;
DECLARE
TYPE ENUM IS ( AMINUS , A,B,C,D,E, F,G,H,I,J );
SUBTYPE ST IS ENUM RANGE ENUM'VAL( IDENT_INT( 1) ) ..
ENUM'VAL( IDENT_INT( 4) ) ;
FIRST : CONSTANT ENUM := A ;
SECOND : CONSTANT ENUM := B ;
THIRD : CONSTANT ENUM := C ;
FOURTH : CONSTANT ENUM := D ;
FIFTH : CONSTANT ENUM := E ;
TENTH : CONSTANT ENUM := J ;
ZEROTH : CONSTANT ENUM := AMINUS ;
BEGIN
BEGIN
FOR I IN ST RANGE C..TENTH LOOP
FAILED( "EXCEPTION NOT RAISED (E1)" );
END LOOP;
EXCEPTION
WHEN CONSTRAINT_ERROR => NULL ;
WHEN OTHERS =>
FAILED( "WRONG EXCEPTION RAISED (E1)" );
END ;
BEGIN
FOR I IN ST RANGE AMINUS..THIRD LOOP
FAILED( "EXCEPTION NOT RAISED (E2)" );
END LOOP;
EXCEPTION
WHEN CONSTRAINT_ERROR => NULL ;
WHEN OTHERS =>
FAILED( "WRONG EXCEPTION RAISED (E2)" );
END ;
END ;
DECLARE
SUBTYPE ST IS CHARACTER RANGE IDENT_CHAR( 'A' ) ..
IDENT_CHAR( 'D' ) ;
FIRST : CONSTANT CHARACTER := 'A' ;
SECOND : CONSTANT CHARACTER := 'B' ;
THIRD : CONSTANT CHARACTER := 'C' ;
FOURTH : CONSTANT CHARACTER := 'D' ;
FIFTH : CONSTANT CHARACTER := 'E' ;
TENTH : CONSTANT CHARACTER := 'J' ;
ZEROTH : CONSTANT CHARACTER := '0' ;
BEGIN
BEGIN
FOR I IN ST RANGE 'C'..TENTH LOOP
FAILED( "EXCEPTION NOT RAISED (C1)" );
END LOOP;
EXCEPTION
WHEN CONSTRAINT_ERROR => NULL ;
WHEN OTHERS =>
FAILED( "WRONG EXCEPTION RAISED (C1)" );
END ;
BEGIN
FOR I IN ST RANGE '0'..THIRD LOOP FAILED( "EXCEPTION NOT RAISED (C2)" );
END LOOP;
EXCEPTION
WHEN CONSTRAINT_ERROR => NULL ;
WHEN OTHERS =>
FAILED( "WRONG EXCEPTION RAISED (C2)" );
END ;
END ;
RESULT ;
END C55B15A ;