public void testDelete() { Graph l = graphWith( "x R y; x R z" ); Graph r = graphWith( "x R y" ); Difference diff = new Difference( l, r ); assertIsomorphic( graphWith( "x R z" ), diff ); // case 1: remove non-existent triple is a no-op diff.delete( triple( "p S q" ) ); assertIsomorphic( graphWith( "x R z" ), diff ); assertIsomorphic( graphWith( "x R y; x R z" ), l ); assertIsomorphic( graphWith( "x R y" ), r ); // case 2: remove triple that exists in both - removes from left diff.delete( triple( "x R y" ) ); assertIsomorphic( graphWith( "x R z" ), diff ); assertIsomorphic( graphWith( "x R z" ), l ); assertIsomorphic( graphWith( "x R y" ), r ); // case 3: remove triple that exists in left is removed diff.delete( triple( "x R z" ) ); assertIsomorphic( graphWith( "" ), diff ); assertIsomorphic( graphWith( "" ), l ); assertIsomorphic( graphWith( "x R y" ), r ); } }
public void testDelete() { Graph l = graphWith( "x R y; x R z" ); Graph r = graphWith( "x R y" ); Difference diff = new Difference( l, r ); assertIsomorphic( graphWith( "x R z" ), diff ); // case 1: remove non-existent triple is a no-op diff.delete( triple( "p S q" ) ); assertIsomorphic( graphWith( "x R z" ), diff ); assertIsomorphic( graphWith( "x R y; x R z" ), l ); assertIsomorphic( graphWith( "x R y" ), r ); // case 2: remove triple that exists in both - removes from left diff.delete( triple( "x R y" ) ); assertIsomorphic( graphWith( "x R z" ), diff ); assertIsomorphic( graphWith( "x R z" ), l ); assertIsomorphic( graphWith( "x R y" ), r ); // case 3: remove triple that exists in left is removed diff.delete( triple( "x R z" ) ); assertIsomorphic( graphWith( "" ), diff ); assertIsomorphic( graphWith( "" ), l ); assertIsomorphic( graphWith( "x R y" ), r ); } }