immutable class CASE_MAPLET < $IS_EQ, $IMMUTABLE


Ancestors
$IMMUTABLE $STR $BINARY $IS_EQ



Public


Readable Attributes
attr base : CHAR_CODE ;
attr count : CARD ;
attr offset : INT ;

Features
binstr : BINSTR .. Included as binstr
build( .. Included as build
create( .. Included as create
create( .. Included as create
in_domain( .. Included as in_domain
in_range( .. Included as in_range
is_disjoint( .. Included as is_disjoint
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
map( .. Included as map
read( .. Included as read
reverse_map( .. Included as reverse_map
str( .. Included as str
str : STR .. Included as str
write( .. Included as write


Private

const Min_Code_Size : CARD := 2 ;
**** must have at least code kind plus 1 octet
attr base : CHAR_CODE ;
attr count : CARD ;
is_valid(
attr offset : INT ;

The Sather Home Page