ds.ov2.test
Class Data_protocol_stubs.Data_perf_proof_commit_result

java.lang.Object
  extended by ds.ov2.test.Data_protocol_stubs.Data_perf_proof_commit_result
Enclosing class:
Data_protocol_stubs

public static class Data_protocol_stubs.Data_perf_proof_commit_result
extends Object

Result record for step data_perf_proof_commit of protocol data_perf_proof.


Field Summary
 Resizable_buffer buf_1
          Return value buf_1.
 Resizable_buffer buf_2
          Return value buf_2.
 Resizable_buffer buf_3
          Return value buf_3.
 
Constructor Summary
Data_protocol_stubs.Data_perf_proof_commit_result(Resizable_buffer a0, Resizable_buffer a1, Resizable_buffer a2)
          Return record constructor.
 
Method Summary
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

buf_1

public final Resizable_buffer buf_1
Return value buf_1.


buf_2

public final Resizable_buffer buf_2
Return value buf_2.


buf_3

public final Resizable_buffer buf_3
Return value buf_3.

Constructor Detail

Data_protocol_stubs.Data_perf_proof_commit_result

public Data_protocol_stubs.Data_perf_proof_commit_result(Resizable_buffer a0,
                                                         Resizable_buffer a1,
                                                         Resizable_buffer a2)
Return record constructor.