MOVE diagnostic tool improvements

[GoogleCodeExporter]

The MOVE Diagnostic Tool can report several lines of diagnosed errors 
(sometimes hundreds of them!).

Some suggestions for improvements to this tool are:

1) Display aggregated/categorized errors:

Errors can be of type: Unnamed Element, Duplicated Elements, Element name is an 
OCL keyword, etc.

For exemple, if somebody wants to find just Duplicated Elements, this can´t be 
easily done.

2) Export the errors to a text file:

This would improve the search of specific errors by users, as they can use the 
text editors' "CTRL + F".

Original issue reported on code.google.com by pedropau...@gmail.com on 7 Apr 2013 at 2:50

[GoogleCodeExporter]

Original comment by johnguer...@gmail.com on 13 Apr 2013 at 7:59

• Changed state: Started
• Added labels: Priority-High
• Removed labels: Priority-Medium

[GoogleCodeExporter]

Done. 

Version of improvement: oled 0.7.5.

Original comment by johnguer...@gmail.com on 17 Apr 2013 at 12:13

• Changed state: Done