Lines Matching full:while
22 while ($next_t != $init_t)
29 while ($stackp < $stack_top)
36 while ($next_th != $next_t)
43 while ($stackp < $stack_top)
71 while (($stackp < $stack_top) && ($stackp > $stack_bot))
87 while ($next_t != $init_t)
92 while ($next_th != $next_t)
112 while ($next_t != $init_t)
120 while ($next_th != $next_t)
145 while ($next_t != $init_t)
153 while ($next_th != $next_t)
245 while ($idx < $dict_len)
266 while ($idx < $dict_len)
304 while (1)