Members list
Value members
Concrete methods
Generates a fact diagram, which is a textual representation of the fact and its structure.
Generates a fact diagram, which is a textual representation of the fact and its structure.
Value parameters
- level
-
The indentation level for formatting the diagram.
Attributes
- Returns
-
The fact diagram as a string.
- Definition Classes
Get a new instance of Fact with the messages modified using the passed fun function.
Get a new instance of Fact with the messages modified using the passed fun function.
Attributes
Inherited methods
Creates a new Fact that represents a logical AND between this Fact and the provided Fact.
Creates a new Fact that represents a logical AND between this Fact and the provided Fact.
Value parameters
- rhs
-
The Fact to be combined with this Fact using a logical AND.
Attributes
- Returns
-
A new Fact representing the logical AND between this Fact and the provided Fact.
- Inherited from:
- Fact
Creates a new Fact that represents a logical AND between this Fact and the provided Fact.
Creates a new Fact that represents a logical AND between this Fact and the provided Fact.
Value parameters
- rhs
-
The Fact to be combined with this Fact using a logical AND.
Attributes
- Returns
-
A new Fact representing the logical AND between this Fact and the provided Fact.
- Inherited from:
- Fact
Construct failure message to report if a fact fails, using rawFactMessage, factMessageArgs and prettifier
Construct failure message to report if a fact fails, using rawFactMessage, factMessageArgs and prettifier
Attributes
- Returns
-
failure message to report if a fact fails
- Inherited from:
- Fact
Creates a new Fact that represents the implication (=>) between this Fact and the provided Fact.
Creates a new Fact that represents the implication (=>) between this Fact and the provided Fact.
Value parameters
- rhs
-
The Fact representing the implication's consequent.
Attributes
- Returns
-
A new Fact representing the implication between this Fact and the provided Fact.
- Inherited from:
- Fact
Creates a new Fact that represents the equivalence (eqv) between this Fact and the provided Fact.
Creates a new Fact that represents the equivalence (eqv) between this Fact and the provided Fact.
Value parameters
- rhs
-
The Fact representing the other side of the equivalence.
Attributes
- Returns
-
A new Fact representing the equivalence between this Fact and the provided Fact.
- Inherited from:
- Fact
Indicates whether the fact is a no.
Construct failure message suitable for appearing mid-sentence, using rawMidSentenceFactMessage, midSentenceFactMessageArgs and prettifier
Construct failure message suitable for appearing mid-sentence, using rawMidSentenceFactMessage, midSentenceFactMessageArgs and prettifier
Attributes
- Returns
-
failure message suitable for appearing mid-sentence
- Inherited from:
- Fact
Construct simplified failure message suitable for appearing mid-sentence, using rawMidSentenceSimplifiedFactMessage, midSentenceSimplifiedFactMessageArgs and prettifier
Construct simplified failure message suitable for appearing mid-sentence, using rawMidSentenceSimplifiedFactMessage, midSentenceSimplifiedFactMessageArgs and prettifier
Attributes
- Returns
-
simplified failure message suitable for appearing mid-sentence
- Inherited from:
- Fact
Construct simplified failure message to report if a fact fails, using rawSimplifiedFactMessage, simplifiedFactMessageArgs, and prettifier
Construct simplified failure message to report if a fact fails, using rawSimplifiedFactMessage, simplifiedFactMessageArgs, and prettifier
Attributes
- Returns
-
simplified failure message to report if a fact fails
- Inherited from:
- Fact
String prefix for this fact, return either "Yes", "VacuousYes" or "No".
String prefix for this fact, return either "Yes", "VacuousYes" or "No".
Attributes
- Inherited from:
- Fact
Convert this fact to Assertion.
Convert this fact to Assertion.
Value parameters
- pos
-
the related
Positionfor this fact.
Attributes
- Returns
-
Succeededif this fact is a yes. - Throws
-
TestCanceledException
if this fact is a vacuous yes.
TestFailedExceptionif this fact is not yes or vacuous yes.
- Inherited from:
- Fact
Convert the fact to Boolean, same as the value returned by isYes.
Negates this Fact, creating a version with the opposite value.
Negates this Fact, creating a version with the opposite value.
Attributes
- Returns
-
A version of this Fact with the opposite value.
- Inherited from:
- Fact
Creates a new Fact that represents a logical OR between this Fact and the provided Fact.
Creates a new Fact that represents a logical OR between this Fact and the provided Fact.
Value parameters
- rhs
-
The Fact to be combined with this Fact using a logical OR.
Attributes
- Returns
-
A new Fact representing the logical OR between this Fact and the provided Fact.
- Inherited from:
- Fact
Creates a new Fact that represents a logical OR between this Fact and the provided Fact.
Creates a new Fact that represents a logical OR between this Fact and the provided Fact.
Value parameters
- rhs
-
The Fact to be combined with this Fact using a logical OR.
Attributes
- Returns
-
A new Fact representing the logical OR between this Fact and the provided Fact.
- Inherited from:
- Fact
Concrete fields
Arguments used to format the rawFactMessage.
Arguments used to format the rawFactMessage.
Attributes
Indicates whether the fact is a leaf (terminal) node in a fact tree.
Indicates whether the fact is a leaf (terminal) node in a fact tree.
Attributes
Indicates whether the fact is a vacuous yes, which means true in a sense but without meaningful assertions.
Indicates whether the fact is a vacuous yes, which means true in a sense but without meaningful assertions.
Attributes
Indicates whether the fact is a yes.
Indicates whether the fact is a yes.
Attributes
Arguments used to format the rawMidSentenceFactMessage.
Arguments used to format the rawMidSentenceFactMessage.
Attributes
Arguments used to format the rawMidSentenceSimplifiedFactMessage.
Arguments used to format the rawMidSentenceSimplifiedFactMessage.
Attributes
A prettifier used to format the messages when constructing failure messages.
A prettifier used to format the messages when constructing failure messages.
Attributes
The raw message representing the fact.
The raw message representing the fact.
Attributes
The raw mid-sentence message representing the fact.
The raw mid-sentence message representing the fact.
Attributes
The raw mid-sentence simplified message representing the fact.
The raw mid-sentence simplified message representing the fact.
Attributes
The raw simplified message representing the fact.
The raw simplified message representing the fact.
Attributes
Arguments used to format the rawSimplifiedFactMessage.
Arguments used to format the rawSimplifiedFactMessage.