public void getChar() {
		try {
			if (position >= line.length()){
				line = input.nextLine();
				line = line + "\n";
				position = 0;
				lineNumber++;

				// only a period on a line means eof
				if (".\n".equals(line))
					eof = true;
			}

			current = line.charAt(position);
			position++;
		} catch (NoSuchElementException nsee){
			eof = true;
		}
	}