//ERDDAP/com.cohort.util/ScriptString2/charToJsonString

charToJsonString

[JVM]
open fun charToJsonString(ch: Char, firstUEncodedChar: Int, encodeNewline: Boolean): String

This encodes one char to the Json encoding.