class CHAR_MAP < $BINARY |
---|
$BINARY |
binstr : BINSTR .. Included as binstr |
---|
build( .. Included as build |
---|
create( .. Included as create |
---|
create : SAME |
---|
insert( .. Included as insert |
---|
is_mapped( .. Included as is_mapped |
---|
read( .. Included as read |
---|
to_domain( .. Included as to_domain |
---|
to_range( .. Included as to_range |
---|
write( .. Included as write |
---|
can_insert( .. Included as can_insert |
---|
attr map : FLIST{CASE_MAPLET} ; |
---|
attr map : FLIST{CASE_MAPLET} ; |
---|
mapping( .. Included as mapping |
---|