Sather Home Page

Section 8.11.3.4:
PHONE_NO

class PHONE_NO < $ANCHORED_FMT, $MULTI_STR

Inheritance map $ANCHORED_FMT $MULTI_STR

Formal Types

types

SAME = NAME ;

NAME ::
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.


External specifications

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 $ANCHORED_FMT :-


The following features are required to be implemented for this class in accordance with the specifications given in $MULTI_STR :-


Reader/Writer pairs

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.


create

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
Formal Signature
create() res : SAME
Pre-condition

Because this creation feature has no arguments and there is, as yet, no object, the pre-condition is vacuously true.

Post-condition
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 to Keith Hopper.
Page last modified: Tuesday, 30 May 2000.
Produced with Amaya