immutable class RANGE |
---|
attr low, high : XTP ; .. Included as high |
---|
**** | low = high implies 'empty' |
attr low, high : XTP ; .. Included as low |
---|
**** | low = high implies 'empty' |
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 |
---|
elt! : XTP .. Included as elt! |
---|
equally!( .. Included as equally! |
---|
partition!( .. Included as partition! |
---|
rev! : XTP .. Included as rev! |
---|
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! |
---|