enum Request = open | close
abstract WebSocket
xor states
initial ready
[ initially no request ]
[ request = open -[request.success]--> opened ]
[ request = open -[request.failure]--> failed ]
opened
[ initially no request ]
[ request = close -[request.success]--> closed ]
[ request = close -[request.failure]--> failed ]
closed --> closed
[ no request ]
failed --> failed
[ no request ]
xor request -> Request ?
success
failure
c0_failure
webSocketOpenedClosed : WebSocket
[ ready --> request = open && request.success --> opened -->> request = close && request.success --> closed --> closed ]
keyword
WebSocket11
states
ready
c1_ready
WebSocket12
states
ready
request -> open
success
c1_success
WebSocket13
states
opened
c1_opened
WebSocket14
states
opened
request -> close
success
c2_success
WebSocket15
states
closed
c1_closed
WebSocket16
states
closed
c2_closed
webSocketOpenedFailed : WebSocket
[ ready --> request = open && request.success --> opened -->> request = close && request.failure --> failed --> failed ]
keyword
WebSocket21
states
ready
c3_ready
WebSocket22
states
ready
request -> open
success
c3_success
WebSocket23
states
opened
c3_opened
WebSocket24
states
opened
request -> close
failure
c1_failure
WebSocket25
states
failed
c1_failed
WebSocket26
states
failed
c2_failed
webSocketFailed : WebSocket
[ ready --> request = open && request.failure --> failed --> failed ]
keyword
WebSocket31
states
ready
c5_ready
WebSocket32
states
ready
request -> open
failure
c2_failure
WebSocket33
states
failed
c3_failed
WebSocket34
states
failed