Difference between revisions of "PlayGo Screenshots"

From WeizmannWiki
Jump to: navigation, search
(Play-out properties)
 
(38 intermediate revisions by one user not shown)
Line 1: Line 1:
[[Image:LSCEditor.jpg | LSC Editor]]
+
=== The LSC editor  ===
 +
[[Image:LSCEditor.png|800px|LSC Editor]]
 +
 
 +
<span style="color: rgb(39,64,139);"><span style="font-family: Tahoma;">Note the red and blue elements in the diagram, indicating hot and cold LSC messages and conditions. Note also the Properties pane at the bottom of the screen, currently showing the properties of the selected lifeline "memoryCard1": its binding is "dynamic", its polymorphic scope is "deep", and its type is "system"
 +
</span></span>
 +
<br/><br/><br/>
 +
----
 +
 
 +
=== Play-out  ===
 +
[[Image:playout.png|800px |Play-out]]
 +
 
 +
<span style="color: rgb(39,64,139);"><span style="font-family: Tahoma;">Demonstrating play-out and watching an LSC specification during its execution. On the left, the generated Java aspect file. At the center, the active LSCs, annotated with their current cuts. On the right, the GUI of the application under development (a Memory Game).
 +
</span></span>
 +
<br/><br/><br/>
 +
----
 +
 
 +
===LSC debugger - cut and locations ===
 +
[[Image:LSCDebug.png |800px | LSC Debugger]]
 +
 
 +
<span style="color: rgb(39,64,139);"><span style="font-family: Tahoma;">Current cut is displayed and LSCs locations are highlighted
 +
</span></span>
 +
<br/><br/><br/>
 +
----
 +
 
 +
===LSC debugger - breakpoints ===
 +
[[Image:LSCDebug2.png|800px | LSC Debugger]]
 +
 
 +
<span style="color: rgb(39,64,139);"><span style="font-family: Tahoma;">Note the red circle on the right most lifeline of the LSC, indicating a user-defined breakpoint.
 +
</span></span>
 +
<br/><br/><br/>
 +
----
 +
 
 +
===Play-out properties===
 +
[[Image:playout.properties.jpg | Play-out Properties | 800px]]
 +
 
 +
<span style="color: rgb(39,64,139);"><span style="font-family: Tahoma;">A properties dialog for play-out, allowing the engineer to select which LSCs should be compiled etc.
 +
</span></span>
 +
<br/><br/><br/>

Latest revision as of 07:23, 2 December 2012

The LSC editor

LSC Editor

Note the red and blue elements in the diagram, indicating hot and cold LSC messages and conditions. Note also the Properties pane at the bottom of the screen, currently showing the properties of the selected lifeline "memoryCard1": its binding is "dynamic", its polymorphic scope is "deep", and its type is "system"



Play-out

Play-out

Demonstrating play-out and watching an LSC specification during its execution. On the left, the generated Java aspect file. At the center, the active LSCs, annotated with their current cuts. On the right, the GUI of the application under development (a Memory Game).



LSC debugger - cut and locations

LSC Debugger

Current cut is displayed and LSCs locations are highlighted



LSC debugger - breakpoints

LSC Debugger

Note the red circle on the right most lifeline of the LSC, indicating a user-defined breakpoint.



Play-out properties

Play-out Properties

A properties dialog for play-out, allowing the engineer to select which LSCs should be compiled etc.