code: private void checkNotEof() {
  		skipWhiteSpace();
  		if (index >= tokens.size()) {
  			if (index > 0) {
  				syntaxError("unexpected end-of-file", tokens.get(index - 1));
  			} else {
  				// I believe this is actually dead-code, since checkNotEof()
  				// won't be called before at least one token is matched.
  				throw new SyntacticException("unexpected end-of-file", file.getEntry(), null);
  			}
  		}
  	}
docs: Check that the End-Of-File has not been reached. This method should be
  called from contexts where we are expecting something to follow.