PexDomainAttributeBase.UpdateTarget(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.
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)