ST-REL-001 - Tipos de argumentos não correspondentes

Regra do Analisador de Fluxo de Trabalho ST-REL-001 para fluxos de trabalho codificados que verifica os tipos de argumentos do parâmetro In/Out na correspondência entre a definição do método Executar e seus chamadores.

ID de regra: ST-REL-001

Escopo: fluxo de trabalho codificado

Description

Essa regra garante que os tipos de argumentos dos parâmetros In/Out sejam correspondentes. Por exemplo, os erros são destacados quando um DataTable é usado como um parâmetro de saída para o método Execute se o parâmetro de entrada correspondente for um DataSet.

Por exemplo, no exemplo de código a seguir, o mesmo parâmetro isConnected é declarado como bool e, em seguida, como um int. Para resolver isso, certifique-se de que o mesmo tipo seja usado para o parâmetro isConnectedt, anto como entrada quanto como saída.

public (bool IsConnected, string Name) Execute(int IsConnected, int32 Name)
        {
            return (true, "Jade");
        }

Recomendação

Recomendamos garantir que os tipos de dados para argumentos In/Out sempre correspondam. Se o método retornar uma tupla, como em public (bool IsConnected, string Name) Execute(int IsConnected, int32 Name), um argumento In/Out ainda deve ser declarado antes e depois do método. Nesse caso, IsConnected é o argumento In/Out, pois é declarado duas vezes.

Por outro lado, quando o método retorna um único argumento como no exemplo public int Execute(int Output, int c), você pode declarar um argumento In/Out nomeando-o Output. A nomeação de qualquer argumento como Output trata-o como um argumento In/Out, mesmo que seja declarado apenas uma vez no método.