void skipWhite() { while (Char.IsWhiteSpace(io.getNextChar())) { io.ReadChar(); } }
public Tok(Io ihandle) { io = ihandle; InitHash(); // initialize the tokens hashtable io.ReadChar(); scan(); }