Contents Index Previous Next
Section 6: Subprograms
1
A
subprogram is a program unit or intrinsic operation whose execution is
invoked by a subprogram call. There are two forms of subprogram: procedures
and functions. A procedure call is a
statement;
a function call is an expression and returns a value. The definition
of a subprogram can be given in two parts: a subprogram declaration defining
its interface, and a
subprogram_body
defining its execution. [Operators and enumeration literals are functions.]
1.a
To be honest: A function
call is an expression, but more specifically it is a name.
2
A
callable entity is
a subprogram or entry (see Section 9).
A callable
entity is invoked by a
call; that is, a subprogram call or entry
call.
A
callable construct is a construct
that defines the action of a call upon a callable entity: a
subprogram_body,
entry_body, or
accept_statement.
2.a
Ramification: Note that
``callable entity'' includes predefined operators, enumeration literals,
and abstract subprograms. ``Call'' includes calls of these things. They
do not have callable constructs, since they don't have completions.
Contents Index Previous Next Legal