Re: Why can't you create a out of order subtype?

[Pascal Obry <pascal@obry.org>]

Marius Amado Alves <amado.alves@netcabo.pt> writes:

> declare
>     M : Msg := Whatever;
>     V : Vowelmsg;
> begin
>     V := Vowelmsg'Value (Msg'Image (M));
>     -- if control reaches here then M is a vowel
> exception
>     when Constraint_Error => -- M is not a vowel
> end;

I don't think this is good style. The above code use exception for non
exceptional case. It uses exception as a if statement. Definitely something
to avoid.

Pascal.

-- 

--|------------------------------------------------------
--| Pascal Obry                           Team-Ada Member
--| 45, rue Gabriel Peri - 78114 Magny Les Hameaux FRANCE
--|------------------------------------------------------
--|              http://www.obry.org
--| "The best way to travel is by means of imagination"
--|
--| gpg --keyserver wwwkeys.pgp.net --recv-key C1082595