Difference between revisions of "PlayGo HowTo"
From WeizmannWiki
| Line 1: | Line 1: | ||
| − | *[[ | + | *[[Getting Started with PlayGo#Create_your_First_LSC_Project|How to create a new LSC project]] |
| − | *[[How to create a system model]] | + | *[[How to create a system model]] |
| − | *[[How to Play-In | How to play in]] | + | *[[How to Play-In|How to play in]] |
| − | *[[How to Play-Out|How to play out]] | + | *[[How to Play-Out|How to play out]] |
| − | *[[How to debug]] | + | *[[How to debug]] |
| − | *[[How to play out with | + | *[[How to play-out with system model]] |
| − | *[[How to change a play-out strategy]] | + | *[[How to change a play-out strategy]] |
| − | *[[How to create an LSC specification using the Java API]] | + | *[[How to implement Universal Binding|How to implement universal binding]] |
| − | *[[How to view a specification: in the LSC editor and in the UML editor]] | + | *[[How to create an LSC specification using the Java API]] |
| − | *[[How to see the locations in the LSC | + | *[[How to view a specification: in the LSC editor and in the UML editor|How to view LSC specification using the LSC editor or the UML editor]] |
| − | *[[How to change the way elements are shown in the LSC editor]] | + | *[[How to see the locations in the LSC editor]] |
| − | *[[Multiple model files|How to work with multiple model files]] | + | *[[How to change the way elements are shown in the LSC editor]] |
| − | *[[How to generate a Tracer log]] | + | *[[Multiple model files|How to work with multiple model files]] |
| − | *[[How to generate and view a TraceVis log]] | + | *[[How to generate a Tracer log|How to generate and view a Trace log]] |
| − | *[[ | + | *[[How to generate and view a TraceVis log]] |
| + | *[[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 15:18, 25 February 2014
- How to create a new LSC project
- How to create a system model
- How to play in
- How to play out
- How to debug
- How to play-out with system model
- How to change a play-out strategy
- How to implement universal binding
- How to create an LSC specification using the Java API
- How to view LSC specification using the LSC editor or 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 work with multiple model files
- How to generate and view a Trace log
- How to generate and view a TraceVis log
- How to define a play-in-able Swing GUI application
- How to run an LSC project outside the context of PlayGo
