ContractInvariantMethodAttribute Třída

Definice

Obor názvů:

System.Diagnostics.Contracts

Sestavení:

System.Diagnostics.Contracts.dll

Označí metodu jako invariantní metodu pro třídu.

public ref class ContractInvariantMethodAttribute sealed : Attribute

[System.AttributeUsage(System.AttributeTargets.Method, AllowMultiple=false, Inherited=false)]
[System.Diagnostics.Conditional("CONTRACTS_FULL")]
public sealed class ContractInvariantMethodAttribute : Attribute

[<System.AttributeUsage(System.AttributeTargets.Method, AllowMultiple=false, Inherited=false)>]
[<System.Diagnostics.Conditional("CONTRACTS_FULL")>]
type ContractInvariantMethodAttribute = class
    inherit Attribute

Public NotInheritable Class ContractInvariantMethodAttribute
Inherits Attribute

Dědičnost

Object

Attribute

ContractInvariantMethodAttribute

Atributy

AttributeUsageAttribute ConditionalAttribute

Poznámky

Invariantní metoda může mít libovolný název, ale musí vracet void a nebrat žádné parametry. Navrhovaný název metody je ObjectInvariant. Tělo invariantní metody se musí skládat pouze z jednoho nebo více volání Contract.Invariant metody. Typ může mít více než jednu invariantní metodu kontraktu, která může být veřejná nebo soukromá.

Konstruktory

ContractInvariantMethodAttribute()

Inicializuje novou instanci ContractInvariantMethodAttribute třídy.

Vlastnosti

TypeId

Při implementaci v odvozené třídě získá jedinečný identifikátor pro tuto Attributetřídu . (Zděděno od Attribute)

Metody

Equals(Object)	Vrací hodnotu, která určuje, zda je tato instance rovna zadanému objektu. (Zděděno od Attribute)
GetHashCode()	Vrátí hodnotu hash pro tuto instanci. (Zděděno od Attribute)
GetType()	Získá aktuální Type instanci. (Zděděno od Object)
IsDefaultAttribute()	Při přepsání v odvozené třídě označuje, zda je hodnota této instance výchozí hodnotou pro odvozenou třídu. (Zděděno od Attribute)
Match(Object)	Při přepsání v odvozené třídě vrátí hodnotu, která označuje, zda se tato instance rovná zadanému objektu. (Zděděno od Attribute)
MemberwiseClone()	Vytvoří mělkou kopii aktuálního Objectsouboru . (Zděděno od Object)
ToString()	Vrátí řetězec, který představuje aktuální objekt. (Zděděno od Object)