private int getPortDepth(Port port) { String syntacticType = port.getSyntacticType(); if (syntacticType == null) { return 0; } else { return syntacticType.split("l\\(").length - 1; } }
private int getPortDepth(Port port) { String syntacticType = port.getSyntacticType(); if (syntacticType == null) { return 0; } else { return syntacticType.split("l\\(").length - 1; } }
public Object getValueAt(int rowIndex, int columnIndex) { switch (columnIndex) { case 0: return getPorts()[rowIndex]; case 1: return new Integer( getListDepth(getPorts()[rowIndex].getSyntacticType())); case 2: return getPrintableType(getPorts()[rowIndex].getSyntacticType()); default: return null; } }
public Object getValueAt(int rowIndex, int columnIndex) { switch (columnIndex) { case 0: return getPorts()[rowIndex]; case 1: return new Integer(getListDepth(getPorts()[rowIndex].getSyntacticType())); case 2: return getPrintableType(getPorts()[rowIndex].getSyntacticType()); default: return null; } }
/** * Check whether iteration is required */ private synchronized boolean iterationRequired() { for (Iterator i = getParents().iterator(); i.hasNext();) { Task task = (Task) i.next(); if (task instanceof PortTask) { // For each input port task check the types PortTask inputPortTask = (PortTask) task; DataThing dataThing = inputPortTask.getData(); String dataType = dataThing.getSyntacticType().split("\\'")[0]; String portType = inputPortTask.getScuflPort() .getSyntacticType().split("\\'")[0]; if (dataType.equals(portType) == false) { return true; } } } return false; }
.getSyntacticType(); DataThing portData = inputMap.get(portName); try {
String portSyntaxType = thePort.getSyntacticType(); String dataSyntaxType = newDataThing.getSyntacticType();
locatePort(outputs[i].getName()).setSyntacticType(outputs[i].getSyntacticType()); } catch (UnknownPortException upe) { Port newPort = new OutputPort(this, outputs[i].getName()); newPort.setSyntacticType(outputs[i].getSyntacticType()); locatePort(inputs[i].getName()).setSyntacticType(inputs[i].getSyntacticType()); } catch (UnknownPortException upe) { Port newPort = new InputPort(this, inputs[i].getName()); newPort.setSyntacticType(inputs[i].getSyntacticType());
+ thePort.getSyntacticType() + "</font>" + defaultText + "</html>");