@return the name of the function
()
| 97 | |
| 98 | /** @return the name of the function */ |
| 99 | public String readFuncName() { |
| 100 | // in case we get something like " function(foo)" consume a bit |
| 101 | skipWhitespaces(); |
| 102 | StringBuilder builder = new StringBuilder(); |
| 103 | while (peek() != '(' && !Character.isWhitespace(peek())) { |
| 104 | builder.append(next()); |
| 105 | } |
| 106 | skipWhitespaces(); // increment over whitespace after |
| 107 | return builder.toString(); |
| 108 | } |
| 109 | |
| 110 | /** @return Whether or not the index is at the end of the character array */ |
| 111 | public boolean isEOF() { |