Skip to:

  1. Skip to Jira Navigation
  2. Skip to Side Navigation
  3. Skip to Main Content

Create way to export Event-B files for ProB 2.0

Description

None

Environment

None

Gliffy Diagrams

Activity

Show:

Sebastian Krings January 22, 2014 at 8:22 AM

not necessary any more

Joy Clark November 13, 2013 at 3:59 PM

This issue isn't necessary any more is it? With the Event-B Translator, we no longer need to export files for ProB 2.0. We can just export the Rodin project.

Jenkins Build Server April 9, 2013 at 3:07 PM

Integrated in

ProB_eclipse_develop #871
Deleted old unnecessary model objects (Revision 7a61c13deff76696ef5f496bf949e629c0cb9f3c)

Result = SUCCESS
joyclark2004 :
Files :

  • de.prob.core/META-INF/MANIFEST.MF

  • de.prob.core/src/de/prob/model/eventb/Model.java

  • de.prob.core/src/de/prob/model/representation/RefType.java

  • de.prob.core/src/de/prob/model/eventb/EBMachine.java

  • de.prob.core/.classpath

  • de.prob.core/src/de/prob/model/eventb/EBEvent.java

  • de.prob.core/src/de/prob/model/representation/IEntity.java

  • de.prob.core/src/de/prob/model/representation/Label.java

  • de.prob.core/src/de/prob/model/eventb/Action.java

  • de.prob.core/src/de/prob/model/eventb/EventB.java

  • de.prob.core/src/de/prob/model/eventb/EBContext.java

  • de.prob.core/src/de/prob/model/representation/FormulaUUID.java

  • de.prob.core/src/de/prob/model/eventb/Relationship.java

Won't Fix

Details

Assignee

Reporter

Priority

More fields

Created April 9, 2013 at 12:08 PM
Updated January 22, 2014 at 8:22 AM
Resolved January 22, 2014 at 8:22 AM
Configure