toStringShort method

@override

String toStringShort ()

override

Returns a human understandable name.

Implementation

@override
String toStringShort() {
  String header = super.toStringShort();
  if (_overflow is double && _overflow > 0.0)
    header += ' OVERFLOWING';
  return header;
}