Re: Anouncement: OpenGL Binding w/ Ada-2012.

[Shark8 <onewingedshark@gmail.com>]

On Wednesday, October 24, 2012 10:32:20 AM UTC-6, Quentin Ochem wrote:
> > If you do give it a try, feel free to post impressions, ideas, suggestions.
> 
> One suggestion: there's a number of cases where pre conditions can be replaced by proper subtyping, e.g.:
> 
> procedure PointSize (size : float)
> with pre => not Executing AND size > 0.0;
> 
> 
> Can be replaced by:
> subtype Positive_Float is Float range 0.0 .. Float'Last;
> procedure PointSize (size : Positive_Float)
> with pre => not Executing;

Can it? I'd have to take a look at the way Ada's ranges for floats work again to tell. IIRC it's [Min_val..Max_Val), if that is the case there is one important value which is not precluded from the parameter of the new specification: 0.0.

> 
> It seems good practice to use subtyping whenever possible, in particular if it's a property of a parameter, and let Pre condition for more complex properties related to the subprogram as a whole.

Agreed. Very much agreed.

> 
> Just my 2 cents...

Thank you much.