toPrettyString method

@override String toPrettyString()

Output this as a pretty string. Override for propper text.

Implementation

@override
String toPrettyString() {
  var ret = names[this];
  if (ret != null) return ret;
  return super.toPrettyString();
}