de.fhg.aisec.ids.comm.ws.protocol

Class ServerProtocolMachine

java.lang.Object

de.fhg.aisec.ids.comm.ws.protocol.fsm.FSM

de.fhg.aisec.ids.comm.ws.protocol.ServerProtocolMachine

public class ServerProtocolMachine
extends FSM

This class generates the Finite State Machine (FSM) for the IDS protocol.

Field Summary

Fields inherited from class de.fhg.aisec.ids.comm.ws.protocol.fsm.FSM

currentState, failChangeListeners, states, successChangeListeners

Constructor Summary

Constructors

Constructor and Description
ServerProtocolMachine(org.eclipse.jetty.websocket.api.Session sess, ServerConfiguration serverConfiguration)

Method Summary

Methods inherited from class de.fhg.aisec.ids.comm.ws.protocol.fsm.FSM

addFailChangeListener, addState, addState, addSuccessChangeListener, addTransition, feedEvent, getMetaData, getRatResult, getState, handleRatResult, reset, setInitialState, setMetaData, toDot

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

ServerProtocolMachine

public ServerProtocolMachine(org.eclipse.jetty.websocket.api.Session sess,
                             ServerConfiguration serverConfiguration)