Partager via

PexAssumeAttributeBase.ValidateTargetIsDefined(IPexLog, Name) Method

  • Reference

Definition

Namespace:
Microsoft.Pex.Framework
Assembly:
Microsoft.Pex.Framework.dll

Validates that the target is defined.

protected:
 bool ValidateTargetIsDefined(Microsoft::Pex::Engine::Logging::IPexLog ^ log, Microsoft::ExtendedReflection::Metadata::Names::Name ^ targetName);
protected bool ValidateTargetIsDefined (Microsoft.Pex.Engine.Logging.IPexLog log, Microsoft.ExtendedReflection.Metadata.Names.Name targetName);
member this.ValidateTargetIsDefined : Microsoft.Pex.Engine.Logging.IPexLog * Microsoft.ExtendedReflection.Metadata.Names.Name -> bool
Protected Function ValidateTargetIsDefined (log As IPexLog, targetName As Name) As Boolean

Parameters

log
Microsoft.Pex.Engine.Logging.IPexLog

The log.

targetName
Microsoft.ExtendedReflection.Metadata.Names.Name

Name of the target.

Returns

Boolean

Applies to