ContractReferenceAssemblyAttribute Clase

Definición

Espacio de nombres:

System.Diagnostics.Contracts

Ensamblado:

System.Diagnostics.Contracts.dll

Especifica que un ensamblado es un ensamblado de referencia que contiene contratos.

public ref class ContractReferenceAssemblyAttribute sealed : Attribute

[System.AttributeUsage(System.AttributeTargets.Assembly)]
public sealed class ContractReferenceAssemblyAttribute : Attribute

[<System.AttributeUsage(System.AttributeTargets.Assembly)>]
type ContractReferenceAssemblyAttribute = class
    inherit Attribute

Public NotInheritable Class ContractReferenceAssemblyAttribute
Inherits Attribute

Herencia

Object

Attribute

ContractReferenceAssemblyAttribute

Atributos

AttributeUsageAttribute

Comentarios

Un ensamblado de referencia de contrato se denomina assembly.Contracts.dll, donde assembly es el nombre del ensamblado del que se extrajeron los contratos. Un ensamblado de referencia de contrato contiene la interfaz visible públicamente de un ensamblado y sus contratos, pero no contiene código. El analizador en tiempo de ejecución usa los ensamblados de referencia de contrato para heredar contratos entre ensamblados y durante la comprobación estática para detectar contratos en métodos y tipos de ensamblados fuera del ensamblado que se está analizando.

Para obtener más información sobre el uso de atributos, vea Atributos.

Constructores

ContractReferenceAssemblyAttribute()

Inicializa una nueva instancia de la clase ContractReferenceAssemblyAttribute.

Propiedades

TypeId

Cuando se implementa en una clase derivada, obtiene un identificador único para este Attribute. (Heredado de Attribute)

Métodos

Equals(Object)	Devuelve un valor que indica si esta instancia es igual que un objeto especificado. (Heredado de Attribute)
GetHashCode()	Devuelve el código hash de esta instancia. (Heredado de Attribute)
GetType()	Obtiene el Type de la instancia actual. (Heredado de Object)
IsDefaultAttribute()	Si se reemplaza en una clase derivada, indica si el valor de esta instancia es el valor predeterminado de la clase derivada. (Heredado de Attribute)
Match(Object)	Cuando se invalida en una clase derivada, devuelve un valor que indica si esta instancia es igual a un objeto especificado. (Heredado de Attribute)
MemberwiseClone()	Crea una copia superficial del Object actual. (Heredado de Object)
ToString()	Devuelve una cadena que representa el objeto actual. (Heredado de Object)