classe ara::core::FutureErrorDomain

Le constructeur par défaut FutureErrorDomain() initialise une instance du domaine d’erreur ara::core::FutureErrorDomain de manière synchrone et sans paramètre d’entrée [SWS_CORE_00441]. La fonction étant déclarée comme constexpr et noexcept, elle offre une sécurité totale vis-à-vis des exceptions et peut être évaluée dès la compilation [SWS_CORE_00441].

En ce qui concerne l’exécution et le traitement des erreurs, les conditions suivantes s’appliquent :

• L’initialisation est thread-safe et ne lève aucune exception [SWS_CORE_00441]. Aucun code d’erreur spécifique ni message destiné à des gestionnaires de diagnostic ou d’erreurs n’est prévu.
• L’instance résultante met à disposition des méthodes élémentaires du domaine, à savoir Name() pour le nom du domaine [SWS_CORE_00442], Message() pour la traduction des codes d’erreur en texte lisible [SWS_CORE_00443] ainsi que ThrowAsException() pour lever les exceptions associées [SWS_CORE_00444]. Au sein de la portée de la classe existent en outre les alias de type Errc [SWS_CORE_00431] et Exception [SWS_CORE_00432].

Dans l’agencement des interfaces, la fonction GetFutureErrorDomain() fournit une référence vers l’instance singleton globale centrale [SWS_CORE_00480]. L’instanciation manuelle directe via le constructeur [SWS_CORE_00441] devrait donc, dans les cas d’utilisation, servir principalement à la mise à disposition interne de cette instance ou à des fins de test particulières. Question Q-4b2f868ccb8a5487 (ouverte) Les codes d’erreur spécifiques à ce domaine sont créés via MakeErrorCode() en utilisant l’énumération FutureErrc [SWS_CORE_00490].

Utilisation

La fonction membre Message de la classe ara::core::FutureErrorDomain sert à la traduction synchrone d'un code d'erreur numérique en un message textuel explicite [SWS_CORE_00443]. La fonction est fournie via le fichier d'en-tête #include "ara/core/future_error_domain.h". Comme paramètre d'entrée, elle reçoit errorCode du type ErrorDomain::CodeType. La valeur de retour est un pointeur vers une chaîne de caractères terminée par zéro (const char *) contenant le message textuel, lequel n'est jamais nullptr selon la spécification [SWS_CORE_00443].

Concurrence et restrictions

La fonction est qualifiée de noexcept ainsi que spécifiée comme thread-safe et exception safe [SWS_CORE_00443]. Elle peut donc être appelée en toute sécurité depuis des threads concurrents sans synchronisation externe. Conformément aux exigences de la classe de base ara::core::ErrorDomain, le pointeur renvoyé reste en permanence la propriété de la sous-classe respective et ne doit en aucun cas être libéré manuellement par l'appelant [SWS_CORE_00153].

Traitement des erreurs et interaction

Message redéfinit la méthode de base purement virtuelle Message de la classe de base abstraite ara::core::ErrorDomain [SWS_CORE_00153], de manière analogue à l'implémentation dans d'autres domaines d'erreur tels que ara::core::CoreErrorDomain [SWS_CORE_05243]. Si le code transmis ne provient pas de ce domaine, cela constitue selon l'interface de base une violation (WrongDomainOfAnErrorCodeViolation) [SWS_CORE_00153]. Dans des scénarios d'utilisation typiques, les développeurs ne devraient que rarement appeler cette méthode directement sur le domaine, car les messages d'erreur sont habituellement récupérés via la méthode Message de l'objet ara::core::ErrorCode [SWS_CORE_00518]. Question Q-a083e0ab17abf079 (ouverte)

La fonction membre synchrone Name() de la classe ara::core::FutureErrorDomain est incluse via l'en-tête ara/core/future_error_domain.h [SWS_CORE_00442]. Elle ne prend aucun paramètre et renvoie le nom du domaine d'erreur sous forme de pointeur vers une chaîne de caractères constante (const char *) [SWS_CORE_00442].

Concernant le traitement des erreurs et la sécurité d'exécution, la méthode est déclarée comme noexcept et spécifiée comme sûre vis-à-vis des exceptions (exception safe) [SWS_CORE_00442]. Aucune exception C++ n'est levée et aucun état d'erreur n'est signalé au DET ou au DEM.

Pour la concurrence, la fonction est entièrement sûre pour les threads (thread-safe) et peut être appelée en parallèle depuis plusieurs contextes [SWS_CORE_00442]. Dans la mesure où elle surcharge l'interface purement virtuelle ara::core::ErrorDomain::Name() [SWS_CORE_00152], ses règles de durée de vie et d'appartenance s'appliquent : le pointeur renvoyé reste la propriété du domaine d'erreur et ne doit en aucun cas être libéré par l'appelant [SWS_CORE_00152]. La chaîne de caractères fournie est terminée par un caractère nul et garantie de ne jamais être nullptr [SWS_CORE_00152].

En interaction avec le système global, la méthode agit comme une déclinaison spécifique au domaine de l'interface générale de domaine d'erreur [SWS_CORE_00152], comparable à l'implémentation dans d'autres domaines tels que ara::core::CoreErrorDomain [SWS_CORE_05242]. Interprétation : dans la mesure où l'appelant n'est pas autorisé à gérer la mémoire, le pointeur devrait faire référence à un littéral de chaîne statique dont la validité couvre toute la durée d'exécution du programme. Question Q-e1867dfe78e89540 (ouverte)

La fonction membre ara::core::FutureErrorDomain::ThrowAsException convertit de manière synchrone une instance transmise de ErrorCode en une exception et la lève en tant que FutureException [SWS_CORE_00444]. L'exception levée encapsule alors le code d'erreur transmis [SWS_CORE_00444]. La classe implémente ainsi l'interface purement virtuelle ThrowAsException de la classe de base ara::core::ErrorDomain [SWS_CORE_00154].

En ce qui concerne l'exécution et les conditions aux limites, les spécifications suivantes s'appliquent :

• Appel et paramètres : La fonction attend comme paramètre d'entrée une référence à un objet ErrorCode (errorCode) et ne possède aucune valeur de retour, car elle interrompt le flux de contrôle en levant l'exception [SWS_CORE_00444].
• Comportement en cas d'erreur et sécurité vis-à-vis des exceptions : La fonction est déclarée avec noexcept(false) et classée comme not exception safe [SWS_CORE_00444]. Lors de l'appel, la FutureException spécifiée est systématiquement levée [SWS_CORE_00444].
• Concurrence : L'implémentation est classée comme thread-safe et peut donc être appelée en toute sécurité depuis des contextes d'exécution parallèles [SWS_CORE_00444].
• Restriction du compilateur : Si les exceptions C++ sont désactivées dans la chaîne d'outils du compilateur, cette fonction ne doit pas participer à la résolution de surcharge (Overload Resolution) [SWS_CORE_00444].

Dans l'interaction avec le système d'erreur d'Adaptive AUTOSAR, cette fonction correspond directement à ara::core::ErrorCode::ThrowAsException, dont le comportement est défini comme une transmission au domaine associé (this->Domain().ThrowAsException(*this)) [SWS_CORE_00519]. Elle correspond ainsi aux implémentations spécifiques au domaine dans d'autres domaines tels que ara::core::CoreErrorDomain::ThrowAsException, qui lève à la place une CoreException [SWS_CORE_05244].