test_class.declarator: context
test_class.modifier: private
test_class.original_string: private BasicNumericContext context;
test_class.type: BasicNumericContext
test_class.var_name: context
test_class.declarator: maxBitLength = 16
test_class.modifier: private
test_class.original_string: private int maxBitLength = 16;
test_class.type: int
test_class.var_name: maxBitLength
test_class.declarator: myId = 2
test_class.modifier: private
test_class.original_string: private int myId = 2;
test_class.type: int
test_class.var_name: myId
test_class.declarator: noOfParties = 2
test_class.modifier: private
test_class.original_string: private int noOfParties = 2;
test_class.type: int
test_class.var_name: noOfParties
test_class.declarator: fieldDefinition = mock(FieldDefinition.class)
test_class.modifier: private
test_class.original_string: private FieldDefinition fieldDefinition = mock(FieldDefinition.class);
test_class.type: FieldDefinition
test_class.var_name: fieldDefinition
test_class.declarator: precision = 32
test_class.modifier: private
test_class.original_string: private int precision = 32;
test_class.type: int
test_class.var_name: precision
test_class.file: core/src/test/java/dk/alexandra/fresco/lib/field/integer/BasicNumericContextTest.java
test_class.identifier: BasicNumericContextTest
test_case.body: @Test
    public void getNoOfParties() {
      Assert.assertEquals(context.getNoOfParties(), noOfParties);
    }
test_case.class_method_signature: BasicNumericContextTest.getNoOfParties()
test_case.full_signature: @Test public void getNoOfParties()
test_case.identifier: getNoOfParties
test_case.invocations: assertEquals getNoOfParties
test_case.modifiers: @Test public
test_case.parameters: ()
test_case.return: void
test_case.signature: void getNoOfParties()
focal_class.declarator: maxBitLength
focal_class.modifier: private final
focal_class.original_string: private final int maxBitLength;
focal_class.type: int
focal_class.var_name: maxBitLength
focal_class.declarator: myId
focal_class.modifier: private final
focal_class.original_string: private final int myId;
focal_class.type: int
focal_class.var_name: myId
focal_class.declarator: noOfParties
focal_class.modifier: private final
focal_class.original_string: private final int noOfParties;
focal_class.type: int
focal_class.var_name: noOfParties
focal_class.declarator: fieldDefinition
focal_class.modifier: private final
focal_class.original_string: private final FieldDefinition fieldDefinition;
focal_class.type: FieldDefinition
focal_class.var_name: fieldDefinition
focal_class.declarator: defaultFixedPointPrecision
focal_class.modifier: private final
focal_class.original_string: private final int defaultFixedPointPrecision;
focal_class.type: int
focal_class.var_name: defaultFixedPointPrecision
focal_class.file: core/src/main/java/dk/alexandra/fresco/lib/field/integer/BasicNumericContext.java
focal_class.identifier: BasicNumericContext
focal_class.class_method_signature: BasicNumericContext.BasicNumericContext(int maxBitLength, int myId, int noOfParties,
        FieldDefinition fieldDefinition, int defaultFixedPointPrecision)
focal_class.full_signature: public  BasicNumericContext(int maxBitLength, int myId, int noOfParties,
        FieldDefinition fieldDefinition, int defaultFixedPointPrecision)
focal_class.identifier: BasicNumericContext
focal_class.modifiers: public
focal_class.parameters: (int maxBitLength, int myId, int noOfParties,
        FieldDefinition fieldDefinition, int defaultFixedPointPrecision)
focal_class.signature:  BasicNumericContext(int maxBitLength, int myId, int noOfParties,
        FieldDefinition fieldDefinition, int defaultFixedPointPrecision)
focal_class.class_method_signature: BasicNumericContext.getMaxBitLength()
focal_class.full_signature: public int getMaxBitLength()
focal_class.identifier: getMaxBitLength
focal_class.modifiers: public
focal_class.parameters: ()
focal_class.return: int
focal_class.signature: int getMaxBitLength()
focal_class.class_method_signature: BasicNumericContext.getFieldDefinition()
focal_class.full_signature: public FieldDefinition getFieldDefinition()
focal_class.identifier: getFieldDefinition
focal_class.modifiers: public
focal_class.parameters: ()
focal_class.return: FieldDefinition
focal_class.signature: FieldDefinition getFieldDefinition()
focal_class.class_method_signature: BasicNumericContext.getModulus()
focal_class.full_signature: public BigInteger getModulus()
focal_class.identifier: getModulus
focal_class.modifiers: public
focal_class.parameters: ()
focal_class.return: BigInteger
focal_class.signature: BigInteger getModulus()
focal_class.class_method_signature: BasicNumericContext.getMyId()
focal_class.full_signature: public int getMyId()
focal_class.identifier: getMyId
focal_class.modifiers: public
focal_class.parameters: ()
focal_class.return: int
focal_class.signature: int getMyId()
focal_class.class_method_signature: BasicNumericContext.getNoOfParties()
focal_class.full_signature: public int getNoOfParties()
focal_class.identifier: getNoOfParties
focal_class.modifiers: public
focal_class.parameters: ()
focal_class.return: int
focal_class.signature: int getNoOfParties()
focal_class.class_method_signature: BasicNumericContext.getDefaultFixedPointPrecision()
focal_class.full_signature: public int getDefaultFixedPointPrecision()
focal_class.identifier: getDefaultFixedPointPrecision
focal_class.modifiers: public
focal_class.parameters: ()
focal_class.return: int
focal_class.signature: int getDefaultFixedPointPrecision()
focal_method.body: public int getNoOfParties() {
      return noOfParties;
    }
focal_method.class_method_signature: BasicNumericContext.getNoOfParties()
focal_method.full_signature: public int getNoOfParties()
focal_method.identifier: getNoOfParties
focal_method.modifiers: public
focal_method.parameters: ()
focal_method.return: int
focal_method.signature: int getNoOfParties()