Package-level declarations
Contains different types of Assertions.
Types
The base interface for Assertion groups, providing a default implementation for Assertion.holds which returns true if all its assertions hold.
Represents a type of an AssertionGroup.
A marker interface for types which can be used to identify bullet points.
The AssertionGroupType for AssertionGroups whose assertions are used to explain something rather than pointing something out -- accordingly the AssertionGroup.holds should always return true.
The AssertionGroupType for AssertionGroups which contain any kind of feature assertions.
The AssertionGroupType for AssertionGroups which contain assertions which shall be grouped.
The AssertionGroupType for AssertionGroups whose assertions should be displayed in a list.
The AssertionGroupType for AssertionGroups whose assertions should not be filtered (by a Reporter) and for which an AssertionFormatter should state whether they hold or not.
The base interface for Assertions which consist of a representation of an expected result with a complementary description.
An AssertionGroupType which indicates that a Reporter should not filter its AssertionGroup.assertions.
Represents an Assertion which can be used to explain/show an instance which is eventually formatted by an ObjectFormatter in reporting -- it needs to be a child of an AssertionGroup with an ExplanatoryAssertionGroupType.
Represents the AssertionGroupType for AssertionGroups whose assertions are mainly used to explain something -- hence in the normal case it should not be of importance whether they hold or not and thus such AssertionGroups should usually return true for holds.
Represents the AssertionGroupType for AssertionGroups which contain some kind of feature assertions.
Represents the AssertionGroupType for AssertionGroups whose assertions all be reported in reporting (no filtering by a Reporter) since it represents a group of assertions made for (most likely) unrelated subjects.
The AssertionGroupType for AssertionGroups whose assertions are used to document a hint about the usage of the chosen function or rules in Atrium
The AssertionGroupType for AssertionGroups whose assertions are used to document the reason for one or multiple assertions.
Represents the AssertionGroupType for AssertionGroups whose assertions should be displayed in a manner that the user does not even notice that the Assertions have been grouped.
Represents the AssertionGroupType for AssertionGroups whose assertions should be displayed in a list (up to the Reporter if it is a list with bullets, squares etc.).
Represents the identifier for bullet points used to prefix Assertions which do not hold, in context of an AssertionGroup with type SummaryAssertionGroupType.
This class is only used as BulletPointIdentifier.
Represents the identifier for bullet points used to prefix Assertions which hold, in context of an AssertionGroup with type SummaryAssertionGroupType.
The base interface for Assertions which only consist of a representation (next to holds).
The AssertionGroupType for AssertionGroups which are the root of all assertions.
Represents the AssertionGroupType for AssertionGroups whose assertions should all be reported in reporting (no filtering by a Reporter) since it represents a summary which itself will point out which assertions hold and which do not.
The AssertionGroupType for AssertionGroups whose assertions are used to state a warning rather than making an assumption.