Share via


PexDomainAttributeBase.IPexDomainProvider.AddDomains Method

Definition

 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

Parameters

list
Microsoft.ExtendedReflection.Collections.SafeList<Microsoft.Pex.Engine.Domains.IPexDomain>
targetInfo
Microsoft.ExtendedReflection.Metadata.MetadataEntity
targetIndex
Int32

Implements

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)

Applies to