Searched refs:add_back_pos (Results 1 – 4 of 4) sorted by relevance
74 public void add_back_pos(POSITION pos) in add_back_pos() function
322 add_back_pos(pos); in jump_loc()
432 add_back_pos(pos); in back()
328 public void add_back_pos(POSITION pos);