isShortOption($argv[$i])) { $option = substr($argv[$i], 1); } else { throw new gtUnknownOptionException('Unrecognised command line option ' . $argv[$i]); } if (!in_array($option, array_merge($this->shortOptions, $this->shortOptionsWithArgs))) { throw new gtUnknownOptionException('Unknown option ' . $argv[$i]); } if (in_array($option, $this->shortOptions)) { $this->options[$option] = true; continue; } if (!$this->isValidOptionArg($argv, $i + 1)) { throw new gtMissingArgumentException('Missing argument for command line option ' . $argv[$i]); } $i++; $this->options[$option] = $argv[$i]; } } /** * */ public function getOption($option) { if (!isset($this->options[$option])) { return false; } return $this->options[$option]; } /** * Check whether an option exists */ public function hasOption($option) { return isset($this->options[$option]); } } ?>