Udostępnij za pośrednictwem

PexExceptionValidatorAttributeBase.IsExceptionLocationValid Method

  • Reference

Definition

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

Determines whether the exception location is allowed.

protected:
 virtual bool IsExceptionLocationValid(Exception ^ ex, cli::array <Microsoft::ExtendedReflection::Metadata::MethodDefinition ^> ^ stackTrace, Microsoft::ExtendedReflection::Utilities::ContractsMetadata::ContractFailureKind failureKind);
protected virtual bool IsExceptionLocationValid (Exception ex, Microsoft.ExtendedReflection.Metadata.MethodDefinition[] stackTrace, Microsoft.ExtendedReflection.Utilities.ContractsMetadata.ContractFailureKind failureKind);
abstract member IsExceptionLocationValid : Exception * Microsoft.ExtendedReflection.Metadata.MethodDefinition[] * Microsoft.ExtendedReflection.Utilities.ContractsMetadata.ContractFailureKind -> bool
override this.IsExceptionLocationValid : Exception * Microsoft.ExtendedReflection.Metadata.MethodDefinition[] * Microsoft.ExtendedReflection.Utilities.ContractsMetadata.ContractFailureKind -> bool
Protected Overridable Function IsExceptionLocationValid (ex As Exception, stackTrace As MethodDefinition(), failureKind As ContractsMetadata.ContractFailureKind) As Boolean

Parameters

ex
Exception

The ex.

stackTrace
Microsoft.ExtendedReflection.Metadata.MethodDefinition[]

The stack trace.

failureKind
Microsoft.ExtendedReflection.Utilities.ContractsMetadata.ContractFailureKind

Kind of the failure.

Returns

Boolean

true if [is exception location valid] [the specified ex]; otherwise, false.

Applies to