1.3.2 Subprograms and their Properties
a form of subprogram that returns a result and can be called as part
of an expression
an operation that replaces an inherited primitive operation
Note: Operations can be marked explicitly as
overriding or not overriding.
an assertion that is expected to be True when a given subprogram returns
normally
an assertion that is expected to be True when a given subprogram is called
a form of subprogram that does not return a result and can only be invoked
by a statement
a 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