Difference between revisions of "PlayGo HowTo"

From WeizmannWiki
Jump to: navigation, search
Baby Monitor Specification > File:WristWatchExampleSwingGUI.zip > File:SystemModel.callMessage.self.png > Wristwatch Example > PlayGo HowTo
Revision as of 09:54, 29 November 2012 (view source)
Smadar (Talk | contribs)
← Older edit
Revision as of 09:54, 29 November 2012 (view source)
Smadar (Talk | contribs)
Newer edit →
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 Play-Out|How to play-out]]
 
*[[How to debug]]
 
*[[How to debug]]
 
*[[How to play-out with system model]]
 
*[[How to play-out with system model]]

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 play-out
  • 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
Retrieved from "https://wiki.weizmann.ac.il/playgo/index.php?title=PlayGo_HowTo&oldid=594"

Navigation menu

Views

  • Page
  • Discussion
  • View source
  • History

Personal tools

  • 10.150.52.13
  • Talk for this IP address
  • Log in

Navigation

  • Main page
  • Recent changes
  • Random page

 

Tools

  • What links here
  • Related changes
  • Special pages
  • Printable version
  • Permanent link
  • Page information
Powered by MediaWiki
  • Privacy policy
  • About WeizmannWiki
  • Disclaimers