Re: Question about asynchronous calls

[mockturtle <framefritti@gmail.com>]

On Thursday, November 7, 2013 8:46:54 AM UTC+1, Stefan...@uni-weimar.de wrote:
> On Wed, 6 Nov 2013, mockturtle wrote:
> 
> 
> 
> > type Matlab_Name is new
> >     String
> >   with Dynamic_Predicate =>
> >     (for all I in Matlab_Name'Range =>
> >        Is_Alphanumeric (Matlab_Name (I)) or Matlab_Name (I) = '_')
> >     and
> >       Is_Letter (Matlab_Name (Matlab_Name'First));
> 
> 
> 
> I suggest to write the following.
> 
>    with Dynamic_Predicate =>
>      (  Natlab_Name'Length > 0
>       and then
>         Is_Letter (Matlab_Name (Matlab_Name'First)
>       and then
>         for all I in Matlab_Name'First+1 .. Matlab'Last =>
>           Is_Alphanumeric (Matlab_Name (I)) or Matlab_Name (I) = '_')
>      );
> 
> (Warning: not syntax checked!)
> 
> The "Natlab_Name'Length > 0 and then" part is important -- your code would 
> raise Constraint_Error if the Matlab_Name is the empty string.

Ops! Touche! You are right...  :-)


>