ds.ov2.test
Class Data_protocol_stubs.Data_perf_answer_to_challenge_result

java.lang.Object
  ds.ov2.test.Data_protocol_stubs.Data_perf_answer_to_challenge_result

Enclosing class:

Data_protocol_stubs

public static class Data_protocol_stubs.Data_perf_answer_to_challenge_result
extends Object

Result record for step data_perf_answer_to_challenge of protocol data_perf_proof.

Field Summary

Resizable_buffer	buf_5 Return value buf_5.
Resizable_buffer	buf_6 Return value buf_6.
Resizable_buffer	buf_7 Return value buf_7.
Resizable_buffer	buf_8 Return value buf_8.
Resizable_buffer	buf_9 Return value buf_9.

Constructor Summary

Data_protocol_stubs.Data_perf_answer_to_challenge_result(Resizable_buffer a0, Resizable_buffer a1, Resizable_buffer a2, Resizable_buffer a3, Resizable_buffer a4)
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_5

public final Resizable_buffer buf_5

Return value buf_5.

buf_6

public final Resizable_buffer buf_6

Return value buf_6.

buf_7

public final Resizable_buffer buf_7

Return value buf_7.

buf_8

public final Resizable_buffer buf_8

Return value buf_8.

buf_9

public final Resizable_buffer buf_9

Return value buf_9.

Constructor Detail

Data_protocol_stubs.Data_perf_answer_to_challenge_result

public Data_protocol_stubs.Data_perf_answer_to_challenge_result(Resizable_buffer a0,
                                                                Resizable_buffer a1,
                                                                Resizable_buffer a2,
                                                                Resizable_buffer a3,
                                                                Resizable_buffer a4)

Return record constructor.