Difference between revisions of "S2A Configuration"

From WeizmannWiki
Jump to: navigation, search
(S2A play-out properties)
Line 1: Line 1:
Basically the examples provided are configured with relative paths and should work well in your environment, but this is a good opportunity to introduce some parts of the configuration you can control.
+
Basically, the examples provided are configured with relative paths and should work well in your environment. However this is a good opportunity to introduce some parts of the configuration that you can control.
==S2A Builder Properties==
+
==S2A builder properties==
  
Right click the GWTMemoryGame project->Properties->S2A Builder:
+
Right-click the project you work on and choose Properties->PlayGo->S2A Builder:
  
 
[[Image:S2a.properties.jpeg]]
 
[[Image:S2a.properties.jpeg]]
  
As shown in the screenshot above, there are 3 tabs in which you can configure properties related to S2A Builder:
+
<br>
 +
As shown in the screenshot above, there are four tabs, in which you can configure properties related to S2A Builder:
  
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;A. S2A Compilation
+
#S2A Compilation
 +
##Source interactions on build path: Add and remove model files that you want to compile with S2A. For the models you add, you may choose which LSCs should be compiled by S2A. In other words, which LSCs will participate in the system execution.
 +
##Target Folder:  Here you specify the directory in which the generated aspects will be located.
 +
##Clear Automatically: If on, cleans the aspects directory before generating new aspects.
 +
##Polymorphism: Enable or disable polymorphism.
  
      i. Here you can add and remove models which you want to compile with S2A.
+
#Imports
 
+
##Add and remove Java packages that will be imported in the generated aspects.
For those models you add, you may choose which LSCs should be compiled by S2A. In other words, for which Interactions S2A will generate aspects.
+
##Specify the output package name: The package of the generated aspects.
 
+
#Tracing
    ii. Target Folder: here you specify the directory in which the generated aspects will be located.
+
##Generate trace: Check if you want to generate a trace/log at runtime.
    iii. Clear Automatically – if on, cleans the aspects directory before generating new aspects.
+
##Append: Check if you want to append the log to the existing log (rather then deleting and adding new content).
    iv. Polymorphism – enable or disable polymorphism.
+
##Output file: The path and name of the generated trace file. By default, the trace file is generated in the root directory of your project.
 
+
##LSCs to trace: Check those LSCs you would like to trace. Check or uncheck the model root to apply your selection on all LSCs.
B. Imports
+
#General: Currently used only for specifying the log4j configuration location.
 
+
      i. Here you may specify packages that will be imported in the generated aspects.
+
    ii. Output package name – the package of the generated aspects.
+
 
+
&nbsp;&nbsp;&nbsp;C. General – currently used only for specifying the log4j configuration location.
+
  
 
<big></big>
 
<big></big>
Line 29: Line 29:
 
==S2A play-out properties==
 
==S2A play-out properties==
  
Right click the GWTMemoryGame project->Properties->Play-Out
+
Right click your project and choose Properties->PlayGo->Play-Out
  
 
[[Image:S2a.playout.properties.jpeg]]
 
[[Image:S2a.playout.properties.jpeg]]
  
<br>Here you can choose the strategy you want to activate. Currently 2 strategies are implemented and provided as part of PlayGo:
+
<br>Here you can choose a play-out strategy from a set of [[PlayGo_Features_List#Na.C2.A8.C4.B1ve_Strategy |predefined strategies]].
#Naive strategy - which always picks up the first event from the list of enabled events.
+
#Random strategy - which picks the next event to progress with randomly, using random seed.
+

Revision as of 14:30, 18 December 2011

Basically, the examples provided are configured with relative paths and should work well in your environment. However this is a good opportunity to introduce some parts of the configuration that you can control.

S2A builder properties

Right-click the project you work on and choose Properties->PlayGo->S2A Builder:

S2a.properties.jpeg


As shown in the screenshot above, there are four tabs, in which you can configure properties related to S2A Builder:

  1. S2A Compilation
    1. Source interactions on build path: Add and remove model files that you want to compile with S2A. For the models you add, you may choose which LSCs should be compiled by S2A. In other words, which LSCs will participate in the system execution.
    2. Target Folder: Here you specify the directory in which the generated aspects will be located.
    3. Clear Automatically: If on, cleans the aspects directory before generating new aspects.
    4. Polymorphism: Enable or disable polymorphism.
  1. Imports
    1. Add and remove Java packages that will be imported in the generated aspects.
    2. Specify the output package name: The package of the generated aspects.
  2. Tracing
    1. Generate trace: Check if you want to generate a trace/log at runtime.
    2. Append: Check if you want to append the log to the existing log (rather then deleting and adding new content).
    3. Output file: The path and name of the generated trace file. By default, the trace file is generated in the root directory of your project.
    4. LSCs to trace: Check those LSCs you would like to trace. Check or uncheck the model root to apply your selection on all LSCs.
  3. General: Currently used only for specifying the log4j configuration location.

S2A play-out properties

Right click your project and choose Properties->PlayGo->Play-Out

S2a.playout.properties.jpeg


Here you can choose a play-out strategy from a set of predefined strategies.