Searched refs:END_OF_HISTORY (Results 1 – 3 of 3) sorted by relevance
270 final static short END_OF_HISTORY = -62; field
53 names.put("END_OF_HISTORY", new Short(END_OF_HISTORY));682 case END_OF_HISTORY: in readLine()
38 12: END_OF_HISTORY