BMotionStudio throws cast exception in Rodin3

Description

BMotion Studio 1 throws a class cast exception while navigating in the event-b explorer.

Environment

None

Gliffy Diagrams

Activity

Show:

Jenkins Build Server June 5, 2014 at 1:04 PM

SUCCESS: Integrated in

ProB_eclipse_develop_Rodin3 #60
fixed (lukas.ladenberger: rev 9c664306e687afa5506f762a3953bf178433b627)

  • de.bmotionstudio.rodin/src/de/bmotionstudio/rodin/StartEventBVisualizationHandler.java

  • de.bmotionstudio.rodin/src/de/bmotionstudio/rodin/ActionCollection.java

  • de.bmotionstudio.rodin/src/de/bmotionstudio/rodin/BMotionLabelProvider.java

  • de.bmotionstudio.rodin/src/de/bmotionstudio/rodin/BMotionSurfaceRoot.java

  • de.bmotionstudio.rodin/src/de/bmotionstudio/rodin/BMotionStudioContentProvider.java

  • de.bmotionstudio.rodin/src/de/bmotionstudio/rodin/BMotionStudioActionProvider.java

  • de.bmotionstudio.rodin/src/de/bmotionstudio/rodin/IBMotionSurfaceRoot.java

  • de.bmotionstudio.rodin/src/de/bmotionstudio/rodin/RenameFileHandler.java

  • de.bmotionstudio.rodin/src/de/bmotionstudio/rodin/BMotionStudioRodinFile.java

  • de.bmotionstudio.rodin/fragment.xml

Fixed

Details

Assignee

Reporter

Priority

More fields

Created June 5, 2014 at 1:01 PM
Updated February 6, 2015 at 8:12 AM
Resolved February 6, 2015 at 8:12 AM