klasse ara::core::FutureErrorDomain

De standaardconstructor FutureErrorDomain() initialiseert een instantie van het foutdomein ara::core::FutureErrorDomain synchroon en zonder overdrachtsparameters [SWS_CORE_00441]. Omdat de functie gedeclareerd is als constexpr en noexcept, biedt deze volledige exception-veiligheid en kan deze reeds tijdens compile-time worden geëvalueerd [SWS_CORE_00441].

Wat betreft uitvoering en foutafhandeling gelden de volgende voorwaarden:

• De initialisatie is thread-safe en werpt geen excepties op [SWS_CORE_00441]. Er zijn geen specifieke foutcodes of meldingen aan diagnose- of foutmanagers voorzien.
• De resulterende instantie biedt elementaire methoden van het domein, met name Name() voor de domeinnaam [SWS_CORE_00442], Message() voor de vertaling van foutcodes naar leesbare tekst [SWS_CORE_00443] alsook ThrowAsException() voor het opwerpen van bijbehorende excepties [SWS_CORE_00444]. Binnen de class scope bestaan bovendien de type-aliassen Errc [SWS_CORE_00431] en Exception [SWS_CORE_00432].

In de interfacestructuur stelt de functie GetFutureErrorDomain() een referentie naar de centrale globale singleton-instantie beschikbaar [SWS_CORE_00480]. De directe handmatige instantiëring via de constructor [SWS_CORE_00441] zal in toepassingsgevallen daarom voornamelijk dienen voor de interne beschikbaarstelling van deze instantie of voor speciale testdoeleinden. Vraag Q-4b2f868ccb8a5487 (open) Specifieke foutcodes voor dit domein worden gegenereerd via MakeErrorCode() met gebruikmaking van de enumeratie FutureErrc [SWS_CORE_00490].

Gebruik

De elementfunctie Message van de klasse ara::core::FutureErrorDomain dient voor de synchrone vertaling van een numerieke foutcode naar een informatieve tekstmelding [SWS_CORE_00443]. De functie wordt beschikbaar gesteld via het headerbestand #include "ara/core/future_error_domain.h". Als invoerparameter accepteert ze errorCode van het type ErrorDomain::CodeType. De retourwaarde is een pointer naar een nul-getermineerde tekenreeks (const char *) met de tekstmelding, die conform de specificatie nooit nullptr is [SWS_CORE_00443].

Gelijktijdigheid en beperkingen

De functie is gekwalificeerd als noexcept alsook gespecificeerd als thread-safe en exception safe [SWS_CORE_00443]. Ze kan daarom zonder externe synchronisatie veilig vanuit gelijktijdige threads worden aangeroepen. Volgens de voorschriften van de basisklasse ara::core::ErrorDomain blijft de geretourneerde pointer permanent in het bezit van de desbetreffende subklasse en mag door de aanroeper onder geen beding handmatig worden vrijgegeven [SWS_CORE_00153].

Foutafhandeling en wisselwerking

Message overschrijft de zuiver virtuele basismethode Message van de abstracte basisklasse ara::core::ErrorDomain [SWS_CORE_00153], analoog aan de implementatie in andere foutdomeinen zoals ara::core::CoreErrorDomain [SWS_CORE_05243]. Is de overgedragen code niet afkomstig uit dit domein, dan vormt dit volgens de basisinterface een schending (WrongDomainOfAnErrorCodeViolation) [SWS_CORE_00153]. In typische gebruiksscenario's zullen ontwikkelaars deze methode vermoedelijk slechts zelden direct op het domein aanroepen, aangezien foutmeldingen gebruikelijk via de methode Message van het object ara::core::ErrorCode worden opgevraagd [SWS_CORE_00518]. Vraag Q-a083e0ab17abf079 (open)

De synchrone lidfunctie Name() van de klasse ara::core::FutureErrorDomain wordt ingevoegd via de header ara/core/future_error_domain.h [SWS_CORE_00442]. Ze accepteert geen parameters en retourneert de naam van het foutdomein als pointer naar een constante tekenreeks (const char *) [SWS_CORE_00442].

Wat betreft foutafhandeling en uitvoeringsveiligheid is de methode gedeclareerd als noexcept en gespecificeerd als uitzonderingsveilig (exception safe) [SWS_CORE_00442]. Er worden noch C++-excepties gegenereerd, noch fouttoestanden gemeld aan DET of DEM.

Voor gelijktijdigheid geldt dat de functie onbeperkt thread-safe (thread-safe) is en parallel vanuit meerdere contexten mag worden aangeroepen [SWS_CORE_00442]. Aangezien ze de puur virtuele interface ara::core::ErrorDomain::Name() overschrijft [SWS_CORE_00152], gelden de bijbehorende levensduur- en eigendomsregels: de geretourneerde pointer blijft eigendom van het foutdomein en mag onder geen beding door de aanroeper worden vrijgegeven [SWS_CORE_00152]. De geleverde tekenreeks is met null getermineerd en gegarandeerd nooit nullptr [SWS_CORE_00152].

In samenspel met het totale systeem fungeert de methode als domeinspecifieke manifestatie van de algemene foutdomein-interface [SWS_CORE_00152], vergelijkbaar met de implementatie in andere domeinen zoals ara::core::CoreErrorDomain [SWS_CORE_05242]. Interpretatie: aangezien de aanroeper het geheugen niet mag beheren, wijst de pointer vermoedelijk naar een statische stringliteral waarvan de geldigheid de gehele programmaduur omvat. Vraag Q-e1867dfe78e89540 (open)

De memberfunctie ara::core::FutureErrorDomain::ThrowAsException zet een meegegeven instantie van ErrorCode synchroon om in een exceptie en werpt deze op als FutureException [SWS_CORE_00444]. De opgeworpen exceptie kapselt daarbij de meegegeven foutcode [SWS_CORE_00444] in. Daarmee implementeert de klasse de puur virtuele interface ThrowAsException van de basisklasse ara::core::ErrorDomain [SWS_CORE_00154].

Met betrekking tot uitvoering en randvoorwaarden gelden de volgende specificaties:

• Aanroep en parameters: De functie verwacht als invoerparameter een referentie naar een ErrorCode-object (errorCode) en heeft geen retourwaarde, aangezien ze de control flow onderbreekt door het opwerpen van de exceptie [SWS_CORE_00444].
• Foutgedrag en uitzonderingsveiligheid: De functie is gedeclareerd met noexcept(false) en geclassificeerd als not exception safe [SWS_CORE_00444]. Bij aanroep wordt altijd de gespecificeerde FutureException opgeworpen [SWS_CORE_00444].
• Gelijktijdigheid: De implementatie is geclassificeerd als thread-safe en kan zodoende veilig vanuit parallelle uitvoeringscontexten worden aangeroepen [SWS_CORE_00444].
• Compilerbeperking: Wanneer C++-excepties in de compiler-toolchain zijn gedeactiveerd, mag deze functie niet deelnemen aan de overload resolution [SWS_CORE_00444].

In het samenspel met het foutsysteem van Adaptive AUTOSAR correspondeert deze functie direct met ara::core::ErrorCode::ThrowAsException, waarvan het gedrag is gedefinieerd als doorsturen naar het bijbehorende domein (this->Domain().ThrowAsException(*this)) [SWS_CORE_00519]. Ze komt daarmee overeen met de domeinspecifieke implementaties in andere domeinen zoals ara::core::CoreErrorDomain::ThrowAsException, die in plaats daarvan een CoreException opwerpt [SWS_CORE_05244].