Searched refs:input_pointer (Results 1 – 1 of 1) sorted by relevance
223 static short input_pointer; variable1868 return (input_buffer[input_pointer++]); in getachar()1877 if (input_pointer == 0) { in ungetachar()1882 input_buffer[--input_pointer] = c; in ungetachar()1927 input_pointer = 0; in getnextinput()