What generates sc_controller.h is the scc executable, which gets installed into the Qt directory when you make install from the scc directory. Cheers, No'am
________________________________________ From: qt-creator-boun...@trolltech.com [qt-creator-boun...@trolltech.com] On Behalf Of ext Alex T. [diox...@gmail.com] Sent: Saturday, October 23, 2010 9:04 AM To: qt-creator@trolltech.com Subject: Re: [Qt-creator] qt-scxml proyect On 22 October 2010 22:25, <noam.rosent...@nokia.com<mailto:noam.rosent...@nokia.com>> wrote: This happens when you don't run "make install" for scc, see my answer on a previous thread... ~No'am That is strange. Does 'make install' generate sc_controller.h header? I'm asking this because the compilation fails because of this header is completely mising. ________________________________________ From: qt-creator-boun...@trolltech.com<mailto:qt-creator-boun...@trolltech.com> [qt-creator-boun...@trolltech.com<mailto:qt-creator-boun...@trolltech.com>] On Behalf Of ext Alex T. [diox...@gmail.com<mailto:diox...@gmail.com>] Sent: Friday, October 22, 2010 6:59 PM To: qt-creator@trolltech.com<mailto:qt-creator@trolltech.com> Subject: Re: [Qt-creator] qt-scxml proyect I'm sorry I was wrong about git snapshot. The scc is compiled successfully, the build failed when compiling examples. 2010/10/22 "Antonio Cano Gómez" <antonio.cano.go...@ovi.com<mailto:antonio.cano.go...@ovi.com><mailto:antonio.cano.go...@ovi.com<mailto:antonio.cano.go...@ovi.com>>> Hi, I forgot to ask. Are you using some scxml editor to generate the scxml files. Thanks again for all, A. Cano ----- Mensaje original ----- De: noam.rosent...@nokia.com<mailto:noam.rosent...@nokia.com><mailto:noam.rosent...@nokia.com<mailto:noam.rosent...@nokia.com>> Para: antonio.cano.go...@ovi.com<mailto:antonio.cano.go...@ovi.com><mailto:antonio.cano.go...@ovi.com<mailto:antonio.cano.go...@ovi.com>> CC: qt-creator@trolltech.com<mailto:qt-creator@trolltech.com><mailto:qt-creator@trolltech.com<mailto:qt-creator@trolltech.com>> Asunto: RE: [Qt-creator] qt-scxml proyect Fecha: Thu, 21 Oct 2010 12:16:29 +0300 RE: [Qt-creator] qt-scxml proyect Hi Antonio Yes, adding a cloned repo or a branch to qt-labs/scxml would be the way to go and is the best way to get involved in its future. Saving an SCXML file from an existing state machine would be a worthy addition. The main thing we're looking to add right now is a creator plug-in that will visualize SCXML files as visual statecharts and will integrate them into an exiting Qt application, whether through QML or through QtDesigner. To your second question, the state machine framework is becoming pretty popular in car UIs - where the flow of the application has to be "bullet proof" - and in mobile applications that use speech. Also in applications that use the animation framework in C++ (not QML), and we have several customers that use it for things like test automations and controlling a printing system. I myself use state machines for every application I write that has more than a couple of screens. Good luck, No'am ________________________________________ From: ext Antonio Cano Gómez [antonio.cano.go...@ovi.com<mailto:antonio.cano.go...@ovi.com><mailto:antonio.cano.go...@ovi.com<mailto:antonio.cano.go...@ovi.com>>] Sent: Thursday, October 21, 2010 11:06 AM To: Rosenthal Noam (Nokia-MS-Qt/RedwoodCity) Cc: qt-creator@trolltech.com<mailto:qt-creator@trolltech.com><mailto:qt-creator@trolltech.com<mailto:qt-creator@trolltech.com>> Subject: Re: RE: [Qt-creator] qt-scxml proyect Hi Noam, Thanks you very much for your answer. I have taken a look to http://qt.gitorious.org/qt-labs/scxml. I am interested in extending Qt State Machine Framework in several ways. (Mainly in my interest for model checking). One of these ways is to add the option of saving a scxml file, from a given QStateMachine. I will do it by my self and some students. Would be nice to have some connection with you just for knowing if you are making some progress or if something of what we are doing could be useful for you. For that purpose, should I just work on http://qt.gitorious.org/qt-labs/scxml and add some branch to it? On the other hand, do you know some "BIG" program where State Machine Framework is used, and in which the well design of the state machine is really important for the behaviour of the program? (the biggest I know is sub-attaq, provided in Qt-Creator) Thank you very much for your time, Best Regards, A. Cano ----- Mensaje original ----- De: noam.rosent...@nokia.com<mailto:noam.rosent...@nokia.com><mailto:noam.rosent...@nokia.com<mailto:noam.rosent...@nokia.com>> Para: antonio.cano.go...@ovi.com<mailto:antonio.cano.go...@ovi.com><mailto:antonio.cano.go...@ovi.com<mailto:antonio.cano.go...@ovi.com>> CC: qt-creator@trolltech.com<mailto:qt-creator@trolltech.com><mailto:qt-creator@trolltech.com<mailto:qt-creator@trolltech.com>> Asunto: RE: [Qt-creator] qt-scxml proyect Fecha: Wed, 20 Oct 2010 09:31:45 +0300 RE: [Qt-creator] qt-scxml proyect Hi Antonio The Qt SCXML project is alive in the sense that it works and several people use it, including inside Nokia, but we're not putting much development on it; How could I be of assistance? No'am -------- Original Message -------- Subject: [Qt-creator] qt-scxml proyect Date: Tue, 19 Oct 2010 11:03:54 +0200 From: ext Antonio Cano Gómez Reply-To: qt-creator@trolltech.com<mailto:qt-creator@trolltech.com><mailto:qt-creator@trolltech.com<mailto:qt-creator@trolltech.com>> To: qt-creator@trolltech.com<mailto:qt-creator@trolltech.com><mailto:qt-creator@trolltech.com<mailto:qt-creator@trolltech.com>> Hi, I am professor at the university and I am interested in apply model checking to the Qt-State Machine Framework. For that purpouse, I would be very interested in knowing if the qt-scxml proyect is still alive and, if possible, to have some contact with person in that proyect. Someone could help me, please. Thanks, A. Cano -------------------------------------------------------------- Ovi Mail: Making email access easy http://mail.ovi.com _______________________________________________ Qt-creator mailing list Qt-creator@trolltech.com<mailto:Qt-creator@trolltech.com><mailto:Qt-creator@trolltech.com<mailto:Qt-creator@trolltech.com>> http://lists.trolltech.com/mailman/listinfo/qt-creator -------------------------------------------------------------- Ovi Mail: Making email access easy http://mail.ovi.com -------------------------------------------------------------- Ovi Mail: Making email access easy http://mail.ovi.com _______________________________________________ Qt-creator mailing list Qt-creator@trolltech.com<mailto:Qt-creator@trolltech.com><mailto:Qt-creator@trolltech.com<mailto:Qt-creator@trolltech.com>> http://lists.trolltech.com/mailman/listinfo/qt-creator _______________________________________________ Qt-creator mailing list Qt-creator@trolltech.com<mailto:Qt-creator@trolltech.com> http://lists.trolltech.com/mailman/listinfo/qt-creator _______________________________________________ Qt-creator mailing list Qt-creator@trolltech.com http://lists.trolltech.com/mailman/listinfo/qt-creator