public function setOptions(PhpMdOptions $options) { return new self($this->undefined, $this->enabled, $options); }