classe ara::core::FutureErrorDomain

O construtor padrão FutureErrorDomain() inicializa uma instância do domínio de erro ara::core::FutureErrorDomain de forma síncrona e sem parâmetros de entrada [SWS_CORE_00441]. Como a função está declarada como constexpr e noexcept, oferece total segurança face a exceções e pode ser avaliada em tempo de compilação [SWS_CORE_00441].

Relativamente à execução e ao tratamento de erros, aplicam-se as seguintes condições:

• A inicialização é thread-safe e não lança exceções [SWS_CORE_00441]. Não estão previstos códigos de erro específicos ou mensagens para gestores de diagnóstico ou de erros.
• A instância resultante disponibiliza métodos elementares do domínio, nomeadamente Name() para o nome do domínio [SWS_CORE_00442], Message() para a tradução de códigos de erro em texto legível [SWS_CORE_00443], bem como ThrowAsException() para o lançamento de exceções associadas [SWS_CORE_00444]. Dentro do âmbito da classe existem também os aliases de tipo Errc [SWS_CORE_00431] e Exception [SWS_CORE_00432].

Na estrutura de interfaces, a função GetFutureErrorDomain() fornece uma referência para a instância singleton global central [SWS_CORE_00480]. Em casos de aplicação, a instanciação manual direta através do construtor [SWS_CORE_00441] deverá, por conseguinte, servir primordialmente para a disponibilização interna desta instância ou para fins específicos de teste. Pergunta Q-4b2f868ccb8a5487 (aberta) Códigos de erro específicos para este domínio são gerados através de MakeErrorCode() utilizando a enumeração FutureErrc [SWS_CORE_00490].

usar

A função-membro Message da classe ara::core::FutureErrorDomain destina-se à tradução síncrona de um código de erro numérico em uma mensagem de texto informativa [SWS_CORE_00443]. A função é fornecida por meio do arquivo de cabeçalho #include "ara/core/future_error_domain.h". Como parâmetro de entrada, ela recebe errorCode do tipo ErrorDomain::CodeType. O valor de retorno é um ponteiro para uma string terminada em nulo (const char *) com a mensagem de texto, o qual, de acordo com a especificação, nunca é nullptr [SWS_CORE_00443].

Simultaneidade e restrições

A função é qualificada como noexcept e especificada como thread-safe e exception safe [SWS_CORE_00443]. Portanto, ela pode ser chamada com segurança a partir de threads concorrentes sem sincronização externa. De acordo com os requisitos da classe base ara::core::ErrorDomain, o ponteiro retornado permanece permanentemente na posse da respectiva subclasse e sob nenhuma circunstância deve ser liberado manualmente pelo chamador [SWS_CORE_00153].

Tratamento de erros e interação

Message sobrescreve o método base puramente virtual Message da classe base abstrata ara::core::ErrorDomain [SWS_CORE_00153], de forma análoga à implementação em outros domínios de erro como ara::core::CoreErrorDomain [SWS_CORE_05243]. Se o código passado não for originário deste domínio, isso representa uma violação de acordo com a interface base (WrongDomainOfAnErrorCodeViolation) [SWS_CORE_00153]. Em cenários típicos de uso, os desenvolvedores raramente devem chamar este método diretamente no domínio, uma vez que as mensagens de erro são usualmente obtidas por meio do método Message do objeto ara::core::ErrorCode [SWS_CORE_00518]. Pergunta Q-a083e0ab17abf079 (aberta)

A função-membro síncrona Name() da classe ara::core::FutureErrorDomain é incluída através do cabeçalho ara/core/future_error_domain.h [SWS_CORE_00442]. Ela não recebe parâmetros e retorna o nome do domínio de erro como um ponteiro para uma cadeia de caracteres constante (const char *) [SWS_CORE_00442].

Em relação ao tratamento de erros e à segurança de execução, o método é declarado como noexcept e especificado como seguro contra exceções (exception safe) [SWS_CORE_00442]. Não são lançadas exceções C++ nem são reportados estados de erro ao DET ou ao DEM.

Para a concorrência, aplica-se que a função é irrestritamente segura para threads (thread-safe) e pode ser chamada em paralelo a partir de múltiplos contextos [SWS_CORE_00442]. Como ela sobrescreve a interface puramente virtual ara::core::ErrorDomain::Name() [SWS_CORE_00152], aplicam-se as suas regras de tempo de vida e de propriedade: O ponteiro retornado permanece sob propriedade do domínio de erro e não pode, sob hipótese alguma, ser liberado pelo chamador [SWS_CORE_00152]. A cadeia de caracteres fornecida é terminada em nulo e garantidamente nunca é nullptr [SWS_CORE_00152].

Na interação com o sistema geral, o método atua como uma instanciação específica de domínio da interface geral de domínio de erros [SWS_CORE_00152], comparável à implementação em outros domínios como ara::core::CoreErrorDomain [SWS_CORE_05242]. Interpretação: Como o chamador não pode gerenciar a memória, o ponteiro deve provavelmente apontar para um literal de string estático, cuja validade abrange todo o tempo de execução do programa. Pergunta Q-e1867dfe78e89540 (aberta)

A função-membro ara::core::FutureErrorDomain::ThrowAsException converte de forma síncrona uma instância transmitida de ErrorCode em uma exceção e a lança como FutureException [SWS_CORE_00444]. A exceção lançada encapsula o código de erro transmitido [SWS_CORE_00444]. Com isso, a classe implementa a interface puramente virtual ThrowAsException da classe base ara::core::ErrorDomain [SWS_CORE_00154].

Em relação à execução e às condições de contorno, aplicam-se as seguintes especificações:

• Chamada e parâmetros: A função espera como parâmetro de entrada uma referência a um objeto ErrorCode (errorCode) e não possui valor de retorno, já que interrompe o fluxo de controle pelo lançamento da exceção [SWS_CORE_00444].
• Comportamento de erro e segurança de exceções: A função é declarada com noexcept(false) e classificada como not exception safe [SWS_CORE_00444]. Ao ser chamada, sempre lança a FutureException especificada [SWS_CORE_00444].
• Concorrência: A implementação é classificada como thread-safe e, portanto, pode ser chamada com segurança a partir de contextos de execução paralelos [SWS_CORE_00444].
• Restrição de compilador: Se exceções C++ estiverem desativadas na toolchain do compilador, esta função não deve participar da resolução de sobrecarga (Overload Resolution) [SWS_CORE_00444].

Na interação com o sistema de erros do Adaptive AUTOSAR, esta função corresponde diretamente a ara::core::ErrorCode::ThrowAsException, cujo comportamento é definido como encaminhamento para o domínio associado (this->Domain().ThrowAsException(*this)) [SWS_CORE_00519]. Ela corresponde, assim, às implementações específicas de domínio em outros domínios como ara::core::CoreErrorDomain::ThrowAsException, a qual lança, em vez disso, uma CoreException [SWS_CORE_05244].