Package randoop.test

Interface TestChecks<T extends TestChecks<T>>

All Known Implementing Classes:
ErrorRevealingChecks, InvalidChecks, RegressionChecks
public interface TestChecks<T extends TestChecks<T>>
A TestChecks reprents a set of Checks, and possibly a single ExceptionCheck.
See Also:

  • Method Summary

    Modifier and Type
    Method
    Description
    void
    add(Check ck)
    Add a check to this set.
    Set<Check>
    checks()
    Get all non-exception checks and whether they are passing for this object.
    T
    commonChecks(T other)
    Returns the intersection of checks in this set and another set.
    int
    count()
    Return the number of checks in this test.
    @Nullable ExceptionCheck
    getExceptionCheck()
    Return the exception check in this object if there is one.
    boolean
    hasChecks()
    Indicates whether this object has checks.
    boolean
    hasErrorBehavior()
    Indicate whether this object has any failing checks.
    boolean
    hasInvalidBehavior()
    Indicates whether this set of checks contains any invalid behaviors.

  • Method Details

    • count

      int count()
      Return the number of checks in this test.
      Returns:
      the count of checks in this object

    • checks

      Set<Check> checks()
      Get all non-exception checks and whether they are passing for this object.
      Returns:
      all checks with passing status

    • add

      void add(Check ck)
      Add a check to this set.
      Parameters:
      ck - the check object to add to this set of checks

    • hasChecks

      boolean hasChecks()
      Indicates whether this object has checks.
      Returns:
      true if this object has checks, false otherwise

    • hasInvalidBehavior

      boolean hasInvalidBehavior()
      Indicates whether this set of checks contains any invalid behaviors.
      Returns:
      true when this contains checks for invalid behavior, false otherwise

    • hasErrorBehavior

      boolean hasErrorBehavior()
      Indicate whether this object has any failing checks. (This is essentially asking whether this is an error revealing test.)
      Returns:
      true if this object has failing checks, false otherwise

    • getExceptionCheck

      @Nullable ExceptionCheck getExceptionCheck()
      Return the exception check in this object if there is one.
      Returns:
      the expected exception check, null otherwise

    • commonChecks

      T commonChecks(T other)
      Returns the intersection of checks in this set and another set.
      Parameters:
      other - the TestChecks to compare with
      Returns:
      the checks common to this set of checks and those in other