PrefixMapper extends AbstractMapper { @Override public Predicate map(Predicate predicate) { return new Predicate(String.format(format, predicate.getIdentifier()), predicate.getArity()); } PrefixMapper(String prefix); @Override Predicate map(Predicate predicate); @Override Predicate unmap(Predicate predicate);  }
@Test public void testMapPredicate() { Predicate p = new Predicate("p",1); Mapper mapper = new PrefixMapper("prefix#"); Predicate mapped = mapper.map(p); Assert.assertEquals(new Predicate("prefix#p",1), mapped); }
@Test public void testInverseMap() { Predicate p = new Predicate("prefix#p", 1); Mapper mapper = new PrefixMapper("prefix#"); Predicate mapped = mapper.inverse().map(p); Assert.assertEquals(new Predicate("p", 1), mapped); }