immutable class INT_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( .. 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( .. 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( .. 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