public function __isset($name) { switch ($name) { case 'options': return true; default: return false; } }