Re: 'withing' problem

[Simon Wright <simon@pushface.org>]

"David Crocker" <dcrocker@imsltd.com> writes:

> We have a tool that generates (currently) C++ or Java code from
> precise specifications and we would very much like to generate Ada95
> as well so we can better target safety-critical applications. But
> because our tool encourages an object-oriented style, any attempt at
> code geenration in Ada usually falls foul of the withing-problem
> very quickly (we can't even compile the runtime library without
> hitting the problem).

We have exactly this problem! (though I'm surprised at your difficulty
compiling the runtime library? which library is that?)

> I am aware of the woraround described at
> http://home.bluemarble.net/~jvolan/WithingProblem/FAQ.html but I
> doubt this would be acceptable in a safety-critical application.

I guess you need to talk to your safety guys about this one. Of
course, it must depend on the criticality. If your system is SIL4 (UK
speak) you'll have a raft of tool chain problems if you go for
automatically generating code, won't you?

-- 
Simon Wright                       Work Email: simon.j.wright@amsjv.com
Alenia Marconi Systems                        Voice: +44(0)23-9270-1778
Integrated Systems Division                     FAX: +44(0)23-9270-1800