overlay[local?]

module;

private import Numbers

* Gets the result of backslash-escaping newlines, carriage-returns, backslashes, and unicode characters in `s`.

*/

bindingset[s]

string escape(string s) {

then result = char

else

if exists(to4digitHex(any(int i | i.toUnicode() = char)))

then result = "\\u" + to4digitHex(any(int i | i.toUnicode() = char))

else result = "\\u{" + toHex(any(int i | i.toUnicode() = char)) + "}"

private predicate isPrintable(string char) {

bindingset[s]

string getCodepointAt(string s, int i) {

bindingset[s]

string getACodepoint(string s) { result = s.codePointAt(_).toUnicode() }

bindingset[str]

int getCodepointLength(string str) { result = str.codePointCount(0, str.length()) }

int asciiPrintable(string char) {