Compartir a través de

PexExceptionValidatorAttributeBase.IsExceptionDocumented Method

  • Reference

Definition

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

Determines whether the exception is documented on any method present in the stack trace

protected:
 Microsoft::Pex::Engine::Exceptions::PexExceptionState IsExceptionDocumented(Microsoft::ExtendedReflection::Metadata::TypeEx ^ exceptionType, cli::array <Microsoft::ExtendedReflection::Metadata::MethodDefinition ^> ^ stackMethods);
protected Microsoft.Pex.Engine.Exceptions.PexExceptionState IsExceptionDocumented (Microsoft.ExtendedReflection.Metadata.TypeEx exceptionType, Microsoft.ExtendedReflection.Metadata.MethodDefinition[] stackMethods);
member this.IsExceptionDocumented : Microsoft.ExtendedReflection.Metadata.TypeEx * Microsoft.ExtendedReflection.Metadata.MethodDefinition[] -> Microsoft.Pex.Engine.Exceptions.PexExceptionState
Protected Function IsExceptionDocumented (exceptionType As TypeEx, stackMethods As MethodDefinition()) As PexExceptionState

Parameters

exceptionType
Microsoft.ExtendedReflection.Metadata.TypeEx

Type of the exception.

stackMethods
Microsoft.ExtendedReflection.Metadata.MethodDefinition[]

methods from the stack

Returns

Microsoft.Pex.Engine.Exceptions.PexExceptionState

Returns Microsoft.Pex.Engine.Exceptions.PexExceptionState.

Applies to