![]() |
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. |
![]() |