/**
* Gets the extNamespaces attribute of the InPort object
*
* @return The extNamespaces value
*/
public Enumeration getExtNamespaces() {
Vector v = new Vector();
int length = "External_".length();
int size = m_params.size();
for (int i = 0; i < size; i++) {
Param param = (Param) m_params.get(i);
if (param.getParamName().startsWith("External_")) {
v.add(param.getParamName().substring(length));
}
}
return v.elements();
}
