(ch)
| 5865 | return '0' <= ch && ch <= '9'; |
| 5866 | } |
| 5867 | function isWhitespace(ch) { |
| 5868 | return ch == ' ' || ch == '\r' || ch == '\t' || |
| 5869 | ch == '\n' || ch == '\v' || ch == '\u00A0'; // IE treats non-breaking space as \u00A0 |
| 5870 | } |
| 5871 | function isIdent(ch) { |
| 5872 | return 'a' <= ch && ch <= 'z' || |
| 5873 | 'A' <= ch && ch <= 'Z' || |