class CHAR_GROUP < $BINARY
****

________This_class_embodies_the_notion_of_a_character_group_and_contains
___the_members_as_a_list_of_ranges_of_their_code-points.


Ancestors
$BINARY



Public


Readable Attributes
attr ranges : FLIST{RANGE} ;

Features
binstr : BINSTR
build(index : BIN_CURSOR) : SAME
contains(code : CHAR_CODE) : BOOL
create(str : BINSTR) : SAME .. Included as create
create : SAME
****
________This_creation_routine_merely_initialises_the_range_list
insert(rng : RANGE) : SAME
plus(other : SAME) : SAME
read(index : BIN_CURSOR) : SAME .. Included as read
write(fyle : BIN_FILE) .. Included as write


Private

do_tail(group : SAME, inout val : RANGE,tail : RANGE) : RANGE
get_range!(once rngs : SAME,val : RANGE) : RANGE
is_disjoint(ans : SAME) : BOOL
****
________This_private_predicate_returns_true_if_and_only_if_all_of_the
___elements_of_ans_are_disjoint_from_each_other.
attr ranges : FLIST{RANGE} ;

The Sather Home Page