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, setConnectedOutputPort
addPortMonitor, getDelimiter, getLocalName, getMessage, getName, getOwner, isConnected, isMessageAvailable, messageIndication, removePortMonitor
protected 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 Port
public ServerPhase getPhase()