Re: ObjectAda vs Gnat -- bugs

[Tom Moran <tmoran@bix.com>]

>   X : T renames Create(...);
vs.
>       X: T; -- X initialised to an unusable status
>    begin
>       Init(X,...); -- X now set up as required
> ... If X needs to be constant
> once set up, any attempt to call Init again on X could also be detected and
> raise and exception.
  The "renames" has the advantage that any attempt to modify or
re-create X would show us as a compile time, rather than a (possibly
path-dependent) run time, error.  OTOH, the "renames" might get some
later maintenance programmer into a tizzy. ;)