protected function getOptions() { if (!isset($this->options)) { $this->options = new ReaderOptions(); } return $this->options; }
