def test_contains_equivalent_parent(self): claim1 = claims.ClaimInitializes("a") parent = claims.ClaimSpace() child = claims.ClaimSpace(parent=parent) assert not child.contains_equivalent(claim1) parent.add_claims_conservative(claim1) assert child.contains_equivalent(claim1)
def test_include_from(self): claim1 = claims.ClaimInitializes("a") claim2 = claims.ClaimInitializes("b") space1 = claims.ClaimSpace([claim1]) space2 = claims.ClaimSpace([claim2]) space1.include_from(space2) assert set(space1.claims) == {claim1, claim2} assert set(space2.claims) == {claim2}
def test_intersection(self): claim1 = claims.ClaimInitializes("a") claim2 = claims.ClaimInitializes("b") space1 = claims.ClaimSpace([claim1, claim2]) space2 = claims.ClaimSpace([claim1]) assert set(space1.intersection(space2).claims) == {claim1} space2.add_claims_conservative(claim2) assert set(space1.intersection(space2).claims) == {claim1, claim2}
def test_union(self): claim1 = claims.ClaimInitializes("a") claim2 = claims.ClaimInitializes("b") space1 = claims.ClaimSpace([claim1]) space2 = claims.ClaimSpace([claim2]) assert set(space1.union(space2).claims) == {claim1, claim2} returns = claims.ClaimReturns() space2.add_claims_conservative(returns) assert set(space1.union(space2).claims) == {claim1, claim2, returns}
def test_contains_equivalent(self): claim1 = claims.ClaimInitializes("a") space = claims.ClaimSpace([claim1]) assert space.contains_equivalent(claims.ClaimInitializes("a")) assert not space.contains_equivalent(claims.ClaimInitializes("b")) space.add_claims_conservative(claims.ClaimInitializes("b")) assert space.contains_equivalent(claims.ClaimInitializes("b"))
def test_add_claims(self): claim = claims.ClaimReturns() claim2 = claims.ClaimReturns() space = claims.ClaimSpace() space.add_claims_conservative(claim) assert space.claims == [claim] space.add_claims_conservative(claim2) assert space.claims == [claim] and space.claims[0] is claim space.add_claims_pushy(claim2) assert space.claims == [claim2] and space.claims[0] is claim2 space2 = claims.ClaimSpace() init_claim = claims.ClaimInitializes("a") space2.add_claims_conservative(init_claim) space2.add_claims_conservative(claims.ClaimInitializes("a")) assert space2.claims == [init_claim] and space2.claims[0] is init_claim init_claim2 = claims.ClaimInitializes("b") space2.add_claims_conservative(init_claim2) assert space2.claims == [init_claim, init_claim2] and space2.claims[0] is init_claim and space2.claims[1] is init_claim2