![]() |
Section 6.3.1:
|
A routine is a language construct that encapsulates programmer-defined actions and control in a similar manner to the role played by routines, procedures and functions in many other programming languages. A routine signature therefore defines the forms and types of arguments and, if appropriate, a returned value type definition.
The only difference between routine and iter parameters is that a routine parameter may not be specified as 'once'.
The Feature abstract syntax which is common to all class components is given here with an invariant specifically for the case of a routine. Since this is a signature there is no implementation component and no value.
TO BE DONE
Having no implementation and no value - being only a signature (found in abstract classes or as a stub or type definition) there can be no run-time meaning.
![]() |
Specification Index | ![]() |
Language Index | ![]() |
Examples | ![]() |
Section 6 Index |
Comments
or enquiries should be made to Keith Hopper. Page last modified: Friday, 26 May 2000. |
![]() |