Improve code completion proposals

[GoogleCodeExporter]

The current completion schemes propose both A4 identifiers and the models
identifier to the user.

One first step to improve the code completion would be to contextualize the
proposals available in the commands:
- propose only predicate name completion for run commands
- propose only assertion name completion for check commands

I guess that the IContextInformation abstraction in Eclipse is done for that.

I believe this can be done for M4 without big trouble. 

Original issue reported on code.google.com by daniel.l...@gmail.com on 11 Apr 2008 at 9:00

[GoogleCodeExporter]

Code regarding that feature has been added to SVN.

However, it looks to me that the completion proposal will not work properly is 
the
use decides to put some spaces before the run of check commands (to indent 
their model).

We should make sure that indentation does not break that feaure.

Original comment by daniel.l...@gmail.com on 23 Apr 2008 at 2:16

• Changed state: Started

[GoogleCodeExporter]

The issue is solved on SVN (692).

Original comment by daniel.l...@gmail.com on 23 Apr 2008 at 6:47

• Changed state: Fixed