sudoku.scxml Example File

sudoku/sudoku.scxml
 <?xml version="1.0" ?>
 <!--
 /****************************************************************************
 **
 ** 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" version="1.0"
        name="Sudoku" datamodel="ecmascript">
     <datamodel>
         <data id="initState"/>
         <data id="currentState" expr="[[]]"/>
         <data id="undoStack"/>
     </datamodel>
     <script src="sudoku.js"/>
     <state id="game">
         <onentry>
             <raise event="restart"/>
         </onentry>
         <state id="idle">
             <transition event="start" target="playing"/>
             <transition event="setup" target="unsolved">
                 <assign location="initState" expr="_event.data.initState"/>
                 <raise event="restart"/>
             </transition>
             <state id="unsolved"/>
             <state id="solved"/>
         </state>
         <state id="playing">
             <onentry>
                 <raise event="restart"/>
             </onentry>
             <transition event="tap">
                 <if cond="isValidPosition()">
                     <script>
                         calculateCurrentState();
                     </script>
                     <if cond="isSolved()">
                         <raise event="solved"/>
                     </if>
                     <raise event="update"/>
                 </if>
             </transition>
             <transition event="undo">
                 <script>
                     undo();
                 </script>
                 <raise event="update"/>
             </transition>
             <transition event="stop" target="idle"/>
             <transition event="solved" target="solved"/>
         </state>
         <transition event="restart">
             <script>
                 restart();
             </script>
             <raise event="update"/>
         </transition>
         <transition event="update">
             <send event="updateGUI">
                 <param name="currentState" expr="currentState"/>
                 <param name="initState" expr="initState"/>
             </send>
         </transition>
     </state>
 </scxml>