S2A Configuration

From WeizmannWiki
Jump to: navigation, search

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:


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


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