def test_disjoint_set_initialization_errors():
# Constructing from non-disjoint sets should raise an exception
with pytest.raises(spack.error.SpecError) as exc_info:
disjoint_sets(('a', 'b'), ('b', 'c'))
assert 'sets in input must be disjoint' in str(exc_info.value)
# A set containing the reserved item 'none' along with other items
# should raise an exception
with pytest.raises(spack.error.SpecError) as exc_info:
disjoint_sets(('a', 'b'), ('none', 'c'))
assert "The value 'none' represents the empty set," in str(exc_info.value)
def test_disjoint_set_fluent_methods():
# Construct an object without the empty set
d = disjoint_sets(('a', ), ('b', 'c'), ('e', 'f')).prohibit_empty_set()
assert set(('none', )) not in d.sets
# Call this 2 times to check that no matter whether
# the empty set was allowed or not before, the state
# returned is consistent.
for _ in range(2):
d = d.allow_empty_set()
assert set(('none', )) in d.sets
assert 'none' in d
assert 'none' in [x for x in d]
assert 'none' in d.feature_values
# Marking a value as 'non-feature' removes it from the
# list of feature values, but not for the items returned
# when iterating over the object.
d = d.with_non_feature_values('none')
assert 'none' in d
assert 'none' in [x for x in d]
assert 'none' not in d.feature_values
# Call this 2 times to check that no matter whether
# the empty set was allowed or not before, the state
# returned is consistent.
for _ in range(2):
d = d.prohibit_empty_set()
assert set(('none', )) not in d.sets
assert 'none' not in d
assert 'none' not in [x for x in d]
assert 'none' not in d.feature_values
def test_disjoint_set_initialization():
# Test that no error is thrown when the sets are disjoint
d = disjoint_sets(('a', ), ('b', 'c'), ('e', 'f'))
assert d.default == 'none'
assert d.multi is True
assert set(x for x in d) == set(['none', 'a', 'b', 'c', 'e', 'f'])