Sather Home
        Page

Section 7.2.1:
BIT

immutable class BIT

Formal Types

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.

is_eq

This predicate provides the operation of equality testing. It is suitable for use in infix logical expressions.

is_eq (
other : SAME
: BOOL
Formal Signature
is_eq(self : SAME, other : SAME) res : BOOL
Post-condition
post res = (self = other)

This predicate returns true if and only if self and other have the same value, otherwise false.


set

This predicate provides the ability to test if self is a setbit or a clearbit.

set : BOOL
Formal Signature
set(self : SAME) res : BOOL
Post-condition
post res = (self = setbit)

This predicate returns true if and only if self has the value setbit, otherwise false.


clear

This feature provides the ability to test if self is a clearbit or a setbit.

clear : BOOL
Formal Signature
clear(self : SAME) res : BOOL
Post-condition
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, 25 October 2000.
Produced with Amaya