/** Get the name for the characters in string s. */ public Name fromString(String s) { char[] cs = s.toCharArray(); return fromChars(cs, 0, cs.length); }
/** Get the name for the characters in string s. */ public Name fromString(String s) { char[] cs = s.toCharArray(); return fromChars(cs, 0, cs.length); }
/** Read longest possible sequence of special characters and convert * to token. */ private void scanOperator() { while (true) { putChar(ch); Name newname = names.fromChars(sbuf, 0, sp); if (keywords.key(newname) == IDENTIFIER) { sp--; break; } name = newname; token = keywords.key(newname); scanChar(); if (!isSpecial(ch)) break; } }
/** Read longest possible sequence of special characters and convert * to token. */ private void scanOperator() { while (true) { putChar(ch); Name newname = names.fromChars(sbuf, 0, sp); if (keywords.key(newname) == IDENTIFIER) { sp--; break; } name = newname; token = keywords.key(newname); scanChar(); if (!isSpecial(ch)) break; } }
public Name fromChars(char[] cs, int start, int len) { return table.fromChars(cs, start, len); }
public Name fromChars(char[] cs, int start, int len) { return table.fromChars(cs, start, len); }