ContractClassForAttribute(Type) Constructor

Definición

Espacio de nombres:
System.Diagnostics.Contracts
Ensamblados:
mscorlib.dll, System.Diagnostics.Contracts.dll
Ensamblado:
mscorlib.dll
Ensamblado:
netstandard.dll

Inicializa una nueva instancia de la ContractClassForAttribute clase y especifica el tipo para el que la clase actual es un contrato.

public:
 ContractClassForAttribute(Type ^ typeContractsAreFor);
public ContractClassForAttribute(Type typeContractsAreFor);
new System.Diagnostics.Contracts.ContractClassForAttribute : Type -> System.Diagnostics.Contracts.ContractClassForAttribute
Public Sub New (typeContractsAreFor As Type)

Parámetros

typeContractsAreFor
Type

El tipo de clase actual es un contrato para.

Comentarios

En el ejemplo siguiente se muestra cómo usar el ContractClassAttribute constructor para especificar que los contratos del tipo se aplican a la IArray interfaz. Este ejemplo de código forma parte de un ejemplo más grande proporcionado para la ContractClassAttribute clase .

[ContractClassFor(typeof(IArray))]
internal abstract class IArrayContract : IArray
{
    int IArray.Add(Object value)
    {
        // Returns the index in which an item was inserted.
        Contract.Ensures(Contract.Result<int>() >= -1);
        Contract.Ensures(Contract.Result<int>() < ((IArray)this).Count);
        return default(int);
    }
    Object IArray.this[int index]
    {
        get
        {
            Contract.Requires(index >= 0);
            Contract.Requires(index < ((IArray)this).Count);
            return default(int);
        }
        set
        {
            Contract.Requires(index >= 0);
            Contract.Requires(index < ((IArray)this).Count);
        }
    }
    public int Count
    {
        get
        {
            Contract.Requires(Count >= 0);
            Contract.Requires(Count <= ((IArray)this).Count);
            return default(int);
        }
    }

    void IArray.Clear()
    {
        Contract.Ensures(((IArray)this).Count == 0);
    }

    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);
    }

    void IArray.RemoveAt(int index)
    {
        Contract.Requires(index >= 0);
        Contract.Requires(index < ((IArray)this).Count);
        Contract.Ensures(((IArray)this).Count == Contract.OldValue(((IArray)this).Count) - 1);
    }
}

Se aplica a