C# (CSharp) PexRuntimeContractsFlags示例

示例#1

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

示例#2

文件： ContractAllowedExceptionAttribute.cs 项目： asvishnyakov/CodeContracts

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

示例#3

 public ContractAllowedExceptionAttribute(PexRuntimeContractsFlags expected, int expectedCount)
 {
     this.expectedKind  = expected;
     this.expectedCount = expectedCount;
 }

示例#4

文件： ContractAllowedExceptionAttribute.cs 项目： asvishnyakov/CodeContracts

 public ContractAllowedExceptionAttribute(PexRuntimeContractsFlags expected, int expectedCount)
 {
   this.expectedKind = expected;
   this.expectedCount = expectedCount;
 }