Skip to content

Not Specification

not_specification

NotSpecification

Bases: ComposableSpecification[T]

Logical NOT of a specification.

Satisfied if and only if the wrapped specification is NOT satisfied.

Inherits composition operators from ComposableSpecification so that the
result of a negation is itself composable (e.g. (~a) & b).

Source code in src/forging_blocks/foundation/specification/logical_operators/not_specification.py 
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
class NotSpecification[T](ComposableSpecification[T]):
    """Logical NOT of a specification.

    Satisfied if and only if the wrapped specification is NOT satisfied.

    Inherits composition operators from ``ComposableSpecification`` so that the
    result of a negation is itself composable (e.g. ``(~a) & b``).
    """

    __slots__ = ("_wrapped_specification",)

    def __init__(self, wrapped: Specification[T]) -> None:
        self._wrapped_specification = wrapped

    def is_satisfied_by(self, candidate: T) -> bool:
        return not self._wrapped_specification.is_satisfied_by(candidate)

    def __repr__(self) -> str:
        return f"NotSpecification({self._wrapped_specification!r})"