search

ikuraj / alloy4eclipse

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

content assist provides more than predicate names for autocompletion #102

Closed GoogleCodeExporter closed 8 years ago

GoogleCodeExporter commented 8 years ago 
when typing a command run, content assist seems to propose to complete the 
statement with names that are not restricted to predicate.

As such, there are many more proposals than one would expect (and some of them 
are incorrect).

Note that there is no problem with the check command.

Original issue reported on code.google.com by daniel.l...@gmail.com on 19 May 2011 at 7:30

GoogleCodeExporter commented 8 years ago 
The issue was caused by one example (examples/case_studies/INSLabel) that was 
using a function in a run command. We removed support for function names in the 
run command to fix that issue.

Original comment by daniel.l...@gmail.com on 25 May 2011 at 8:42