Share via


PexCoverageFilterTypeAttribute(PexCoverageDomain, Type[]) Constructor

Definition

Initializes a new instance of the PexCoverageFilterTypeAttribute class.

public:
 PexCoverageFilterTypeAttribute(Microsoft::Pex::Framework::Coverage::PexCoverageDomain coverageDomain, ... cli::array <Type ^> ^ targetTypes);
public PexCoverageFilterTypeAttribute (Microsoft.Pex.Framework.Coverage.PexCoverageDomain coverageDomain, params Type[] targetTypes);
new Microsoft.Pex.Framework.Coverage.PexCoverageFilterTypeAttribute : Microsoft.Pex.Framework.Coverage.PexCoverageDomain * Type[] -> Microsoft.Pex.Framework.Coverage.PexCoverageFilterTypeAttribute
Public Sub New (coverageDomain As PexCoverageDomain, ParamArray targetTypes As Type())

Parameters

coverageDomain
PexCoverageDomain

The coverage domain.

targetTypes
Type[]

The target types.

Applies to