toZinc method

@override String toZinc()

Encodes as '@id

Implementation

@override
String toZinc() {
  StringBuffer s = StringBuffer();
  s.write('@');
  s.write(val);

  if (dis != null) {
    s.write(' ');
    HStr.encodeForZinc(s, dis!);
  }

  return s.toString();
}