Qt SCXML Traffic Light Example (Static)

A widget-based application that uses a compiled state machine to implement a traffic light.

Article lu fois.

L'auteur

The Qt Company Ltd.

L'article

Publié le 26 janvier 2024 - Mis à jour le 26 janvier 2024

Liens sociaux

Qt SCXML Traffic Light Example (Static)▲

Traffic Light Example (Static) demonstrates how to connect to the active properties of a state in a state machine that is compiled to a class.

The UI is created using Qt Widgets.

Running the Example▲

To run the example from Qt Creator, open the Welcome mode and select the example from Examples. For more information, visit Building and Running an Example.

Compiling the State Machine▲

We link against the Qt SCXML module by adding the following lines to the example's build files.

.pro when using qmake:▲

Sélectionnez

QT += qml scxml

We then specify the state machine to compile:

Sélectionnez

STATECHARTS = ../trafficlight-common/statemachine.scxml

CMakeLists.txt when using cmake:▲

Sélectionnez

find_package(Qt6 REQUIRED COMPONENTS Core Gui Qml Scxml)

target_link_libraries(trafficlight-qml-static PUBLIC
    Qt6::Core
    Qt6::Gui
    Qt6::Qml
    Qt6::Scxml
)

We then specify the state machine to compile:

Sélectionnez

qt6_add_statecharts(trafficlight-qml-static
    ../trafficlight-common/statemachine.scxml
)

The statechart directives STATECHARTS or qt6_add_statecharts invoke the Qt SCXML Compiler, qscxmlc, which is run automatically to generate statemachine.h and statemachine.cpp, which are then added appropriately as headers and sources for compilation.

Instantiating the State Machine▲

We instantiate the generated TrafficLightStateMachine class in the trafficlight-widgets-static.cpp file, as follows:

Sélectionnez

#include "statemachine.h"
#include "../trafficlight-common/trafficlight.h"

#include &lt;QApplication&gt;

int main(int argc, char **argv)
{
    QApplication app(argc, argv);

    TrafficLightStateMachine machine;
    TrafficLight widget(&amp;machine);
    widget.show();
    machine.start();

    return app.exec();
}

Connecting to States▲

In the SCXML file, we specify states for each light: red, yellow, and green. In the <onentry> element, we specify the event to send when entering the state and the delay in seconds before sending the event. In the <transition> element, we specify the event that triggers the transition to the state specified by the target attribute:

Sélectionnez

        &lt;state id="red"&gt;
            &lt;onentry&gt;
                &lt;send event="startGoingGreen" delay="3s"/&gt;
            &lt;/onentry&gt;
            &lt;transition event="startGoingGreen" target="redGoingGreen"/&gt;
        &lt;/state&gt;

        &lt;state id="yellow" initial="greenGoingRed"&gt;
            &lt;state id="redGoingGreen"&gt;
                &lt;onentry&gt;
                    &lt;send event="goGreen" delay="1s"/&gt;
                &lt;/onentry&gt;
                &lt;transition event="goGreen" target="green"/&gt;
            &lt;/state&gt;

            &lt;state id="greenGoingRed"&gt;
                &lt;onentry&gt;
                    &lt;send event="goRed" delay="1s"/&gt;
                &lt;/onentry&gt;
                &lt;transition event="goRed" target="red"/&gt;
            &lt;/state&gt;
        &lt;/state&gt;

        &lt;state id="green"&gt;
            &lt;onentry&gt;
                &lt;send event="startGoingRed" delay="3s"/&gt;
            &lt;/onentry&gt;
            &lt;transition event="startGoingRed" target="greenGoingRed"/&gt;
        &lt;/state&gt;

We connect to the states as follows:

Sélectionnez

    machine-&gt;connectToState(QStringLiteral("red"),
                            widget-&gt;redLight(), &amp;LightWidget::switchLight);
    machine-&gt;connectToState(QStringLiteral("redGoingGreen"),
                            widget-&gt;redLight(), &amp;LightWidget::switchLight);
    machine-&gt;connectToState(QStringLiteral("yellow"),
                            widget-&gt;yellowLight(), &amp;LightWidget::switchLight);
    machine-&gt;connectToState(QStringLiteral("blinking"),
                            widget-&gt;yellowLight(), &amp;LightWidget::switchLight);
    machine-&gt;connectToState(QStringLiteral("green"),
                            widget-&gt;greenLight(), &amp;LightWidget::switchLight);

Example project▲

Example project @ code.qt.io

Vous avez aimé ce tutoriel ? Alors partagez-le en cliquant sur les boutons suivants :