Assertion

final class Assertion[-A] extends AssertionM[A] with (=> A) => AssertResult

An Assertion[A] is capable of producing assertion results on an A. As a proposition, assertions compose using logical conjunction and disjunction, and can be negated.

Companion:
object
trait (=> A) => AssertResult
class AssertionM[A]
class Object
trait Matchable
class Any

Value members

Concrete methods

def &&[A1 <: A](that: => Assertion[A1]): Assertion[A1]

Returns a new assertion that succeeds only if both assertions succeed.

Returns a new assertion that succeeds only if both assertions succeed.

override def ??(string: String): Assertion[A]

A symbolic alias for label.

A symbolic alias for label.

Definition Classes
def apply(a: => A): AssertResult

Evaluates the assertion with the specified value.

Evaluates the assertion with the specified value.

override def canEqual(that: AssertionM[_]): Boolean
Definition Classes
override def equals(that: Any): Boolean

Compares the receiver object (this) with the argument object (that) for equivalence.

Compares the receiver object (this) with the argument object (that) for equivalence.

Any implementation of this method should be an equivalence relation:

  • It is reflexive: for any instance x of type Any, x.equals(x) should return true.
  • It is symmetric: for any instances x and y of type Any, x.equals(y) should return true if and only if y.equals(x) returns true.
  • It is transitive: for any instances x, y, and z of type Any if x.equals(y) returns true and y.equals(z) returns true, then x.equals(z) should return true.

If you override this method, you should verify that your implementation remains an equivalence relation. Additionally, when overriding this method it is usually necessary to override hashCode to ensure that objects which are "equal" (o1.equals(o2) returns true) hash to the same scala.Int. (o1.hashCode.equals(o2.hashCode)).

Value parameters:
that

the object to compare against this object for equality.

Returns:

true if the receiver object is equivalent to the argument; false otherwise.

Definition Classes
AssertionM -> Any
override def hashCode: Int

Calculate a hash code value for the object.

Calculate a hash code value for the object.

The default hashing algorithm is platform dependent.

Note that it is allowed for two objects to have identical hash codes (o1.hashCode.equals(o2.hashCode)) yet not be equal (o1.equals(o2) returns false). A degenerate implementation could always return 0. However, it is required that if two objects are equal (o1.equals(o2) returns true) that they have identical hash codes (o1.hashCode.equals(o2.hashCode)). Therefore, when overriding this method, be sure to verify that the behavior is consistent with the equals method.

Returns:

the hash code value for this object.

Definition Classes
AssertionM -> Any
override def label(string: String): Assertion[A]

Labels this assertion with the specified string.

Labels this assertion with the specified string.

Definition Classes
override def negate: Assertion[A]

Returns the negation of this assertion.

Returns the negation of this assertion.

Definition Classes
def runM: (=> A) => AssertResultM
def test(a: A): Boolean

Tests the assertion to see if it would succeed on the given element.

Tests the assertion to see if it would succeed on the given element.

override def toString: String

Provides a meaningful string rendering of the assertion.

Provides a meaningful string rendering of the assertion.

Definition Classes
Function1 -> AssertionM -> Any
def ||[A1 <: A](that: => Assertion[A1]): Assertion[A1]

Returns a new assertion that succeeds if either assertion succeeds.

Returns a new assertion that succeeds if either assertion succeeds.

Inherited methods

def &&[A1 <: A](that: => AssertionM[A1]): AssertionM[A1]

Returns a new assertion that succeeds only if both assertions succeed.

Returns a new assertion that succeeds only if both assertions succeed.

Inherited from:
AssertionM
def andThen[A](g: AssertResult => A): T1 => A
Inherited from:
Function1
def compose[A](g: A => => A): A => R
Inherited from:
Function1
def ||[A1 <: A](that: => AssertionM[A1]): AssertionM[A1]

Returns a new assertion that succeeds if either assertion succeeds.

Returns a new assertion that succeeds if either assertion succeeds.

Inherited from:
AssertionM

Concrete fields

val run: (=> A) => AssertResult