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

Gebruik en semantiek

De statische factory-methode Create dient conform [SWS_CM_10438] voor het exceptievrij creëren van een proxy-instantie (<SI>Proxy) volgens het named-constructor-idioom. Deze vereist als parameter handle een eerder vastgesteld service-handle conform [SWS_CM_00131]. De aanroep vindt synchroon plaats en is gedeclareerd als noexcept. Het resultaat wordt geretourneerd in een ara::core::Result, dat bij succes de gebruiksklare proxy-instantie bevat.

Foutafhandeling

Treedt er tijdens de instantiëring een fout op, dan levert Create via de ara::core::Result een foutcode van het type ara::com::ComErrc op [SWS_CM_10438]:

• ComErrc::kServiceNotAvailable: De dienst is na eerdere aanbieding via OfferService() niet meer beschikbaar.
• ComErrc::kCommunicationFailure: De netwerk-binding meldt een herstelbare communicatiefout of het mislukken van een beveiligde verbinding.

Beide fouten vertonen een rollback-semantiek [SWS_CM_10438]. Bij structurele of beveiligingsgerelateerde fouten treden gespecificeerde overtredingen (violations) in werking: Als het overgedragen handle null of gecorrumpeerd is, is er sprake van een ErroneousServiceHandleViolation. Ontbreken bij het aanroepende proces in het kader van Grant Enforcement de vereiste bevoegdheden voor de instantie, dan wordt het verzoek afgewezen en als InsufficientPermissionsViolation behandeld (SWS CommunicationManagement §8 “Security”, [SWS_CM_10438]).

Gelijktijdigheid en randvoorwaarden

Interpretatie: Aangezien Create synchroon werkt en communicatieresources bindt, zal de aanroep voor verschillende handles vermoedelijk re-entrant zijn, maar deze dient vanwege mogelijke netwerkinitialisaties niet in tijdkritische hard-realtime-lussen te worden uitgevoerd. Vraag Q-f7ba23670f562788 (open)

De statische methode FindService van de proxy-klasse dient voor het synchroon vinden van beschikbare service-instanties aan de hand van een ara::com::InstanceIdentifier ([SWS_CM_00122]). De aanroep retourneert het resultaat onmiddellijk als ara::core::Result, dat bij succesvolle uitvoering een ara::com::ServiceHandleContainer bevat ([SWS_CM_00122]). Deze container – typisch geïmplementeerd als ara::core::Vector ([SWS_CM_00304]) – kan afhankelijk van de actuele deployment-toestand leeg zijn, één enkele instantie-handle bevatten of meerdere handles omvatten (ARAComAPI §6.5 “Service Discovery”).

In geval van een fout levert de ara::core::Result een foutcode uit ara::com::ComErrc op, namelijk ComErrc::kCommunicationFailure, wanneer de netwerk-binding een herstelbare overdrachtsfout of een probleem bij de veilige communicatie meldt ([SWS_CM_00122]). Bovendien is de toegang onderhevig aan rechtencontrole; onvoldoende rechten leiden tot een InsufficientPermissionsViolation ([SWS_CM_00122]).

Met betrekking tot het verloop en de gelijktijdigheid gelden de volgende voorwaarden:

• Aanroepcontext en synchroniciteit: Omdat het zoeken direct wordt uitgevoerd, worden alleen die instanties gevonden waarvoor vooraf serverzijdig OfferService() is aangeroepen (ARAComAPI §6.5 “Service Discovery”).
• Uitzonderingsveiligheid en re-entrantie: De functie is gespecificeerd als noexcept en is exception-safe ([SWS_CM_00122]). Omdat de methode statisch is en geen veranderlijke objectstatus vereist, is deze vermoedelijk re-entrant en thread-safe aanroepbaar. Vraag Q-3228cc998c4a737e (open)
• Verdere verwerking: Gevonden handles dienen voor het instantiëren van proxy-objecten via de constructor Proxy(const HandleType &handle) ([SWS_CM_00131]). Voor een modelgebaseerde zoekopdracht staat als alternatief de overbelasting met ara::core::InstanceSpecifier gereed ([SWS_CM_00622]).

De statische functie FindService van de proxy-klasse dient conform [SWS_CM_00622] voor het synchroon vinden van beschikbare service-instanties aan de hand van een ara::core::InstanceSpecifier met onmiddellijke teruggave („immediately returned request”). Voorwaarde voor het vinden is dat de betreffende service-skeleton-instantie vooraf middels OfferService() beschikbaar is gesteld (ARAComAPI p. 103 “Figure 6.5: Service Discovery”).

Retourwaarden en interactie

Als resultaat levert de aanroep een ara::core::Result met een ara::com::ServiceHandleContainer conform [SWS_CM_00622] op, die standaard op ara::core::Vector is gebaseerd [SWS_CM_00304]. Deze container kan leeg zijn, een enkele handle of meerdere gevonden instanties bevatten (ARAComAPI p. 103 “Figure 6.5: Service Discovery”). De vastgestelde service-handles worden vervolgens voor de instantiëring van het proxy-object aan de constructor doorgegeven [SWS_CM_00131]. Voor een gebeurtenisgestuurde, asynchrone zoekopdracht met notificatie is als alternatief StartFindService beschikbaar [SWS_CM_00623], terwijl voor instantie-aanduidingen de overbelasting uit [SWS_CM_00122] wordt gebruikt.

Foutafhandeling en randvoorwaarden

De functie is als noexcept gedeclareerd en geldt als uitzonderingsveilig („exception safe”) conform [SWS_CM_00622]. In geval van een fout bevat het Result-object de foutcode ComErrc::kCommunicationFailure, bijvoorbeeld bij communicatiestoringen van de netwerk-binding [SWS_CM_00622]. Daarnaast definieert [SWS_CM_00622] model- en permissieschendingen zoals InstanceSpecifierMappingIntegrityViolation, PortInterfaceMappingViolation, ProcessMappingViolation, InstanceSpecifierAlreadyInUseViolation en InsufficientPermissionsViolation.

Interpretatie: Vanwege de synchrone en onmiddellijke teruggave is de methode vermoedelijk hoofdzakelijk geschikt voor initiële initialisatiefasen of gericht pollen, voor zover geen continue observatie via callback vereist is. Vraag Q-ea5b242a6fe41d20 (open)

Gebruik

De expliciete constructor <SI>Proxy instantieert de typespecifieke service-proxyklasse in de namespace <SI-Namespace>::proxy [SWS_CM_00131]. In het kader van het proxy-skeletonpatroon dient dit gegenereerde object aan de zijde van de serviceconsument als lokale façade, die methode-aanroepen doorstuurt naar de daadwerkelijke service-implementatie ARAComAPI Figure 5.1 “Proxy Skeleton Pattern”.

Voor de constructie wordt als parameter een referentie naar een geldige HandleType meegegeven [SWS_CM_00131]. Deze identifier moet eerder via Service Discovery-mechanismen zijn verkregen – hetzij synchroon via FindService() [SWS_CM_00122], hetzij asynchroon via de geregistreerde callback van StartFindService() [SWS_CM_00123].

Foutafhandeling

De constructie is niet uitzonderingsveilig (not exception safe) [SWS_CM_00131]. Kan de gerefereerde service niet worden bereikt, dan wordt conform ara::com::ComErrc::kServiceNotAvailable een ara::com::ComException geworpen [SWS_CM_00131]. Daarnaast zijn de volgende schendingen gedefinieerd:

• ErroneousServiceHandleViolation: Treedt op wanneer het meegegeven HandleType-object null of beschadigd is [SWS_CM_00131].
• InsufficientPermissionsViolation: Treedt op wanneer de aanmaak wordt geweigerd door de rechtencontrole (Grant Enforcement) [SWS_CM_00131].

Beperkingen en levenscyclus

Voor de proxyklasse is de copy-constructor expliciet verwijderd (=delete) [SWS_CM_00136]. Doorgifte van de instantie is uitsluitend toegestaan via de move-constructor, die eveneens als niet-uitzonderingsveilig is gespecificeerd [SWS_CM_00137]. Tijdens runtime actualiseert het communicatiebeheer na succesvolle aanmaak bij tijdelijke uitval en hernieuwde beschikbaarheid van de doelservice de transportlaagadressering van de bestaande proxy-instantie automatisch op de achtergrond ARAComAPI Figure 6.1 “Auto Updating of Proxy Instance”.

De destructor ~<SI>Proxy () sluit de levenscyclus van een serviceproxy-instantie af en geeft de bijbehorende lokale bronnen vrij [SWS_CM_99444]. Een serviceproxy dient aan de consumentzijde als een lokale façade voor interactie met een potentieel externe service-implementatie en stuurt aanroepen door ARAComAPI §5.1 “Proxy Skeleton Pattern”. Het proxy-object wordt vooraf geïnstantieerd via een vastgestelde service-handle [SWS_CM_00131], die via service-discoveryfuncties zoals FindService beschikbaar is gesteld [SWS_CM_00122].

Voor de vernietiging en het runtime-gedrag gelden de volgende voorschriften en randvoorwaarden:

• Levenscyclus en semantiek: De vernietiging vindt synchroon plaats bij het verlaten van de scope of bij het expliciet verwijderen van de instantie. Terwijl de copy constructor van de proxy-klasse is verwijderd [SWS_CM_00136], kan het object vóór de vernietiging ervan worden verplaatst via move-semantiek [SWS_CM_00137].
• Exceptieveiligheid: De destructor is gespecificeerd als not exception safe [SWS_CM_99444].
• Precondities en foutgedrag: Als de preconditie [SWS_CM_00087] wordt geschonden, resulteert dit in een DanglingSamplesViolation [SWS_CM_99444]. (Interpretatie: Vóór de aanroep van de destructor moeten vermoedelijk alle door de consument vastgehouden sample-referenties respectievelijk datapoointers worden vrijgegeven om ongeldige referenties te voorkomen.) Vraag Q-5488797b732d9be6 (open)
• Interactie: Indien asynchrone servicezoekopdrachten worden gebruikt, moeten deze desgewenst vóór het vrijgeven van de gebruikscontext via StopFindService worden beëindigd [SWS_CM_00125]. Bovendien kunnen voor events, triggers en fields geregistreerde foutafhandelingshandlers vooraf worden gereset [SWS_CM_00105] [SWS_CM_00108] [SWS_CM_00126].

De statische methode StartFindService [SWS_CM_00123] van de proxy-klasse start de asynchrone zoekopdracht naar service-instanties aan de hand van een ara::com::InstanceIdentifier onder registratie van een callback-handler (ARAComAPI §6.5 “Service Discovery”). Aan de aanroep worden een ara::com::FindServiceHandler en de gezochte ara::com::InstanceIdentifier meegegeven [SWS_CM_00123].

Bij succes retourneert de functie een ara::core::Result met een ara::com::FindServiceHandle [SWS_CM_00123]. Deze identifier vertegenwoordigt de actieve zoekopdracht en is dwingend vereist om de monitoring van de servicebeschikbaarheid en daaropvolgende handler-aanroepen later door middel van StopFindService [SWS_CM_00125] weer te beëindigen.

Treedt er bij het opbouwen van de verbinding een communicatieprobleem op, dan retourneert de methode in de ara::core::Result de foutcode ComErrc::kCommunicationFailure [SWS_CM_00123]. Is de overgedragen callable-instantie ongeldig of null, dan wordt dit beschouwd als een InvalidHandlerViolation; ontbrekende toegangsrechten leiden tot een InsufficientPermissionsViolation [SWS_CM_00123].

Zodra een passende service-instantie in het systeem beschikbaar komt, roept het communicatiemanagement de geregistreerde handler aan met de bijbehorende service-handles [SWS_CM_00123]. Aan de hand van een gemelde HandleType kan de applicatie via de named-constructor-methode Create [SWS_CM_10438] een concrete proxy-instantie aanmaken. Interpretatie: de handler wordt vermoedelijk asynchroon uitgevoerd in een thread van het communicatiemanagement, waardoor de toegang tot gedeelde bronnen in de handler thread-safe moet plaatsvinden. Vraag Q-9dc570d7e65fc808 (open) Voor het zoeken via een modelgebaseerde identifier staat als alternatief StartFindService met InstanceSpecifier ter beschikking [SWS_CM_00623].

De statische methode StartFindService van de proxy-klasse start het continu zoeken naar service-instanties aan de hand van een gemodelleerde ara::core::InstanceSpecifier [SWS_CM_00623]. Bij de aanroep worden de InstanceSpecifier en een callbackfunctie van het type ara::com::FindServiceHandler meegegeven [SWS_CM_00623]. Als retourwaarde levert de functie een ara::core::Result<ara::com::FindServiceHandle> [SWS_CM_00623] op, die bij succesvolle registratie een zoek-handle voor het beheer van de zoekopdracht ter beschikking stelt.

De foutafhandeling geschiedt via de geretourneerde ara::core::Result. Treedt er bij de netwerk-binding een herstelbare communicatiefout of een fout van de veilige communicatie op, dan bevat het resultaat de foutcode ComErrc::kCommunicationFailure [SWS_CM_00623]. Bovendien zijn specifieke violations gespecificeerd: InvalidHandlerViolation indien de meegegeven handler ongeldig of null is, InsufficientPermissionsViolation bij ontbrekende rechten door grant enforcement, evenals modelleringsschendingen zoals InstanceSpecifierMappingIntegrityViolation of PortInterfaceMappingViolation [SWS_CM_00623].

Wat betreft gelijktijdigheid en randvoorwaarden is de functie gedeclareerd als noexcept en gespecificeerd als uitzonderingsveilig [SWS_CM_00623]. De uitvoering van de geregistreerde handler zal vermoedelijk asynchroon door het communicatiebeheer plaatsvinden zodra passende service-instanties in het systeem worden gedetecteerd. Vraag Q-79fb3ff78d517714 (open)

In de interactie met verwante interfaces gelden de volgende punten:

• De geretourneerde ara::com::FindServiceHandle moet worden bewaard om de lopende zoekopdracht via StopFindService [SWS_CM_00125] te beëindigen en de ontvangst van verdere notificaties te stoppen.
• De via de callback ter beschikking gestelde handles (HandleType) dienen doorgaans voor de instantiëring van het proxy-object via de factory-methode Create [SWS_CM_10438].
• Als alternatief voor het zoeken via een InstanceSpecifier kan een zoekopdracht ook met een ara::com::InstanceIdentifier worden geïnitieerd [SWS_CM_00123].

De methode SetServiceStateChangeHandler dient er op een proxy-instantie voor om een callback-functie te registreren voor de bewaking van beschikbaarheidswijzigingen van de betreffende service ([SWS_CM_01074], SWS CommunicationManagement §8.3.8.2.4.6 “SetServiceStateChangeHandler(ara::com::ServiceStateHandler)”). Het communicatiebeheer roept deze handler aan zodra de toestand van de service-beschikbaarheid (ServiceState) verandert ([SWS_CM_01074]).

Als parameter wordt een functie-object van het type ara::com::ServiceStateHandler doorgegeven, dat als std::function<void(ServiceState)> is gespecificeerd ([SWS_CM_01072]). De functie heeft geen retourwaarde. Een reeds geregistreerde handler mag tijdens runtime door een hernieuwde aanroep worden overschreven ([SWS_CM_01074]).

Wat betreft de foutafhandeling is de functie als uitzonderingsveilig (noexcept) gedeclareerd ([SWS_CM_01074]). Indien het doorgegeven callable niet bestaat of null is, doet de schending InvalidHandlerViolation zich voor ([SWS_CM_01074]).

Met betrekking tot de uitvoeringsomgeving vormt [SWS_CM_01074] de basisinterface. Aangezien hier geen executor kan worden doorgegeven, wordt de callback vermoedelijk in de interne thread-context van het communicatiebeheer uitgevoerd. Vraag Q-7833435e7aa1da9f (open) Voor zover uitvoering in een specifieke applicatiecontext vereist is, staat als alternatief de overbelaste template-variant met een executor conform [SWS_CM_01076] ter beschikking (SWS CommunicationManagement §8.3.8.2.4.5 “SetServiceStateChangeHandler(ara::com::ServiceStateHandler, ExecutorT&&)”).

Gebruik en aanroepcontext

De template-methode SetServiceStateChangeHandler dient op de gegenereerde proxy-klasse <SI-Namespace>::proxy::<SI>Proxy voor de registratie van een callback ter bewaking van de servicebeschikbaarheid [SWS_CM_01076]. De functie accepteert twee parameters AUTOSAR_AP_SWS_CommunicationManagement §8.3.8.2.4.5 “SetServiceStateChangeHandler(ara::com::ServiceStateHandler, ExecutorT&&)”:

• handler: Een functor van het type ara::com::ServiceStateHandler (gedefinieerd als std::function<void(ServiceState)>), die bij elke wijziging van de beschikbaarheidsstatus wordt aangeroepen [SWS_CM_01072], [SWS_CM_01074].
• executor: Een uitvoeringscontext van het template-type ExecutorT conform [SWS_CM_11360], waarin de geregistreerde handler wordt uitgevoerd [SWS_CM_01076].

De functie heeft geen retourwaarde (void) [SWS_CM_01076].

Foutafhandeling en exception-veiligheid

De functie is gedeclareerd als noexcept en gespecificeerd als uitzonderingsveilig (exception safe) [SWS_CM_01076]. Indien de doorgegeven callable-handler niet bestaat of null is, wordt een InvalidHandlerViolation geactiveerd [SWS_CM_01076].

Gelijktijdigheid en beperkingen

Een geregistreerde handler kan tijdens runtime worden overschreven [SWS_CM_01074]. Aangezien de uitvoering via het doorgegeven executor-object plaatsvindt [SWS_CM_01076], wordt de notificatie vermoedelijk asynchroon verwerkt in de door de gebruiker bereitgestelde thread- of dispatch-context. Vraag Q-349c5224c3b9cc20 (open)

Samenspel

De methode breidt de basisvariant [SWS_CM_01074] uit met de expliciete specificatie van de uitvoeringscontext [SWS_CM_01076]. Voor insluiting is de header <SiNamespaceDerivedDirectoryPath>/<SiShortname>_proxy.h vereist, terwijl het handler-type afkomstig is uit ara/com/types.h [SWS_CM_01072].

De statische template-methode StartFindService start de asynchrone achtergrondbewaking voor het vinden van instanties van een service aan de hand van een ara::com::InstanceIdentifier ([SWS_CM_11352], EXP_ARAComAPI §5.3.3 “Proxy Class API’s”). Naast de doelinstantie (instance conform [SWS_CM_00122]) worden een callback-functie (handler conform [SWS_CM_00123]) en een uitvoeringscontext (executor van het template-type ExecutorT conform [SWS_CM_11360]) geregistreerd ([SWS_CM_11352]). De callback-meldingen worden daarbij vermoedelijk in de thread- respectievelijk taakcontext van de overgedragen executor verwerkt ([SWS_CM_11352]). Vraag Q-1db520123c1e49a4 (open)

Als retourwaarde levert de aanroep een ara::com::FindServiceHandle ([SWS_CM_11352]). Deze handle identificeert de lopende zoekactiviteit en is vereist om de achtergrondactiviteit later via [SWS_CM_00125] (StopFindService) expliciet te beëindigen (EXP_ARAComAPI §5.3.3 “Proxy Class API’s”). Via de geregistreerde callback verkregen service-handles (HandleType) dienen vervolgens voor de constructie van de bijbehorende proxy-instanties ([SWS_CM_00131]).

De functie is gedeclareerd als noexcept en gespecificeerd als uitzonderingsveilig (exception safe) ([SWS_CM_11352]). De volgende runtime-schendingen (Violations) zijn gedefinieerd:

• InvalidHandlerViolation: Treedt op wanneer de doorgegeven handler-functie ongeldig is of overeenkomt met null ([SWS_CM_11352]).
• InsufficientPermissionsViolation: Treedt op wanneer de toegang door het autorisatiesysteem (Grant Enforcement) wordt geweigerd ([SWS_CM_11352]).

Indien een service in plaats daarvan via een modelgebaseerde ara::core::InstanceSpecifier moet worden gezocht, staat als alternatief de functievariant [SWS_CM_11365] ter beschikking.

De statische template-functie StartFindService start de continue, asynchrone zoektocht naar service-instanties aan de hand van een ara::core::InstanceSpecifier onder registratie van een meldingshandler in een doorgegeven uitvoeringscontext [SWS_CM_11365]. In tegenstelling tot synchrone eenmalige zoekopdrachten initieert deze een achtergrondactiviteit voor het bewaken van de servicebeschikbaarheid en geeft een ara::com::FindServiceHandle terug EXP_ARAComAPI §5.3 “Proxy Class APIs”.

Parameters en uitvoering

De functie accepteert drie parameters [SWS_CM_11365]:

• handler: Callback-functie van het type ara::com::FindServiceHandler conform [SWS_CM_00123], die bij wijzigingen in de beschikbaarheid van instanties wordt aangeroepen.
• instance: De te zoeken ara::core::InstanceSpecifier conform [SWS_CM_00123].
• executor: Een uitvoeringscontext van het template-type ExecutorT conform [SWS_CM_11360]. Interpretatie: het template-argument ExecutorT bepaalt vermoedelijk in welke thread- of taakcontext de geregistreerde callback wordt uitgevoerd. Vraag Q-6d46f67d536a391e (open)

Foutafhandeling en randvoorwaarden

De signatuur is gedeclareerd als noexcept en gespecificeerd als exception safe [SWS_CM_11365]. Volgens de specificatie zijn functionele schendingen (Violations) gedefinieerd: InstanceSpecifierMappingIntegrityViolation (resolutie in executable-context mislukt of geen PortPrototype), PortInterfaceMappingViolation en ProcessMappingViolation (niet-overeenkomende PortInterface-mappings), InstanceSpecifierAlreadyInUseViolation, InvalidHandlerViolation (ongeldige of ontbrekende handler) evenals InsufficientPermissionsViolation bij ontbrekende toegangsrechten [SWS_CM_11365].

Samenspel

De verkregen FindServiceHandle dient om de lopende achtergrondbewaking door overdracht aan StopFindService gecontroleerd te beëindigen [SWS_CM_00125]. De aan de handler gemelde handles worden gebruikt om concrete service-proxy's middels Proxy(handle) te instantiëren [SWS_CM_00131]. Voor zoekopdrachten middels ara::com::InstanceIdentifier bestaat een alternatieve overload [SWS_CM_11352].

De statische functie StopFindService van de proxy-klasse beëindigt een eerder met StartFindService gestarte asynchrone servicezoekopdracht en stopt de ontvangst van verdere meldingen voor de meegegeven handle [SWS_CM_00125]. Daarmee wordt de actieve achtergrondactiviteit voor het bewaken van de servicebeschikbaarheid door de technische binding beëindigd AP EXP ARAComAPI §5.3 “Proxy Class API’s”.

Gebruik en semantiek

• Parameters: Als invoerparameter verwacht de functie een ara::com::FindServiceHandle, die eerder via een van de StartFindService-methoden is verkregen ([SWS_CM_00123], [SWS_CM_00623], [SWS_CM_11352], [SWS_CM_11365], [SWS_CM_00125]).
• Retourwaarde en foutbestendigheid: De functie levert geen retourwaarde op (void), is gedeclareerd met noexcept en gespecificeerd als uitzonderingsveilig [SWS_CM_00125].
• Gelijktijdigheid en aanroepcontext: Een aanroep van StopFindService is uitdrukkelijk ook direct binnen de door de gebruiker gedefinieerde callback-functie FindServiceHandler [SWS_CM_00383] toegestaan AP EXP ARAComAPI §5.3 “Proxy Class API’s”. Voor dit doel wordt de desbetreffende FindServiceHandle als parameter aan de handler meegegeven [SWS_CM_00383]. Aangezien de callback zelf niet re-entrant hoeft te zijn, moet de serialisatie van opeenvolgende aanroepen door de implementeerder van de binding worden gewaarborgd AP EXP ARAComAPI §5.3 “Proxy Class API’s”.

De lidfunctie UnsetServiceStateChangeHandler maakt deel uit van de gegenereerde proxy-klasse in de namespace <SI-Namespace>::proxy::<SI>Proxy conform [SWS_CM_01075] (AUTOSAR_AP_SWS_CommunicationManagement §8.3.8.2.4.12 “UnsetServiceStateChangeHandler”). Deze wordt via de header #include "<SiNamespaceDerivedDirectoryPath>/<SiShortname>_proxy.h" ingevoegd.

Met betrekking tot gebruik, gedrag en gelijktijdigheid gelden de volgende bepalingen:

• Gebruik: De methode heeft de signatuur void UnsetServiceStateChangeHandler() noexcept;. Deze accepteert geen parameters en levert geen retourwaarde op. Interpretatie: Volgens de identifier en de verwijzing naar [SWS_CM_01074] dient de aanroep voor het resetten respectievelijk afmelden van een eerder geregistreerde callback-handler voor servicetoestandswijzigingen op de proxy-instantie. Vraag Q-6eb71298a6f37ad9 (open)
• Foutafhandeling en exception-veiligheid: De operatie is gedeclareerd als noexcept en gespecificeerd als exception safe ([SWS_CM_01075]). Deze werpt geen excepties op en meldt geen foutcodes terug aan de aanroeper.
• Interactie en randvoorwaarden: De functionele semantiek verwijst naar de definitie in [SWS_CM_01074]. Interpretatie: De deregistratie zal vermoedelijk synchroon van kracht worden, zodat na terugkeer van de functieaanroep geen verdere toestandswisselingen via de eerdere callback worden afgeleverd. Vraag Q-31348a50d9be537d (open)