class CHAR_MAP < $BINARY


Ancestors
$BINARY



Public


Features
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


Private

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.

The Sather Home Page