ds.ov2.test
Class Bignat_protocols_test_stubs

java.lang.Object
  extended by ds.ov2.test.Bignat_protocols_test_stubs

public class Bignat_protocols_test_stubs
extends Object

Stub code for running methods in the testframe on the host. Defines one stub method for each protocol step in Bignat_protocols.id. This class is the test-frame alternative to Bignat_protocols_stubs. It provides the same public interface, but instead of communicating with a Java Card and invoking methods there, it directly invokes the methods on the very same Java Virtual machine. This is of course only possible, if (almost) all of the applet code is available on the host. All CardChannel arguments in this class are unused.

Each stub method here performs the following actions:

  1. argument conversion (for instance from BigInteger to Bignat)
  2. running the specified action for this step
  3. result conversion
  4. and finally packages several results into one tuple object

CPP Preprocessing
no cpp preprocessing needed
Execution Environment:
host
Author:
idl compiler
Version:
automatically generated from Bignat_protocols.id

Nested Class Summary
static class Bignat_protocols_test_stubs.Div_result_result
          Result record for step div_result of protocol div.
static class Bignat_protocols_test_stubs.Rsa_exp_result_result
          Result record for step rsa_exp_result of protocol RSA_exp.
static class Bignat_protocols_test_stubs.Subtract_result_result
          Result record for step subtract_result of protocol subtract.
 
Field Summary
private  PrintWriter out
          The output channel for debugging information of the OV-chip protocol layer.
private  Bignat_protocols_description protocol_description
          A protocol description instance from Bignat_protocols.id.
 
Constructor Summary
Bignat_protocols_test_stubs(Bignat_protocols_description d, PrintWriter o, boolean script)
          Stub constructor.
 
Method Summary
 long add_1_call(CardChannel _cc)
          Call step add_1 of protocol add in the test environment.
 long add_2_call(CardChannel _cc)
          Call step add_2 of protocol add in the test environment.
 void add_init_call(CardChannel _cc, BigInteger _bignats_r_1_host_arg, BigInteger _bignats_r_2_host_arg)
          Call step add_init of protocol add in the test environment.
 BigInteger add_result_call(CardChannel _cc)
          Call step add_result of protocol add in the test environment.
 long demont_1_call(CardChannel _cc, int _rounds_host_arg)
          Call step demont_1 of protocol demontgomerize in the test environment.
 long demont_2_call(CardChannel _cc, int _rounds_host_arg)
          Call step demont_2 of protocol demontgomerize in the test environment.
 void demont_init_call(CardChannel _cc, BigInteger _bignats_r_1_host_arg, Host_modulus _bignats_modulus_host_arg)
          Call step demont_init of protocol demontgomerize in the test environment.
 BigInteger demont_result_call(CardChannel _cc)
          Call step demont_result of protocol demontgomerize in the test environment.
 long div_1_call(CardChannel _cc, int _rounds_host_arg)
          Call step div_1 of protocol div in the test environment.
 long div_2_call(CardChannel _cc, int _rounds_host_arg)
          Call step div_2 of protocol div in the test environment.
 void div_init_call(CardChannel _cc, BigInteger _bignats_n_1_host_arg, BigInteger _bignats_n_2_host_arg)
          Call step div_init of protocol div in the test environment.
 Bignat_protocols_test_stubs.Div_result_result div_result_call(CardChannel _cc)
          Call step div_result of protocol div in the test environment.
 long mont_mult_1_call(CardChannel _cc, int _rounds_host_arg)
          Call step mont_mult_1 of protocol mont_mult in the test environment.
 long mont_mult_2_call(CardChannel _cc, int _rounds_host_arg)
          Call step mont_mult_2 of protocol mont_mult in the test environment.
 void mont_mult_init_call(CardChannel _cc, BigInteger _bignats_n_1_host_arg, BigInteger _bignats_n_2_host_arg, Host_modulus _bignats_modulus_host_arg)
          Call step mont_mult_init of protocol mont_mult in the test environment.
 BigInteger mont_mult_result_call(CardChannel _cc)
          Call step mont_mult_result of protocol mont_mult in the test environment.
 long mult_1_call(CardChannel _cc, int _rounds_host_arg)
          Call step mult_1 of protocol mult in the test environment.
 long mult_2_call(CardChannel _cc, int _rounds_host_arg)
          Call step mult_2 of protocol mult in the test environment.
 void mult_init_call(CardChannel _cc, BigInteger _bignats_r_1_host_arg, BigInteger _bignats_r_2_host_arg)
          Call step mult_init of protocol mult in the test environment.
 BigInteger mult_result_call(CardChannel _cc)
          Call step mult_result of protocol mult in the test environment.
 long rsa_exp_full_empty_call(CardChannel _cc)
          Call step rsa_exp_full_empty of protocol RSA_exp in the test environment.
 long rsa_exp_full_exp_call(CardChannel _cc)
          Call step rsa_exp_full_exp of protocol RSA_exp in the test environment.
 void rsa_exp_init_call(CardChannel _cc, BigInteger _bignats_n_1_host_arg, BigInteger _bignats_s_1_host_arg, BigInteger _bignats_n_2_host_arg)
          Call step rsa_exp_init of protocol RSA_exp in the test environment.
 long rsa_exp_parts_empty_call(CardChannel _cc)
          Call step rsa_exp_parts_empty of protocol RSA_exp in the test environment.
 long rsa_exp_parts_exp_call(CardChannel _cc)
          Call step rsa_exp_parts_exp of protocol RSA_exp in the test environment.
 Bignat_protocols_test_stubs.Rsa_exp_result_result rsa_exp_result_call(CardChannel _cc)
          Call step rsa_exp_result of protocol RSA_exp in the test environment.
 long short_sq_4_mult_1_call(CardChannel _cc)
          Call step short_sq_4_mult_1 of protocol short_square_4_mult in the test environment.
 long short_sq_4_mult_2_call(CardChannel _cc)
          Call step short_sq_4_mult_2 of protocol short_square_4_mult in the test environment.
 void short_sq_4_mult_init_call(CardChannel _cc, BigInteger _bignats_s_1_host_arg, BigInteger _bignats_s_2_host_arg, Host_modulus _bignats_modulus_host_arg)
          Call step short_sq_4_mult_init of protocol short_square_4_mult in the test environment.
 BigInteger short_sq_4_mult_result_call(CardChannel _cc)
          Call step short_sq_4_mult_result of protocol short_square_4_mult in the test environment.
 long short_sq_mult_1_call(CardChannel _cc, int _rounds_host_arg)
          Call step short_sq_mult_1 of protocol short_squared_mult in the test environment.
 long short_sq_mult_2_call(CardChannel _cc, int _rounds_host_arg)
          Call step short_sq_mult_2 of protocol short_squared_mult in the test environment.
 void short_sq_mult_init_call(CardChannel _cc, BigInteger _bignats_s_1_host_arg, BigInteger _bignats_s_2_host_arg, Host_modulus _bignats_modulus_host_arg)
          Call step short_sq_mult_init of protocol short_squared_mult in the test environment.
 BigInteger short_sq_mult_result_call(CardChannel _cc)
          Call step short_sq_mult_result of protocol short_squared_mult in the test environment.
 long sq_mult_1_call(CardChannel _cc, int _rounds_host_arg)
          Call step sq_mult_1 of protocol squared_mult in the test environment.
 long sq_mult_2_call(CardChannel _cc, int _rounds_host_arg)
          Call step sq_mult_2 of protocol squared_mult in the test environment.
 long sq_mult_4_1_call(CardChannel _cc)
          Call step sq_mult_4_1 of protocol squared_mult_4 in the test environment.
 long sq_mult_4_2_call(CardChannel _cc)
          Call step sq_mult_4_2 of protocol squared_mult_4 in the test environment.
 void sq_mult_4_init_call(CardChannel _cc, BigInteger _bignats_r_1_host_arg, BigInteger _bignats_r_2_host_arg, Host_modulus _bignats_mult_modulus_host_arg)
          Call step sq_mult_4_init of protocol squared_mult_4 in the test environment.
 BigInteger sq_mult_4_result_call(CardChannel _cc)
          Call step sq_mult_4_result of protocol squared_mult_4 in the test environment.
 void sq_mult_init_call(CardChannel _cc, BigInteger _bignats_n_1_host_arg, BigInteger _bignats_n_2_host_arg, Host_modulus _bignats_modulus_host_arg)
          Call step sq_mult_init of protocol squared_mult in the test environment.
 BigInteger sq_mult_result_call(CardChannel _cc)
          Call step sq_mult_result of protocol squared_mult in the test environment.
 long subtract_1_call(CardChannel _cc)
          Call step subtract_1 of protocol subtract in the test environment.
 long subtract_2_call(CardChannel _cc)
          Call step subtract_2 of protocol subtract in the test environment.
 void subtract_init_call(CardChannel _cc, BigInteger _bignats_r_1_host_arg, BigInteger _bignats_r_2_host_arg)
          Call step subtract_init of protocol subtract in the test environment.
 Bignat_protocols_test_stubs.Subtract_result_result subtract_result_call(CardChannel _cc)
          Call step subtract_result of protocol subtract in the test environment.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

protocol_description

private Bignat_protocols_description protocol_description
A protocol description instance from Bignat_protocols.id. Used to access the host initializers, which are additional parameters for the APDU type constructors of arguments or results. Initialized in the constructor.


out

private PrintWriter out
The output channel for debugging information of the OV-chip protocol layer. Initialized in the constructor.

Constructor Detail

Bignat_protocols_test_stubs

public Bignat_protocols_test_stubs(Bignat_protocols_description d,
                                   PrintWriter o,
                                   boolean script)
Stub constructor. In this test-frame alternative there are no Host_protocol data structures to initialize. Therefore this constructor only saves the first two arguments into object local fields. The argument script is only there for compatibility with Bignat_protocols_stubs, it is ignored here.

Parameters:
d - protocol description instance for Bignat_protocols.id
o - channel for printing debugging information, pass null for disabling debugging information
script - ignored here, controls printing of apdutool lines in Bignat_protocols_stubs
Method Detail

mont_mult_init_call

public void mont_mult_init_call(CardChannel _cc,
                                BigInteger _bignats_n_1_host_arg,
                                BigInteger _bignats_n_2_host_arg,
                                Host_modulus _bignats_modulus_host_arg)
Call step mont_mult_init of protocol mont_mult in the test environment.

Parameters:
_cc - ignored here, can be null, card channel in Bignat_protocols_stubs
_bignats_n_1_host_arg - argument bignats.n_1 to be converted to Bignat
_bignats_n_2_host_arg - argument bignats.n_2 to be converted to Bignat
_bignats_modulus_host_arg - argument bignats.modulus to be converted to Modulus

mont_mult_1_call

public long mont_mult_1_call(CardChannel _cc,
                             int _rounds_host_arg)
Call step mont_mult_1 of protocol mont_mult in the test environment.

Parameters:
_cc - ignored here, can be null, card channel in Bignat_protocols_stubs
_rounds_host_arg - argument rounds to be converted to APDU_short
Returns:
Duration of the call in nanoseconds. The measurement includes (de-)serialization but not the allocation of argument and result arrays.

mont_mult_2_call

public long mont_mult_2_call(CardChannel _cc,
                             int _rounds_host_arg)
Call step mont_mult_2 of protocol mont_mult in the test environment.

Parameters:
_cc - ignored here, can be null, card channel in Bignat_protocols_stubs
_rounds_host_arg - argument rounds to be converted to APDU_short
Returns:
Duration of the call in nanoseconds. The measurement includes (de-)serialization but not the allocation of argument and result arrays.

mont_mult_result_call

public BigInteger mont_mult_result_call(CardChannel _cc)
Call step mont_mult_result of protocol mont_mult in the test environment.

Parameters:
_cc - ignored here, can be null, card channel in Bignat_protocols_stubs
Returns:
result bignats.r_1 converted from Bignat

demont_init_call

public void demont_init_call(CardChannel _cc,
                             BigInteger _bignats_r_1_host_arg,
                             Host_modulus _bignats_modulus_host_arg)
Call step demont_init of protocol demontgomerize in the test environment.

Parameters:
_cc - ignored here, can be null, card channel in Bignat_protocols_stubs
_bignats_r_1_host_arg - argument bignats.r_1 to be converted to Bignat
_bignats_modulus_host_arg - argument bignats.modulus to be converted to Modulus

demont_1_call

public long demont_1_call(CardChannel _cc,
                          int _rounds_host_arg)
Call step demont_1 of protocol demontgomerize in the test environment.

Parameters:
_cc - ignored here, can be null, card channel in Bignat_protocols_stubs
_rounds_host_arg - argument rounds to be converted to APDU_short
Returns:
Duration of the call in nanoseconds. The measurement includes (de-)serialization but not the allocation of argument and result arrays.

demont_2_call

public long demont_2_call(CardChannel _cc,
                          int _rounds_host_arg)
Call step demont_2 of protocol demontgomerize in the test environment.

Parameters:
_cc - ignored here, can be null, card channel in Bignat_protocols_stubs
_rounds_host_arg - argument rounds to be converted to APDU_short
Returns:
Duration of the call in nanoseconds. The measurement includes (de-)serialization but not the allocation of argument and result arrays.

demont_result_call

public BigInteger demont_result_call(CardChannel _cc)
Call step demont_result of protocol demontgomerize in the test environment.

Parameters:
_cc - ignored here, can be null, card channel in Bignat_protocols_stubs
Returns:
result bignats.r_2 converted from Bignat

div_init_call

public void div_init_call(CardChannel _cc,
                          BigInteger _bignats_n_1_host_arg,
                          BigInteger _bignats_n_2_host_arg)
Call step div_init of protocol div in the test environment.

Parameters:
_cc - ignored here, can be null, card channel in Bignat_protocols_stubs
_bignats_n_1_host_arg - argument bignats.n_1 to be converted to Bignat
_bignats_n_2_host_arg - argument bignats.n_2 to be converted to Bignat

div_1_call

public long div_1_call(CardChannel _cc,
                       int _rounds_host_arg)
Call step div_1 of protocol div in the test environment.

Parameters:
_cc - ignored here, can be null, card channel in Bignat_protocols_stubs
_rounds_host_arg - argument rounds to be converted to APDU_short
Returns:
Duration of the call in nanoseconds. The measurement includes (de-)serialization but not the allocation of argument and result arrays.

div_2_call

public long div_2_call(CardChannel _cc,
                       int _rounds_host_arg)
Call step div_2 of protocol div in the test environment.

Parameters:
_cc - ignored here, can be null, card channel in Bignat_protocols_stubs
_rounds_host_arg - argument rounds to be converted to APDU_short
Returns:
Duration of the call in nanoseconds. The measurement includes (de-)serialization but not the allocation of argument and result arrays.

div_result_call

public Bignat_protocols_test_stubs.Div_result_result div_result_call(CardChannel _cc)
Call step div_result of protocol div in the test environment.

Parameters:
_cc - ignored here, can be null, card channel in Bignat_protocols_stubs
Returns:
Div_result_result record containing all results.

rsa_exp_init_call

public void rsa_exp_init_call(CardChannel _cc,
                              BigInteger _bignats_n_1_host_arg,
                              BigInteger _bignats_s_1_host_arg,
                              BigInteger _bignats_n_2_host_arg)
Call step rsa_exp_init of protocol RSA_exp in the test environment.

Parameters:
_cc - ignored here, can be null, card channel in Bignat_protocols_stubs
_bignats_n_1_host_arg - argument bignats.n_1 to be converted to Bignat
_bignats_s_1_host_arg - argument bignats.s_1 to be converted to Bignat
_bignats_n_2_host_arg - argument bignats.n_2 to be converted to Bignat

rsa_exp_parts_empty_call

public long rsa_exp_parts_empty_call(CardChannel _cc)
Call step rsa_exp_parts_empty of protocol RSA_exp in the test environment.

Parameters:
_cc - ignored here, can be null, card channel in Bignat_protocols_stubs
Returns:
Duration of the call in nanoseconds. The measurement includes (de-)serialization but not the allocation of argument and result arrays.

rsa_exp_parts_exp_call

public long rsa_exp_parts_exp_call(CardChannel _cc)
Call step rsa_exp_parts_exp of protocol RSA_exp in the test environment.

Parameters:
_cc - ignored here, can be null, card channel in Bignat_protocols_stubs
Returns:
Duration of the call in nanoseconds. The measurement includes (de-)serialization but not the allocation of argument and result arrays.

rsa_exp_full_empty_call

public long rsa_exp_full_empty_call(CardChannel _cc)
Call step rsa_exp_full_empty of protocol RSA_exp in the test environment.

Parameters:
_cc - ignored here, can be null, card channel in Bignat_protocols_stubs
Returns:
Duration of the call in nanoseconds. The measurement includes (de-)serialization but not the allocation of argument and result arrays.

rsa_exp_full_exp_call

public long rsa_exp_full_exp_call(CardChannel _cc)
Call step rsa_exp_full_exp of protocol RSA_exp in the test environment.

Parameters:
_cc - ignored here, can be null, card channel in Bignat_protocols_stubs
Returns:
Duration of the call in nanoseconds. The measurement includes (de-)serialization but not the allocation of argument and result arrays.

rsa_exp_result_call

public Bignat_protocols_test_stubs.Rsa_exp_result_result rsa_exp_result_call(CardChannel _cc)
Call step rsa_exp_result of protocol RSA_exp in the test environment.

Parameters:
_cc - ignored here, can be null, card channel in Bignat_protocols_stubs
Returns:
Rsa_exp_result_result record containing all results.

sq_mult_init_call

public void sq_mult_init_call(CardChannel _cc,
                              BigInteger _bignats_n_1_host_arg,
                              BigInteger _bignats_n_2_host_arg,
                              Host_modulus _bignats_modulus_host_arg)
Call step sq_mult_init of protocol squared_mult in the test environment.

Parameters:
_cc - ignored here, can be null, card channel in Bignat_protocols_stubs
_bignats_n_1_host_arg - argument bignats.n_1 to be converted to Bignat
_bignats_n_2_host_arg - argument bignats.n_2 to be converted to Bignat
_bignats_modulus_host_arg - argument bignats.modulus to be converted to Modulus

sq_mult_1_call

public long sq_mult_1_call(CardChannel _cc,
                           int _rounds_host_arg)
Call step sq_mult_1 of protocol squared_mult in the test environment.

Parameters:
_cc - ignored here, can be null, card channel in Bignat_protocols_stubs
_rounds_host_arg - argument rounds to be converted to APDU_short
Returns:
Duration of the call in nanoseconds. The measurement includes (de-)serialization but not the allocation of argument and result arrays.

sq_mult_2_call

public long sq_mult_2_call(CardChannel _cc,
                           int _rounds_host_arg)
Call step sq_mult_2 of protocol squared_mult in the test environment.

Parameters:
_cc - ignored here, can be null, card channel in Bignat_protocols_stubs
_rounds_host_arg - argument rounds to be converted to APDU_short
Returns:
Duration of the call in nanoseconds. The measurement includes (de-)serialization but not the allocation of argument and result arrays.

sq_mult_result_call

public BigInteger sq_mult_result_call(CardChannel _cc)
Call step sq_mult_result of protocol squared_mult in the test environment.

Parameters:
_cc - ignored here, can be null, card channel in Bignat_protocols_stubs
Returns:
result bignats.r_1 converted from Bignat

short_sq_mult_init_call

public void short_sq_mult_init_call(CardChannel _cc,
                                    BigInteger _bignats_s_1_host_arg,
                                    BigInteger _bignats_s_2_host_arg,
                                    Host_modulus _bignats_modulus_host_arg)
Call step short_sq_mult_init of protocol short_squared_mult in the test environment.

Parameters:
_cc - ignored here, can be null, card channel in Bignat_protocols_stubs
_bignats_s_1_host_arg - argument bignats.s_1 to be converted to Bignat
_bignats_s_2_host_arg - argument bignats.s_2 to be converted to Bignat
_bignats_modulus_host_arg - argument bignats.modulus to be converted to Modulus

short_sq_mult_1_call

public long short_sq_mult_1_call(CardChannel _cc,
                                 int _rounds_host_arg)
Call step short_sq_mult_1 of protocol short_squared_mult in the test environment.

Parameters:
_cc - ignored here, can be null, card channel in Bignat_protocols_stubs
_rounds_host_arg - argument rounds to be converted to APDU_short
Returns:
Duration of the call in nanoseconds. The measurement includes (de-)serialization but not the allocation of argument and result arrays.

short_sq_mult_2_call

public long short_sq_mult_2_call(CardChannel _cc,
                                 int _rounds_host_arg)
Call step short_sq_mult_2 of protocol short_squared_mult in the test environment.

Parameters:
_cc - ignored here, can be null, card channel in Bignat_protocols_stubs
_rounds_host_arg - argument rounds to be converted to APDU_short
Returns:
Duration of the call in nanoseconds. The measurement includes (de-)serialization but not the allocation of argument and result arrays.

short_sq_mult_result_call

public BigInteger short_sq_mult_result_call(CardChannel _cc)
Call step short_sq_mult_result of protocol short_squared_mult in the test environment.

Parameters:
_cc - ignored here, can be null, card channel in Bignat_protocols_stubs
Returns:
result bignats.dr_1 converted from Bignat

sq_mult_4_init_call

public void sq_mult_4_init_call(CardChannel _cc,
                                BigInteger _bignats_r_1_host_arg,
                                BigInteger _bignats_r_2_host_arg,
                                Host_modulus _bignats_mult_modulus_host_arg)
Call step sq_mult_4_init of protocol squared_mult_4 in the test environment.

Parameters:
_cc - ignored here, can be null, card channel in Bignat_protocols_stubs
_bignats_r_1_host_arg - argument bignats.r_1 to be converted to Bignat
_bignats_r_2_host_arg - argument bignats.r_2 to be converted to Bignat
_bignats_mult_modulus_host_arg - argument bignats.mult_modulus to be converted to Modulus

sq_mult_4_1_call

public long sq_mult_4_1_call(CardChannel _cc)
Call step sq_mult_4_1 of protocol squared_mult_4 in the test environment.

Parameters:
_cc - ignored here, can be null, card channel in Bignat_protocols_stubs
Returns:
Duration of the call in nanoseconds. The measurement includes (de-)serialization but not the allocation of argument and result arrays.

sq_mult_4_2_call

public long sq_mult_4_2_call(CardChannel _cc)
Call step sq_mult_4_2 of protocol squared_mult_4 in the test environment.

Parameters:
_cc - ignored here, can be null, card channel in Bignat_protocols_stubs
Returns:
Duration of the call in nanoseconds. The measurement includes (de-)serialization but not the allocation of argument and result arrays.

sq_mult_4_result_call

public BigInteger sq_mult_4_result_call(CardChannel _cc)
Call step sq_mult_4_result of protocol squared_mult_4 in the test environment.

Parameters:
_cc - ignored here, can be null, card channel in Bignat_protocols_stubs
Returns:
result bignats.r_3 converted from Bignat

short_sq_4_mult_init_call

public void short_sq_4_mult_init_call(CardChannel _cc,
                                      BigInteger _bignats_s_1_host_arg,
                                      BigInteger _bignats_s_2_host_arg,
                                      Host_modulus _bignats_modulus_host_arg)
Call step short_sq_4_mult_init of protocol short_square_4_mult in the test environment.

Parameters:
_cc - ignored here, can be null, card channel in Bignat_protocols_stubs
_bignats_s_1_host_arg - argument bignats.s_1 to be converted to Bignat
_bignats_s_2_host_arg - argument bignats.s_2 to be converted to Bignat
_bignats_modulus_host_arg - argument bignats.modulus to be converted to Modulus

short_sq_4_mult_1_call

public long short_sq_4_mult_1_call(CardChannel _cc)
Call step short_sq_4_mult_1 of protocol short_square_4_mult in the test environment.

Parameters:
_cc - ignored here, can be null, card channel in Bignat_protocols_stubs
Returns:
Duration of the call in nanoseconds. The measurement includes (de-)serialization but not the allocation of argument and result arrays.

short_sq_4_mult_2_call

public long short_sq_4_mult_2_call(CardChannel _cc)
Call step short_sq_4_mult_2 of protocol short_square_4_mult in the test environment.

Parameters:
_cc - ignored here, can be null, card channel in Bignat_protocols_stubs
Returns:
Duration of the call in nanoseconds. The measurement includes (de-)serialization but not the allocation of argument and result arrays.

short_sq_4_mult_result_call

public BigInteger short_sq_4_mult_result_call(CardChannel _cc)
Call step short_sq_4_mult_result of protocol short_square_4_mult in the test environment.

Parameters:
_cc - ignored here, can be null, card channel in Bignat_protocols_stubs
Returns:
result bignats.dr_1 converted from Bignat

add_init_call

public void add_init_call(CardChannel _cc,
                          BigInteger _bignats_r_1_host_arg,
                          BigInteger _bignats_r_2_host_arg)
Call step add_init of protocol add in the test environment.

Parameters:
_cc - ignored here, can be null, card channel in Bignat_protocols_stubs
_bignats_r_1_host_arg - argument bignats.r_1 to be converted to Bignat
_bignats_r_2_host_arg - argument bignats.r_2 to be converted to Bignat

add_1_call

public long add_1_call(CardChannel _cc)
Call step add_1 of protocol add in the test environment.

Parameters:
_cc - ignored here, can be null, card channel in Bignat_protocols_stubs
Returns:
Duration of the call in nanoseconds. The measurement includes (de-)serialization but not the allocation of argument and result arrays.

add_2_call

public long add_2_call(CardChannel _cc)
Call step add_2 of protocol add in the test environment.

Parameters:
_cc - ignored here, can be null, card channel in Bignat_protocols_stubs
Returns:
Duration of the call in nanoseconds. The measurement includes (de-)serialization but not the allocation of argument and result arrays.

add_result_call

public BigInteger add_result_call(CardChannel _cc)
Call step add_result of protocol add in the test environment.

Parameters:
_cc - ignored here, can be null, card channel in Bignat_protocols_stubs
Returns:
result bignats.r_1 converted from Bignat

subtract_init_call

public void subtract_init_call(CardChannel _cc,
                               BigInteger _bignats_r_1_host_arg,
                               BigInteger _bignats_r_2_host_arg)
Call step subtract_init of protocol subtract in the test environment.

Parameters:
_cc - ignored here, can be null, card channel in Bignat_protocols_stubs
_bignats_r_1_host_arg - argument bignats.r_1 to be converted to Bignat
_bignats_r_2_host_arg - argument bignats.r_2 to be converted to Bignat

subtract_1_call

public long subtract_1_call(CardChannel _cc)
Call step subtract_1 of protocol subtract in the test environment.

Parameters:
_cc - ignored here, can be null, card channel in Bignat_protocols_stubs
Returns:
Duration of the call in nanoseconds. The measurement includes (de-)serialization but not the allocation of argument and result arrays.

subtract_2_call

public long subtract_2_call(CardChannel _cc)
Call step subtract_2 of protocol subtract in the test environment.

Parameters:
_cc - ignored here, can be null, card channel in Bignat_protocols_stubs
Returns:
Duration of the call in nanoseconds. The measurement includes (de-)serialization but not the allocation of argument and result arrays.

subtract_result_call

public Bignat_protocols_test_stubs.Subtract_result_result subtract_result_call(CardChannel _cc)
Call step subtract_result of protocol subtract in the test environment.

Parameters:
_cc - ignored here, can be null, card channel in Bignat_protocols_stubs
Returns:
Subtract_result_result record containing all results.

mult_init_call

public void mult_init_call(CardChannel _cc,
                           BigInteger _bignats_r_1_host_arg,
                           BigInteger _bignats_r_2_host_arg)
Call step mult_init of protocol mult in the test environment.

Parameters:
_cc - ignored here, can be null, card channel in Bignat_protocols_stubs
_bignats_r_1_host_arg - argument bignats.r_1 to be converted to Bignat
_bignats_r_2_host_arg - argument bignats.r_2 to be converted to Bignat

mult_1_call

public long mult_1_call(CardChannel _cc,
                        int _rounds_host_arg)
Call step mult_1 of protocol mult in the test environment.

Parameters:
_cc - ignored here, can be null, card channel in Bignat_protocols_stubs
_rounds_host_arg - argument rounds to be converted to APDU_short
Returns:
Duration of the call in nanoseconds. The measurement includes (de-)serialization but not the allocation of argument and result arrays.

mult_2_call

public long mult_2_call(CardChannel _cc,
                        int _rounds_host_arg)
Call step mult_2 of protocol mult in the test environment.

Parameters:
_cc - ignored here, can be null, card channel in Bignat_protocols_stubs
_rounds_host_arg - argument rounds to be converted to APDU_short
Returns:
Duration of the call in nanoseconds. The measurement includes (de-)serialization but not the allocation of argument and result arrays.

mult_result_call

public BigInteger mult_result_call(CardChannel _cc)
Call step mult_result of protocol mult in the test environment.

Parameters:
_cc - ignored here, can be null, card channel in Bignat_protocols_stubs
Returns:
result bignats.dr_1 converted from Bignat