PexDomainAttributeBase.IPexDomainProvider.AddDomains(SafeList<IPexDomain>, PexDomainTarget, MetadataEntity, Int32) Método
Definição
Importante
Algumas informações se referem a produtos de pré-lançamento que podem ser substancialmente modificados antes do lançamento. A Microsoft não oferece garantias, expressas ou implícitas, das informações aqui fornecidas.
virtual void Microsoft.Pex.Engine.Domains.IPexDomainProvider.AddDomains(Microsoft::ExtendedReflection::Collections::SafeList<Microsoft::Pex::Engine::Domains::IPexDomain ^> ^ list, Microsoft::Pex::Framework::Domains::PexDomainTarget target, Microsoft::ExtendedReflection::Metadata::MetadataEntity ^ targetInfo, int targetIndex) = Microsoft::Pex::Engine::Domains::IPexDomainProvider::AddDomains;
void IPexDomainProvider.AddDomains (Microsoft.ExtendedReflection.Collections.SafeList<Microsoft.Pex.Engine.Domains.IPexDomain> list, Microsoft.Pex.Framework.Domains.PexDomainTarget target, Microsoft.ExtendedReflection.Metadata.MetadataEntity targetInfo, int targetIndex);
abstract member Microsoft.Pex.Engine.Domains.IPexDomainProvider.AddDomains : Microsoft.ExtendedReflection.Collections.SafeList<Microsoft.Pex.Engine.Domains.IPexDomain> * Microsoft.Pex.Framework.Domains.PexDomainTarget * Microsoft.ExtendedReflection.Metadata.MetadataEntity * int -> unit
override this.Microsoft.Pex.Engine.Domains.IPexDomainProvider.AddDomains : Microsoft.ExtendedReflection.Collections.SafeList<Microsoft.Pex.Engine.Domains.IPexDomain> * Microsoft.Pex.Framework.Domains.PexDomainTarget * Microsoft.ExtendedReflection.Metadata.MetadataEntity * int -> unit
Sub AddDomains (list As SafeList(Of IPexDomain), target As PexDomainTarget, targetInfo As MetadataEntity, targetIndex As Integer) Implements IPexDomainProvider.AddDomains
Parâmetros
- list
- Microsoft.ExtendedReflection.Collections.SafeList<Microsoft.Pex.Engine.Domains.IPexDomain>
- target
- PexDomainTarget
- targetInfo
- Microsoft.ExtendedReflection.Metadata.MetadataEntity
- targetIndex
- Int32
Implementações
Microsoft.Pex.Engine.Domains.IPexDomainProvider.AddDomains(Microsoft.ExtendedReflection.Collections.SafeList{Microsoft.Pex.Engine.Domains.IPexDomain},Microsoft.Pex.Framework.Domains.PexDomainTarget,Microsoft.ExtendedReflection.Metadata.MetadataEntity,System.Int32)