Package integrationTests

Class CoverageTest

java.lang.Object
integrationTests.CoverageTest
public class CoverageTest extends Object

  • Field Summary

    Fields
    Modifier and Type
    Field
    Description
    protected static FileCoverageData
    fileData
     

  • Constructor Summary

    Constructors
    Constructor
    Description
    CoverageTest()
     

  • Method Summary

    Modifier and Type
    Method
    Description
    protected final void
    assertBranchingPoints(@org.checkerframework.checker.index.qual.NonNegative int line, @org.checkerframework.checker.index.qual.NonNegative int expectedSourcesAndTargets, @org.checkerframework.checker.index.qual.NonNegative int expectedCoveredSourcesAndTargets)
     
    protected final void
    assertFieldIgnored(String fieldName)
     
    protected static void
    assertInstanceFieldCovered(String fieldName)
     
    protected static void
    assertInstanceFieldUncovered(String fieldName)
     
    protected static void
    assertInstanceFieldUncovered(String fieldName, Object... uncoveredInstances)
     
    protected final void
    assertLine(@org.checkerframework.checker.index.qual.NonNegative int line, @org.checkerframework.checker.index.qual.NonNegative int expectedSegments, @org.checkerframework.checker.index.qual.NonNegative int expectedCoveredSegments, int... expectedExecutionCounts)
     
    protected final void
    assertLines(@org.checkerframework.checker.index.qual.NonNegative int startingLine, @org.checkerframework.checker.index.qual.NonNegative int endingLine, @org.checkerframework.checker.index.qual.NonNegative int expectedLinesExecuted)
     
    protected static void
    assertStaticFieldCovered(String fieldName)
     
    protected static void
    assertStaticFieldUncovered(String fieldName)
     
    final void
    findCoverageData()
     
    protected static void
    verifyDataCoverage(@org.checkerframework.checker.index.qual.NonNegative int expectedItems, @org.checkerframework.checker.index.qual.NonNegative int expectedCoveredItems, @org.checkerframework.checker.index.qual.NonNegative int expectedCoverage)
     

    Methods inherited from class java.lang.Object

    clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

  • Field Details

  • Constructor Details

    • CoverageTest

      public CoverageTest()

  • Method Details

    • findCoverageData

      @BeforeEach public final void findCoverageData() throws Exception
      Throws:
      Exception

    • assertLines

      protected final void assertLines(@org.checkerframework.checker.index.qual.NonNegative int startingLine, @org.checkerframework.checker.index.qual.NonNegative int endingLine, @org.checkerframework.checker.index.qual.NonNegative int expectedLinesExecuted)

    • assertLine

      protected final void assertLine(@org.checkerframework.checker.index.qual.NonNegative int line, @org.checkerframework.checker.index.qual.NonNegative int expectedSegments, @org.checkerframework.checker.index.qual.NonNegative int expectedCoveredSegments, int... expectedExecutionCounts)

    • assertBranchingPoints

      protected final void assertBranchingPoints(@org.checkerframework.checker.index.qual.NonNegative int line, @org.checkerframework.checker.index.qual.NonNegative int expectedSourcesAndTargets, @org.checkerframework.checker.index.qual.NonNegative int expectedCoveredSourcesAndTargets)

    • assertFieldIgnored

      protected final void assertFieldIgnored(@NonNull String fieldName)

    • assertStaticFieldCovered

      protected static void assertStaticFieldCovered(@NonNull String fieldName)

    • assertStaticFieldUncovered

      protected static void assertStaticFieldUncovered(@NonNull String fieldName)

    • assertInstanceFieldCovered

      protected static void assertInstanceFieldCovered(@NonNull String fieldName)

    • assertInstanceFieldUncovered

      protected static void assertInstanceFieldUncovered(@NonNull String fieldName)

    • assertInstanceFieldUncovered

      protected static void assertInstanceFieldUncovered(@NonNull String fieldName, @NonNull Object... uncoveredInstances)

    • verifyDataCoverage

      protected static void verifyDataCoverage(@org.checkerframework.checker.index.qual.NonNegative int expectedItems, @org.checkerframework.checker.index.qual.NonNegative int expectedCoveredItems, @org.checkerframework.checker.index.qual.NonNegative int expectedCoverage)