Contract.OldValue<T>(T) Método
Definição
Representa valores como eram no início de um método ou propriedade.Represents values as they were at the start of a method or property.
public:
generic <typename T>
static T OldValue(T value);
public static T OldValue<T> (T value);
static member OldValue : 'T -> 'T
Public Shared Function OldValue(Of T) (value As T) As T
Parâmetros de tipo
- T
O tipo do valor.The type of value.
Parâmetros
- value
- T
O valor a ser representado (campo ou parâmetro).The value to represent (field or parameter).
Retornos
- T
O valor do parâmetro ou campo no início de um método ou propriedade.The value of the parameter or field at the start of a method or property.
Exemplos
O exemplo a seguir mostra o uso do OldValue método para garantir que uma contagem tenha sido atualizada.The following example shows the use of the OldValue method to ensure that a count has been updated. Este exemplo de código faz parte de um exemplo maior fornecido para a ContractClassAttribute classe.This code example is part of a larger example provided for the ContractClassAttribute class.
void IArray.Insert(int index, Object value)
{
Contract.Requires(index >= 0);
Contract.Requires(index <= ((IArray)this).Count); // For inserting immediately after the end.
Contract.Ensures(((IArray)this).Count == Contract.OldValue(((IArray)this).Count) + 1);
}
Sub Insert(ByVal index As Integer, ByVal value As [Object]) Implements IArray.Insert
Contract.Requires(index >= 0)
Contract.Requires(index <= CType(Me, IArray).Count) ' For inserting immediately after the end.
Contract.Ensures(CType(Me, IArray).Count = Contract.OldValue(CType(Me, IArray).Count) + 1)
End Sub
Comentários
Esse método pode ser usado somente na expressão condicional para o Ensures contrato.This method can be used only in the conditional expression for the Ensures contract.