Package-level declarations

The AssertionBuilder and other builders to ease the creation of Assertions.

Types

Link copied to clipboard

Represents a builder which creates Assertions and AssertionGroups.

Link copied to clipboard

Final step in the AssertionBuilder process, creates the desired Assertion of type T.

Link copied to clipboard
interface AssertionsOption<out T : AssertionGroupType, out R>

Option step which allows to specify AssertionGroup.assertions.

Link copied to clipboard
Link copied to clipboard

Type alias which can be used if only the AssertionGroupType is parameterised and the next step is an AssertionsOption which in turn has the BasicAssertionGroupFinalStep as final step.

Link copied to clipboard
interface Descriptive

Defines the contract to build a DescriptiveAssertion.

Link copied to clipboard

Defines the contract to build a DescriptiveAssertion like assertion with an additional hint which might be shown if the Descriptive.DescriptionOption.test fails.

Link copied to clipboard
interface Explanatory

Defines the contract to build an ExplanatoryAssertion.

Link copied to clipboard

Defines the contract to build an AssertionGroup with an ExplanatoryAssertionGroupType.

Link copied to clipboard
interface FixedClaimGroup

Defines the contract to build an AssertionGroup which has a fixed AssertionGroup.holds.

Link copied to clipboard

Defines the contract to build an AssertionGroup which has a fixed AssertionGroup.holds or the like.

Link copied to clipboard

Defines the contract to build an AssertionGroup whose AssertionGroup.holds is a logic AND operation composed by a fixed part and its AssertionGroup.assertions.

Link copied to clipboard

Defines the contract to build an RepresentationOnlyAssertion.

Link copied to clipboard

Contract for sub option steps which are based on a defined or absent subject of the expectation.

Properties

Link copied to clipboard
Link copied to clipboard
Link copied to clipboard

Builder to create an AssertionGroup with an InvisibleAssertionGroupType -- use it only if you have several independent Assertions which should be evaluated together.

Link copied to clipboard

Builder to create an AssertionGroup whose AssertionGroup.holds is a logic AND operation composed by a fixed part and its AssertionGroup.assertions.

Link copied to clipboard

Builder to create the root AssertionGroup -- do not use it in assertion functions; this group should only be created by RootExpects.

Functions

Link copied to clipboard

Creates an Assertion which warns the user about a bug in Atrium.

Link copied to clipboard

Defines that an ExplanatoryAssertion will be used as single Assertion in AssertionGroup.assertions where the given translatable is used as ExplanatoryAssertion.explanation.

Defines that an ExplanatoryAssertion will be used as single Assertion in AssertionGroup.assertions where the given representation is used as ExplanatoryAssertion.explanation.

Defines that an ExplanatoryAssertion will be used as single Assertion in AssertionGroup.assertions where one can configure the ExplanatoryAssertion via the given explanationStep.

Defines that an ExplanatoryAssertion will be used as single Assertion in AssertionGroup.assertions where the given translatable -- which is used in an TranslatableWithArgs together with the given arguments (arg and optionally otherArgs) -- is used as ExplanatoryAssertion.explanation.

Link copied to clipboard

Option to create a DescriptiveAssertion like assertion with an additional hint which might be shown if the Descriptive.DescriptionOption.test fails.

Link copied to clipboard

Option to create a DescriptiveAssertion like assertion with an additional hint which is based on the subject of the expectation and which is only shown if the subject is defined (and optionally based on a given showOnlyIf predicate).

Link copied to clipboard

Option to create a DescriptiveAssertion like assertion with an additional hint (which is based on the subject of the expectation) which might be shown if the Descriptive.DescriptionOption.test fails.