PROB Rodin - Export error message upon warnings misleading

Description

The error message upon warnings is misleading when exporting a Rodin model; it appears that exporting failed.
See for example https://cobra.cs.uni-duesseldorf.de/svnprob/TEX_DIR/requirements_papers/2013_09_SBMF_Formal_Model_Tracing/case-study/MetaModelWRSPM_04_LL.zip

Maybe rephrase the message:

  • The file FILE.eventb was generated but the machine contains warnings. This may lead to unexpected behaviour when animating the machine.

Similarly, the message upon animating a model within Rodin should also be reworded.

Environment

None

Attachments

1
  • 29 May 2013, 10:42 AM

Gliffy Diagrams

Activity

Show:

Jenkins Build Server May 29, 2013 at 11:35 AM

Integrated in

Preview unavailable

ProB_eclipse_develop #964
Improved Error Message (https://probjira.atlassian.net/browse/PROBPLUGIN-75#icft=PROBPLUGIN-75) (Revision 7ca58084c41c8bbb988e7bd7edf8092fd88121f9)

Result = SUCCESS
jens :
Files :

  • de.prob.core/src/de/prob/eventb/translator/internal/ModelTranslator.java

Fixed

Details

Assignee

Reporter

Priority

Created May 29, 2013 at 10:42 AM
Updated September 6, 2013 at 8:42 AM
Resolved September 6, 2013 at 8:42 AM