documentation/graphs/fsm_change.dot
author Florian Pose
Tue, 06 Feb 2018 14:58:14 +0100
branchstable-1.5
changeset 2697 4f5ae7e0fbaa
parent 2513 e60c68f33e4f
permissions -rw-r--r--
Use sched_setscheduler() to set priority in user example.

/* $Id$ */

digraph change {
    node [fontname="Helvetica"]
    edge [fontname="Helvetica", fontsize="12"]

    start
    start -> check [weight=5]

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

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

    code
    code -> ack [weight=2]

    start_ack
    start_ack -> ack [label="Ack only"]

    ack
    ack -> check_ack [weight=2]

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

    end

    error
}