8586878889909192939495
match = p; break; } } if (match != null) { port.notify(match); } else { port.notify(null); iter.remove(); } }
8788899091929394959697
} } if (match != null) { port.notify(match); } else { port.notify(null); iter.remove(); } } for (OutputPortContext port : update.ports()) {