Partager via

PexAssumeAttributeBase.ValidateTargetIsNotNull(IPexLog, Name) Method

  • Reference

Definition

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

Validates this attribute in the case that the target may not be null.

protected:
 bool ValidateTargetIsNotNull(Microsoft::Pex::Engine::Logging::IPexLog ^ log, Microsoft::ExtendedReflection::Metadata::Names::Name ^ targetName);
protected bool ValidateTargetIsNotNull (Microsoft.Pex.Engine.Logging.IPexLog log, Microsoft.ExtendedReflection.Metadata.Names.Name targetName);
member this.ValidateTargetIsNotNull : Microsoft.Pex.Engine.Logging.IPexLog * Microsoft.ExtendedReflection.Metadata.Names.Name -> bool
Protected Function ValidateTargetIsNotNull (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