scalatestCoreDotty
API
Generated with
scalatestCoreDotty/org.scalatest/Fact

Fact

org.scalatest.Fact
See theFact companion class
object Fact

Companion object for the Fact trait.

Attributes

Companion
class
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Fact.type

Members list

Type members

Classlikes

class Binary_&(left: Fact, right: Fact, messageFun: Option[Option[String] => Option[String]]) extends Fact

Represents a binary logical AND operation between two Fact instances.

Represents a binary logical AND operation between two Fact instances.

Value parameters

left

The left-hand side Fact instance of the AND operation.

messageFun

An optional message function to modify messages.

right

The right-hand side Fact instance of the AND operation.

Attributes

Companion
object
Supertypes
class Fact
class Object
trait Matchable
class Any
Known subtypes
class Binary_&&
object Binary_&

Represents a binary logical AND operation between two Fact instances. This is a factory object used to create Binary_& instances.

Represents a binary logical AND operation between two Fact instances. This is a factory object used to create Binary_& instances.

Attributes

Companion
class
Supertypes
class Object
trait Matchable
class Any
Self type
Binary_&.type
class Binary_&&(left: Fact, right: Fact, messageFun: Option[Option[String] => Option[String]]) extends Binary_&

Represents a binary logical AND operation between two Fact instances, enforcing that the left-hand side Fact instance is yes.

Represents a binary logical AND operation between two Fact instances, enforcing that the left-hand side Fact instance is yes.

Value parameters

left

The left-hand side Fact instance of the AND operation. It must be a yes fact.

messageFun

An optional message function to modify the messages.

right

The right-hand side Fact instance of the AND operation.

Attributes

Throws
IllegalArgumentException

If the left Fact instance is not a yes fact.

Companion
object
Supertypes
class Binary_&
class Fact
class Object
trait Matchable
class Any
object Binary_&&

Represents a binary logical AND operation between two Fact instances, enforcing that the left-hand side Fact instance is yes. This is a factory object used to create Binary_&& instances.

Represents a binary logical AND operation between two Fact instances, enforcing that the left-hand side Fact instance is yes. This is a factory object used to create Binary_&& instances.

Attributes

Companion
class
Supertypes
class Object
trait Matchable
class Any
Self type
Binary_&&.type
class Binary_|(left: Fact, right: Fact, messageFun: Option[Option[String] => Option[String]]) extends Fact

Attributes

Companion
object
Supertypes
class Fact
class Object
trait Matchable
class Any
Known subtypes
class Binary_||
object Binary_|

Attributes

Companion
class
Supertypes
class Object
trait Matchable
class Any
Self type
Binary_|.type
class Binary_||(left: Fact, right: Fact, messageFun: Option[Option[String] => Option[String]]) extends Binary_|

Attributes

Companion
object
Supertypes
class Binary_|
class Fact
class Object
trait Matchable
class Any
object Binary_||

Attributes

Companion
class
Supertypes
class Object
trait Matchable
class Any
Self type
Binary_||.type
class Implies(left: Fact, right: Fact, messageFun: Option[Option[String] => Option[String]]) extends Fact

Attributes

Companion
object
Supertypes
class Fact
class Object
trait Matchable
class Any
object Implies

Attributes

Companion
class
Supertypes
class Object
trait Matchable
class Any
Self type
Implies.type
class IsEqvTo(left: Fact, right: Fact, messageFun: Option[Option[String] => Option[String]]) extends Fact

Attributes

Companion
object
Supertypes
class Fact
class Object
trait Matchable
class Any
object IsEqvTo

Attributes

Companion
class
Supertypes
class Object
trait Matchable
class Any
Self type
IsEqvTo.type
case class Leaf(rawFactMessage: String, rawSimplifiedFactMessage: String, rawMidSentenceFactMessage: String, rawMidSentenceSimplifiedFactMessage: String, factMessageArgs: IndexedSeq[Any], simplifiedFactMessageArgs: IndexedSeq[Any], midSentenceFactMessageArgs: IndexedSeq[Any], midSentenceSimplifiedFactMessageArgs: IndexedSeq[Any], isYes: Boolean, isVacuousYes: Boolean, prettifier: Prettifier, cause: Option[Throwable]) extends Fact

Represents a leaf node in the Fact tree, which is a concrete Fact with known boolean values.

Represents a leaf node in the Fact tree, which is a concrete Fact with known boolean values.

Value parameters

cause

An optional cause Throwable associated with the fact.

factMessageArgs

Arguments used to format the rawFactMessage.

isVacuousYes

Indicates whether the fact is a vacuous yes, which means true in a sense but without meaningful assertions.

isYes

Indicates whether the fact is evaluated to true.

midSentenceFactMessageArgs

Arguments used to format the rawMidSentenceFactMessage.

midSentenceSimplifiedFactMessageArgs

Arguments used to format the rawMidSentenceSimplifiedFactMessage.

prettifier

A prettifier used to format the messages when constructing failure messages.

rawFactMessage

The raw message representing the fact.

rawMidSentenceFactMessage

The raw mid-sentence message representing the fact.

rawMidSentenceSimplifiedFactMessage

The raw mid-sentence simplified message representing the fact.

rawSimplifiedFactMessage

The raw simplified message representing the fact.

simplifiedFactMessageArgs

Arguments used to format the rawSimplifiedFactMessage.

Attributes

Throws
IllegalArgumentException

if isVacuousYes is true but isYes is false.

Supertypes
trait Serializable
trait Product
trait Equals
class Fact
class Object
trait Matchable
class Any
Show all
object No

Companion object for the No case class.

Companion object for the No case class.

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
No.type
case class Unary_!(underlying: Fact) extends Fact

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
class Fact
class Object
trait Matchable
class Any
Show all
class VacuousYes(underlying: Fact) extends Fact

Represents a vacuous "Yes" Fact, which is a special case of Fact where the underlying Fact is No, but it is treated as Yes without meaningful assertions.

Represents a vacuous "Yes" Fact, which is a special case of Fact where the underlying Fact is No, but it is treated as Yes without meaningful assertions.

Value parameters

underlying

The underlying Fact that is treated as No but represented as Yes.

Attributes

Throws
IllegalArgumentException

if the underlying Fact's isNo is false.

Companion
object
Supertypes
class Fact
class Object
trait Matchable
class Any
object VacuousYes

A companion object for the VacuousYes class, providing factory methods to create instances of VacuousYes fact.

A companion object for the VacuousYes class, providing factory methods to create instances of VacuousYes fact.

Attributes

Companion
class
Supertypes
class Object
trait Matchable
class Any
Self type
VacuousYes.type
object Yes

Companion object for the Yes case class.

Companion object for the Yes case class.

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
Yes.type
Generated with