Exhaustive state conditions for all realtime operations.#112

Merged

mattheworiordan merged 24 commits intosourcefrom exhaustive-states

Jun 16, 2016

+305-22

Commits on Jun 16, 2016

Exhaustive state conditions for all realtime operations.

tcard
authored and
mattheworiordan
committed
Channel.attach when connection is INITIALIZED: queue operation.

tcard
authored and
mattheworiordan
committed
Actually, have INITIALIZED to always queue instead of failing.

tcard
authored and
mattheworiordan
committed
Channel.detach: when connection is CLOSED, channel is DETACHED.

tcard
authored and
mattheworiordan
committed
detach: when connection is SUSPENDED, channel is DETACHED.

tcard
authored and
mattheworiordan
committed
Unify RTN12d and RTN12e.

tcard
authored and
mattheworiordan
committed
Refine RTL6c2 and RTP16b.

tcard
authored and
mattheworiordan
committed
Attach when INITIALIZED does RTL4c.

tcard
authored and
mattheworiordan
committed
https://github.com/ably/docs/pull/112#discussion_r61354799

tcard
authored and
mattheworiordan
committed
Change connect behavior when DISCONNECTED, SUSPENDED and FAILED.

tcard
authored and
mattheworiordan
committed
RTL4e was duplicated.

tcard
authored and
mattheworiordan
committed
RTN11b: don't reuse the transport.

tcard
authored and
mattheworiordan
committed
Fix tables formatting and wording.

tcard
authored and
mattheworiordan
committed
Fix typo.

tcard
authored and
mattheworiordan
committed
Publish on INITIALIZED channel should queue.

tcard
authored and
mattheworiordan
committed
RTN12f: move immediately to CLOSING.

tcard
authored and
mattheworiordan
committed
spec: Consistent use of @null @
mattheworiordan
committed
spec: Allow a FAILED channel to be reattached
mattheworiordan
committed
spec: Few minor additions to state change effects on channel operations
mattheworiordan
committed
Exhaustive conditions for attach failures.

tcard
authored and
mattheworiordan
committed
Implicit attach only when INITIALIZED.

tcard
authored and
mattheworiordan
committed
spec: Simplify channel state rules with pending state vocab
mattheworiordan
committed
spec: Return to previous channel state on failure
mattheworiordan
committed
Sync state ops table with spec.

tcard
authored and
mattheworiordan
committed

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Exhaustive state conditions for all realtime operations.#112

Commits on Jun 16, 2016

Exhaustive state conditions for all realtime operations.

Channel.attach when connection is INITIALIZED: queue operation.

Actually, have INITIALIZED to always queue instead of failing.

Channel.detach: when connection is CLOSED, channel is DETACHED.

detach: when connection is SUSPENDED, channel is DETACHED.

Unify RTN12d and RTN12e.

Refine RTL6c2 and RTP16b.

Attach when INITIALIZED does RTL4c.

https://github.com/ably/docs/pull/112#discussion_r61354799

Change connect behavior when DISCONNECTED, SUSPENDED and FAILED.

RTL4e was duplicated.

RTN11b: don't reuse the transport.

Fix tables formatting and wording.

Fix typo.

Publish on INITIALIZED channel should queue.

RTN12f: move immediately to CLOSING.

spec: Consistent use of @null @

spec: Allow a FAILED channel to be reattached

spec: Few minor additions to state change effects on channel operations

Exhaustive conditions for attach failures.

Implicit attach only when INITIALIZED.

spec: Simplify channel state rules with pending state vocab

spec: Return to previous channel state on failure

Sync state ops table with spec.