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