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. |
$BINARY |
attr ranges : FLIST{RANGE} ; |
---|
binstr : BINSTR |
---|
build(index : BIN_CURSOR) : SAME |
---|
contains(code : CHAR_CODE) : BOOL |
---|
create : SAME |
---|
**** |
________This_creation_routine_merely_initialises_the_range_list |
insert(rng : RANGE) : SAME |
---|
plus(other : SAME) : SAME |
---|
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} ; |
---|