test_class.declarator: modulus = new BigInteger("251")
test_class.modifier: private final
test_class.original_string: private final BigInteger modulus = new BigInteger("251");
test_class.type: BigInteger
test_class.var_name: modulus
test_class.declarator: definition = new BigIntegerFieldDefinition(modulus)
test_class.modifier: private final
test_class.original_string: private final BigIntegerFieldDefinition definition = new BigIntegerFieldDefinition(modulus);
test_class.type: BigIntegerFieldDefinition
test_class.var_name: definition
test_class.file: tools/mascot/src/test/java/dk/alexandra/fresco/tools/mascot/field/TestAuthenticatedElement.java
test_class.identifier: TestAuthenticatedElement
test_case.body: @Test
    public void testAddPublicFieldElement() {
      FieldElement macKeyShare = definition.createElement(111);
      AuthenticatedElement element = new AuthenticatedElement(
          definition.createElement(2),
          definition.createElement(222));
      FieldElement publicElement = definition.createElement(44);
      AuthenticatedElement actualPartyOne = element.add(definition,
          publicElement, 1, macKeyShare);
      AuthenticatedElement expectedPartyOne = new AuthenticatedElement(
          definition.createElement(46),
          definition.createElement(86));
      AuthenticatedElement actualPartyTwo = element.add(definition,
          publicElement, 2, macKeyShare);
      AuthenticatedElement expectedPartyTwo = new AuthenticatedElement(
          definition.createElement(2),
          definition.createElement(86));
      CustomAsserts.assertEquals(definition, actualPartyOne, expectedPartyOne);
      CustomAsserts.assertEquals(definition, actualPartyTwo, expectedPartyTwo);
    }
test_case.class_method_signature: TestAuthenticatedElement.testAddPublicFieldElement()
test_case.full_signature: @Test public void testAddPublicFieldElement()
test_case.identifier: testAddPublicFieldElement
test_case.invocations: createElement createElement createElement createElement add createElement createElement add createElement createElement assertEquals assertEquals
test_case.modifiers: @Test public
test_case.parameters: ()
test_case.return: void
test_case.signature: void testAddPublicFieldElement()
focal_class.declarator: share
focal_class.modifier: private final
focal_class.original_string: private final FieldElement share;
focal_class.type: FieldElement
focal_class.var_name: share
focal_class.declarator: mac
focal_class.modifier: private final
focal_class.original_string: private final FieldElement mac;
focal_class.type: FieldElement
focal_class.var_name: mac
focal_class.file: tools/mascot/src/main/java/dk/alexandra/fresco/tools/mascot/field/AuthenticatedElement.java
focal_class.identifier: AuthenticatedElement
focal_class.interfaces: implements Addable<AuthenticatedElement>
focal_class.class_method_signature: AuthenticatedElement.AuthenticatedElement(FieldElement share, FieldElement mac)
focal_class.full_signature: public  AuthenticatedElement(FieldElement share, FieldElement mac)
focal_class.identifier: AuthenticatedElement
focal_class.modifiers: public
focal_class.parameters: (FieldElement share, FieldElement mac)
focal_class.signature:  AuthenticatedElement(FieldElement share, FieldElement mac)
focal_class.class_method_signature: AuthenticatedElement.add(AuthenticatedElement other)
focal_class.full_signature: @Override public AuthenticatedElement add(AuthenticatedElement other)
focal_class.identifier: add
focal_class.modifiers: @Override public
focal_class.parameters: (AuthenticatedElement other)
focal_class.return: AuthenticatedElement
focal_class.signature: AuthenticatedElement add(AuthenticatedElement other)
focal_class.class_method_signature: AuthenticatedElement.add(
        FieldDefinition fieldDefinition,
        FieldElement other, int partyId, FieldElement macKeyShare)
focal_class.full_signature: public AuthenticatedElement add(
        FieldDefinition fieldDefinition,
        FieldElement other, int partyId, FieldElement macKeyShare)
focal_class.identifier: add
focal_class.modifiers: public
focal_class.parameters: (
        FieldDefinition fieldDefinition,
        FieldElement other, int partyId, FieldElement macKeyShare)
focal_class.return: AuthenticatedElement
focal_class.signature: AuthenticatedElement add(
        FieldDefinition fieldDefinition,
        FieldElement other, int partyId, FieldElement macKeyShare)
focal_class.class_method_signature: AuthenticatedElement.subtract(AuthenticatedElement other)
focal_class.full_signature: public AuthenticatedElement subtract(AuthenticatedElement other)
focal_class.identifier: subtract
focal_class.modifiers: public
focal_class.parameters: (AuthenticatedElement other)
focal_class.return: AuthenticatedElement
focal_class.signature: AuthenticatedElement subtract(AuthenticatedElement other)
focal_class.class_method_signature: AuthenticatedElement.multiply(FieldElement constant)
focal_class.full_signature: public AuthenticatedElement multiply(FieldElement constant)
focal_class.identifier: multiply
focal_class.modifiers: public
focal_class.parameters: (FieldElement constant)
focal_class.return: AuthenticatedElement
focal_class.signature: AuthenticatedElement multiply(FieldElement constant)
focal_class.class_method_signature: AuthenticatedElement.getMac()
focal_class.full_signature: public FieldElement getMac()
focal_class.identifier: getMac
focal_class.modifiers: public
focal_class.parameters: ()
focal_class.return: FieldElement
focal_class.signature: FieldElement getMac()
focal_class.class_method_signature: AuthenticatedElement.getShare()
focal_class.full_signature: public FieldElement getShare()
focal_class.identifier: getShare
focal_class.modifiers: public
focal_class.parameters: ()
focal_class.return: FieldElement
focal_class.signature: FieldElement getShare()
focal_class.class_method_signature: AuthenticatedElement.toString()
focal_class.full_signature: @Override public String toString()
focal_class.identifier: toString
focal_class.modifiers: @Override public
focal_class.parameters: ()
focal_class.return: String
focal_class.signature: String toString()
focal_method.body: @Override
    public AuthenticatedElement add(AuthenticatedElement other) {
      return new AuthenticatedElement(share.add(other.share), mac.add(other.mac));
    }
focal_method.class_method_signature: AuthenticatedElement.add(AuthenticatedElement other)
focal_method.full_signature: @Override public AuthenticatedElement add(AuthenticatedElement other)
focal_method.identifier: add
focal_method.invocations: add add
focal_method.modifiers: @Override public
focal_method.parameters: (AuthenticatedElement other)
focal_method.return: AuthenticatedElement
focal_method.signature: AuthenticatedElement add(AuthenticatedElement other)