![]() |
Section 8.2.2.4: |
![]() |
This class is the primitive immutable class which has thirty-two bits, but otherwise may have any meaning. Operations for creation, conversion and individual bit testing and manipulation are provided in addition to equality testing (which is solely a test of identical bit-patterns).
The following feature is required to be implemented for this class in accordance with the specification given in $IS_EQ of which $BIT_PATTERN is a sub-type :-
The following features are required to be implemented for this class in accordance with the specifications given by inheritance in $STR of which $BIT_PATTERN is a sub-type :-
The following feature is required to be implemented for this class in accordance with the specification given in $HASH of which $BIT_PATTERN is a sub-type :-
The following features are required to be implemented for this class in accordance with the specifications given in $BINARY of which $BIT_PATTERN is a sub-type :-
The following features are required to be implemented for this class in accordance with the specifications given in the abstract class $BIT_PATTERN :-
This reader routine provides the same value as asize - for a four octet object!
Since this is a reader routine, the pre-condition is vacuously true.
This reader routine returns the number of bits contained in a four octet object.
This reader routine returns the maximum unsigned value which can be represented in a bit-pattern of four octets.
Since this is a reader routine, the pre-condition is vacuously true.
This reader routine returns the maximum numeric value representable as an exact unsigned number in the four octet bit-pattern.
This reader routine returns the number of octets in this class of object.
Since this is a reader routine, the pre-condition is vacuously true.
This reader routine returns the number of octets in an object of this class.
This creation feature returns a new object all the bits of which are clear (ie having the value clearbit.
create | : SAME |
Because there are no arguments to this feature, the pre-condition is vacuously true.
This routine creates a new value all the components of which are clear.
This second creation routine returns a new object in which the bit-pattern is the representation of val as an exact number.
Note that the name of this feature in vdm has been changed since there is no name overloading in vdm.
This routine returns a new object which takes the value val as a bit-pattern.
This third creation routine returns a new object in which the bit-pattern is the representation of the character val.
Note that the name of this feature in vdm has been changed since there is no name overloading in vdm.
This routine returns a new object which takes the value val as a bit-pattern.
![]() |
Language Index | ![]() |
Library Index | ![]() |
Binary Index |
Comments or enquiries should be made to
Keith
Hopper. Page last modified: Wednesday, 22 November 2000. |
![]() |