PexDomainAttributeBase.IPexDomainProvider.AddDomains(SafeList<IPexDomain>, PexDomainTarget, MetadataEntity, Int32) Methode
Definition
Wichtig
Einige Informationen beziehen sich auf Vorabversionen, die vor dem Release ggf. grundlegend überarbeitet werden. Microsoft übernimmt hinsichtlich der hier bereitgestellten Informationen keine Gewährleistungen, seien sie ausdrücklich oder konkludent.
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
Parameter
- list
- Microsoft.ExtendedReflection.Collections.SafeList<Microsoft.Pex.Engine.Domains.IPexDomain>
- target
- PexDomainTarget
- targetInfo
- Microsoft.ExtendedReflection.Metadata.MetadataEntity
- targetIndex
- Int32
Implementiert
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)