Package io.vavr.test

Class CheckResult.Falsified

  • All Implemented Interfaces:
    CheckResult, java.io.Serializable
    Enclosing interface:
    CheckResult

    public static class CheckResult.Falsified
    extends java.lang.Object
    implements CheckResult, java.io.Serializable
    Represents a falsified property check.
    See Also:
    Serialized Form
    • Field Detail

      • propertyName

        private final java.lang.String propertyName
      • count

        private final int count
      • sample

        private final Tuple sample
    • Constructor Detail

      • Falsified

        Falsified​(java.lang.String propertyName,
                  int count,
                  Tuple sample)
    • Method Detail

      • 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 java.lang.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 Option<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 Option<java.lang.Error> error()
        Description copied from interface: CheckResult
        An optional error.
        Specified by:
        error in interface CheckResult
        Returns:
        an optional error
      • equals

        public boolean equals​(java.lang.Object o)
        Overrides:
        equals in class java.lang.Object
      • hashCode

        public int hashCode()
        Overrides:
        hashCode in class java.lang.Object
      • toString

        public java.lang.String toString()
        Overrides:
        toString in class java.lang.Object