public void testAdd() { Graph l = graphWith( "x R y" ); Graph r = graphWith( "x R y; p S q" ); Union u = new Union( l, r ); u.add( triple("x R y") ); assertIsomorphic( graphWith( "x R y" ), l); assertIsomorphic( graphWith( "x R y; p S q" ), r); u.add( triple("p S q") ); assertIsomorphic( graphWith( "x R y; p S q" ), l); assertIsomorphic( graphWith( "x R y; p S q" ), r); u.add( triple("r A s") ); assertIsomorphic( graphWith( "x R y; p S q; r A s" ), l); assertIsomorphic( graphWith( "x R y; p S q" ), r); }
public void testAdd() { Graph l = graphWith( "x R y" ); Graph r = graphWith( "x R y; p S q" ); Union u = new Union( l, r ); u.add( triple("x R y") ); assertIsomorphic( graphWith( "x R y" ), l); assertIsomorphic( graphWith( "x R y; p S q" ), r); u.add( triple("p S q") ); assertIsomorphic( graphWith( "x R y; p S q" ), l); assertIsomorphic( graphWith( "x R y; p S q" ), r); u.add( triple("r A s") ); assertIsomorphic( graphWith( "x R y; p S q; r A s" ), l); assertIsomorphic( graphWith( "x R y; p S q" ), r); }
@ContractTest public void testUnion() { Graph g1 = graphWith("x R y; p R q"); Graph g2 = graphWith("r Foo s; x R y"); Union u = new Union(g1, g2); assertContains("Union", "x R y", u); assertContains("Union", "p R q", u); assertContains("Union", "r Foo s", u); if (u.size() != 3) fail("oops: size of union is not 3"); u.add(triple("cats eat cheese")); assertContains("Union", "cats eat cheese", u); if (contains(g1, "cats eat cheese") == false && contains(g2, "cats eat cheese") == false) fail("oops: neither g1 nor g2 contains `cats eat cheese`"); }
@ContractTest public void testUnion() { Graph g1 = graphWith("x R y; p R q"); Graph g2 = graphWith("r Foo s; x R y"); Union u = new Union(g1, g2); assertContains("Union", "x R y", u); assertContains("Union", "p R q", u); assertContains("Union", "r Foo s", u); if (u.size() != 3) fail("oops: size of union is not 3"); u.add(triple("cats eat cheese")); assertContains("Union", "cats eat cheese", u); if (contains(g1, "cats eat cheese") == false && contains(g2, "cats eat cheese") == false) fail("oops: neither g1 nor g2 contains `cats eat cheese`"); }