clase ara::core::FutureErrorDomain

El constructor por defecto FutureErrorDomain() inicializa una instancia del dominio de errores ara::core::FutureErrorDomain de forma síncrona y sin parámetros de entrada [SWS_CORE_00441]. Dado que la función está declarada como constexpr y noexcept, ofrece una completa seguridad frente a excepciones y puede evaluarse ya en tiempo de compilación [SWS_CORE_00441].

En cuanto a la ejecución y al tratamiento de errores se aplican las siguientes condiciones:

• La inicialización es thread-safe y no lanza excepciones [SWS_CORE_00441]. No se prevén códigos de error específicos ni mensajes a administradores de diagnóstico o de errores.
• La instancia resultante proporciona métodos elementales del dominio, a saber, Name() para el nombre del dominio [SWS_CORE_00442], Message() para traducir códigos de error a texto legible [SWS_CORE_00443], así como ThrowAsException() para lanzar las excepciones asociadas [SWS_CORE_00444]. Dentro del ámbito de la clase existen además los alias de tipo Errc [SWS_CORE_00431] y Exception [SWS_CORE_00432].

En la estructura de interfaces, la función GetFutureErrorDomain() proporciona una referencia a la instancia global central singleton [SWS_CORE_00480]. Por lo tanto, en los casos de uso, es probable que la instanciación manual directa mediante el constructor [SWS_CORE_00441] sirva primordialmente para la provisión interna de esta instancia o para fines especiales de prueba. Pregunta Q-4b2f868ccb8a5487 (abierta) Los códigos de error específicos para este dominio se generan mediante MakeErrorCode() utilizando la enumeración FutureErrc [SWS_CORE_00490].

usar

La función miembro Message de la clase ara::core::FutureErrorDomain sirve para la traducción síncrona de un código de error numérico a un mensaje de texto explicativo [SWS_CORE_00443]. La función se proporciona a través del archivo de cabecera #include "ara/core/future_error_domain.h". Como parámetro de entrada acepta errorCode del tipo ErrorDomain::CodeType. El valor de retorno es un puntero a una cadena terminada en nulo (const char *) con el mensaje de texto, el cual, conforme a la especificación, nunca es nullptr [SWS_CORE_00443].

Concurrencia y restricciones

La función está cualificada como noexcept, así como especificada como thread-safe y exception safe [SWS_CORE_00443]. Por tanto, puede invocarse de forma segura desde hilos concurrentes sin sincronización externa. Conforme a las directrices de la clase base ara::core::ErrorDomain, el puntero devuelto permanece de forma permanente bajo la propiedad de la respectiva subclase y bajo ninguna circunstancia debe ser liberado manualmente por el llamador [SWS_CORE_00153].

Tratamiento de errores e interacción

Message anula el método base puramente virtual Message de la clase base abstracta ara::core::ErrorDomain [SWS_CORE_00153], de forma análoga a la implementación en otros dominios de error como ara::core::CoreErrorDomain [SWS_CORE_05243]. Si el código proporcionado no procede de este dominio, según la interfaz base esto constituye una infracción (WrongDomainOfAnErrorCodeViolation) [SWS_CORE_00153]. En escenarios de uso típicos, es probable que los desarrolladores rara vez invoquen este método directamente en el dominio, ya que habitualmente los mensajes de error se consultan a través del método Message del objeto ara::core::ErrorCode [SWS_CORE_00518]. Pregunta Q-a083e0ab17abf079 (abierta)

La función miembro síncrona Name() de la clase ara::core::FutureErrorDomain se incluye mediante el encabezado ara/core/future_error_domain.h [SWS_CORE_00442]. No acepta parámetros y devuelve el nombre del dominio de error como un puntero a una cadena de caracteres constante (const char *) [SWS_CORE_00442].

En relación con el tratamiento de errores y la seguridad de ejecución, el método está declarado como noexcept y especificado como seguro frente a excepciones (exception safe) [SWS_CORE_00442]. No se lanzan excepciones C++ ni se notifican estados de error a DET o DEM.

Para la concurrencia se aplica que la función es plenamente segura para hilos (thread-safe) y puede invocarse en paralelo desde múltiples contextos [SWS_CORE_00442]. Al sobrescribir la interfaz puramente virtual ara::core::ErrorDomain::Name() [SWS_CORE_00152], rigen sus reglas de vida útil y propiedad: el puntero devuelto permanece bajo propiedad del dominio de error y en ningún caso debe ser liberado por el llamante [SWS_CORE_00152]. La cadena devuelta está terminada en nulo y garantiza no ser nunca nullptr [SWS_CORE_00152].

En interacción con el sistema global, el método actúa como concreción específica del dominio de la interfaz general de dominios de error [SWS_CORE_00152], de forma comparable a la implementación en otros dominios como ara::core::CoreErrorDomain [SWS_CORE_05242]. Interpretación: Dado que el llamante no debe gestionar la memoria, es probable que el puntero haga referencia a un literal de cadena estático cuya validez abarque todo el tiempo de ejecución del programa. Pregunta Q-e1867dfe78e89540 (abierta)

La función miembro ara::core::FutureErrorDomain::ThrowAsException convierte de forma síncrona una instancia pasada de ErrorCode en una excepción y la lanza como FutureException [SWS_CORE_00444]. La excepción lanzada encapsula en ello el código de error pasado [SWS_CORE_00444]. Con ello, la clase implementa la interfaz puramente virtual ThrowAsException de la clase base ara::core::ErrorDomain [SWS_CORE_00154].

En lo relativo a la ejecución y las condiciones de contorno, aplican las siguientes especificaciones:

• Llamada y parámetros: la función espera como parámetro de entrada una referencia a un objeto ErrorCode (errorCode) y no tiene valor de retorno, ya que interrumpe el flujo de control mediante el lanzamiento de la excepción [SWS_CORE_00444].
• Comportamiento frente a errores y seguridad ante excepciones: la función está declarada con noexcept(false) y clasificada como not exception safe [SWS_CORE_00444]. Al llamarla, se lanza siempre la FutureException especificada [SWS_CORE_00444].
• Concurrencia: la implementación está clasificada como thread-safe y, por lo tanto, puede llamarse de forma segura desde contextos de ejecución paralelos [SWS_CORE_00444].
• Restricción del compilador: si las excepciones de C++ están desactivadas en la cadena de herramientas del compilador, esta función no debe participar en la resolución de sobrecarga (Overload Resolution) [SWS_CORE_00444].

En interacción con el sistema de errores de Adaptive AUTOSAR, esta función corresponde directamente con ara::core::ErrorCode::ThrowAsException, cuyo comportamiento está definido como reenvío al dominio correspondiente (this->Domain().ThrowAsException(*this)) [SWS_CORE_00519]. Corresponde así a las implementaciones específicas de dominio en otros dominios como ara::core::CoreErrorDomain::ThrowAsException, que en su lugar lanza una CoreException [SWS_CORE_05244].