org.specs2.matcher

Type members

Classlikes

trait AdaptableMatcher[T] extends Matcher[T]

Inherit this trait to provide a Matcher where both the actual and the expected values can be adapted with a function.

Inherit this trait to provide a Matcher where both the actual and the expected values can be adapted with a function.

case class AlwaysMatcher[T]() extends Matcher[T]

This matcher always matches any value of type T

This matcher always matches any value of type T

This trait provides matchers which are applicable to any type of value

This trait provides matchers which are applicable to any type of value

Companion:
object
object AnyMatchers extends AnyMatchers
Companion:
class
class BeCloseTo[T](n: T, delta: T)(using evidence$6: Numeric[T]) extends Matcher[T]
class BeEqualTo(t: => Any) extends EqualityMatcher[Any]

Equality Matcher

Equality Matcher

case class BeEqualTypedValueCheck[T](expected: T)(using evidence$1: Diffable[T]) extends ValueCheck[T]

ValueCheck for a typed expected value. It uses the BeEqualTo matcher

ValueCheck for a typed expected value. It uses the BeEqualTo matcher

case class BeEqualValueCheck[T](expected: Any) extends ValueCheck[T]

ValueCheck for an untyped expected value. It uses the BeEqualTo matcher

ValueCheck for an untyped expected value. It uses the BeEqualTo matcher

class BeFalseMatcher extends Matcher[Boolean]

Matcher for a boolean value which must be true

Matcher for a boolean value which must be true

class BeGreaterThan[T](n: T)(using evidence$5: Ordering[T]) extends Matcher[T]
class BeGreaterThanOrEqualTo[T](n: T)(using evidence$4: Ordering[T]) extends Matcher[T]
class BeLessThan[T](n: T)(using evidence$3: Ordering[T]) extends Matcher[T]
class BeLessThanOrEqualTo[T](n: T)(using evidence$2: Ordering[T]) extends Matcher[T]
object BeMatching extends StringMatchers
class BeNull[T] extends Matcher[T]
case class BeOneOf[T](t: Seq[T]) extends Matcher[T]
class BeSignificantlyCloseTo[T](target: T, sf: SignificantFigures)(using evidence$7: Numeric[T]) extends Matcher[T]
class BeTheSameAs[T <: AnyRef](t: => T) extends Matcher[T]
class BeTrueMatcher extends Matcher[Boolean]

Matcher for a boolean value which must be true

Matcher for a boolean value which must be true

case class BetweenMatcher[T](t1: T, t2: T, includeStart: Boolean, includeEnd: Boolean)(using evidence$9: Ordering[T]) extends Matcher[T]
case class CanHaveDelta[S](n: S)(using evidence$1: Numeric[S])

transient class allowing the creation of a delta

transient class allowing the creation of a delta

trait Checker
Companion:
object
object Checker
Companion:
class
case class ContainWithResult[T](check: ValueCheck[T], timesMin: Option[Times], timesMax: Option[Times], checkAll: Boolean, negate: Boolean) extends Matcher[Iterable[T]]
case class ContainWithResultSeq[T](checks: Seq[ValueCheck[T]], containsAtLeast: Boolean, containsAtMost: Boolean, eachCheck: Boolean, checkOrder: Boolean, negate: Boolean) extends Matcher[Iterable[T]]
case class DataTable(titles: Seq[String], rows: Seq[DataTableRow])
Companion:
object
object DataTable
Companion:
class
case class DataTableRow(cells: Seq[String], result: Result)
Companion:
object
Companion:
class

This trait provides implicit definitions and types to create DataTables.

This trait provides implicit definitions and types to create DataTables.

A DataTable has a header defining column names and rows holding values. It is possible to apply a function taking the row values and returning a Result.

A TableHeader is defined by separating the column names with '|': "a" | "b" | "c"

A DataRow is defined by separating the row values with '!': 1 ! 2 ! 3

Note that the '!' method can conflict with the creation of Examples when the value is a string. In that case it is possible to use the '!!! method to disambiguate:

"1" !! "2" ! "3"

In that case the first column of the header can also be defined with '||' for pure symmetry reasons:

"a" || "b" | "c" "1" !! "2" ! "3"

See also:

org.specs2.matcher.DataTablesSpec for examples

Matchers for the Either datatype

Matchers for the Either datatype

Companion:
object
Companion:
class
class EqualityMatcher[T](t: => T)(using evidence$1: Diffable[T]) extends AdaptableMatcher[T]
trait EventuallyMatchers extends EventuallyResults

This trait adds the possibility to retry a given matcher until it succeeds.

This trait adds the possibility to retry a given matcher until it succeeds.

This was contributed by @robey (http://robey.lag.net)

Companion:
object

These matchers can be used to check if exceptions are thrown or not

These matchers can be used to check if exceptions are thrown or not

Companion:
object
Companion:
class
case class Expectable[+T]

The Expectable class models anything which can be checked by applying a Matcher

The Expectable class models anything which can be checked by applying a Matcher

It stores a value which is only evaluated when necessary and an optional additional description for that value.

The Expectable object is responsible for creating its own description, based on the value toString method and and an additional description.

Companion:
object
object Expectable

Factory methods for creating Expectables

Factory methods for creating Expectables

Companion:
class

This trait provides implicit definitions to transform any value into an Expectable

This trait provides implicit definitions to transform any value into an Expectable

Companion:
object
object Expectations extends Expectations
Companion:
class

Base trait to create expectations.

Base trait to create expectations.

An expectation is a value which can have an optional description and which can be matched to produce a result (for example against an expected value)

When a result is produced it can possibly be thrown as an exception based on the behaviour of the ResultChecks trait

This trait can be used in conjunction with Pattern matchers:

This trait can be used in conjunction with Pattern matchers:

List(1, 2) must beLike { case List(a, b) => ok } List(1, 2) must beLike { case List(a, b) => ko("unexpected") }

Companion:
object
Companion:
class
case class LeftCheckedMatcher[T](check: ValueCheck[T]) extends OptionLikeCheckedMatcher[Either[T, Any], T]
case class LeftMatcher[T]() extends OptionLikeMatcher[Either[T, Any], T]

Matchers for Maps

Matchers for Maps

Companion:
object
object MapMatchers extends MapMatchers
Companion:
class

this trait allows to fill-in stack traces on match results for precise location

this trait allows to fill-in stack traces on match results for precise location

trait Matcher[-T]

The Matcher trait is the base trait for any Matcher.

The Matcher trait is the base trait for any Matcher.

This trait can be extended to provide an appropriate apply method that will check an expectable value a: Expectable[T].

The result of a match is a Result

Matchers can be composed.

Implementation notes:

  • the parameter to the apply method must be a by-name parameter. This allows some values to be evaluated only when necessary.

  • However in the implementation of the apply function, it must be taken care of not evaluating the parameter twice. Assigning it to a val is the solution to this issue.

Companion:
object
object Matcher extends MatcherCreation
Companion:
class
Companion:
object
Companion:
class

This trait adds some implicits to easily fold sequences of results

This trait adds some implicits to easily fold sequences of results

Companion:
object
Companion:
class

Trait aggregating the most common specs2 matchers

Trait aggregating the most common specs2 matchers

Companion:
object
object Matchers extends Matchers
Companion:
class
Companion:
object
Companion:
class

This trait provides implicit definitions to check values with matchers by using a "must" syntax: value must matcher

This trait provides implicit definitions to check values with matchers by using a "must" syntax: value must matcher

Companion:
object
Companion:
class
Companion:
object

This trait provides implicit definitions to transform any value into an Expectable which throws exceptions when a match fails

This trait provides implicit definitions to transform any value into an Expectable which throws exceptions when a match fails

Companion:
object
case class NeverMatcher[T]() extends Matcher[T]

This matcher never matches any value of type T

This matcher never matches any value of type T

this trait doesn't fill-in stack traces

this trait doesn't fill-in stack traces

This trait can be used to cancel the effect of thrown expectations.

This trait can be used to cancel the effect of thrown expectations.

For example it can be mixed-in a mutable.Specification so that no exception is thrown on failure

trait NoTypedEqual extends TypedEqual

This trait can be used to suppress the TypedEqual implicit

This trait can be used to suppress the TypedEqual implicit

Matchers for Numerical values

Matchers for Numerical values

Companion:
object
Companion:
class

Matchers for Operation values

Matchers for Operation values

Companion:
object
Companion:
class
open class OptionLikeCheckedMatcher[T, U](typeName: String, toOption: T => Option[U], check: ValueCheck[U]) extends Matcher[T]
open class OptionLikeMatcher[T, U](typeName: String, toOption: T => Option[U]) extends Matcher[T]

Matchers for Options

Matchers for Options

Companion:
object
Companion:
class
class OrderingMatcher[T] extends Matcher[Seq[T]]
case class PlusOrMinus[S](n: S, delta: S)

class representing a numeric range

class representing a numeric range

Matchers for Results

Matchers for Results

Companion:
object
Companion:
class

Those definitions help specifying the result messages for matchers

Those definitions help specifying the result messages for matchers

Companion:
object
Companion:
class
case class RightCheckedMatcher[T](check: ValueCheck[T]) extends OptionLikeCheckedMatcher[Either[Any, T], T]
case class RightMatcher[T]() extends OptionLikeMatcher[Either[Any, T], T]
class ShouldExpectable[T] extends Expectable[T]

This kind of expectable can be followed by the verb should to apply a matcher:

This kind of expectable can be followed by the verb should to apply a matcher:

1 should beEqualTo(1)

For convenience, several shouldMatcher methods have also been defined as shortcuts to equivalent:

a should matcher

Companion:
object
Companion:
class

This trait provides implicit definitions to check values with matchers by using a "should" syntax: value should matcher

This trait provides implicit definitions to check values with matchers by using a "should" syntax: value should matcher

Companion:
object
Companion:
object

This trait provides implicit definitions to transform any value into an Expectable which throws exceptions when a match fails

This trait provides implicit definitions to transform any value into an Expectable which throws exceptions when a match fails

Companion:
object
case class SignificantFigures(number: Int)
case class SignificantTarget[T](target: T, significantFigures: SignificantFigures)(using evidence$8: Numeric[T])
class SizedCheckedMatcher[T](check: ValueCheck[Int], sizeWord: String)(using evidence$2: Sized[T]) extends Matcher[T]
class SizedMatcher[T](n: Int, sizeWord: String)(using evidence$1: Sized[T]) extends Matcher[T]
case class SomeCheckedMatcher[T](check: ValueCheck[T]) extends OptionLikeCheckedMatcher[Option[T], T]
case class SomeMatcher[T]() extends OptionLikeMatcher[Option[T], T]

The StringMatchers trait provides matchers which are applicable to String objects

The StringMatchers trait provides matchers which are applicable to String objects

Companion:
object
Companion:
class

Thrown expectations will throw a FailureException if a match fails

Thrown expectations will throw a FailureException if a match fails

This trait can be extended to be used in another framework like ScalaTest:

trait ScalaTestExpectations extends ThrownExpectations { override protected def checkResultFailure(r: =>Result) = { r match { case f @ Failure(ko, _, _, _) => throw new TestFailedException(f.message, f.exception, 0) case _ => () } m } }

Companion:
object

Lightweight ThrownExpectations trait with less implicit methods

Lightweight ThrownExpectations trait with less implicit methods

This trait can be used to integrate failures and skip messages into specs2

This trait can be used to integrate failures and skip messages into specs2

trait ThrownStandardResults extends StandardResults with ExpectationsCreation
trait TraversableMatchers extends TraversableBaseMatchers with NumberOfTimes

Matchers for traversables

Matchers for traversables

Companion:
object
case class TryFailureCheckedMatcher[T](check: ValueCheck[Throwable]) extends OptionLikeCheckedMatcher[Try[T], Throwable]
case class TryFailureMatcher[T]() extends OptionLikeMatcher[Try[T], Throwable]

Matchers for util.Try instances

Matchers for util.Try instances

case class TrySuccessCheckedMatcher[T](check: ValueCheck[T]) extends OptionLikeCheckedMatcher[Try[T], T]
case class TrySuccessMatcher[T]() extends OptionLikeMatcher[Try[T], T]
object TryeMatchers extends TryMatchers

This trait adds some implicits to create expectations with the === sign

This trait adds some implicits to create expectations with the === sign

Companion:
object
Companion:
class
trait ValueCheck[T]

Common interface for checks of a value of type T:

Common interface for checks of a value of type T:

  • a expected single value of type T
  • a Matcher[T]
  • a function returning a type R having an AsResult instance
Companion:
object
object ValueCheck
Companion:
class

implicit conversions used to create ValueChecks

implicit conversions used to create ValueChecks

Companion:
object
object ValueChecks extends ValueChecks
Companion:
class

Value members

Inherited methods

protected def checkResultFailure(r: => Result): Result

this method can be overridden to throw exceptions when checking a result

this method can be overridden to throw exceptions when checking a result

Inherited from:
ResultChecks
def createExpectable[T](t: => T, alias: String => String): Expectable[T]
Returns:

an Expectable with a description function

Inherited from:
ExpectationsCreation
def createExpectable[T](t: => T, alias: => String): Expectable[T]
Returns:

an Expectable with a description

Inherited from:
ExpectationsCreation
def createExpectable[T](t: => T): Expectable[T]
Returns:

an Expectable

Inherited from:
ExpectationsCreation
def createExpectable[T](t: => T, alias: Option[String => String]): Expectable[T]
Returns:

an Expectable with a description function

Inherited from:
ExpectationsCreation
def createExpectableWithShowAs[T](t: => T, showAs: => String): Expectable[T]
Returns:

an Expectable with a function to show the element T

Inherited from:
ExpectationsCreation
protected def mapResult(r: Result): Result

this method can be overridden to intercept a Result and modify it. It is used for example to set a stacktrace providing the location of a failure

this method can be overridden to intercept a Result and modify it. It is used for example to set a stacktrace providing the location of a failure

Inherited from:
ResultChecks
protected def sandboxResult(r: => Result): Result
Returns:

the result without any side-effects

Inherited from:
ResultChecks
protected def setStacktrace(m: Result): Result

this method can be overridden to avoid filling-in a stacktrace indicating the location of the result

this method can be overridden to avoid filling-in a stacktrace indicating the location of the result

Inherited from:
MatchResultStackTrace
def theBlock(t: => Nothing): Expectable[Nothing]
Inherited from:
ExpectationsCreation
def theValue[T](t: => T): Expectable[T]
Inherited from:
ExpectationsCreation

Extensions

Inherited extensions

extension [T](t: => T)
infix def returns(m: String)(using evidence$1: AsResult[T]): Result
Inherited from:
ReturnsSyntax
infix def returnsMatch(m: String)(using evidence$2: AsResult[T]): Result
Inherited from:
ReturnsSyntax
infix def returnsResult(m: String)(using evidence$3: AsResult[T]): Result
Inherited from:
ReturnsSyntax