def __init__(self, result: bool):
self._result = result
self._matching_result = MatchingResult(
self._result,
renderers.Constant(
tree.Node(logic.CONSTANT_MATCHER, self._result,
(tree.StringDetail(logic.BOOLEANS[result]), ), ())),
)
self._structure = renderers.Constant(
tree.Node(logic.CONSTANT_MATCHER, None,
(tree.StringDetail(logic.BOOLEANS[result]), ), ()))
def matches_w_trace(self, model: MODEL) -> MatchingResult:
self._registry.append(model)
return MatchingResult(self._constant_result,
renderers.Constant(tree.Node(self.name,
self._constant_result,
(),
())))
def __init__(self,
mk_trace: Callable[[T], tree.Node[T]],
result: bool,
):
super().__init__(result)
self._mk_trace = mk_trace
self._matching_result = MatchingResult(
result,
renderers.Constant(mk_trace(result)),
)
def __init__(self,
name: str,
result: bool,
):
super().__init__(result)
self._name = name
self._trace_tree = tree.Node(name,
result,
(tree.StringDetail(logic.BOOLEANS[result]),),
())
self._matching_result = MatchingResult(
result,
renderers.Constant(
self._trace_tree
),
)
def f() -> NodeRenderer[None]:
return sut.Constant(node)
def of(x: bool, header: str = 'header') -> MatchingResult:
return MatchingResult(x, renderers.Constant(tree.Node.empty(header, x)))
def matches_w_trace(self, model: MODEL) -> MatchingResult:
value = self._matches(model)
return MatchingResult(
value,
renderers.Constant(tree.Node(self.NAME, value, (), ())),
)
def structure(self) -> StructureRenderer:
return renderers.Constant(tree.Node(self.NAME, None, (), ()))
def structure(self) -> StructureRenderer:
return renderers.Constant(self._mk_trace(None))
