new W3CDateFormat().parse("2006-06-01"));
assertEquals(4, retrievedGraph.size());
}
public void testCrossoverIFP() throws Exception {
ToyClock clock = new ToyClock();
Store store = getStoreImpl(clock);
Source source0 = new SourceImpl("http://example.org/graph-source0");
Source source1 = new SourceImpl("http://example.org/graph-source1");
Source source2 = new SourceImpl("http://example.org/graph-source2");
Source source3 = new SourceImpl("http://example.org/graph-source3");
Model model0 = modelWithStatements("_a dc:subject 'hello'; _a http://xmlns.com/foaf/0.1/mbox 'm'; _a http://xmlns.com/foaf/0.1/mbox 'n'");
Model model1 = modelWithStatements("_a rdfs:label 'hi'; _a http://xmlns.com/foaf/0.1/mbox 'm'");
Model model2 = modelWithStatements("_a rdfs:comment 'foo'; _a http://xmlns.com/foaf/0.1/mbox 'n'; _a http://xmlns.com/foaf/0.1/mbox 'o'");
Model model3 = modelWithStatements("_a rdfs:comment 'bar'; _a http://xmlns.com/foaf/0.1/mbox 'o'");
FCAGraph graph0 = new FCAGraphImpl(model0);
FCAGraph graph1 = new FCAGraphImpl(model1);
FCAGraph graph2 = new FCAGraphImpl(model2);
FCAGraph graph3 = new FCAGraphImpl(model3);
clock.setTime(new W3CDateFormat()
.parse("2006-05-01T16:30:00Z"));
store.updateGraph(source0, graph0);
clock.setTime(new W3CDateFormat()
.parse("2006-05-01T16:32:00Z"));
store.updateGraph(source1, graph1);
store.updateGraph(source2, graph2);
store.updateGraph(source3, graph3);
Set<Source> sourceSet = new HashSet<Source>();