public function setDefaultPage($value) { if ($this->_initialized) { throw new TInvalidOperationException('pageservice_defaultpage_unchangeable'); } else { $this->_defaultPage = $value; } }