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