### Question:
Skolemization { public RenamedNamedNull getRenamedNamedNull(String name) { return new RenamedNamedNull(getFreshName(name)); }  RenamedNamedNull getRenamedNamedNull(String name); AbstractConstant getSkolemConstant(String name, TermFactory termFactory); AbstractConstant getSkolemConstant(NamedNull namedNull, TermFactory termFactory); String getSkolemConstantName(String name); String getSkolemConstantName(NamedNull namedNull); UUID getFreshName(String name); final static String SKOLEM_IRI_PREFIX; }### Answer:
@Test public void skolemizeNamedNull_differentInstancesDifferentNames_mapsToDifferentNamedNull() { NamedNull null1 = skolemization.getRenamedNamedNull(name1); Skolemization other = new Skolemization(); NamedNull null2 = other.getRenamedNamedNull(name2); assertNotEquals(null1.getName(), null2.getName()); assertEquals(null1.getName(), skolemization.getRenamedNamedNull(name1).getName()); assertEquals(null2.getName(), other.getRenamedNamedNull(name2).getName()); }
@Test public void skolemizeNamedNull_sameName_mapsToSameNamedNull() { NamedNull null1 = skolemization.getRenamedNamedNull(name1); NamedNull null2 = skolemization.getRenamedNamedNull(name1); assertEquals(null1.getName(), null2.getName()); }
@Test public void skolemizeNamedNull_differentName_mapsToDifferentNamedNull() { NamedNull null1 = skolemization.getRenamedNamedNull(name1); NamedNull null2 = skolemization.getRenamedNamedNull(name2); assertNotEquals(null1.getName(), null2.getName()); }
@Test public void skolemizeNamedNull_differentInstances_mapsToDifferentNamedNull() { NamedNull null1 = skolemization.getRenamedNamedNull(name1); Skolemization other = new Skolemization(); NamedNull null2 = other.getRenamedNamedNull(name1); assertNotEquals(null1.getName(), null2.getName()); }