PexCoverageFilterNamespaceAttribute(PexCoverageDomain, String) Constructor

Reference

Definition

Namespace:: Microsoft.Pex.Framework.Coverage

Assembly:: Microsoft.Pex.Framework.dll

Important

Some information relates to prerelease product that may be substantially modified before it’s released. Microsoft makes no warranties, express or implied, with respect to the information provided here.

Initializes a new instance of the PexCoverageFilterNamespaceAttribute class.

public:
 PexCoverageFilterNamespaceAttribute(Microsoft::Pex::Framework::Coverage::PexCoverageDomain coverageDomain, System::String ^ namespaceSuffix);

public PexCoverageFilterNamespaceAttribute (Microsoft.Pex.Framework.Coverage.PexCoverageDomain coverageDomain, string namespaceSuffix);

new Microsoft.Pex.Framework.Coverage.PexCoverageFilterNamespaceAttribute : Microsoft.Pex.Framework.Coverage.PexCoverageDomain * string -> Microsoft.Pex.Framework.Coverage.PexCoverageFilterNamespaceAttribute

Public Sub New (coverageDomain As PexCoverageDomain, namespaceSuffix As String)

Parameters

coverageDomain: PexCoverageDomain

The coverage domain.

namespaceSuffix: String

The namespace suffix.

Applies to