Februar 2001 GL-Vollständigkeits-SchnittstellencBetrieb 2-47 2 Ausserdem muß ein nicht leeres Diagramm Rechnungsprüfungen auch bestehen. Sehen Sie Abschnitt 2,1,3, "GL Service - Klimavertrag, "auf Seite 2 2 und Abschnitt 2,1,4, "GL-Service - General Invariants, "auf Seite 2-2 zu mehr Information. Die vorhandenen GL-Service-Marken eine ungleich nullliste der gestützten GL-Vollständigkeit prüft ob kann von passend autorisierten GL-Klienten verwendet werden. Dies Spezifikation unterstellen nicht d spezifisch Natur oder Zahl von der vorhanden VollständigkeitÜberprüfung aber unterstellen Implementierungen, die Übereinstimmung mit dieser Vollständigkeit der Spezifikationsunterstützungs GL behaupten Überprüfung. 2,8 GL-Vollständigkeits-SchnittstellencBetrieb 2,8,1 GL-Vollständigkeits-SchnittstellencBetrieb::get_dynamic_selection() wstringListget_dynamic_selection()raises (PermissionDenied); Beschreibung Diese Betriebsanforderung bringt ein wstringList zurück von den vorhandenen Vollständigkeitsüberprüfungen zum Sein durchgeführt an den Informationen enthalten im z.Z. vorgewählten Generaldirektor. Jedes Vollständigkeitsüberprüfung wird durch einen einzigartigen für den Menschen lesbaren Namen dargestellt, der beide spezifiziert der Zweck und der Bereich der Vollständigkeit überprüfen durchgeführt zu werden. Vorbedingungen Kein EingangscParameter Kein Ausgabeparameter Kein RückholcWert Diese Betriebsanforderung bringt ein wstringList zurück eine Implementierung enthalten definiert Liste der Vollständigkeitsüberprüfungen. Ausnahmen Die Ausnahme PermissionDenied wird angehoben, wenn der GL-Klient nicht erfolgreich hat stellte einen gültigen GL-Klientenlernabschnitt mit her Arbitrator::open_session() vor Anruf oder hat nicht Erlaubnis, diese Schnittstelle zu benutzen. Postconditions Kein