Re: I am not understanding user defined exceptions

["J-P. Rosen" <rosen@adalog.fr>]

Le 04/02/2017 à 02:26, Dennis Lee Bieber a écrit :
> 	If you always need to have input of a 1 raise the exception, you need
> to encapsulate the input with the test. See below:
Or is the logic of your program is that x should never contain 1,
declare a subtype with that property:

subtype Exclude_One is integer with static_predicate Exclude_One /= 1;

and declare x of that subtype. The predicate will be checked every time
you set the value of x.

-- 
J-P. Rosen
Adalog
2 rue du Docteur Lombard, 92441 Issy-les-Moulineaux CEDEX
Tel: +33 1 45 29 21 52, Fax: +33 1 45 29 25 00
http://www.adalog.fr