public class DistributedSDFReceiver extends SDFReceiver
SDFReceiver
_waitingTokens, INFINITE_CAPACITY
Constructor and Description |
---|
DistributedSDFReceiver()
Construct an empty receiver with no container and unique ID.
|
DistributedSDFReceiver(int size)
Construct an empty receiver with no container, given size and
unique ID.
|
DistributedSDFReceiver(java.lang.Integer newID)
Construct an empty receiver with no container and a given ID.
|
DistributedSDFReceiver(IOPort container)
Construct an empty receiver with the specified container and
unique ID.
|
DistributedSDFReceiver(IOPort container,
int size)
Construct an empty receiver with the specified container, size and
unique ID.
|
Modifier and Type | Method and Description |
---|---|
java.lang.Integer |
getID()
Return the ID of the receiver.
|
clear, elementList, get, get, getArray, getCapacity, getHistoryCapacity, hasRoom, hasRoom, hasToken, hasToken, historyElements, historySize, put, setCapacity, setHistoryCapacity, size
getContainer, getCurrentTime, getModelTime, isKnown, putArray, putArrayToAll, putToAll, reset, setContainer, toString
public DistributedSDFReceiver()
public DistributedSDFReceiver(int size)
size
- The size of the queue in the receiver.public DistributedSDFReceiver(IOPort container) throws IllegalActionException
container
- The container of the receiver.IllegalActionException
- If the container does
not accept this receiver.public DistributedSDFReceiver(IOPort container, int size) throws IllegalActionException
container
- The container of the receiver.size
- The size of the queue in the receiver.IllegalActionException
- If the container does
not accept this receiver.public DistributedSDFReceiver(java.lang.Integer newID)
newID
- The new ID for the Receiver.