WITH REPORT;
PROCEDURE C58006B IS
USE REPORT;
BEGIN
TEST( "C58006B" , "CHECK THAT EXCEPTION RAISED BY A RETURN" &
" STATEMENT CAN BE HANDLED LOCALLY" );
DECLARE
SUBTYPE I1 IS INTEGER RANGE -10..90;
SUBTYPE I2 IS INTEGER RANGE 1..10;
GENERIC
FUNCTION FN1 (X : I1) RETURN I2;
GENERIC
FUNCTION FN2 (X : I1) RETURN I2;
GENERIC
FUNCTION FN3 (X : I1) RETURN I2;
FUNCTION FN1( X : I1 )
RETURN I2 IS
BEGIN
RETURN 0;
EXCEPTION
WHEN CONSTRAINT_ERROR =>
COMMENT ("EXCEPTION RAISED - F1");
RETURN 1;
WHEN OTHERS =>
FAILED ("WRONG EXCEPTION RAISED - FN1");
END FN1;
FUNCTION FN2( X : I1 )
RETURN I2 IS
BEGIN
RETURN X + IDENT_INT(0);
EXCEPTION
WHEN CONSTRAINT_ERROR =>
COMMENT ("EXCEPTION RAISED - F2");
RETURN 1;
WHEN OTHERS =>
FAILED ("WRONG EXCEPTION RAISED - FN2");
END FN2;
FUNCTION FN3( X : I1 )
RETURN I2 IS
HUNDRED : INTEGER RANGE -100..100 := IDENT_INT(100);
BEGIN
RETURN HUNDRED;
EXCEPTION
WHEN CONSTRAINT_ERROR =>
COMMENT ("EXCEPTION RAISED - F3");
RETURN 1;
WHEN OTHERS =>
FAILED ("WRONG EXCEPTION RAISED - FN3");
END FN3;
FUNCTION F1 IS NEW FN1;
FUNCTION F2 IS NEW FN2;
FUNCTION F3 IS NEW FN3;
BEGIN
BEGIN
IF F1( 0 ) /= IDENT_INT(1) THEN
FAILED ("NO EXCEPTION RAISED - F1( 0 )");
END IF;
EXCEPTION
WHEN OTHERS =>
FAILED ("EXCEPTION PROPAGATED - F1( 0 )");
END;
BEGIN
IF F2( 0 ) /= IDENT_INT(1) THEN
FAILED ("NO EXCEPTION RAISED - F2( 0 )");
END IF;
EXCEPTION
WHEN OTHERS =>
FAILED ("EXCEPTION PROPAGATED - F2( 0 )");
END;
BEGIN
IF F2(11 ) /= IDENT_INT(1) THEN
FAILED ("NO EXCEPTION RAISED - F2(11 )");
END IF;
EXCEPTION
WHEN OTHERS =>
FAILED ("EXCEPTION PROPAGATED - F2(11 )");
END;
BEGIN
IF F3( 0 ) /= IDENT_INT(1) THEN
FAILED ("NO EXCEPTION RAISED - F3( 0 )");
END IF;
EXCEPTION
WHEN OTHERS =>
FAILED ("EXCEPTION PROPAGATED - F3( 0 )");
END;
END;
RESULT;
END C58006B;