The AssertionBuilder and other builders to ease the creation of Assertions.
interface AssertionBuilder
Represents a builder which creates Assertions and AssertionGroups. |
|
interface AssertionBuilderFinalStep<T : Assertion>
Final step in the AssertionBuilder process, creates the desired Assertion of type T. |
|
interface AssertionGroupDescriptionAndEmptyRepresentationOption<out T : AssertionGroupType, R>
Option step which allows to specify the AssertionGroup.description -- RawString.EMPTY is used as AssertionGroup.representation. |
|
interface AssertionGroupDescriptionAndRepresentationOption<out T : AssertionGroupType, R>
Option step which allows to specify AssertionGroup.description and AssertionGroup.representation. |
|
interface AssertionsOption<out T : AssertionGroupType, out R>
Option step which allows to specify AssertionGroup.assertions. |
|
interface BasicAssertionGroupFinalStep : AssertionBuilderFinalStep<AssertionGroup>
Final step which creates an AssertionGroup with the previously defined groupType, description, representation and assertions. |
|
interface Descriptive
Defines the contract to build a DescriptiveAssertion. |
|
interface DescriptiveAssertionWithFailureHint
Defines the contract to build a DescriptiveAssertion like assertion with an additional hint which might be shown if the Descriptive.DescriptionOption.test fails. |
|
interface Explanatory
Defines the contract to build an ExplanatoryAssertion. |
|
interface
Final step which creates an AssertionGroup with an ExplanatoryAssertionGroupType based on the previously defined groupType and the explanatoryAssertions. |
|
interface
Option step which allows to specify what ExplanatoryAssertionGroupType is used as AssertionGroup.type. |
|
interface ExplanatoryGroup
Defines the contract to build an AssertionGroup with an ExplanatoryAssertionGroupType. |
|
interface FixedClaimGroup
Defines the contract to build an AssertionGroup which has a fixed AssertionGroup.holds. |
|
interface FixedClaimLikeGroup
Defines the contract to build an AssertionGroup which has a fixed AssertionGroup.holds or the like. |
|
interface PartiallyFixedClaimGroup
Defines the contract to build an AssertionGroup whose AssertionGroup.holds is a logic AND operation composed by a fixed part and its AssertionGroup.assertions. |
|
interface RepresentationOnly
Defines the contract to build an RepresentationOnlyAssertion. |
|
interface SubjectBasedOption
Contract for sub option steps which are based on a defined or absent subject of the assertion. |
typealias DefaultAssertionGroupBuilderOptions<T> = AssertionGroupDescriptionAndRepresentationOption<T, AssertionsOption<T, BasicAssertionGroupFinalStep>>
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. |
val assertionBuilder: AssertionBuilder
Returns the AssertionBuilder. |
|
val AssertionBuilder.fixedClaimGroup: FixedClaimGroup.GroupTypeOption
Builder to create an AssertionGroup whose AssertionGroup.holds is fixed (not determined based on its AssertionGroup.assertions). |
|
val AssertionBuilder.invisibleGroup: AssertionsOption<InvisibleAssertionGroupType, BasicAssertionGroupFinalStep>
Builder to create an AssertionGroup with an InvisibleAssertionGroupType -- use it only if you have several independent Assertions which should be evaluated together. |
|
val AssertionBuilder.partiallyFixedClaimGroup: PartiallyFixedClaimGroup.GroupTypeOption
Builder to create an AssertionGroup whose AssertionGroup.holds is a logic AND operation composed by a fixed part and its AssertionGroup.assertions. |
|
val AssertionBuilder.root: DefaultAssertionGroupBuilderOptions<RootAssertionGroupType>
Builder to create the root AssertionGroup -- do not use it in assertion functions; this group should only be created by AssertionCheckers. |