Closed GoogleCodeExporter closed 8 years ago
Additional comments from Andrew:
This has the following advantages:
1. the run panel can contain lots of extra parameters etc. i.e. mem size for
the SAT
solver etc.
2. you can have lots of command configurations
3. you can create a special type of "runner" that launches the alloy ide and
brings
up the results in the alloy viz window
4. you can hit shift-F11 to run the last command
5. you can invoke run from an outline window.
Original comment by daniel.l...@gmail.com
on 5 Mar 2007 at 6:19
We made a basic LaunchConfiguration this week.
For the moment, it's launch all commands in the current als file opened.
We'll add features and options soon.
Original comment by AntoineB...@gmail.com
on 16 Mar 2007 at 7:21
You have currently duplicated functionalities AFAI understand the code:
- one can run commands separately in the commands view. It is just a simple
eclipse
action).
- one can launch all the commands using eclipse launch mechanism.
The launch mechanism should be applied in the command view on a single command.
I think that those functionalities should be merged before going further.
Original comment by daniel.l...@gmail.com
on 17 Mar 2007 at 10:32
The code on SVN performs the launch as expected when created using the run ...
approach.
The name displayed in the shortcut should be the name of the command, maybe
prefixed
with the als file.
Double clicking on a command launch it the old way. We need to be cautious to
have
all the commands launched via the launch mechanism.
Original comment by daniel.l...@gmail.com
on 26 Mar 2007 at 11:48
As of release 0.1.0, the Run and Run as features are now working properly.
Original comment by daniel.l...@gmail.com
on 7 Apr 2007 at 3:48
Original issue reported on code.google.com by
daniel.l...@gmail.com
on 26 Feb 2007 at 7:28