![]() |
Section 8.11.3.4:
|
![]() |
types SAME = PHONE_NO ; PHONE_NO :: country : STR area : STR local : STR number : STR extension : STR access : STR
This class implements the concept of a telephone number as specified in the draft international standard ISO/IEC 14652.
The following features are required to be implemented for this class in accordance with the specifications given in $STR :-
The following feature is required to be implemented for this class in accordance with the specification given in $FMT :-
The following features are required to be implemented for this class in accordance with the specifications given in the abstraction $ANCHORED_FMT :-
The following features are required to be implemented for this class in accordance with the specifications given in $MULTI_STR :-
The class is required to have readers and writers for each of the following features. There are neither pre nor post conditions required for either reader or writer for these features.
This feature provides a new phone number object with all of its components set to void. It should be noted that the access component is culturally-defined.
create | : SAME |
create() res : SAME
Because this creation feature has no arguments and there is, as yet, no object, the pre-condition is vacuously true.
post res.country = nil and res.area = nil and res.local = nil and res.number = nil and res.extension = nil and res.access = nil
This creation routine creates a new object for which all components are void.
![]() |
Language Index | ![]() |
Library Index | ![]() |
Non-numeric Index |
Comments
or enquiries should be made toKeith Hopper. Page last modified: Wednesday, 4 April 2001. |
![]() |