Variants trigger a translation error

Description

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.

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

Assignee

Reporter

Priority

More fields

Created March 26, 2014 at 2:48 PM
Updated March 27, 2014 at 2:39 PM
Resolved March 27, 2014 at 2:21 PM