ContractVerificationAttribute Třída

Definice

Obor názvů:

System.Diagnostics.Contracts

Sestavení:

netstandard.dll, System.Diagnostics.Contracts.dll

Zdroj:

Contracts.cs

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

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, který nevyžaduje ověření. Nejvýraznější nalezený prvek (člen, typ a sestavení) má přednost. Použití tohoto atributu na vlastnost, typ nebo sestavení má následující účinky:

• Když ho get použijete na vlastnost, vztahuje se na přístupové objekty i na set přístup.

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

• Když ho použijete na sestavení, platí pro všechny typy a členy sestavení.

Konstruktory

Name	Description
ContractVerificationAttribute(Boolean)	Inicializuje novou instanci ContractVerificationAttribute třídy.

Vlastnosti

Name	Description
TypeId	Při implementaci v odvozené třídě získá jedinečný identifikátor pro tento Attribute. (Zděděno od Attribute)
Value	Získá hodnotu, která určuje, zda ověřit kontrakt cíle.

Metody

Name	Description
Equals(Object)	Vrátí hodnotu, která určuje, zda je tato instance rovna zadanému objektu. (Zděděno od Attribute)
GetHashCode()	Vrátí kód hash pro tuto instanci. (Zděděno od Attribute)
GetType()	Získá Type aktuální instance. (Zděděno od Object)
IsDefaultAttribute()	Při přepsání v odvozené třídě určuje, zda hodnota této instance je 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á určuje, zda se tato instance rovná zadanému objektu. (Zděděno od Attribute)
MemberwiseClone()	Vytvoří mělkou kopii aktuálního Object. (Zděděno od Object)
ToString()	Vrátí řetězec, který představuje aktuální objekt. (Zděděno od Object)