Re: newbie can't get exceptions to work!

["Samuel T. Harris" <u61783@gsde.hou.us.ray.com>]

Mats Karlssohn wrote:
> 
> Mark Biggar wrote:
> >
> > Ted Dennison wrote:
> > > (Is pragma inline allowed for a dispatching call?)
> >
> > Sure, but like any progam inline there is nothing in the LRM that
> > requires that the compiler actually do anything with it.  Remember,
> > a compiler is free to totaly ingore all pragma inlines. I imagine
> > that most (if not all) Ada compilers don't do anything special and
> > just ignore pragma inline on dymnamic dispatching calls.
> 
> Without thinking it through, shouldn't it be quite easy just to
> replace the jump-to-subroutine in the (equivalent of a) case statement
> with the inlined code ? Maybe not, I guess it depends on how the
> lookup is done.
> 

Since a dynamic dispatching call involves a access to a class-wide
type and the caller class does not have knowledge at compile time
of ALL the tagged types under the class-wide type, the compiler
cannot inline while compiling the call. It would have to insert
the appropriate inlining during some binding stage just before
linking when all the compilation artifacts are available.

Many compilers require the body of an inlined subprogram
to be _already_ compiled in order for inlining to work. Such
compilers will definitely not suppor the notion of inline
dispatching calls.

-- 
Samuel T. Harris, Principal Engineer
Raytheon, Aerospace Engineering Services
"If you can make it, We can fake it!"