这是怎么循环的？

小弟菜鸟一名
<?php
$line = "leon\tatkinson\tleon@\

    // loop while there are still tokens

    for($token = strtok($line, "\t");
        $token != "";
        $token = strtok("\t"))
    {
        print("token: $token<BR>\n");
    }
?>
结果是
token: atkinson
token: leon@
token:
请问上面这个for循环是怎么个循环法？