if (existingNamespace == null)
{
namespaces.put(prefix, namespaceURI);
// Support for Namespace
Namespace ens = WSDLFactory.eINSTANCE.createNamespace();
ens.setPrefix(prefix);
ens.setURI(namespaceURI);
getENamespaces().add(ens);
return;
}
// The prefix is taken already. Make a unique prefix
if (prefix.endsWith("1"))
prefix = prefix.substring(0, prefix.length() - 1);
for (int i = 2;; i++)
{
String newPrefix = prefix + i;
if (!namespaces.containsKey(newPrefix))
{
namespaces.put(newPrefix, namespaceURI);
// Support for Namespace
Namespace ens = WSDLFactory.eINSTANCE.createNamespace();
ens.setPrefix(prefix);
ens.setURI(namespaceURI);
getENamespaces().add(ens);
return;
}
}