export function fmtCPPString(str: string) { return ( '"' + str .replace(/\\/g, "\\\\") .replace(/"/g, '\\"') .replace(/\n/g, "\\n") .replace(/\r/g, "\\r") .replace(/\t/g, "\\t") .replace(/\?/g, "\\?") + // https://stackoverflow.com/questions/1234582 '"' ); } export function cap(str: string) { return str[0].toUpperCase() + str.slice(1); } export function low(str: string) { if (str.startsWith("JS")) { return "js" + str.slice(2); } return str[0].toLowerCase() + str.slice(1); }