Ada Reference Manual (Ada 2022) — Legal Information

# 1.3.2 Subprograms and their Properties

1/5
function
form of subprogram that returns a result and can be called as part of an expression
2/5
overriding operation
operation that replaces an inherited primitive operation
3/5
Note: Operations can be marked explicitly as overriding or not overriding.
4/5
postcondition
assertion that is expected to be True when a given subprogram returns normally
5/5
precondition
assertion that is expected to be True when a given subprogram is called
6/5
procedure
form of subprogram that does not return a result and can only be invoked by a statement
7/5
subprogram
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
8/5
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