PROB Rodin - Export error message upon warnings misleading
Description
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
Details
Assignee
Jens Bendisposto
Jens BendispostoReporter
Michael Leuschel
Michael LeuschelPriority
Created May 29, 2013 at 10:42 AM
Updated September 6, 2013 at 8:42 AM
Resolved September 6, 2013 at 8:42 AM
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.