Re: Constraint Error

[Jeffrey Carter <spam@spam.com>]

Rick Santa-Cruz wrote:
> 
> how can I avoid the Constraint Error, when executing the following code:

Don't violate the constraint.

>  package Messages is
>  type Message is tagged private;
>  subtype String_Txt is String(1..20);

Objects of this subtype always have exactly 20 Characters.

> 
>  function Create(Str: String) return Message;
> 
>  private
>   type Message is tagged
>    record
>     Text: String_Txt;
>    end record;
> end Messages;
> ------------------------------
> package body Messages is
>  function Create(Str: String) return Message is
>   M: Message;
>  begin
>   M.Text := Str;

If Str'Length /= 20, Constraint_Error will be raised.

>   return M;
>  end Create;
> end Messages;

-- 
Jeff Carter
"Hello! Smelly English K...niggets."
Monty Python & the Holy Grail
08