/*
* (c) Copyright 2010-2011 AgileBirds
*
* This file is part of OpenFlexo.
*
* OpenFlexo is free software: you can redistribute it and/or modify
* it under the terms of the GNU General Public License as published by
* the Free Software Foundation, either version 3 of the License, or
* (at your option) any later version.
*
* OpenFlexo is distributed in the hope that it will be useful,
* but WITHOUT ANY WARRANTY; without even the implied warranty of
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
* GNU General Public License for more details.
*
* You should have received a copy of the GNU General Public License
* along with OpenFlexo. If not, see <http://www.gnu.org/licenses/>.
*
*/
package org.openflexo.components.browser.wkf;
import java.util.Enumeration;
import javax.swing.Icon;
import org.openflexo.components.browser.BrowserElement;
import org.openflexo.components.browser.BrowserElementType;
import org.openflexo.components.browser.ProjectBrowser;
import org.openflexo.foundation.wkf.edge.FlexoPostCondition;
import org.openflexo.foundation.wkf.ws.AbstractInPort;
import org.openflexo.foundation.wkf.ws.FlexoPort;
import org.openflexo.foundation.wkf.ws.OutputPort;
import org.openflexo.icon.WKFIconLibrary;
/**
* Browser element representing a FlexoPort
*
* @author sguerin
*
*/
public class PortElement extends BrowserElement {
public PortElement(FlexoPort port, ProjectBrowser browser, BrowserElement parent) {
super(port, BrowserElementType.PORT, browser, parent);
}
@Override
protected void buildChildrenVector() {
if (getPort().isInPort()) {
addToChilds(((AbstractInPort) getPort()).getInputMessageDefinition());
}
if (getPort().isOutPort()) {
addToChilds(((OutputPort) getPort()).getOutputMessageDefinition());
}
// TODO: Add Fault Message Definition
// We add post conditions
if (getPort() instanceof AbstractInPort) {
for (Enumeration e = ((AbstractInPort) getPort()).getOutgoingPostConditions().elements(); e.hasMoreElements();) {
addToChilds((FlexoPostCondition) e.nextElement());
}
}
}
@Override
public String getName() {
return getPort().getName();
}
protected FlexoPort getPort() {
return (FlexoPort) getObject();
}
@Override
protected BrowserElementType getFilteredElementType() {
// filtered element type should be PORT and not PORT_REGISTERY
return BrowserElementType.PORT;
// return BrowserElementType.PORT_REGISTERY;
}
@Override
public Icon getIcon() {
return WKFIconLibrary.getSmallImageIconForFlexoPort(getPort());
}
@Override
public boolean isNameEditable() {
return true;
}
@Override
public void setName(String aName) {
getPort().setName(aName);
}
}