String toJsonEncoded({bool pretty = false}) { if (pretty) { return dart_convert.JsonEncoder.withIndent(' ').convert(toJson()); } else { return dart_convert.json.encode(toJson()); } }