test_class.file: coverage-metrics/src/test/java/coverage_metrics/CoverageMetricsTest.java
test_class.identifier: CoverageMetricsTest
test_case.body: @Test
    public void test3() {
      CoverageMetrics c = new CoverageMetrics();
      float x = c.f(5);
    }
test_case.class_method_signature: CoverageMetricsTest.test3()
test_case.full_signature: @Test public void test3()
test_case.identifier: test3
test_case.invocations: f
test_case.modifiers: @Test public
test_case.parameters: ()
test_case.return: void
test_case.signature: void test3()
focal_class.file: coverage-metrics/src/main/java/coverage_metrics/CoverageMetrics.java
focal_class.identifier: CoverageMetrics
focal_class.class_method_signature: CoverageMetrics.f(int i)
focal_class.full_signature: public float f(int i)
focal_class.identifier: f
focal_class.modifiers: public
focal_class.parameters: (int i)
focal_class.return: float
focal_class.signature: float f(int i)
focal_method.body: public float f(int i) {
     int k = 0; /* default */
     if (i != 0) {
        k = 1;
     }
     return (float)i/(k+1);
    }
focal_method.class_method_signature: CoverageMetrics.f(int i)
focal_method.full_signature: public float f(int i)
focal_method.identifier: f
focal_method.modifiers: public
focal_method.parameters: (int i)
focal_method.return: float
focal_method.signature: float f(int i)