ContractVerificationAttribute Třída

Definice

Obor názvů:

System.Diagnostics.Contracts

Sestavení:

System.Diagnostics.Contracts.dll

Zdroj:

Contracts.cs

Dává analytickým nástrojům pokyn, aby převzaly správnost sestavení, typu nebo členu bez statického ověření.

public ref class ContractVerificationAttribute sealed : Attribute

[System.AttributeUsage(System.AttributeTargets.Assembly | System.AttributeTargets.Class | System.AttributeTargets.Constructor | System.AttributeTargets.Method | System.AttributeTargets.Property | System.AttributeTargets.Struct)]
[System.Diagnostics.Conditional("CONTRACTS_FULL")]
public sealed class ContractVerificationAttribute : Attribute

[<System.AttributeUsage(System.AttributeTargets.Assembly | System.AttributeTargets.Class | System.AttributeTargets.Constructor | System.AttributeTargets.Method | System.AttributeTargets.Property | System.AttributeTargets.Struct)>]
[<System.Diagnostics.Conditional("CONTRACTS_FULL")>]
type ContractVerificationAttribute = class
    inherit Attribute

Public NotInheritable Class ContractVerificationAttribute
Inherits Attribute

Dědičnost

Object

Attribute

ContractVerificationAttribute

Atributy

AttributeUsageAttribute ConditionalAttribute

Poznámky

Slouží ContractVerification(false) k explicitní označení sestavení, typu nebo člena jako nevyžadující ověření. Nejkonvenční nalezený prvek (člen, typ a potom sestavení) má přednost. Použití tohoto atributu na vlastnost, typ nebo sestavení má následující účinky:

• Když ho použijete na vlastnost, platí pro přistupný objekt i get pro přistupné set zařízení.

• Když ho použijete na typ, použije se pro všechny členy typu, včetně vnořených typů.

• Použijete-li jej na sestavení, platí pro všechny typy a členy sestavení.

Konstruktory

ContractVerificationAttribute(Boolean)

Inicializuje novou instanci ContractVerificationAttribute 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)
Value	Získá hodnotu, která označuje, zda chcete ověřit kontrakt cíle.

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()	Type Získá z aktuální instance. (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)