Variants trigger a translation error
Description
Environment
None
Gliffy Diagrams
Activity
Show:

Jenkins Build Server March 27, 2014 at 2:39 PM
SUCCESS: Integrated in
ProB_eclipse_develop_Rodin3 #16
fix translation of variants () (sebastian: rev 61769653a2d39bd238d02579cdb05217b1472c50)
de.prob.core/src/de/prob/eventb/translator/internal/ModelTranslator.java

Jenkins Build Server March 27, 2014 at 2:23 PM
FAILURE: Integrated in
ProB_eclipse_develop #1400
fix translation of variants () (sebastian: rev 61769653a2d39bd238d02579cdb05217b1472c50)
de.prob.core/src/de/prob/eventb/translator/internal/ModelTranslator.java
Fixed
Details
Details
Assignee

Reporter

Priority
More fields
Story Points, Original estimate
More fields
Story Points, Original estimateCreated March 26, 2014 at 2:48 PM
Updated March 27, 2014 at 2:39 PM
Resolved March 27, 2014 at 2:21 PM
IVariants are not labeled elements. Hence, we can not access the label when translating the machine. A special case for Variants needs to be added to collectProofInfo.