documentation/graphs/fsm_change.dot
author Florian Pose <fp@igh-essen.com>
Fri, 06 Apr 2012 23:30:35 +0200
branchredundancy
changeset 2373 593272e5a169
parent 1804 742607c464c4
child 2513 e60c68f33e4f
permissions -rw-r--r--
Clarified fields of ec_master_state_t in redundancy case.

/* $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"]
}