interface DoNotFilterAssertionGroupType : AssertionGroupType
An AssertionGroupType which indicates that a Reporter should not filter its AssertionGroup.assertions.
In contrast to ExplanatoryAssertionGroupType (which is a subtype), a Reporter is allowed to filter out the whole AssertionGroup.
interface ExplanatoryAssertionGroupType : DoNotFilterAssertionGroupType
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 |
|
interface SummaryAssertionGroupType : DoNotFilterAssertionGroupType
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. |