Feu de circulation SCXML (Simple, QML)

Une application Qt Quick qui utilise une machine à états compilée pour mettre en œuvre un feu de circulation simplifié.

Feu de circulation avec feu vert allumé

Traffic Light montre comment se connecter aux propriétés actives d'un état dans une machine à états compilée en classe.

L'interface utilisateur est créée à l'aide de Qt Quick.

Exécution de l'exemple

Pour exécuter l'exemple à partir de Qt CreatorOuvrez le mode Welcome et sélectionnez l'exemple à partir de Examples. Pour plus d'informations, voir Qt Creator: Tutorial : Construire et exécuter.

Compilation de la machine à états

Nous établissons un lien avec le module Qt SCXML en ajoutant les lignes suivantes aux fichiers de compilation de l'exemple.

.pro si vous utilisez qmake :

QT += qml scxml

Nous spécifions ensuite la machine d'état à compiler :

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

CMakeLists.txt lors de l'utilisation de cmake :

find_package(Qt6 REQUIRED COMPONENTS Core Gui Qml Scxml)
target_link_libraries(trafficlight-qml-static PRIVATE
    Qt6::Core
    Qt6::Gui
    Qt6::Qml
    Qt6::Scxml
)

Nous spécifions ensuite la machine à états à compiler :

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

Les directives STATECHARTS ou qt6_add_statecharts invoquent le compilateur Qt SCXML, qscxmlc, qui est exécuté automatiquement pour générer statemachine.h et statemachine.cpp, qui sont ensuite ajoutés de manière appropriée en tant qu'en-têtes et sources pour la compilation.

Instanciation de la machine à états

L'instanciation de la machine à états se fait de la manière suivante :

    TrafficLightStateMachine {
        id: stateMachine
        running: true
    }

Connexion aux états

Dans le fichier SCXML, nous spécifions les états de chaque feu : rouge, jaune et vert. Dans l'élément <onentry>, nous spécifions l'événement à envoyer lors de l'entrée dans l'état et le délai en secondes avant l'envoi de l'événement. Dans l'élément <transition>, nous spécifions l'événement qui déclenche la transition vers l'état spécifié par l'attribut target:

        <state id="red">
            <onentry>
                <send event="startGoingGreen" delay="3s"/>
            </onentry>
            <transition event="startGoingGreen" target="redGoingGreen"/>
        </state>

        <state id="yellow" initial="greenGoingRed">
            <state id="redGoingGreen">
                <onentry>
                    <send event="goGreen" delay="1s"/>
                </onentry>
                <transition event="goGreen" target="green"/>
            </state>

            <state id="greenGoingRed">
                <onentry>
                    <send event="goRed" delay="1s"/>
                </onentry>
                <transition event="goRed" target="red"/>
            </state>
        </state>

        <state id="green">
            <onentry>
                <send event="startGoingRed" delay="3s"/>
            </onentry>
            <transition event="startGoingRed" target="greenGoingRed"/>
        </state>

Nous nous connectons aux états comme suit :

        Light {
            anchors.top: parent.top
            anchors.horizontalCenter: parent.horizontalCenter
            color: "red"
            visible: stateMachine.red || stateMachine.redGoingGreen
        }

        Light {
            anchors.centerIn: parent
            color: "yellow"
            visible: stateMachine.yellow || stateMachine.blinking
        }

        Light {
            anchors.bottom: parent.bottom
            anchors.horizontalCenter: parent.horizontalCenter
            color: "green"
            visible: stateMachine.green
        }
    }

Exemple de projet @ code.qt.io

© 2026 The Qt Company Ltd. Documentation contributions included herein are the copyrights of their respective owners. The documentation provided herein is licensed under the terms of the GNU Free Documentation License version 1.3 as published by the Free Software Foundation. Qt and respective logos are trademarks of The Qt Company Ltd. in Finland and/or other countries worldwide. All other trademarks are property of their respective owners.