Package io.vavr.test

Class CheckResult.Satisfied

java.lang.Object
io.vavr.test.CheckResult.Satisfied
All Implemented Interfaces:
CheckResult, Serializable
Enclosing interface:
CheckResult
public static class CheckResult.Satisfied extends Object implements CheckResult, Serializable
Represents a satisfied property check.
See Also:

  • Method Details

    • isSatisfied

      public boolean isSatisfied()
      Description copied from interface: CheckResult
      If this check result is satisfied as specified above.
      Specified by:
      isSatisfied in interface CheckResult
      Returns:
      true, if this check result is satisfied, false otherwise

    • isFalsified

      public boolean isFalsified()
      Description copied from interface: CheckResult
      If this check result is falsified as specified above.
      Specified by:
      isFalsified in interface CheckResult
      Returns:
      true, if this check result is falsified, false otherwise

    • isErroneous

      public boolean isErroneous()
      Description copied from interface: CheckResult
      If this check result is erroneous as specified above.
      Specified by:
      isErroneous in interface CheckResult
      Returns:
      true, if this check result is erroneous, false otherwise

    • isExhausted

      public boolean isExhausted()
      Description copied from interface: CheckResult
      If this check result is exhausted as specified above.
      Specified by:
      isExhausted in interface CheckResult
      Returns:
      true, if this check result is exhausted, false otherwise

    • propertyName

      public String propertyName()
      Description copied from interface: CheckResult
      The name of the checked property this result refers to.
      Specified by:
      propertyName in interface CheckResult
      Returns:
      a property name

    • count

      public int count()
      Description copied from interface: CheckResult
      The number of checks performed using random generated input data.
      Specified by:
      count in interface CheckResult
      Returns:
      the number of checks performed

    • sample

      public io.vavr.control.Option<io.vavr.Tuple> sample()
      Description copied from interface: CheckResult
      An optional sample which falsified the property or which lead to an error.
      Specified by:
      sample in interface CheckResult
      Returns:
      an optional sample

    • error

      public io.vavr.control.Option<Error> error()
      Description copied from interface: CheckResult
      An optional error.
      Specified by:
      error in interface CheckResult
      Returns:
      an optional error

    • equals

      public boolean equals(Object o)
      Overrides:
      equals in class Object

    • hashCode

      public int hashCode()
      Overrides:
      hashCode in class Object

    • toString

      public String toString()
      Overrides:
      toString in class Object