public Validator(Microsoft.Pex.Engine.ComponentModel.IPexExplorationComponent host, PexRuntimeContractsFlags expectedKind, int expectedCount)
: base(host)
{
this.expectedKind = expectedKind;
this.expectedCount = expectedCount;
}
public Validator(Microsoft.Pex.Engine.ComponentModel.IPexExplorationComponent host, PexRuntimeContractsFlags expectedKind, int expectedCount)
: base(host)
{
this.expectedKind = expectedKind;
this.expectedCount = expectedCount;
}
public ContractAllowedExceptionAttribute(PexRuntimeContractsFlags expected, int expectedCount)
{
this.expectedKind = expected;
this.expectedCount = expectedCount;
}
public ContractAllowedExceptionAttribute(PexRuntimeContractsFlags expected, int expectedCount)
{
this.expectedKind = expected;
this.expectedCount = expectedCount;
}
