Re: Ada 83 Pointers question

[dennison@telepath.com]

In article <787fcm$k03$1@nnrp1.dejanews.com>,
  robert_dewar@my-dejanews.com wrote:
> In article <36A658CA.97438B6@cacd.rockwell.com>,
>   aalowe@cacd.rockwell.com wrote:
> > Now since we are safety critical, we have been forbidden
> > from using a new clause and since the 'Access does not
> > exist yet, the engineer created a unchecked conversion to
> > go between a System.Address and a boolean pointer.   Thus
> > when the 'snapshot' is created, it then references the
> > boolean pointer element to the array of the record to the
> > 'Address of the boolean component.  Whew!
>
> "Since we are safety critical, we have been forbidden from
> doing this in the safe and reliable way, and have instead
> rigged up a highly non-portable unsafe way of doing things
> that may or may not work, but it seems to work OK, so we
> guess it's OK, though it leaves us feeling uncomfortable".

That's a good point. Take a close look at the actual requirements you have.
Its possible that only UNCHECKED_DEALLOCATION is prohibited. That would make
allocators just fine, as long as you only use a limited amount of them.

T.E.D.

-----------== Posted via Deja News, The Discussion Network ==----------
http://www.dejanews.com/       Search, Read, Discuss, or Start Your Own