Ler em inglês

Compartilhar via


Contract.ValueAtReturn<T>(T) Método

Definição

Representa o valor final (a saída) de um parâmetro out ao retornar de um método.

public static T ValueAtReturn<T> (out T value);

Parâmetros de tipo

T

O tipo do parâmetro out.

Parâmetros

value
T

O parâmetro out.

Retornos

T

O valor de saída do parâmetro out.

Comentários

Esse método só pode ser usado na expressão condicional do Ensures contrato. Assim como ocorre com o método OldValue, é possível omitir o parâmetro de tipo genérico sempre que o compilador pode inferir seu tipo. O reescritor de contrato substitui a chamada de método pelo valor do parâmetro out. O método ValueAtReturn pode aparecer somente em pós-condições. O argumento para o método deve ser um parâmetro out ou um campo de um parâmetro out de estrutura. Esse último também é útil ao se referir a campos na pós-condição de um construtor de estrutura.

Aplica-se a