ContractClassForAttribute(Type) 建構函式

定義

命名空間:

System.Diagnostics.Contracts

組件:

System.Diagnostics.Contracts.dll

來源:

Contracts.cs

初始化 ContractClassForAttribute 類別的新執行個體，指定目前類別為其合約的型別。

public:
 ContractClassForAttribute(Type ^ typeContractsAreFor);

public ContractClassForAttribute (Type typeContractsAreFor);

new System.Diagnostics.Contracts.ContractClassForAttribute : Type -> System.Diagnostics.Contracts.ContractClassForAttribute

Public Sub New (typeContractsAreFor As Type)

參數

typeContractsAreFor

Type

目前類別為其合約的型別。

備註

下列範例示範如何使用 建 ContractClassAttribute 構函式來指定型別中的合約套用至 IArray 介面。 此程式代碼範例是提供給 類別之較大範例的 ContractClassAttribute 一部分。

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