Use quick fix to improve Alloy 3 to Alloy 4 move

ikuraj / alloy4eclipse

Automatically exported from code.google.com/p/alloy4eclipse

0 stars 0 forks source link

Use quick fix to improve Alloy 3 to Alloy 4 move #62

Open GoogleCodeExporter opened 8 years ago

GoogleCodeExporter commented 8 years ago

There is at least one very annoying common error when movin from Alloy 3 to
Alloy 4: parenthesis in function and predicates have been replaces by
square brackets.

It would be nice to have a quick fix feature in A4E that easily replaces
parenthesis by square brackets when such error is met.

See http://alloy.mit.edu/alloy4/quickguide/a4.html for more details and
more candidates for quick fixes.

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

GoogleCodeExporter commented 8 years ago

See 
http://wiki.eclipse.org/FAQ_How_do_I_implement_Quick_Fixes_for_my_own_language%3
F
for details to implement quick fixes.

Original comment by daniel.l...@gmail.com on 23 Apr 2008 at 8:05

GoogleCodeExporter commented 8 years ago

quick fixes and templates are now available with Xtext 2.0 so it should be 
possible to detect A3 old syntax and propose a fix.

Original comment by daniel.l...@gmail.com on 17 Apr 2012 at 6:41

GoogleCodeExporter commented 8 years ago

Original comment by daniel.l...@gmail.com on 17 Apr 2012 at 6:42

Added labels: Priority-High
Removed labels: Priority-Medium

GoogleCodeExporter commented 8 years ago

Original comment by daniel.l...@gmail.com on 17 Apr 2012 at 6:46