PexDomainAttributeBase.UpdateTarget 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.
Updates the target of this domain.
public:
virtual void UpdateTarget(Microsoft::Pex::Framework::Domains::PexDomainTarget target, Microsoft::ExtendedReflection::Metadata::MetadataEntity ^ targetInfo, int targetIndex);public virtual void UpdateTarget (Microsoft.Pex.Framework.Domains.PexDomainTarget target, Microsoft.ExtendedReflection.Metadata.MetadataEntity targetInfo, int targetIndex);abstract member UpdateTarget : Microsoft.Pex.Framework.Domains.PexDomainTarget * Microsoft.ExtendedReflection.Metadata.MetadataEntity * int -> unit
override this.UpdateTarget : Microsoft.Pex.Framework.Domains.PexDomainTarget * Microsoft.ExtendedReflection.Metadata.MetadataEntity * int -> unitPublic Overridable Sub UpdateTarget (target As PexDomainTarget, targetInfo As MetadataEntity, targetIndex As Integer)Parameters
- target
- PexDomainTarget
The target.
- targetInfo
- Microsoft.ExtendedReflection.Metadata.MetadataEntity
The target info.
- targetIndex
- Int32
Index of the target.
Implements
Microsoft.Pex.Engine.Domains.IPexTargetedDomainProvider.UpdateTarget(Microsoft.Pex.Framework.Domains.PexDomainTarget,Microsoft.ExtendedReflection.Metadata.MetadataEntity,System.Int32)