Annotated Ada Reference Manual (Ada 202y Draft 1)Legal Information
Contents   Index   References   Search   Previous   Next 

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.

Contents   Index   References   Search   Previous   Next 
Ada-Europe Ada 2005 and 2012 Editions sponsored in part by Ada-Europe