class ara::exec::ExecErrorDomain

Der Standardkonstruktor ExecErrorDomain() initialisiert eine neue Instanz der Fehlerdomäne ara::exec::ExecErrorDomain gemäß [SWS_EM_02286]. Der Aufruf erfolgt synchron, nimmt keine Parameter entgegen und besitzt keinen Rückgabewert. Die Deklaration ist über den Header ara/exec/exec_error_domain.h eingebunden.

Hinsichtlich Robustheit und Nebenläufigkeit ist der Konstruktor als noexcept deklariert, gilt als ausnahmesicher (exception safe) und ist uneingeschränkt threadsicher (thread-safe) spezifiziert [SWS_EM_02286]. Eine Fehlerbehandlung bei der Objekterzeugung ist nicht erforderlich, da die Operation fehlerfrei durchläuft und keine Fehlercodes oder Exceptions auslöst.

Im Gesamtsystem dient das erzeugte Objekt der Repräsentation und Beschreibung modulspezifischer Fehler des Execution Managements. Über die Instanz können der Domänenname abgefragt [SWS_EM_02287], textuelle Meldungen zu Fehlercodes ermittelt [SWS_EM_02288] oder Fehler als C++-Exception geworfen werden [SWS_EM_02289]. Eine explizite Instanziierung über diesen Konstruktor dürfte in Anwendungsmodulen selten notwendig sein, da über die freie Funktion GetExecErrorDomain() bereits eine globale Referenz auf die Instanz bereitgestellt wird [SWS_EM_02290]. Frage Q-df8efc87e6547216 (offen)

Die Methode Message ist eine virtuelle Elementfunktion der Klasse ara::exec::ExecErrorDomain innerhalb des Funktionsclusters Execution Management [SWS_EM_02288]. Sie wird über die Header-Datei ara/exec/exec_error_domain.h eingebunden und überschreibt die entsprechende Schnittstelle zur Ermittlung textueller Fehlermeldungen [SWS_EM_02288].

Die Verwendung gestaltet sich wie folgt:

• Aufruf und Semantik: Der Aufruf erfolgt synchron und ist als lesende Operation (const) ausgelegt [SWS_EM_02288].
• Parameter: Als Eingabeparameter wird errorCode vom Typ CodeType übergeben, welcher die numerische Kennung des Fehlers darstellt [SWS_EM_02288].
• Rückgabewert: Die Funktion liefert einen Zeiger vom Typ const char * auf die mit dem Fehlercode verknüpfte Fehlermeldung zurück [SWS_EM_02288]. Interpretation: Es ist davon auszugehen, dass dieser Zeiger auf eine statische Zeichenkette verweist, sodass für den Aufrufer keine Speicherfreigabe erforderlich ist. Frage Q-3e254e008a07294e (offen)

Bezüglich der Fehlerbehandlung ist die Funktion als noexcept deklariert und als exception safe spezifiziert [SWS_EM_02288]. Die Funktion löst selbst keine C++-Ausnahmen aus. Eigene Fehlercodes oder Rückmeldekanäle für fehlerhafte Aufrufe sind in der Spezifikation nicht vorgesehen [SWS_EM_02288].

In Bezug auf die Nebenläufigkeit ist die Methode als thread-safe klassifiziert [SWS_EM_02288]. Da sie den Zustand der Fehlerdomäne nicht verändert, kann sie ohne externe Synchronisationsmechanismen sicher von mehreren Threads parallel aufgerufen werden [SWS_EM_02288].

Verwendung

Die Elementfunktion Name der Klasse ara::exec::ExecErrorDomain liefert synchron einen Zeiger auf eine zeichenbasierte Konstante (const char *), welche die Fehlerdomäne bezeichnet [SWS_EM_02287]. Die Rückgabe richtet sich nach der Definition für ara::exec::ExecErrorDomain aus [SWS_CORE_90023]. Die Methode wird über den Header ara/exec/exec_error_domain.h eingebunden, erwartet keine Übergabeparameter und operiert als konstante Elementfunktion auf Instanzen der Fehlerdomäne [SWS_EM_02287].

Fehlerbehandlung und Nebenläufigkeit

Die Schnittstelle ist als noexcept deklariert und somit als vollständig ausnahmesicher (exception safe) klassifiziert [SWS_EM_02287]. Es werden weder Fehlercodes zurückgegeben noch Ausnahmen geworfen. Hinsichtlich des nebenläufigen Zugriffs ist die Funktion als threadsicher (thread-safe) spezifiziert [SWS_EM_02287]. Aufrufe können folglich ohne zusätzliche Synchronisationsmaßnahmen parallel aus verschiedenen Threads ausgeführt werden.

Zusammenspiel

Durch die Deklaration als override implementiert die Funktion die allgemeine Schnittstelle zur Abfrage des Domänennamens im Rahmen von [SWS_CORE_90023]. Die zurückgegebene Zeichenkette dient vermutlich dazu, die Fehlerdomäne in Protokoll- oder Diagnoseausgaben eindeutig lesbar zu identifizieren [SWS_EM_02287]. Frage Q-ae1f9de8510d7ff9 (offen)

Die Methode ThrowAsException der Fehlerdomäne ara::exec::ExecErrorDomain dient dem synchronen Auslösen einer C++-Ausnahme auf Basis eines aufgetretenen Fehlercodes [SWS_EM_02289]. Sie nimmt als Eingabeparameter eine Referenz auf errorCode (Typ const ara::core::ErrorCode &) entgegen, instanziiert daraus ein Ausnahmeobjekt vom Typ ExecException und wirft dieses unmittelbar als C++-Exception [SWS_EM_02289]. Die Funktion liefert keinen Rückgabewert zurück.

Hinsichtlich des Fehler- und Laufzeitverhaltens sind folgende Aspekte zu beachten:

• Ausnahmesicherheit: Da das beabsichtigte Verhalten der Funktion im Auslösen einer Ausnahme besteht, ist sie mit noexcept(false) annotiert und formal als nicht ausnahmesicher (not exception safe) eingestuft [SWS_EM_02289]. Aufrufer müssen daher auf das Fangen bzw. Behandeln von ExecException vorbereitet sein.
• Nebenläufigkeit: Die Spezifikation weist die Elementfunktion als threadsicher (thread-safe) aus [SWS_EM_02289]. Sie kann somit sicher aus nebenläufigen Threads aufgerufen werden.
• Toolchain-Einschränkungen: Gemäß [SWS_CORE_10304] nimmt ThrowAsException nicht an der Überladungsauflösung teil, falls C++-Exceptions in der Compiler-Toolchain deaktiviert sind [SWS_EM_02289]. In Umgebungen ohne Exception-Unterstützung steht dieser Aufruf folglich nicht zur Verfügung.