How to create an LSC specification using the Java API

From WeizmannWiki
Jump to: navigation, search

You can create new LSCs by coding them in Java. The project, provided with the PlayGo download, contains an example for creating LSCs by coding them in Java. You can use this example as a reference for creating your own new models. The process for creating the model is as follows:

1. Write the code for creating your model. See example here.

2. Run your newly created code. As a result a new .lsc file will be created in your <PlayGo>/workspace/ directory.

3. If you wish to view the LSC diagram, double-click the .lsc file. As a result the LSC diagram will open in the LSC Editor.

You can now compile the project using S2A.