| <?xml version="1.0" encoding="UTF-8"?> |
| <!-- |
| /**************************************************************************** |
| ** |
| ** Copyright (C) 2016 The Qt Company Ltd. |
| ** Contact: https://www.qt.io/licensing/ |
| ** |
| ** This file is part of the QtScxml module of the Qt Toolkit. |
| ** |
| ** $QT_BEGIN_LICENSE:BSD$ |
| ** Commercial License Usage |
| ** Licensees holding valid commercial Qt licenses may use this file in |
| ** accordance with the commercial license agreement provided with the |
| ** Software or, alternatively, in accordance with the terms contained in |
| ** a written agreement between you and The Qt Company. For licensing terms |
| ** and conditions see https://www.qt.io/terms-conditions. For further |
| ** information use the contact form at https://www.qt.io/contact-us. |
| ** |
| ** BSD License Usage |
| ** Alternatively, you may use this file under the terms of the BSD license |
| ** as follows: |
| ** |
| ** "Redistribution and use in source and binary forms, with or without |
| ** modification, are permitted provided that the following conditions are |
| ** met: |
| ** * Redistributions of source code must retain the above copyright |
| ** notice, this list of conditions and the following disclaimer. |
| ** * Redistributions in binary form must reproduce the above copyright |
| ** notice, this list of conditions and the following disclaimer in |
| ** the documentation and/or other materials provided with the |
| ** distribution. |
| ** * Neither the name of The Qt Company Ltd nor the names of its |
| ** contributors may be used to endorse or promote products derived |
| ** from this software without specific prior written permission. |
| ** |
| ** |
| ** THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS |
| ** "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT |
| ** LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR |
| ** A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT |
| ** OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, |
| ** SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT |
| ** LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, |
| ** DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY |
| ** THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT |
| ** (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE |
| ** OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE." |
| ** |
| ** $QT_END_LICENSE$ |
| ** |
| ****************************************************************************/ |
| --> |
| <scxml |
| xmlns="http://www.w3.org/2005/07/scxml" |
| xmlns:qt="http://theqtcompany.com/scxml/2015/06/" |
| version="1.0" |
| name="TrafficLightStateMachine" |
| initial="working" |
| > |
| <state id="working" initial="yellow"> |
| <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> |
| |
| <transition event="smash" target="broken"/> |
| </state> |
| |
| <state id="broken" initial="blinking"> |
| <state id="blinking"> |
| <onentry> |
| <send event="unblink" delay="1s"/> |
| </onentry> |
| <transition event="unblink" target="unblinking"/> |
| </state> |
| |
| <state id="unblinking"> |
| <onentry> |
| <send event="blink" delay="1s"/> |
| </onentry> |
| <transition event="blink" target="blinking"/> |
| </state> |
| |
| <transition event="repair" target="working"/> |
| </state> |
| </scxml> |