How to view a specification: in the LSC editor and in the UML editor

From WeizmannWiki
Revision as of 15:26, 25 February 2014 by Smadar (Talk | contribs)

Jump to: navigation, search

An LSC specification can be viewed using the LSC editor. Since PlayGo contains the UML variant of LSC, one can also view the LSC specification using the UML editor provided as part of the UML Eclipse plugin.

  • To view a model using LSC editor, double click a .lsc file or right-click it and choose Open With --> LSC Editor
  • To view a model using the UML editor, right-click a .lsc file and choose Open With --> UML Model Editor.