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

Reply via email to