1.3.2 Subprograms and their Properties
form of subprogram that returns a result and can be called as part of
operation that replaces an inherited primitive operation
Note: Operations can be marked explicitly as
overriding or not overriding.
assertion that is expected to be True when a given subprogram returns
assertion that is expected to be True when a given subprogram is called
form of subprogram that does not return a result and can only be invoked
by a statement
unit of a program that can be brought into execution in various contexts,
with the invocation being a subprogram call that can parameterize the
effect of the subprogram through the passing of operands
Note: There are two forms of subprograms: functions,
which return values, and procedures, which do not.
Ada 2005 and 2012 Editions sponsored in part by Ada-Europe