documentation/graphs/fsm_change.dot
author Martin Troxler <ch1010277@ch10pc446>
Mon, 14 Mar 2011 16:08:25 +0100
changeset 2044 1ae0491b2f6b
parent 1804 742607c464c4
child 2513 e60c68f33e4f
permissions -rw-r--r--
fixed race condition when comparing datagram state
EC_DATAGRAM_QUEUED must be compared before EC_DATAGRAM_SENT because it might change in between

/* $Id$ */

digraph change {

    start [fontname="Helvetica"]
    start -> check [weight=5]

    check [fontname="Helvetica"]
    check -> status [weight=5]
    check -> error [fontname="Helvetica", label="Response\ntimeout"]

    status [fontname="Helvetica"]
    status -> end [fontname="Helvetica", label="Success", weight=5]
    status -> code [fontname="Helvetica", label="Refuse", weight=5]
    status -> error [fontname="Helvetica", label="Change\ntimeout"]

    code [fontname="Helvetica"]
    code -> ack [weight=2]

    start_ack [fontname="Helvetica"]
    start_ack -> ack [fontname="Helvetica", label="Ack only"]

    ack [fontname="Helvetica"]
    ack -> check_ack [weight=2]

    check_ack [fontname="Helvetica"]
    check_ack -> end [fontname="Helvetica", label="Ack only"]
    check_ack -> error [weight=2]

    end [fontname="Helvetica"]

    error [fontname="Helvetica"]
}