docs: final void _shortDebugString(StringBuffer buf)
      {
          if (-1 != _position)
          {
              buf.append(_position);
          }
          buf.append("(");
          buf.append(_state);
          buf.append(")");
      }