@param s the input string @return quoted and escaped string, per Java rule
(String s)
| 112 | * @return quoted and escaped string, per Java rule |
| 113 | */ |
| 114 | static String quote(String s) { |
| 115 | |
| 116 | if (s == null) { |
| 117 | return "null"; |
| 118 | } |
| 119 | |
| 120 | return '"' + escape(s) + '"'; |
| 121 | } |
| 122 | |
| 123 | /** |
| 124 | * @param s the input string - must not be {@code null} |