private Element generatePortNode(Document doc, Port port) {
Element portEl = doc.createElement(EL_PORT);
portEl.setAttribute(ATR_NAME, port.getName());
portEl.setAttribute(ATR_TYPE, port.getType());
portEl.setAttribute(ATR_X, Integer.toString(port.getX()));
portEl.setAttribute(ATR_Y, Integer.toString(port.getY()));
portEl.setAttribute(ATR_PORT_CONNECTION, port.isArea() ? "area" : "");
portEl.setAttribute(ATR_STRICT, Boolean.toString(port.isStrict()));
portEl.setAttribute(ATR_MULTI, Boolean.toString(port.isMulti()));
return portEl;
}
