PexDomainAttributeBase.IPexDomainProvider.AddDomains Method
Definition
Important
Some information relates to prerelease product that may be substantially modified before it’s released. Microsoft makes no warranties, express or implied, with respect to the information provided here.
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 -> unitSub AddDomains (list As SafeList(Of IPexDomain), target As PexDomainTarget, targetInfo As MetadataEntity, targetIndex As Integer) Implements IPexDomainProvider.AddDomainsParameters
- list
- Microsoft.ExtendedReflection.Collections.SafeList<Microsoft.Pex.Engine.Domains.IPexDomain>
- target
- PexDomainTarget
- 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)