public function load($filename) { $str = file_get_contents($filename); if ($str === false) { return false; } $this->buffer = $str; $this->pos = 0; $this->mark = -1; $this->length = strlen($str); return true; }