PexDomainAttributeBase.UpdateTarget(PexDomainTarget, MetadataEntity, Int32) Methode

Definition

Aktualisiert das Ziel dieser Domäne.

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)

Parameter

target
PexDomainTarget

Das Ziel.

targetInfo
Microsoft.ExtendedReflection.Metadata.MetadataEntity

Die Informationen zum Ziel.

targetIndex
Int32

Der Index des Ziels.

Implementiert

Microsoft.Pex.Engine.Domains.IPexTargetedDomainProvider.UpdateTarget(Microsoft.Pex.Framework.Domains.PexDomainTarget,Microsoft.ExtendedReflection.Metadata.MetadataEntity,System.Int32)

Gilt für