Improvements for Franca contract viewer

[GoogleCodeExporter]

Some improvements for the Franca contract viewer:

E1. the initial state should be marked visually. Best would be to add a small 
black circle which points to the initial state via an "init" transition.

E2. Self transitions (from a state to itself) are rendered poorly. They should 
look like a little loop.

E3. If the contract viewer is switched to full-screen (i.e., enough space 
available), the transition information (which is currently shown as a hover 
pop-up) should be rendered into the diagram. Alternatively, there could be a 
toggle button which switches between hover-based and directly in diagram.

E4. (low prio) If two states are connected by two transitions in both 
directions, it is not clear which event is connected to which direction. It 
would be nice to have two separate arrows (not one with two heads). This 
probably cannot be done with Zest...

Original issue reported on code.google.com by klaus.birken@gmail.com on 20 Jun 2013 at 7:49

[GoogleCodeExporter]

E1 and E3 are implemented on addons, E4: actually there are two separate 
arrows, it can just be hardly seen. I need to investigate how to apply custom 
bend points for arrows in Zest, this will be also useful for the self-loop (E2) 
issue. 

Original comment by szabt...@gmail.com on 23 Jun 2013 at 9:28

[GoogleCodeExporter]

E2 and E4 are also fixed, a minor adjustment will be needed for E4 after the 
https://bugs.eclipse.org/bugs/show_bug.cgi?id=324301 Zest issue is fixed. 

Original comment by szabt...@gmail.com on 26 Jun 2013 at 12:46

[GoogleCodeExporter]

All four enhancements look nice now and will be integrated for 0.8.9.

Original comment by klaus.birken@gmail.com on 26 Jun 2013 at 4:07

[GoogleCodeExporter]

Available with Franca 0.8.9.

Original comment by klaus.birken@gmail.com on 28 Aug 2013 at 9:48

• Changed state: Verified