![]() |
Section 7.2.1:
|
![]() |
types SAME = BIT ; BIT = token
See also the Required Library class BIT which provides conversion routines to convert from a cardinal number to a bit value and vice versa.
NOTE | This class is defined in such a way that an implementation is not required to specify in what way the object is implemented. Any use which attempts to rely on some particular representation is erroneous. |
This predicate provides the operation of equality testing. It is suitable for use in infix logical expressions.
is_eq(self : SAME, other : SAME) res : BOOL
post res = (self = other)
This predicate returns true if and only if self and other have the same value, otherwise false.
This predicate provides the ability to test if self is a setbit or a clearbit.
set(self : SAME) res : BOOL
post res = (self = setbit)
This predicate returns true if and only if self has the value setbit, otherwise false.
This feature provides the ability to test if self is a clearbit or a setbit.
clear(self : SAME) res : BOOL
post res = (self = clearbit)
This predicate returns true if and only if self has the value clearbit, otherwise false.
![]() |
Language Index | ![]() |
Library Index | ![]() |
Section 7 Index |
Comments
or enquiries should be made to Keith Hopper. Page last modified: Wednesday, 28 March 2001. |
![]() |