C# (CSharp) Swordfish Response Examples

Example #1

File: Account.cs Project: yonglehou/PSharp

 public TransferComplete(Response response)
     : base()
 {
     this.Response = response;
 }

Example #2

File: Driver.cs Project: yonglehou/PSharp

 public CreateCallback(Response response)
     : base()
 {
     this.Response = response;
 }

Example #3

File: Account.cs Project: yonglehou/PSharp

 private void Send(Transaction trans, Response resp)
 {
     this.Send(trans.GetMachine(), Activator.CreateInstance(trans.GetCallback(), resp) as Event);
 }