immutable class CASE_MAPLET < $IS_EQ, $IMMUTABLE |
---|
$IMMUTABLE | $STR | $BINARY | $IS_EQ |
attr base : CHAR_CODE ; |
---|
attr count : CARD ; |
---|
attr offset : INT ; |
---|
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 |
---|
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 ; |
---|