![]() |
Section 6.6.1:
|
Defining a constant in a class is like defining a shared entity, except that it has only a reader routine feature! This means that all objects of the class share the same value - but that it is read only for every object of any class.
This feature needs defining without an implementation, without arguments - just a value, giving the invariant shown below.
Note that the external visibility field needs testing against the concrete syntax specifications in the well-formedness checks.
TO BE DONE
TO BE DONE
![]() |
Specification Index | ![]() |
Language Index | ![]() |
Section 6 Index |
Comments
or enquiries should be made to Keith Hopper. Page last modified: Friday, 26 May 2000. |
![]() |