Share via


PexDomainAttributeBase.UpdateTarget Method

Definition

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 -> unit
Public 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)

Applies to