Esempi in C# (CSharp) per CodeUnderTest.WrapParametersInOld.C

Esempio n. 1

File: RewrittenContractTest.cs Progetto: nbulp/CodeContracts

 public void PositiveWrapParam3() {
   var c = new CodeUnderTest.WrapParametersInOld.C(3);
   var s = new CodeUnderTest.WrapParametersInOld.C.S();
   s.x = 3;
   c.F(s);
 }

Esempio n. 2

File: RewrittenContractTest.cs Progetto: nbulp/CodeContracts

 public void PositiveWrapParam2() {
   var c = new CodeUnderTest.WrapParametersInOld.C(3);
   c.Identity(false);
 }