search

SpriMoon / alloy4eclipse

Automatically exported from code.google.com/p/alloy4eclipse
0 stars 0 forks source link

Better integration of Run command into Eclipse #4

Closed GoogleCodeExporter closed 9 years ago

GoogleCodeExporter commented 9 years ago 
Currently, when doing a "Run as Alloy model" is chosen, the Run command is
not remembered by Eclipse, i.e. it is not possible to just click on the run
button to do it again.

Finding a way to do it would be nice.

Here is a link that might help:
http://www.eclipse.org/articles/Article-Launch-Framework/launch.html

Original issue reported on code.google.com by daniel.l...@gmail.com on 26 Feb 2007 at 7:28

GoogleCodeExporter commented 9 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

GoogleCodeExporter commented 9 years ago 
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

GoogleCodeExporter commented 9 years ago 
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

GoogleCodeExporter commented 9 years ago 
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

GoogleCodeExporter commented 9 years ago 
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