(ch)
| 84 | */ |
| 85 | // Copied from peg.js, thanks to David Majda |
| 86 | function escape(ch) { |
| 87 | var charCode = ch.charCodeAt(0); |
| 88 | if(charCode <= 0xFF) { |
| 89 | return '\\x' + pad(charCode.toString(16).toUpperCase()); |
| 90 | } else { |
| 91 | return '\\u' + pad(charCode.toString(16).toUpperCase(),4); |
| 92 | } |
| 93 | }; |
| 94 | |
| 95 | // Turns a string into a legal JavaScript string |
| 96 | // Copied from peg.js, thanks to David Majda |