SCXML 信号機 (スタティック、ウィジェット)

コンパイルされたステートマシンを使用して信号機を実装する、ウィジェットベースのアプリケーションです。

Traffic Light Example (Static)は、クラスにコンパイルされたステートマシンの状態のアクティブプロパティに接続する方法を示します。

UI は Qt Widgets を使用して作成されています。

例の実行

Qt Creator からサンプルを実行するには、Welcome モードを開き、Examples からサンプルを選択します。詳細については、Building and Running an Example を参照してください。

ステートマシンのコンパイル

以下の行をサンプルのビルドファイルに追加して、Qt SCXML モジュールとリンクします。

qmake を使用する場合は.pro に追加します:
QT += qml scxml

次に、コンパイルするステートマシンを指定します:

STATECHARTS = ../trafficlight-common/statemachine.scxml
cmake を使用する場合はCMakeLists.txt を指定します:
find_package(Qt6 REQUIRED COMPONENTS Core Gui Qml Scxml)
target_link_libraries(trafficlight-qml-static PRIVATE
    Qt6::Core
    Qt6::Gui
    Qt6::Qml
    Qt6::Scxml
)

次に、コンパイルするステートマシンを指定します:

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

statechartディレクティブSTATECHARTSまたはqt6_add_statechartsはQt SCXMLコンパイラqscxmlc を呼び出します。このコンパイラは自動的に実行され、statemachine.hと statemachine.cppを生成します。

ステート・マシンのインスタンス化

生成されたTrafficLightStateMachine クラスをtrafficlight-widgets-static.cppファイルでインスタンス化する:

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

#include <QtWidgets/qapplication.h>

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

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

    return app.exec();
}

ステートへの接続

SCXML ファイルの中で、各ライトの状態を指定します。<onentry> 要素では、状態に入ったときに送信するイベントと、イベントを送信するまでの遅延時間(秒)を指定します。<transition> 要素では、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>

ステートへの接続は以下のように行う:

    machine->connectToState(u"red"_s, widget->redLight(), &LightWidget::switchLight);
    machine->connectToState(u"redGoingGreen"_s, widget->redLight(), &LightWidget::switchLight);
    machine->connectToState(u"yellow"_s, widget->yellowLight(), &LightWidget::switchLight);
    machine->connectToState(u"blinking"_s, widget->yellowLight(), &LightWidget::switchLight);
    machine->connectToState(u"green"_s, widget->greenLight(), &LightWidget::switchLight);

プロジェクトの例 @ code.qt.io

本ドキュメントに含まれる文書の著作権は、それぞれの所有者に帰属します。 本書で提供されるドキュメントは、Free Software Foundation が発行したGNU Free Documentation License version 1.3に基づいてライセンスされています。 Qtおよびそれぞれのロゴは、フィンランドおよびその他の国におけるThe Qt Company Ltd.の 商標です。その他すべての商標は、それぞれの所有者に帰属します。