JsonBasedNamespaceManager extends AbstractNamespaceManager { @Override public String getPrefix(String namespace) { return getNamespaceProperties(Objects.isNull(namespace) ? "" : namespace).getPrefix(); } JsonBasedNamespaceManager(File file);  JsonBasedNamespaceManager(File file, boolean local); @Override String getPrefix(String namespace); @NonNull NamespaceProperties getNamespaceProperties(String namespace); @Override boolean hasPermanentProperties(String namespace); @Override void removeNamespaceProperties(String namespace); @Override void setNamespaceProperties(String namespace, NamespaceProperties properties); @Override Map<String, NamespaceProperties> getAllNamespaces(); @Override void clear(); @Override void addAllPermanent(Collection<NamespaceProperties> properties); @Override void replaceAll(Map<String, NamespaceProperties> map); @Override boolean isPatternNamespace(String namespace); @Override boolean isSecureCollection(String namespace); @Override boolean isGeneratedNamespace(String namespace);  }
@Test public void getNamespacePrefix() { String systemTmpDir = System.getProperty("java.io.tmpdir"); File f = new File(systemTmpDir + "/org.eclipse.winery.test/namespace.json"); f.delete(); JsonBasedNamespaceManager namespaceManager = new JsonBasedNamespaceManager(f); String prefix = namespaceManager.getPrefix(Namespaces.TOSCA_WINERY_EXTENSIONS_NAMESPACE); assertEquals("winery", prefix); assertFalse(f.exists()); }