method encodeJson

Source

String encodeJson(val, {bool pretty: false}) {
  JsonEncoder e = encoder;
  if (pretty) {
    if (_prettyEncoder == null) {
      _prettyEncoder =
          encoder = new JsonEncoder.withIndent("  ", _safeEncoder);
    }
    e = _prettyEncoder;
  }
  return e.convert(val);
}