251   public static boolean isHtmlSpace(char chr) {  in isHtmlSpace()  argument
252     return HTML_WHITESPACE.contains(chr);  in isHtmlSpace()
278   public static boolean isJavascriptWhitespace(char chr) {  in isJavascriptWhitespace()  argument
279     return JAVASCRIPT_WHITESPACE.contains(chr);  in isJavascriptWhitespace()
302   public static boolean isJavascriptIdentifier(char chr) {  in isJavascriptIdentifier()  argument
303     return ((chr >= 'a' && chr <= 'z')  in isJavascriptIdentifier()
304         || (chr >= 'A' && chr <= 'Z')  in isJavascriptIdentifier()
305         || (chr >= '0' && chr <= '9')  in isJavascriptIdentifier()
306         || chr == '_' || chr == '$');  in isJavascriptIdentifier()
333   public static String encodeCharForAscii(char chr) {  in encodeCharForAscii()  argument
334     if (chr == '\'') {  in encodeCharForAscii()
336     } else if (chr == '\\') {  in encodeCharForAscii()
338     } else if (chr >= 32 && chr <= 126) {  in encodeCharForAscii()
339       return String.format("%c", chr);  in encodeCharForAscii()
340     } else if (chr == '\n') {  in encodeCharForAscii()
342     } else if (chr == '\r') {  in encodeCharForAscii()
344     } else if (chr == '\t') {  in encodeCharForAscii()
349       return String.format("\\u%04x", (int)chr);  in encodeCharForAscii()