class apext::tsync::TsyncFvmErrorDomain

Die Elementfunktion [SWS_TS_14210] gehört zur Klasse apext::tsync::TsyncFvmErrorDomain und wird über die Header-Datei apext/tsync/fvm_error_domain.h eingebunden. Sie dient der synchronen Ermittlung der textuellen Beschreibung zu einem aufgetretenen Fehlercode. Als Eingabeparameter nimmt die Funktion den numerischen Fehlercode errorCode vom Typ CodeType entgegen und liefert die damit verknüpfte Fehlermeldung als Zeiger auf eine konstante Zeichenkette (const char *) zurück.

Hinsichtlich der Nebenläufigkeit und Fehlertoleranz sichert die Spezifikation umfassende Garantien zu: Die Methode ist als thread-safe klassifiziert und kann somit ohne zusätzliche Synchronisationsmaßnahmen aus nebenläufigen Threads aufgerufen werden [SWS_TS_14210]. Zudem ist die Funktion als exception safe eingestuft und mit dem Bezeichner noexcept versehen, wodurch das Auslösen von Ausnahmen während der Ausführung ausgeschlossen ist.

Im Modul ts besteht ein enger Zusammenhang zum Spezifikationselement [SWS_TS_00907]. Dieses definiert die analoge Funktion Message für die Fehlerdomäne ara::tsync::TsyncErrorDomain im Header ara/tsync/tsync_error_domain.h. Beide Schnittstellen weisen dieselbe Signatur sowie identische Zusagen bezüglich Thread-Sicherheit und Ausnahmesicherheit auf und stellen eine einheitliche Abfrage von Fehlertexten über unterschiedliche Domänen hinweg sicher.

Die konstante Elementfunktion Name() der Klasse apext::tsync::TsyncFvmErrorDomain liefert einen Zeiger auf eine unveränderliche Zeichenkette (const char*), die den Namen der Fehlerdomäne für das Time-Synchronization-FVM darstellt [SWS_TS_14209]. Die Funktion dient dazu, den Bezeichner der Fehlerdomäne zur Laufzeit abzufragen. Der Aufruf wird synchron und parameterlos ausgeführt und erfordert das Einbinden der Header-Datei apext/tsync/fvm_error_domain.h [SWS_TS_14209].

Hinsichtlich des Fehlerverhaltens ist die Schnittstelle als noexcept deklariert und gilt als ausnahmesicher (exception safe) [SWS_TS_14209]. Da sie lediglich eine fest hinterlegte Zeichenkettenkonstante referenziert, werden keine spezifischen Fehlercodes zurückgegeben und es treten keine Fehlerfälle auf. Bezüglich der Nebenläufigkeit ist die Methode ausdrücklich als threadsicher (thread-safe) eingestuft [SWS_TS_14209]. Parallele Aufrufe aus mehreren Threads dürften daher ohne zusätzliche externe Synchronisation oder Schutzmechanismen jederzeit zulässig sein. Frage Q-6664ffba9d211592 (offen)

Im architektonischen Zusammenspiel überschreibt (override) die Funktion die Schnittstelle zur Fehlerdomänen-Identifikation und ergänzt die analoge Funktion aus [SWS_TS_00906]. Während [SWS_TS_00906] über ara/tsync/tsync_error_domain.h den Namen der Fehlerdomäne ara::tsync::TsyncErrorDomain für die grundlegende Zeitsynchronisation bereitstellt, dient [SWS_TS_14209] der Kennzeichnung der spezialisierten Fehlerdomäne apext::tsync::TsyncFvmErrorDomain. Beide Methoden folgen damit dem einheitlichen Fehlermodell von AUTOSAR Adaptive.

Die Elementfunktion ThrowAsException der Fehlerdomäne apext::tsync::TsyncFvmErrorDomain dient dem synchronen Auslösen einer C++-Ausnahme auf Basis eines Fehlercodes ([SWS_TS_14211]). Die Deklaration ist über den Header apext/tsync/fvm_error_domain.h verfügbar. Die Methode übernimmt den Eingabeparameter errorCode (const ara::core::ErrorCode &), instanziiert daraus eine spezifische apext::tsync::TsyncFvmException und wirft diese direkt ([SWS_TS_14211]). Entsprechend besitzt die mit noexcept(false) spezifizierte Funktion keinen Rückgabewert.

Für den Aufrufkontext ist die Funktion als threadsicher (thread-safe) spezifiziert, jedoch als nicht ausnahmesicher (not exception safe) ausgewiesen ([SWS_TS_14211]). Interpretation: Diese Einstufung als nicht ausnahmesicher dürfte darauf zurückzuführen sein, dass das gezielte Werfen einer Ausnahme den regulären Kontrollfluss beendet. Frage Q-4d1dbde678635320 (offen) Eine zentrale Compiler-Einschränkung definiert [SWS_CORE_10304]: Sind C++-Exceptions in der Toolchain deaktiviert, nimmt die Funktion nicht an der Überladungsauflösung teil.

Im Gesamtsystem ergänzt die Funktion die Fehlerbehandlung analog zu [SWS_TS_00908] aus ara::tsync::TsyncErrorDomain. Während dort eine TsyncException geworfen wird, ermöglicht ThrowAsException in der FVM-Fehlerdomäne die einheitliche Transformation eines ara::core::ErrorCode in eine C++-Exception ([SWS_TS_14211]).

Verwendung

Der parameterlose Standardkonstruktor TsyncFvmErrorDomain() erzeugt synchron eine neue Instanz der Fehlerdomäne apext::tsync::TsyncFvmErrorDomain [SWS_TS_14208]. Er erwartet keine Übergabeparameter und ist als constexpr sowie noexcept deklariert. Zur Einbindung ist die Header-Datei apext/tsync/fvm_error_domain.h einzubinden [SWS_TS_14208].

Fehlerbehandlung und Nebenläufigkeit

Da der Konstruktor als noexcept spezifiziert ist, treten bei der Instanziierung keine Ausnahmen auf; die Ausführung gilt als threadsicher und ausnahmesicher [SWS_TS_14208]. Das erzeugte Objekt verwaltet und übersetzt Fehlercodes der Enumeration TsyncFvmErrc [SWS_TS_14202] (Typalias Errc [SWS_TS_14206]), welche die spezifischen Fehler kFVNotAvailable und kFVInitializeFailed umfasst [SWS_TS_14202].

Zusammenspiel und Lebenszyklus

Die Domäneninstanz stellt Schnittstellen zur Namens- und Meldungsauflösung über Name() [SWS_TS_14209] und Message() [SWS_TS_14210] sowie zum Auslösen von typspezifischen Ausnahmen via ThrowAsException() [SWS_TS_14211] unter Nutzung von Exception [SWS_TS_14207] bereit. Die Zerstörung erfolgt über den virtuellen Destruktor ~TsyncFvmErrorDomain() [SWS_TS_14201]. In Anwendungscode dürfte eine direkte manuelle Konstruktion selten notwendig sein; vermutlich wird stattdessen die globale Singleton-Instanz über GetTsyncFvmErrorDomain() [SWS_TS_14212] bezogen. Frage Q-411a136f0129313a (offen)