Difference between revisions of "PlayGo HowTo"
From WeizmannWiki
| Line 4: | Line 4: | ||
*[[How to change the way elements are shown in the LSC editor]] | *[[How to change the way elements are shown in the LSC editor]] | ||
*[[How to Play-In | How to play-in]] | *[[How to Play-In | How to play-in]] | ||
| − | |||
*[[How to debug]] | *[[How to debug]] | ||
| + | *[[How to play-out with system model]] | ||
*[[How to change a play-out strategy]] | *[[How to change a play-out strategy]] | ||
| + | *[[Multiple model files|How to work with multiple model files]] | ||
*[[How to generate a Tracer log]] | *[[How to generate a Tracer log]] | ||
*[[How to create an LSC specification using the Java API]] | *[[How to create an LSC specification using the Java API]] | ||
*[[How_to_define_play-in-able_Swing_GUI_application | How to define a play-in-able Swing GUI application]] | *[[How_to_define_play-in-able_Swing_GUI_application | How to define a play-in-able Swing GUI application]] | ||
*[[How to run an LSC project outside the context of PlayGo]] | *[[How to run an LSC project outside the context of PlayGo]] | ||
Revision as of 09:54, 29 November 2012
- How to create a new LSC project
- How to view a specification: in the LSC editor and in the UML editor
- How to see the locations in the LSC Editor
- How to change the way elements are shown in the LSC editor
- How to play-in
- How to debug
- How to play-out with system model
- How to change a play-out strategy
- How to work with multiple model files
- How to generate a Tracer log
- How to create an LSC specification using the Java API
- How to define a play-in-able Swing GUI application
- How to run an LSC project outside the context of PlayGo
