6 Subprograms

1. A subprogram is a program unit or intrinsic operation whose execution is invoked by a subprogram call. There are two forms of subprogram: procedures and functions. A procedure call is a statement; a function call is an expression and returns a value. The definition of a subprogram can be given in two parts: a subprogram declaration defining its interface, and a subprogram_body defining its execution. Operators and enumeration literals are functions.
2. A callable entity is a subprogram or entry, See section 9 Tasks and Synchronization. A callable entity is invoked by a call; that is, a subprogram call or entry call. A callable construct is a construct that defines the action of a call upon a callable entity: a subprogram_body, entry_body, or accept_statement.

• 6.1: Subprogram Declarations
• 6.2: Formal Parameter Modes
• 6.3: Subprogram Bodies
• 6.4: Subprogram Calls
• 6.5: Return Statements
• 6.6: Overloading of Operators -- The Detailed Node Listing ---
• 6.1: Subprogram Declarations
• 6.2: Formal Parameter Modes
• 6.3: Subprogram Bodies
• 6.3.1: Conformance Rules
• 6.3.2: Inline Expansion of Subprograms
• 6.4: Subprogram Calls
• 6.4.1: Parameter Associations
• 6.5: Return Statements
• 6.6: Overloading of Operators

Go to the first, previous, next, last section, table of contents.