test_class.file: core/src/test/java/dk/alexandra/fresco/suite/dummy/arithmetic/DummyArithmeticSIntTest.java
test_class.identifier: DummyArithmeticSIntTest
test_case.body: @Test
    public void testOut() {
      BigIntegerFieldDefinition fd500 = new BigIntegerFieldDefinition(
          ModulusFinder.findSuitableModulus(8));
      DummyArithmeticSInt value = new DummyArithmeticSInt(fd500.createElement(42));
      Assert.assertThat(value.out(), Is.is(value));
    }
test_case.class_method_signature: DummyArithmeticSIntTest.testOut()
test_case.full_signature: @Test public void testOut()
test_case.identifier: testOut
test_case.invocations: findSuitableModulus createElement assertThat out is
test_case.modifiers: @Test public
test_case.parameters: ()
test_case.return: void
test_case.signature: void testOut()
focal_class.declarator: value
focal_class.modifier: private final
focal_class.original_string: private final FieldElement value;
focal_class.type: FieldElement
focal_class.var_name: value
focal_class.file: core/src/main/java/dk/alexandra/fresco/suite/dummy/arithmetic/DummyArithmeticSInt.java
focal_class.identifier: DummyArithmeticSInt
focal_class.interfaces: implements SInt
focal_class.class_method_signature: DummyArithmeticSInt.DummyArithmeticSInt(FieldElement value)
focal_class.full_signature: public  DummyArithmeticSInt(FieldElement value)
focal_class.identifier: DummyArithmeticSInt
focal_class.modifiers: public
focal_class.parameters: (FieldElement value)
focal_class.signature:  DummyArithmeticSInt(FieldElement value)
focal_class.class_method_signature: DummyArithmeticSInt.getValue()
focal_class.full_signature: public FieldElement getValue()
focal_class.identifier: getValue
focal_class.modifiers: public
focal_class.parameters: ()
focal_class.return: FieldElement
focal_class.signature: FieldElement getValue()
focal_class.class_method_signature: DummyArithmeticSInt.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_class.class_method_signature: DummyArithmeticSInt.out()
focal_class.full_signature: @Override public SInt out()
focal_class.identifier: out
focal_class.modifiers: @Override public
focal_class.parameters: ()
focal_class.return: SInt
focal_class.signature: SInt out()
focal_method.body: @Override
    public SInt out() {
      return this;
    }
focal_method.class_method_signature: DummyArithmeticSInt.out()
focal_method.full_signature: @Override public SInt out()
focal_method.identifier: out
focal_method.modifiers: @Override public
focal_method.parameters: ()
focal_method.return: SInt
focal_method.signature: SInt out()