immutable class UNICODE < $ORDERED{UNICODE} |
---|
$ORDERED{_} | $IS_LT{_} | $IS_EQ | $VALUE{_} | $NIL | $IS_NIL |
const Invalid_Val : CARD := 0x7FFFFFFF ; |
---|
digit_value( .. Included as digit_value |
---|
do_card : CARD |
---|
do_create( .. Included as do_create |
---|
is_down_mapped( .. Included as is_down_mapped |
---|
is_legal_aelts_arg( .. Included as is_legal_aelts_arg |
---|
is_up_mapped( .. Included as is_up_mapped |
---|
octal_value( .. Included as octal_value |
---|
const priv_nil : SAME := do_create(Invalid_Val) ; |
---|