test_class.declarator: left = new UInt64(42)
test_class.modifier: private final
test_class.original_string: private final UInt64 left = new UInt64(42);
test_class.type: UInt64
test_class.var_name: left
test_class.declarator: right = new UInt64(123)
test_class.modifier: private final
test_class.original_string: private final UInt64 right = new UInt64(123);
test_class.type: UInt64
test_class.var_name: right
test_class.file: suite/spdz2k/src/test/java/dk/alexandra/fresco/suite/spdz2k/datatypes/TestUInt64.java
test_class.identifier: TestUInt64
test_case.body: @Test
    public void isZero() {
      Assert.assertFalse(left.isZero());
      Assert.assertTrue(new UInt64(0).isZero());
    }
test_case.class_method_signature: TestUInt64.isZero()
test_case.full_signature: @Test public void isZero()
test_case.identifier: isZero
test_case.invocations: assertFalse isZero assertTrue isZero
test_case.modifiers: @Test public
test_case.parameters: ()
test_case.return: void
test_case.signature: void isZero()
focal_class.declarator: value
focal_class.modifier: private final
focal_class.original_string: private final long value;
focal_class.type: long
focal_class.var_name: value
focal_class.file: suite/spdz2k/src/main/java/dk/alexandra/fresco/suite/spdz2k/datatypes/UInt64.java
focal_class.identifier: UInt64
focal_class.interfaces: implements UInt<UInt64>
focal_class.class_method_signature: UInt64.UInt64(long value)
focal_class.full_signature: public  UInt64(long value)
focal_class.identifier: UInt64
focal_class.modifiers: public
focal_class.parameters: (long value)
focal_class.signature:  UInt64(long value)
focal_class.class_method_signature: UInt64.add(UInt64 other)
focal_class.full_signature: @Override public UInt64 add(UInt64 other)
focal_class.identifier: add
focal_class.modifiers: @Override public
focal_class.parameters: (UInt64 other)
focal_class.return: UInt64
focal_class.signature: UInt64 add(UInt64 other)
focal_class.class_method_signature: UInt64.multiply(UInt64 other)
focal_class.full_signature: @Override public UInt64 multiply(UInt64 other)
focal_class.identifier: multiply
focal_class.modifiers: @Override public
focal_class.parameters: (UInt64 other)
focal_class.return: UInt64
focal_class.signature: UInt64 multiply(UInt64 other)
focal_class.class_method_signature: UInt64.subtract(UInt64 other)
focal_class.full_signature: @Override public UInt64 subtract(UInt64 other)
focal_class.identifier: subtract
focal_class.modifiers: @Override public
focal_class.parameters: (UInt64 other)
focal_class.return: UInt64
focal_class.signature: UInt64 subtract(UInt64 other)
focal_class.class_method_signature: UInt64.negateUInt()
focal_class.full_signature: @Override public UInt64 negateUInt()
focal_class.identifier: negateUInt
focal_class.modifiers: @Override public
focal_class.parameters: ()
focal_class.return: UInt64
focal_class.signature: UInt64 negateUInt()
focal_class.class_method_signature: UInt64.isZero()
focal_class.full_signature: @Override public boolean isZero()
focal_class.identifier: isZero
focal_class.modifiers: @Override public
focal_class.parameters: ()
focal_class.return: boolean
focal_class.signature: boolean isZero()
focal_class.class_method_signature: UInt64.getBitLength()
focal_class.full_signature: @Override public int getBitLength()
focal_class.identifier: getBitLength
focal_class.modifiers: @Override public
focal_class.parameters: ()
focal_class.return: int
focal_class.signature: int getBitLength()
focal_class.class_method_signature: UInt64.toByteArray()
focal_class.full_signature: @Override public byte[] toByteArray()
focal_class.identifier: toByteArray
focal_class.modifiers: @Override public
focal_class.parameters: ()
focal_class.return: byte[]
focal_class.signature: byte[] toByteArray()
focal_class.class_method_signature: UInt64.toBigInteger()
focal_class.full_signature: @Override public BigInteger toBigInteger()
focal_class.identifier: toBigInteger
focal_class.modifiers: @Override public
focal_class.parameters: ()
focal_class.return: BigInteger
focal_class.signature: BigInteger toBigInteger()
focal_class.class_method_signature: UInt64.toLong()
focal_class.full_signature: @Override public long toLong()
focal_class.identifier: toLong
focal_class.modifiers: @Override public
focal_class.parameters: ()
focal_class.return: long
focal_class.signature: long toLong()
focal_class.class_method_signature: UInt64.toInt()
focal_class.full_signature: @Override public int toInt()
focal_class.identifier: toInt
focal_class.modifiers: @Override public
focal_class.parameters: ()
focal_class.return: int
focal_class.signature: int toInt()
focal_class.class_method_signature: UInt64.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 boolean isZero() {
      return value == 0;
    }
focal_method.class_method_signature: UInt64.isZero()
focal_method.full_signature: @Override public boolean isZero()
focal_method.identifier: isZero
focal_method.modifiers: @Override public
focal_method.parameters: ()
focal_method.return: boolean
focal_method.signature: boolean isZero()