Searched refs:add_back_pos (Results 1 – 4 of 4) sorted by relevance
81 public void add_back_pos(POSITION pos) in add_back_pos() function
354 add_back_pos(pos); in jump_loc()
417 add_back_pos(pos); in back()
390 public void add_back_pos(POSITION pos);