immutable class RANGE




Public


Readable Attributes
attr low, high : XTP ; .. Included as high
**** low = high implies 'empty'
attr low, high : XTP ; .. Included as low
**** low = high implies 'empty'

Features
aget(
binstr : BINSTR .. Included as binstr
build( .. Included as build
build( .. Included as build
contains( .. Included as contains
create(str : BINSTR) : SAME .. Included as create
create( .. Included as create
create( .. Included as create
empty : SAME .. Included as empty
first : XTP .. Included as first
fmt( .. Included as fmt
fmt( .. Included as fmt
intersection( .. Included as intersection
invariant : BOOL .. Included as invariant
is_adjacent( .. Included as is_adjacent
is_disjoint( .. Included as is_disjoint
is_empty : BOOL .. Included as is_empty
is_eq( .. Included as is_eq
is_eq(other : $OB) : BOOL .. Included as is_eq
**** This is the generic equality predicate. c.f. the class $IS_EQ
is_intersecting( .. Included as is_intersecting
is_lt( .. Included as is_lt
is_range( .. Included as is_range
last : XTP .. Included as last
merge( .. Included as merge
offset( .. Included as offset
read(index : BIN_CURSOR) : SAME .. Included as read
shift_down( .. Included as shift_down
shift_up( .. Included as shift_up
size : CARD .. Included as size
str( .. Included as str
str : STR .. Included as str
union( .. Included as union
write(fyle : BIN_FILE) .. Included as write

Iters
elt! : XTP .. Included as elt!
equally!( .. Included as equally!
partition!( .. Included as partition!
rev! : XTP .. Included as rev!


Private

ellipsis( .. Included as ellipsis
attr low, high : XTP ; .. Included as high
**** low = high implies 'empty'
attr low, high : XTP ; .. Included as low
**** low = high implies 'empty'
lump_at_end!( .. Included as lump_at_end!
scan( .. Included as scan
spread_extra!( .. Included as spread_extra!

The Sather Home Page