executable(); $tokens = explode("\0", `$scanner < "\$PHP_LIME_SCAN_STDIN"`); array_pop($tokens); $this->tokens = $tokens; $this->lineno = 1; } function next() { if (list($key, $token) = each($this->tokens)) { list($this->lineno, $type, $text) = explode("\1", $token); return array($type, $text); } } function feed($parser) { while (list($type, $text) = $this->next()) { $parser->eat($type, $text); } return $parser->eat_eof(); } }