Searched refs:input_pointer (Results 1 – 1 of 1) sorted by relevance
233 static short input_pointer; variable1878 return (input_buffer[input_pointer++]); in getachar()1887 if (input_pointer == 0) { in ungetachar()1892 input_buffer[--input_pointer] = c; in ungetachar()1937 input_pointer = 0; in getnextinput()