class CHAR_MAP < $BINARY |
---|
$BINARY |
binstr : BINSTR .. Included as binstr |
---|
build( .. Included as build |
---|
create( .. Included as create |
---|
create : SAME |
---|
insert(entry : CASE_MAPLET) : BOOL .. Included as insert |
---|
**** |
is_mapped(ch_code : CHAR_CODE) : BOOL .. Included as is_mapped |
---|
**** | This predicate returns true if and only if the character code is
___mappable_using_this_character_map. |
read( .. Included as read |
---|
to_domain(ch_code : CHAR_CODE) : CHAR_CODE .. Included as to_domain |
---|
to_range(ch_code : CHAR_CODE) : CHAR_CODE .. Included as to_range |
---|
write( .. Included as write |
---|
can_insert(elem : CASE_MAPLET) : BOOL .. Included as can_insert |
---|
**** | This private predicate returns true if and only if it is permissible
___to_insert_the_given_entry_in_the_map,_otherwise_false.__If_the_map_size_is ___non-zero_then_a_preliminary_test_for_the_same_code_library_is_made ___before_testing_for_disjuncture_with_existing_map_contents. |
attr map : FLIST{CASE_MAPLET} ; |
---|
attr map : FLIST{CASE_MAPLET} ; |
---|
mapping(ch_code : CHAR_CODE,forward : BOOL) : CASE_MAPLET .. Included as mapping |
---|
**** | This routine returns true if and only if ch_code is in the range or
___domain_of_this_map_depending_whether_forward_or_reverse_mapping_is_required. |