public class ServerInputPort extends InputPort
| Modifier and Type | Field and Description |
|---|---|
protected ServerPhase |
phase |
protected MultiPhasePrioServer |
server |
INPUT_PORT_NAME, prev| Constructor and Description |
|---|
ServerInputPort(MultiPhasePrioServer owner,
ServerPhase phase,
java.lang.String portName) |
| Modifier and Type | Method and Description |
|---|---|
ServerPhase |
getPhase() |
void |
handleMessageIndication(Message msg) |
getConnectedOutputPort, getConnectedPort, handleGetMessage, handleIsMessageAvailable, setConnectedOutputPortaddPortMonitor, getDelimiter, getLocalName, getMessage, getName, getOwner, isConnected, isMessageAvailable, messageIndication, removePortMonitorprotected final MultiPhasePrioServer server
protected final ServerPhase phase
public ServerInputPort(MultiPhasePrioServer owner, ServerPhase phase, java.lang.String portName)
public void handleMessageIndication(Message msg)
handleMessageIndication in class Portpublic ServerPhase getPhase()