if (!(receivers[channel][copy] instanceof SDFReceiver)) {
// NOTE: This should only occur if it is null.
continue;
}
SDFReceiver receiver = (SDFReceiver) receivers[channel][copy];
IOPort connectedPort = receivers[channel][copy].getContainer();
ComponentEntity connectedActor = (ComponentEntity) connectedPort
.getContainer();
// Increment the number of waiting tokens.
receiver._waitingTokens += createdTokens;
// Update the buffer size, if necessary.
int capacity = receiver.getCapacity();
if ((capacity == SDFReceiver.INFINITE_CAPACITY)
|| (receiver._waitingTokens > capacity)) {
receiver.setCapacity(receiver._waitingTokens);
}
// Only proceed if the connected actor is
// something we are scheduling.
// The most notable time when this will not be