Are "Pragma inline" and "is separate" compatible ?

Are "Pragma inline" and "is separate" compatible ?

[Hans Marqvardsen]

I have a package PAK which contains a procedure SEP which is separate.

Now I would like to inline SEP. Is that possible?

Below is an example of what I want, but it does not work.
(OA7 complains that the body of the subprogram is not available)


package PAK is 
	procedure SEP;	pragma inline (SEP);
end PAK;

Package body PAK is
	procedure SEP is separate;
end PAK;

separate (PAK)
procedure SEP is 
begin  null; end;

with PAK;
procedure MAIN is
begin
	PAK.SEP;
end;

Re: Are "Pragma inline" and "is separate" compatible ?

[Stuart Palin]

Hans Marqvardsen wrote:
> 
> I have a package PAK which contains a procedure SEP which is separate.
> 
> Now I would like to inline SEP. Is that possible?

It is possible (in general terms - don't know about your specific
compiler), but the body of the inlined procedure must be compiled before
the unit that uses it (otherwise the compiler does not know what code to
inline).

In your example this would mean compiling the separate procedure SEP
before the procedure MAIN.

--
Stuart Palin
Consultant Engineer
Avionic Systems Division (Rochester)
Marconi Electronic Systems Ltd