The AssertionBuilder and other builders to ease the creation of Assertions.
| interface AssertionBuilderRepresents 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 DescriptiveDefines the contract to build a DescriptiveAssertion. | |
| interface DescriptiveAssertionWithFailureHintDefines the contract to build a DescriptiveAssertion like assertion with an additional hint which might be shown if the Descriptive.DescriptionOption.test fails. | |
| interface ExplanatoryDefines 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 ExplanatoryGroupDefines the contract to build an AssertionGroup with an ExplanatoryAssertionGroupType. | |
| interface FixedClaimGroupDefines the contract to build an AssertionGroup which has a fixed AssertionGroup.holds. | |
| interface FixedClaimLikeGroupDefines the contract to build an AssertionGroup which has a fixed AssertionGroup.holds or the like. | |
| interface PartiallyFixedClaimGroupDefines the contract to build an AssertionGroup whose AssertionGroup.holds is a logic AND operation composed by a fixed part and its AssertionGroup.assertions. | |
| interface RepresentationOnlyDefines the contract to build an RepresentationOnlyAssertion. | |
| interface SubjectBasedOptionContract 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: AssertionBuilderReturns the AssertionBuilder. | |
| val AssertionBuilder.fixedClaimGroup: FixedClaimGroup.GroupTypeOptionBuilder 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.GroupTypeOptionBuilder 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. |