C# (CSharp) Prover.SpecWriter.Specs ADTO Examples

Example #1

File: RecordingInterceptor_Specs.cs Project: Prover/Prover.SpecWriter

 public void DoA(int primitive, ADTO dto)
 {
     Console.WriteLine("DoA({0}, {1}) called", primitive, dto);
     LastPrimitive = primitive;
     LastDto       = dto;
     Calls++;
 }

Example #2

File: RecordingInterceptor_Specs.cs Project: Prover/Prover.SpecWriter

 public void DoA(int primitive, ADTO dto)
 {
     Console.WriteLine("DoA({0}, {1})", primitive, dto);
 }

Example #3

File: RecordingInterceptor_Specs.cs Project: Prover/Prover.SpecWriter

 public void DoA(int primitive, ADTO dto) {
   Console.WriteLine("DoA({0}, {1})", primitive, dto);
 }

Example #4

File: MSpecWriter_Specs.cs Project: Prover/Prover.SpecWriter

 public int Do5(ADTO factor) {
   return 5 * factor.A;
 }

Example #5

File: RecordingInterceptor_Specs.cs Project: Prover/Prover.SpecWriter

 public void DoA(int primitive, ADTO dto) {
   Console.WriteLine("DoA({0}, {1}) called", primitive, dto);
   LastPrimitive = primitive;
   LastDto = dto;
   Calls++;
 }

Example #6

File: SpecWriterFacility_Specs.cs Project: Prover/Prover.SpecWriter

 public void DoOp(ADTO x)
 {
 }

Example #7

File: SpecWriterFacility_Specs.cs Project: Prover/Prover.SpecWriter

 public void DoOp(ADTO x)
 {
 }

Example #8

File: MSpecWriter_Specs.cs Project: Prover/Prover.SpecWriter

 public int Do5(ADTO factor)
 {
     return(5 * factor.A);
 }

Example #9

File: MethodCallPrinter_Specs.cs Project: Prover/Prover.SpecWriter

 public void Z(ADTO dto, object itemz)
 {
 }

Example #10

File: MethodCallPrinter_Specs.cs Project: Prover/Prover.SpecWriter

 public void Z(ADTO dto, object itemz)
 {
 }

Example #11

File: DataContractFormatter_Specs.cs Project: Prover/Prover.SpecWriter

 public void DoOp(ADTO paramName)
 {
 }

Example #12

File: DataContractFormatter_Specs.cs Project: Prover/Prover.SpecWriter

 public void DoOp(ADTO paramName)
 {
 }