Searched refs:WHITESPACE (Results 1 – 1 of 1) sorted by relevance
88 protected static final String WHITESPACE = " \n\t\r"; field in Scanner93 protected static final String SEPARATORS = WHITESPACE + ":=" + ",";120 return (WHITESPACE.indexOf(c) != -1); in isWhitespace()