Difference between revisions of "The Latex to LSC Compiler"
From WeizmannWiki
| Line 13: | Line 13: | ||
After extracting the zip file you will find the following directory structure (the structure includes only directories relevant to this tutorial). Directories are marked with (D) and files with (F): | After extracting the zip file you will find the following directory structure (the structure includes only directories relevant to this tutorial). Directories are marked with (D) and files with (F): | ||
| − | <div>(D) PlayGo_4.0_19042017</div><div style="margin-left: 40px;">|</div><div style="margin-left: 40px;">(D) playgo</div><div style="margin-left: 80px;">|</div><div style="margin-left: 80px;">(F) playgo.exe</div><div style="margin-left: 40px;">(D) workspace</div><div style="margin-left: 80px;">|</div><div style="margin-left: 80px;">(D) Latex2Lsc</div><div style="margin-left: 120px;">|</div><div style="margin-left: 120px;">(F) LSC.tex</div><div style="margin-left: 120px;">(F) GeneratedLSC.lsc</div><div style="margin-left: 120px;">(D) src</div><div style="margin-left: 160px;">|</div><div style="margin-left: 160px;">(F) Latex2PlayGoCompiler.java</div> | + | <div><span style="font-family:courier new,courier,monospace;">(D) PlayGo_4.0_19042017</span></div><div style="margin-left: 40px;"><span style="font-family:courier new,courier,monospace;">|</span></div><div style="margin-left: 40px;"><span style="font-family:courier new,courier,monospace;">(D) playgo</span></div><div style="margin-left: 80px;"><span style="font-family:courier new,courier,monospace;">|</span></div><div style="margin-left: 80px;"><span style="font-family:courier new,courier,monospace;">(F) playgo.exe</span></div><div style="margin-left: 40px;"><span style="font-family:courier new,courier,monospace;">(D) workspace</span></div><div style="margin-left: 80px;"><span style="font-family:courier new,courier,monospace;">|</span></div><div style="margin-left: 80px;"><span style="font-family:courier new,courier,monospace;">(D) Latex2Lsc</span></div><div style="margin-left: 120px;"><span style="font-family:courier new,courier,monospace;">|</span></div><div style="margin-left: 120px;"><span style="font-family:courier new,courier,monospace;">(F) LSC.tex</span></div><div style="margin-left: 120px;"><span style="font-family:courier new,courier,monospace;">(F) GeneratedLSC.lsc</span></div><div style="margin-left: 120px;"><span style="font-family:courier new,courier,monospace;">(D) src</span></div><div style="margin-left: 160px;"><span style="font-family:courier new,courier,monospace;">|</span></div><div style="margin-left: 160px;"><span style="font-family:courier new,courier,monospace;">(F) Latex2PlayGoCompiler.java</span></div> |
<br/>Executin playgo.exe will start PlayGo. | <br/>Executin playgo.exe will start PlayGo. | ||
Revision as of 19:39, 17 May 2017
This page explains how to write Contextul LSCs (Con-LSC) in Latex, compile them into PlayGo LSC instances, and finally execute them.
In nutshell, these are the required steps:
- Download the PlayGo Environment.
- Add Latex Con-LSCs to LSC.tex.
- Execute the Latex2PlayGo compiler.
- Import the compiled file in PlayGo and execute it.
The PlayGo Environment
First you need to download (here) a PlayGo version that includes a template project and the Latex2PlayGo compiler.
After extracting the zip file you will find the following directory structure (the structure includes only directories relevant to this tutorial). Directories are marked with (D) and files with (F):
(D) PlayGo_4.0_19042017
|
(D) playgo
|
(F) playgo.exe
(D) workspace
|
(D) Latex2Lsc
|
(F) LSC.tex
(F) GeneratedLSC.lsc
(D) src
|
(F) Latex2PlayGoCompiler.java
Executin playgo.exe will start PlayGo.
General links:
PlayGo homepage - more information and tutorials.
