default :
if (currentCharacter == '$') {
- while ( (currentCharacter = source[currentPosition++])=='$') {
+ while ((currentCharacter = source[currentPosition++]) == '$') {
}
if (currentCharacter == '{')
return TokenNameDOLLAR_LBRACE;
return new char[] { charOne };
}
}
+
final char[] optimizedCurrentTokenSource2() {
//try to return the same char[] build only once
newEntry2 = max;
return r;
}
+
final char[] optimizedCurrentTokenSource3() {
//try to return the same char[] build only once
newEntry3 = max;
return r;
}
+
final char[] optimizedCurrentTokenSource4() {
//try to return the same char[] build only once
return r;
}
+
final char[] optimizedCurrentTokenSource5() {
//try to return the same char[] build only once
return r;
}
+
final char[] optimizedCurrentTokenSource6() {
//try to return the same char[] build only once
newEntry6 = max;
return r;
}
+
public final void pushLineSeparator() throws InvalidInputException {
//see comment on isLineDelimiter(char) for the use of '\n' and '\r'
final int INCREMENT = 250;
//disptach on the second char :-)...cool....but fast !
useAssertAsAnIndentifier = false;
-
+
while (getNextCharAsJavaIdentifierPart()) {
};