def __init__(
self,
symbol_name: str,
expectation: ValidationAssertions,
actual: ValidationActual,
):
self.actual = actual
self._expectation = expectation
self._symbol_context = StringTransformerSymbolContext.of_sdv(
symbol_name,
string_transformer_from_primitive_value(
validator=ddv_validators.constant(actual)))
self._expectation__bool = Expectation.corresponding_to(actual)
def test_unsatisfied(self):
def mk_err_msg(symbol_name: str, value_type: ValueType) -> str:
return symbol_name + ': ' + 'Value type of tested symbol is ' + str(
value_type)
def value_type_error_message_function(
symbol_name: str, container: SymbolContainer) -> TextRenderer:
sdv = container.sdv
assert isinstance(sdv, SymbolDependentValue) # Type info for IDE
return asrt_text_doc.new_single_string_text_for_test(
mk_err_msg(symbol_name, container.value_type))
references = []
referenced_symbol_cases = [
NameAndValue(
'data symbol',
TestDataSymbolContext.of('referenced_data_symbol', references,
WithStrRenderingType.STRING)),
NameAndValue(
'logic symbol',
StringTransformerSymbolContext.of_sdv(
'referenced_logic_symbol',
StringTransformerSdvConstantTestImpl(
string_transformers.arbitrary(), references=[]))),
]
for referenced_symbol_case in referenced_symbol_cases:
restrictions_that_should_not_be_used = sut.ReferenceRestrictionsOnDirectAndIndirect(
direct=ValueRestrictionThatRaisesErrorIfApplied(),
indirect=ValueRestrictionThatRaisesErrorIfApplied(),
)
value_type_of_referencing_symbol = WithStrRenderingType.STRING
value_type_other_than_referencing_symbol = WithStrRenderingType.PATH
references1 = [
reference_to(referenced_symbol_case.value,
restrictions_that_should_not_be_used)
]
referencing_symbol = TestDataSymbolContext.of(
'referencing_symbol', references1,
value_type_of_referencing_symbol)
symbol_table_entries = [
referencing_symbol, referenced_symbol_case.value
]
symbol_table = SymbolContext.symbol_table_of_contexts(
symbol_table_entries)
cases = [
NEA(
'no restriction parts / default error message generator',
asrt_data_rest.is_failure__of_direct_reference(),
sut.OrReferenceRestrictions([]),
),
NEA(
'no restriction parts / custom error message generator',
asrt_data_rest.is_failure__of_direct_reference(
message=asrt_text_doc.is_string_for_test_that_equals(
mk_err_msg(
referencing_symbol.name,
W_STR_RENDERING_TYPE_2_VALUE_TYPE[
value_type_of_referencing_symbol])), ),
sut.OrReferenceRestrictions(
[], value_type_error_message_function),
),
NEA(
'single direct: unsatisfied selector',
asrt_data_rest.is_failure__of_direct_reference(),
sut.OrReferenceRestrictions([
sut.OrRestrictionPart(
value_type_other_than_referencing_symbol,
sut.ReferenceRestrictionsOnDirectAndIndirect(
direct=ValueRestrictionWithConstantResult.
of_unconditionally_satisfied())),
]),
),
NEA(
'single direct: satisfied selector, unsatisfied part-restriction',
asrt_data_rest.is_failure__of_direct_reference(),
sut.OrReferenceRestrictions([
sut.OrRestrictionPart(
value_type_of_referencing_symbol,
sut.ReferenceRestrictionsOnDirectAndIndirect(
direct=ValueRestrictionWithConstantResult.
of_err_msg_for_test('error message'))),
]),
),
NEA(
'multiple direct: unconditionally unsatisfied selectors',
asrt_data_rest.is_failure__of_direct_reference(),
sut.OrReferenceRestrictions([
sut.OrRestrictionPart(
value_type_other_than_referencing_symbol,
sut.ReferenceRestrictionsOnDirectAndIndirect(
direct=ValueRestrictionWithConstantResult.
of_err_msg_for_test('error message'))),
sut.OrRestrictionPart(
value_type_other_than_referencing_symbol,
sut.ReferenceRestrictionsOnDirectAndIndirect(
direct=ValueRestrictionWithConstantResult.
of_err_msg_for_test('error message')))
]),
),
NEA(
'multiple direct: unconditionally satisfied selectors, unconditionally satisfied restrictions',
asrt_data_rest.is_failure__of_direct_reference(),
sut.OrReferenceRestrictions([
sut.OrRestrictionPart(
value_type_of_referencing_symbol,
sut.ReferenceRestrictionsOnDirectAndIndirect(
direct=ValueRestrictionWithConstantResult.
of_err_msg_for_test('error message'))),
sut.OrRestrictionPart(
value_type_of_referencing_symbol,
sut.ReferenceRestrictionsOnDirectAndIndirect(
direct=ValueRestrictionWithConstantResult.
of_err_msg_for_test('error message')))
]),
),
NEA(
'first: selector=satisfied, direct=satisfied, indirect=unsatisfied. second:satisfied ',
asrt_data_rest.is_failure__of_indirect_reference(
failing_symbol=asrt.equals(
referenced_symbol_case.value.name),
path_to_failing_symbol=asrt.equals([])),
sut.OrReferenceRestrictions([
sut.OrRestrictionPart(
value_type_of_referencing_symbol,
sut.ReferenceRestrictionsOnDirectAndIndirect(
direct=ValueRestrictionWithConstantResult.
of_unconditionally_satisfied(),
indirect=ValueRestrictionWithConstantResult.
of_err_msg_for_test('error message'))),
sut.OrRestrictionPart(
value_type_of_referencing_symbol,
sut.ReferenceRestrictionsOnDirectAndIndirect(
direct=ValueRestrictionWithConstantResult.
of_unconditionally_satisfied())),
]),
),
]
for case in cases:
with self.subTest(
referenced_symbol_case_name=referenced_symbol_case.
name,
msg=case.name):
actual = case.actual.is_satisfied_by(
symbol_table, referencing_symbol.name,
referencing_symbol.symbol_table_container)
case.expected.apply_with_message(self, actual,
'return value')