class <SI-Namespace>::proxy::<SI>Proxy

Verwendung und Semantik

Die statische Fabrikmethode Create dient gemäß [SWS_CM_10438] der ausnahmefreien Erzeugung einer Proxy-Instanz (<SI>Proxy) nach dem Named-Constructor-Idiom. Sie erfordert als Parameter handle ein zuvor ermitteltes Dienst-Handle gemäß [SWS_CM_00131]. Der Aufruf erfolgt synchron und ist als noexcept deklariert. Das Ergebnis wird in einem ara::core::Result zurückgegeben, das im Erfolgsfall die betriebsbereite Proxy-Instanz enthält.

Fehlerbehandlung

Tritt während der Instanziierung ein Fehler auf, liefert Create über das ara::core::Result einen Fehlercode vom Typ ara::com::ComErrc [SWS_CM_10438]:

• ComErrc::kServiceNotAvailable: Der Dienst ist nach vorherigem Angebot via OfferService() nicht mehr verfügbar.
• ComErrc::kCommunicationFailure: Das Netzwerk-Binding meldet einen behebbaren Kommunikationsfehler oder das Scheitern einer gesicherten Verbindung.

Beide Fehler weisen eine Rollback-Semantik auf [SWS_CM_10438]. Bei strukturellen oder sicherheitsbezogenen Fehlern greifen spezifizierte Verletzungen (Violations): Ist das übergebene Handle null oder korrumpiert, liegt eine ErroneousServiceHandleViolation vor. Fehlen dem aufrufenden Prozess im Rahmen des Grant Enforcements die notwendigen Berechtigungen für die Instanz, wird die Anfrage abgewiesen und als InsufficientPermissionsViolation behandelt (SWS CommunicationManagement §8 „Security“, [SWS_CM_10438]).

Nebenläufigkeit und Randbedingungen

Interpretation: Da Create synchron arbeitet und Kommunikationsressourcen bindet, dürfte der Aufruf für unterschiedliche Handles reentrant sein, sollte jedoch wegen möglicher Netzwerkinitialisierungen nicht in zeitkritischen Hard-Realtime-Schleifen ausgeführt werden. Frage Q-f7ba23670f562788 (offen)

Die statische Methode FindService der Proxy-Klasse dient dem synchronen Auffinden verfügbarer Service-Instanzen anhand eines ara::com::InstanceIdentifier ([SWS_CM_00122]). Der Aufruf liefert das Ergebnis unmittelbar als ara::core::Result zurück, welches bei erfolgreicher Ausführung einen ara::com::ServiceHandleContainer enthält ([SWS_CM_00122]). Dieser Container – typischerweise als ara::core::Vector umgesetzt ([SWS_CM_00304]) – kann je nach aktuellem Bereitstellungszustand leer sein, ein einzelnes Instanz-Handle oder mehrere Handles umfassen (ARAComAPI §6.5 „Service Discovery“).

Im Fehlerfall liefert das ara::core::Result einen Fehlercode aus ara::com::ComErrc, namentlich ComErrc::kCommunicationFailure, wenn das Netzwerk-Binding einen behebbaren Übertragungsfehler oder ein Problem bei der sicheren Kommunikation meldet ([SWS_CM_00122]). Zudem unterliegt der Zugriff der Rechteprüfung; unzureichende Berechtigungen führen zu einer InsufficientPermissionsViolation ([SWS_CM_00122]).

Hinsichtlich des Ablaufs und der Nebenläufigkeit gelten folgende Bedingungen:

• Aufrufkontext und Synchronität: Da die Suche unmittelbar ausgeführt wird, werden nur solche Instanzen aufgefunden, für die zuvor serverseitig OfferService() aufgerufen wurde (ARAComAPI §6.5 „Service Discovery“).
• Ausnahmesicherheit und Reentranz: Die Funktion ist als noexcept spezifiziert und exception-safe ([SWS_CM_00122]). Da die Methode statisch ist und keinen veränderlichen Objektzustand erfordert, dürfte sie reentrant und threadsicher aufrufbar sein. Frage Q-3228cc998c4a737e (offen)
• Weiterverarbeitung: Gefundene Handles dienen der Instanziierung von Proxy-Objekten über den Konstruktor Proxy(const HandleType &handle) ([SWS_CM_00131]). Für eine modellbasierte Suche steht alternativ die Überladung mit ara::core::InstanceSpecifier bereit ([SWS_CM_00622]).

Die statische Funktion FindService der Proxy-Klasse dient gemäß [SWS_CM_00622] dem synchronen Auffinden verfügbarer Serviceinstanzen anhand eines ara::core::InstanceSpecifier mit sofortiger Rückgabe („immediately returned request“). Voraussetzung für das Auffinden ist, dass die jeweilige Service-Skelett-Instanz zuvor mittels OfferService() bereitgestellt wurde (ARAComAPI S. 103 „Figure 6.5: Service Discovery“).

Rückgabewerte und Zusammenspiel

Als Ergebnis liefert der Aufruf ein ara::core::Result mit einem ara::com::ServiceHandleContainer gemäß [SWS_CM_00622], der standardmäßig auf ara::core::Vector basiert [SWS_CM_00304]. Dieser Container kann leer sein, ein einzelnes Handle oder mehrere gefundene Instanzen enthalten (ARAComAPI S. 103 „Figure 6.5: Service Discovery“). Die ermittelten Service-Handles werden anschließend zur Instanziierung des Proxy-Objekts an den Konstruktor übergeben [SWS_CM_00131]. Für eine ereignisgesteuerte, asynchrone Suche mit Benachrichtigung steht alternativ StartFindService zur Verfügung [SWS_CM_00623], während für Instanzbezeichner die Überladung aus [SWS_CM_00122] genutzt wird.

Fehlerbehandlung und Randbedingungen

Die Funktion ist als noexcept deklariert und gilt als ausnahmesicher („exception safe“) gemäß [SWS_CM_00622]. Im Fehlerfall enthält das Result-Objekt den Fehlercode ComErrc::kCommunicationFailure, etwa bei Kommunikationsstörungen des Netzwerk-Bindings [SWS_CM_00622]. Darüber hinaus definiert [SWS_CM_00622] Modell- und Berechtigungsverletzungen wie InstanceSpecifierMappingIntegrityViolation, PortInterfaceMappingViolation, ProcessMappingViolation, InstanceSpecifierAlreadyInUseViolation sowie InsufficientPermissionsViolation.

Interpretation: Wegen der synchronen und unmittelbaren Rückgabe dürfte die Methode vorrangig für initiale Initialisierungsphasen oder gezieltes Polling geeignet sein, sofern keine kontinuierliche Beobachtung via Callback erforderlich ist. Frage Q-ea5b242a6fe41d20 (offen)

Verwendung

Der explizite Konstruktor <SI>Proxy instanziiert die typspezifische Service-Proxy-Klasse im Namensraum <SI-Namespace>::proxy [SWS_CM_00131]. Im Rahmen des Proxy-Skeleton-Musters dient dieses generierte Objekt auf Seiten des Service-Konsumenten als lokale Fassade, welche Methodenaufrufe an die tatsächliche Service-Implementierung weiterleitet ARAComAPI Figure 5.1 „Proxy Skeleton Pattern“.

Zur Konstruktion wird als Parameter eine Referenz auf einen gültigen HandleType übergeben [SWS_CM_00131]. Dieser Bezeichner muss zuvor über Service-Discovery-Mechanismen bezogen worden sein – entweder synchron über FindService() [SWS_CM_00122] oder asynchron über den registrierten Callback von StartFindService() [SWS_CM_00123].

Fehlerbehandlung

Die Konstruktion ist nicht ausnahmesicher (not exception safe) [SWS_CM_00131]. Kann der referenzierte Service nicht erreicht werden, wird eine ara::com::ComException gemäß ara::com::ComErrc::kServiceNotAvailable ausgelöst [SWS_CM_00131]. Darüber hinaus sind folgende Verletzungen definiert:

• ErroneousServiceHandleViolation: Tritt auf, wenn das übergebene HandleType-Objekt null oder beschädigt ist [SWS_CM_00131].
• InsufficientPermissionsViolation: Tritt auf, wenn die Erzeugung durch die Rechteprüfung (Grant Enforcement) verweigert wird [SWS_CM_00131].

Einschränkungen und Lebenszyklus

Für die Proxy-Klasse ist der Kopierkonstruktor explizit gelöscht (=delete) [SWS_CM_00136]. Eine Weitergabe der Instanz ist ausschließlich über den Verschiebekonstruktor (Move Constructor) zulässig, welcher ebenfalls nicht ausnahmesicher spezifiziert ist [SWS_CM_00137]. Zur Laufzeit aktualisiert das Kommunikationsmanagement nach erfolgreicher Erzeugung bei temporärem Ausfall und Wiederverfügbarkeit des Zielservices die Transportschicht-Adressierung der bestehenden Proxy-Instanz automatisch im Hintergrund ARAComAPI Figure 6.1 „Auto Updating of Proxy Instance“.

Der Destruktor ~<SI>Proxy () schließt den Lebenszyklus einer Service-Proxy-Instanz ab und gibt die zugehörigen lokalen Ressourcen frei [SWS_CM_99444]. Ein Service-Proxy dient auf Konsumentenseite als lokale Fassade zur Interaktion mit einer potenziell entfernten Dienst-Implementierung und leitet Aufrufe weiter ARAComAPI §5.1 „Proxy Skeleton Pattern“. Das Proxy-Objekt wird zuvor über ein ermitteltes Service-Handle instanziiert [SWS_CM_00131], welches über Service-Discovery-Funktionen wie FindService bereitgestellt wurde [SWS_CM_00122].

Für die Zerstörung und das Laufzeitverhalten gelten folgende Vorgaben und Randbedingungen:

• Lebenszyklus und Semantik: Die Zerstörung erfolgt synchron beim Verlassen des Gültigkeitsbereichs oder beim expliziten Löschen der Instanz. Während der Kopierkonstruktor der Proxy-Klasse gelöscht ist [SWS_CM_00136], kann das Objekt vor seiner Destruktion über Move-Semantik verschoben werden [SWS_CM_00137].
• Ausnahmesicherheit: Der Destruktor ist als not exception safe spezifiziert [SWS_CM_99444].
• Vorbedingungen und Fehlerverhalten: Wird die Vorbedingung [SWS_CM_00087] verletzt, resultiert dies in einer DanglingSamplesViolation [SWS_CM_99444]. (Interpretation: Vor dem Aufruf des Destruktors müssen vermutlich sämtliche vom Konsumenten gehaltenen Sample-Referenzen bzw. Datenzeiger freigegeben werden, um ungültige Referenzen zu vermeiden.) Frage Q-5488797b732d9be6 (offen)
• Zusammenspiel: Werden asynchrone Servicesuchen genutzt, sollten diese bei Bedarf vor der Freigabe des Nutzungskontexts über StopFindService beendet werden [SWS_CM_00125]. Zudem können für Events, Trigger und Fields registrierte Fehlerbehandlungs-Handler vorab zurückgesetzt werden [SWS_CM_00105] [SWS_CM_00108] [SWS_CM_00126].

Die statische Methode StartFindService [SWS_CM_00123] der Proxy-Klasse startet die asynchrone Suche nach Service-Instanzen anhand eines ara::com::InstanceIdentifier unter Registrierung eines Callback-Handlers (ARAComAPI §6.5 „Service Discovery“). Dem Aufruf werden ein ara::com::FindServiceHandler sowie der gesuchte ara::com::InstanceIdentifier übergeben [SWS_CM_00123].

Im Erfolgsfall liefert die Funktion ein ara::core::Result mit einem ara::com::FindServiceHandle zurück [SWS_CM_00123]. Dieser Bezeichner repräsentiert die aktive Suchanfrage und ist zwingend erforderlich, um die Überwachung der Service-Verfügbarkeit sowie nachfolgende Handler-Aufrufe später mittels StopFindService [SWS_CM_00125] wieder zu beenden.

Tritt beim Verbindungsaufbau ein Kommunikationsproblem auf, gibt die Methode im ara::core::Result den Fehlercode ComErrc::kCommunicationFailure zurück [SWS_CM_00123]. Ist die übergebene Callable-Instanz ungültig oder null, wird dies als InvalidHandlerViolation gewertet; fehlende Zugriffsberechtigungen führen zu einer InsufficientPermissionsViolation [SWS_CM_00123].

Sobald eine passende Service-Instanz im System verfügbar wird, ruft das Kommunikationsmanagement den registrierten Handler mit den entsprechenden Service-Handles auf [SWS_CM_00123]. Anhand eines gemeldeten HandleType kann die Anwendung über die Named-Constructor-Methode Create [SWS_CM_10438] eine konkrete Proxy-Instanz erzeugen. Interpretation: Der Handler dürfte asynchron in einem Thread des Kommunikationsmanagements ausgeführt werden, weshalb der Zugriff auf geteilte Ressourcen im Handler thread-sicher erfolgen sollte. Frage Q-9dc570d7e65fc808 (offen) Zur Suche über einen modellbasierten Bezeichner steht alternativ StartFindService mit InstanceSpecifier zur Verfügung [SWS_CM_00623].

Die statische Methode StartFindService der Proxy-Klasse startet die kontinuierliche Suche nach Service-Instanzen anhand eines modellierten ara::core::InstanceSpecifier [SWS_CM_00623]. Beim Aufruf werden der InstanceSpecifier sowie eine Callback-Funktion vom Typ ara::com::FindServiceHandler übergeben [SWS_CM_00623]. Als Rückgabewert liefert die Funktion ein ara::core::Result<ara::com::FindServiceHandle> [SWS_CM_00623], das bei erfolgreicher Registrierung ein Such-Handle für die Verwaltung der Suche bereitstellt.

Die Fehlerbehandlung erfolgt über das zurückgegebene ara::core::Result. Tritt beim Netzwerk-Binding ein behebbarer Kommunikationsfehler oder ein Fehler der sicheren Kommunikation auf, enthält das Ergebnis den Fehlercode ComErrc::kCommunicationFailure [SWS_CM_00623]. Zudem sind spezifische Violations spezifiziert: InvalidHandlerViolation, falls der übergebene Handler ungültig oder null ist, InsufficientPermissionsViolation bei fehlenden Berechtigungen durch Grant Enforcement sowie Modellierungsverletzungen wie InstanceSpecifierMappingIntegrityViolation oder PortInterfaceMappingViolation [SWS_CM_00623].

Hinsichtlich Nebenläufigkeit und Randbedingungen ist die Funktion als noexcept deklariert und ausnahmesicher spezifiziert [SWS_CM_00623]. Die Ausführung des registrierten Handlers dürfte vermutlich asynchron durch das Kommunikationsmanagement erfolgen, sobald passende Service-Instanzen im System erkannt werden. Frage Q-79fb3ff78d517714 (offen)

Im Zusammenspiel mit verwandten Schnittstellen gelten folgende Punkte:

• Das zurückgegebene ara::com::FindServiceHandle muss aufbewahrt werden, um die laufende Suche über StopFindService [SWS_CM_00125] zu beenden und den Empfang weiterer Benachrichtigungen zu stoppen.
• Die über den Callback bereitgestellten Handles (HandleType) dienen typischerweise der Instanziierung des Proxy-Objekts über die Fabrikmethode Create [SWS_CM_10438].
• Alternativ zur Suche über einen InstanceSpecifier kann eine Suche auch mit einem ara::com::InstanceIdentifier initiiert werden [SWS_CM_00123].

Die Methode SetServiceStateChangeHandler dient an einer Proxy-Instanz dazu, eine Callback-Funktion zur Überwachung von Verfügbarkeitsänderungen des jeweiligen Service zu registrieren ([SWS_CM_01074], SWS CommunicationManagement §8.3.8.2.4.6 „SetServiceStateChangeHandler(ara::com::ServiceStateHandler)“). Die Kommunikationsverwaltung ruft diesen Handler auf, sobald sich der Zustand der Dienstverfügbarkeit (ServiceState) ändert ([SWS_CM_01074]).

Als Parameter wird ein Funktionsobjekt vom Typ ara::com::ServiceStateHandler übergeben, das als std::function<void(ServiceState)> spezifiziert ist ([SWS_CM_01072]). Die Funktion besitzt keinen Rückgabewert. Ein bereits registrierter Handler darf während der Laufzeit durch erneuten Aufruf überschrieben werden ([SWS_CM_01074]).

Hinsichtlich der Fehlerbehandlung ist die Funktion als ausnahmesicher (noexcept) deklariert ([SWS_CM_01074]). Falls das übergebene Callable nicht existiert oder null ist, liegt die Verletzung InvalidHandlerViolation vor ([SWS_CM_01074]).

Bezüglich der Ausführungsumgebung stellt [SWS_CM_01074] die Basisschnittstelle dar. Da hier kein Executor übergeben werden kann, dürfte der Callback vermutlich im internen Thread-Kontext der Kommunikationsverwaltung ausgeführt werden. Frage Q-7833435e7aa1da9f (offen) Sofern eine Ausführung in einem spezifischen Anwendungskontext erforderlich ist, steht alternativ die überladene Template-Variante mit einem executor gemäß [SWS_CM_01076] zur Verfügung (SWS CommunicationManagement §8.3.8.2.4.5 „SetServiceStateChangeHandler(ara::com::ServiceStateHandler, ExecutorT&&)“).

Verwendung und Aufrufkontext

Die Template-Methode SetServiceStateChangeHandler dient an der generierten Proxy-Klasse <SI-Namespace>::proxy::<SI>Proxy der Registrierung eines Callbacks zur Überwachung der Dienstverfügbarkeit [SWS_CM_01076]. Die Funktion nimmt zwei Parameter entgegen AUTOSAR_AP_SWS_CommunicationManagement §8.3.8.2.4.5 „SetServiceStateChangeHandler(ara::com::ServiceStateHandler, ExecutorT&&)“:

• handler: Ein Functor vom Typ ara::com::ServiceStateHandler (definiert als std::function<void(ServiceState)>), der bei jeder Änderung des Verfügbarkeitsstatus aufgerufen wird [SWS_CM_01072], [SWS_CM_01074].
• executor: Ein Ausführungskontext vom Template-Typ ExecutorT gemäß [SWS_CM_11360], in welchem der registrierte Handler ausgeführt wird [SWS_CM_01076].

Die Funktion besitzt keinen Rückgabewert (void) [SWS_CM_01076].

Fehlerbehandlung und Exception-Sicherheit

Die Funktion ist als noexcept deklariert und als ausnahmesicher (exception safe) spezifiziert [SWS_CM_01076]. Falls der übergebene Callable-Handler nicht existiert oder null ist, wird eine InvalidHandlerViolation ausgelöst [SWS_CM_01076].

Nebenläufigkeit und Einschränkungen

Ein registrierter Handler kann zur Laufzeit überschrieben werden [SWS_CM_01074]. Da die Ausführung über das übergebene executor-Objekt erfolgt [SWS_CM_01076], wird die Benachrichtigung vermutlich asynchron in dem vom Anwender bereitgestellten Thread- oder Dispatch-Kontext abgewickelt. Frage Q-349c5224c3b9cc20 (offen)

Zusammenspiel

Die Methode erweitert die elementare Variante [SWS_CM_01074] um die explizite Vorgabe des Ausführungskontexts [SWS_CM_01076]. Zur Einbindung ist der Header <SiNamespaceDerivedDirectoryPath>/<SiShortname>_proxy.h erforderlich, während der Handler-Typ aus ara/com/types.h stammt [SWS_CM_01072].

Die statische Template-Methode StartFindService startet die asynchrone Hintergrundüberwachung zur Auffindung von Instanzen eines Dienstes anhand eines ara::com::InstanceIdentifier ([SWS_CM_11352], EXP_ARAComAPI §5.3.3 „Proxy Class API’s“). Neben der Zielinstanz (instance gemäß [SWS_CM_00122]) werden eine Callback-Funktion (handler gemäß [SWS_CM_00123]) sowie ein Ausführungskontext (executor vom Template-Typ ExecutorT gemäß [SWS_CM_11360]) registriert ([SWS_CM_11352]). Die Callback-Benachrichtigungen dürften dabei im Thread- bzw. Task-Kontext des übergebenen executor abgearbeitet werden ([SWS_CM_11352]). Frage Q-1db520123c1e49a4 (offen)

Als Rückgabewert liefert der Aufruf ein ara::com::FindServiceHandle ([SWS_CM_11352]). Dieses Handle identifiziert die laufende Suchaktivität und wird benötigt, um die Hintergrundaktivität später über [SWS_CM_00125] (StopFindService) explizit zu beenden (EXP_ARAComAPI §5.3.3 „Proxy Class API’s“). Über den registrierten Callback erhaltene Service-Handles (HandleType) dienen anschließend zur Konstruktion der zugehörigen Proxy-Instanzen ([SWS_CM_00131]).

Die Funktion ist als noexcept deklariert und ausnahmesicher (exception safe) spezifiziert ([SWS_CM_11352]). Folgende Laufzeitverletzungen (Violations) sind definiert:

• InvalidHandlerViolation: Tritt auf, wenn die übergebene Handler-Funktion ungültig ist oder null entspricht ([SWS_CM_11352]).
• InsufficientPermissionsViolation: Tritt auf, wenn der Zugriff durch das Berechtigungssystem (Grant Enforcement) verweigert wird ([SWS_CM_11352]).

Soll ein Dienst stattdessen über einen modellbasierten ara::core::InstanceSpecifier gesucht werden, steht alternativ die Funktionsvariante [SWS_CM_11365] zur Verfügung.

Die statische Template-Funktion StartFindService startet die kontinuierliche, asynchrone Suche nach Service-Instanzen anhand eines ara::core::InstanceSpecifier unter Registrierung eines Benachrichtigungs-Handlers in einem übergebenen Ausführungskontext [SWS_CM_11365]. Im Gegensatz zu synchronen Einmalsuchen stößt sie eine Hintergrundaktivität zur Überwachung der Service-Verfügbarkeit an und gibt ein ara::com::FindServiceHandle zurück EXP_ARAComAPI §5.3 „Proxy Class APIs“.

Parameter und Ausführung

Die Funktion nimmt drei Parameter entgegen [SWS_CM_11365]:

• handler: Callback-Funktion vom Typ ara::com::FindServiceHandler gemäß [SWS_CM_00123], die bei Änderungen der Instanzverfügbarkeit aufgerufen wird.
• instance: Der zu suchende ara::core::InstanceSpecifier gemäß [SWS_CM_00123].
• executor: Ein Ausführungskontext vom Template-Typ ExecutorT gemäß [SWS_CM_11360]. Interpretation: Das Template-Argument ExecutorT dürfte festlegen, in welchem Thread- oder Aufgabenkontext der registrierte Callback ausgeführt wird. Frage Q-6d46f67d536a391e (offen)

Fehlerbehandlung und Randbedingungen

Die Signatur ist als noexcept deklariert und als exception safe spezifiziert [SWS_CM_11365]. Spezifikatorisch sind funktionale Verletzungen (Violations) definiert: InstanceSpecifierMappingIntegrityViolation (Auflösung im Executable-Kontext fehlgeschlagen oder kein PortPrototype), PortInterfaceMappingViolation und ProcessMappingViolation (nicht übereinstimmende PortInterface-Mappings), InstanceSpecifierAlreadyInUseViolation, InvalidHandlerViolation (ungültiger oder nicht vorhandener Handler) sowie InsufficientPermissionsViolation bei fehlender Zugriffsberechtigung [SWS_CM_11365].

Zusammenspiel

Das erhaltene FindServiceHandle dient dazu, die laufende Hintergrundüberwachung durch Übergabe an StopFindService kontrolliert zu beenden [SWS_CM_00125]. Die an den Handler gemeldeten Handles werden verwendet, um konkrete Service-Proxys mittels Proxy(handle) zu instanziieren [SWS_CM_00131]. Für Suchen mittels ara::com::InstanceIdentifier existiert eine alternative Überladung [SWS_CM_11352].

Die statische Funktion StopFindService der Proxy-Klasse beendet eine zuvor mit StartFindService gestartete asynchrone Dienstsuche und stoppt den Erhalt weiterer Benachrichtigungen für das übergebene Handle [SWS_CM_00125]. Damit wird die laufende Hintergrundaktivität zur Überwachung der Dienstverfügbarkeit durch das technische Binding eingestellt AP EXP ARAComAPI §5.3 „Proxy Class API’s“.

Verwendung und Semantik

• Parameter: Als Eingabeparameter erwartet die Funktion ein ara::com::FindServiceHandle, das zuvor durch eine der StartFindService-Methoden bezogen wurde ([SWS_CM_00123], [SWS_CM_00623], [SWS_CM_11352], [SWS_CM_11365], [SWS_CM_00125]).
• Rückgabewert und Fehlersicherheit: Die Funktion liefert keinen Rückgabewert (void), ist mit noexcept deklariert und als ausnahmesicher spezifiziert [SWS_CM_00125].
• Nebenläufigkeit und Aufrufkontext: Ein Aufruf von StopFindService ist ausdrücklich auch direkt innerhalb der benutzerdefinierten Callback-Funktion FindServiceHandler [SWS_CM_00383] erlaubt AP EXP ARAComAPI §5.3 „Proxy Class API’s“. Zu diesem Zweck wird dem Handler das jeweilige FindServiceHandle als Parameter übergeben [SWS_CM_00383]. Da der Callback selbst nicht reentrant sein muss, ist die Serialisierung aufeinanderfolgender Aufrufe durch den Binding-Implementierer sicherzustellen AP EXP ARAComAPI §5.3 „Proxy Class API’s“.

Die Elementfunktion UnsetServiceStateChangeHandler ist Bestandteil der generierten Proxy-Klasse im Namensraum <SI-Namespace>::proxy::<SI>Proxy gemäß [SWS_CM_01075] (AUTOSAR_AP_SWS_CommunicationManagement §8.3.8.2.4.12 „UnsetServiceStateChangeHandler“). Sie wird über den Header #include "<SiNamespaceDerivedDirectoryPath>/<SiShortname>_proxy.h" eingebunden.

Hinsichtlich Verwendung, Verhalten und Nebenläufigkeit gelten folgende Festlegungen:

• Verwendung: Die Methode besitzt die Signatur void UnsetServiceStateChangeHandler() noexcept;. Sie nimmt keine Parameter entgegen und liefert keinen Rückgabewert. Interpretation: Dem Bezeichner sowie dem Verweis auf [SWS_CM_01074] zufolge dient der Aufruf dem Zurücksetzen bzw. der Abmeldung eines zuvor registrierten Callback-Handlers für Änderungen des Service-Zustands an der Proxy-Instanz. Frage Q-6eb71298a6f37ad9 (offen)
• Fehlerbehandlung und Exception-Sicherheit: Die Operation ist als noexcept deklariert und als exception safe spezifiziert ([SWS_CM_01075]). Sie löst keine Ausnahmen aus und meldet keine Fehlercodes an den Aufrufer zurück.
• Zusammenspiel und Randbedingungen: Die funktionale Semantik verweist auf die Definition in [SWS_CM_01074]. Interpretation: Die Deregistrierung dürfte synchron wirksam werden, sodass nach Rückkehr des Funktionsaufrufs keine weiteren Zustandswechsel über den bisherigen Callback zugestellt werden. Frage Q-31348a50d9be537d (offen)