Method isDigit

src/main/java/wyc/io/WhileyFileLexer.java:499–501

This is used in place of Character.isDigit(), since the latter also supports unicode digits. @param c @return

(char c)

	 * @return
	 */
	private boolean isDigit(char c) {
		return '0' <= c && c <= '9';
	}

	/**
	 * This is used in place of Character.isLetter(), since the latter also supports