Method pushString

This method pushes a string back onto input. It is useful either as the expansion of an internal entity, or for backtracking during the parse. Call pushCharArray() to do the actual work. @param s The string to push back onto input. @see #pushCharArray

(String ename, String s)