def test_statement_equality(cls, operand_a, comment_a, label_name_a, operand_b,
comment_b, label_name_b):
assume(is_valid_variable_name(label_name_a))
assume(is_valid_variable_name(label_name_b))
assume((operand_a != operand_b) or (comment_a != comment_b)
or (label_name_a != label_name_b))
assert cls(operand_a, comment_a, Label(label_name_a)) != cls(
operand_b, comment_b, Label(label_name_b))
def test_instantiating_concrete_statement(cls, operand, comment, label_name):
assume(is_valid_variable_name(label_name))
label = Label(label_name)
s = cls(operand, comment, label)
assert s.operand == operand
assert s.comment == comment
assert s.label == label
def test_label_repr(cls, operand, comment, label_name):
assume(is_valid_variable_name(label_name))
label = Label(label_name)
r = repr(cls(operand, comment, label))
assert r.startswith(cls.__name__)
assert repr(operand) in r
assert repr(label) in r
assert check_balanced(r)
def test_statement_inequality_different_type(cls, operand, comment,
label_name):
assume(is_valid_variable_name(label_name))
assert cls(operand, comment, Label(label_name)) != object()
def test_statement_hash_equality(cls, operand, comment, label_name):
assume(is_valid_variable_name(label_name))
assert hash(cls(operand, comment, Label(label_name))) == hash(
cls(operand, comment, Label(label_name)))
def __init__(self, name):
if (not is_valid_variable_name(name)) or name.startswith('_'):
raise ValueError("{!r} is not a valid label name".format(name))
self._name = name
def test_label_hash_equality(name):
assume(is_valid_variable_name(name))
assert hash(Label(name)) == hash(Label(name))
def test_label_equality_differing_type(name):
assume(is_valid_variable_name(name))
assert Label(name) != object()
def test_label_equality(name):
assume(is_valid_variable_name(name))
assert Label(name) == Label(name)
def test_label_repr(name):
assume(is_valid_variable_name(name))
r = repr(Label(name))
assert r.startswith('Label')
assert name in r
assert check_balanced(r)
def test_illegal_label_name_raises_value_error(name):
assume(not is_valid_variable_name(name))
with raises(ValueError):
Label(name)
def test_label_value(name):
assume(is_valid_variable_name(name))
assert Label(name).name == name
def label_names(draw):
label_name = draw(from_regex(r'\A[A-Za-z][A-Za-z0-9_]*\Z'))
assume(is_valid_variable_name(label_name))
return label_name
