|  | Section 7.1.1: | 
This abstract class defines a state component which is a set of all instantiations of objects of any class in addition to the vdm model types used wherever this class name is used. In this particular instance the sub-typing test is vacuously true. Note also that SAME has to be an instantiated class, not an abstract one.
| NOTE | See the important note about vdm state in the notes on vdm-sl usage in this specification. | 
This class is the abstract root class for the Sather language. All classes, irrespective of whether they inherit from other abstractions, implicitly sub-type from this class.
This class defines no features.
|  | Language Index |  | Library Index |  | Section 7 Index | 
| Comments
        or enquiries should be made to Keith Hopper. Page last modified: Thursday, 18 May 2000. |  |