class FIXED_DESCR < $FIXED_DESCR |
---|
$FIXED_DESCR | $EXACT_DESCR | $VAL_DESCR |
attr filler : CHAR_CODE ; |
---|
attr |
---|
**** |
attr val_sign : BOOL ; |
---|
attr whole_digits : CARD ; |
---|
attr width : CARD ; |
---|
**** | minimum width |
create( |
---|
attr filler : CHAR_CODE ; |
---|
attr |
---|
**** |
attr val_sign : BOOL ; |
---|
attr whole_digits : CARD ; |
---|
attr width : CARD ; |
---|
**** | minimum width |