subprogram_specification is
[declarative_part]
begin
sequence_of_statements
[exception
exception_handler
{exception_handler}]
end
[designator];
procedure
PUSH(E : in
ELEMENT_TYPE; S : in out
STACK) is
begin
if
S.INDEX = S.SIZE then
raise
STACK_OVERFLOW;
else
S.INDEX := S.INDEX + 1;
S.SPACE(S.INDEX) := E;
end if
;
end
PUSH;
procedure
P(X,Y : INTEGER)
procedure
P(X : INTEGER; Y : INTEGER)
procedure
P(X,Y : in
INTEGER)
pragma
INLINE (name {, name});
Each name is either the name of a subprogram or the name of a generic subprogram. The pragma INLINE is only allowed at the place of a declarative item in a declarative part or package specification, or after a library unit in a compilation, but before any subsequent compilation unit.