Update A4E with new private keyword available in A4 RC15

[GoogleCodeExporter]

The new release candidate of A' (RC15) provides a new keyword: private.

For details about that new keyword, see
http://alloy.mit.edu/alloy4/kb/private.php

Consequences for A4E:
Eclipse users are almost certainly Java users and I would say that they are
likely quite used to the graphical representation of public/private members
in classes in the Java outline view (green triangle for public, red for
private).

Now that the notion of private elements appear in A4, we need to have the
same kind of decorators for A4 elements in the outline view :)

From a more low level point of view, the new keyword need to be added to
the editor machinery to be correctly identified in the editor rendering.

The A4 jar file will be available in A4E plugin in a few minutes.

Original issue reported on code.google.com by daniel.l...@gmail.com on 16 Jan 2008 at 7:27

[GoogleCodeExporter]

Keywork recognized. Working on the decorator for outline view.

Original comment by lionel.d...@gmail.com on 24 Jan 2008 at 8:39

• Changed state: Started

[GoogleCodeExporter]

See http://www.eclipse.org/articles/Article-Decorators/decorators.html for 
details
about decorators within Eclipse.

Original comment by lionel.d...@gmail.com on 24 Jan 2008 at 8:49

[GoogleCodeExporter]

Original comment by daniel.l...@gmail.com on 24 Jan 2008 at 9:25

• Added labels: Milestone-M2

[GoogleCodeExporter]

For the moment, a red square does appear at the lower right corner of the A4 
object
icon when that object is private.

Original comment by rdrue...@gmail.com on 13 Mar 2008 at 9:40

• Added labels: Milestone-M3
• Removed labels: Milestone-M2

[GoogleCodeExporter]

Romuald simplified the implementation using decorators. I am closing the issue 
now.

Original comment by daniel.l...@gmail.com on 20 Mar 2008 at 8:37

• Changed state: Fixed