Searched refs:pushtype (Results 1 – 1 of 1) sorted by relevance
87 static int pushtype; /* type of pushback token */ variable117 pushtype = NO_PUSHBACK; in _nc_reset_input()372 if (pushtype != NO_PUSHBACK) { in _nc_get_token()373 int retval = pushtype; in _nc_get_token()377 _nc_curr_token.tk_name, pushtype)); in _nc_get_token()379 pushtype = NO_PUSHBACK; in _nc_get_token()987 pushtype = tokclass; in _nc_push_token()996 pushtype)); in _nc_push_token()