Naja, Du setzt eine Variable für den Parameter auf einen bekannten Wert und lässt diesen dann von GetOptions() überschreiben.
Danach prüfst Du, ob die Variable immer noch den zuvor gesetzten bekannten Wert enthält. Wenn ja, wurde der Parameter offensichtlich nicht gesetzt. Da kann man dann eine Fehlermeldung werfen.