LTS explore crashes

[rensink]

With SVN version 4098

When selecting LTS->explore statespace (no options set), goove seems to explore the state space, (small popup window shows increasing numbers) and then crashes.

Exception in GROOVE java.lang.ClassCastException: groove.trans.HostEdge cannot be cast to groove.trans.HostNode at groove.trans.RuleApplication.collectComatch(Unknown Source) at groove.trans.RuleApplication.computeComatch(Unknown Source) at groove.trans.RuleApplication.getComatch(Unknown Source) at groove.gui.StateTab.extractColors(Unknown Source) at groove.gui.StateTab.copyNextStateLayout(Unknown Source) at groove.gui.StateTab.getAspectJModel(Unknown Source) at groove.gui.StateTab.displayState(Unknown Source) at groove.gui.StateTab.update(Unknown Source) at groove.gui.SimulatorModel.fireUpdate(Unknown Source) at groove.gui.SimulatorModel.finish(Unknown Source) at groove.gui.SimulatorModel.setState(Unknown Source) at groove.gui.action.ExploreAction.explore(Unknown Source) at groove.gui.action.ExploreAction.explore(Unknown Source) at groove.gui.action.ExploreAction.execute(Unknown Source) at groove.gui.action.SimulatorAction.actionPerformed(Unknown Source) at javax.swing.AbstractButton.fireActionPerformed(AbstractButton.java:2028) at javax.swing.AbstractButton$Handler.actionPerformed(AbstractButton.java:2351) at javax.swing.DefaultButtonModel.fireActionPerformed(DefaultButtonModel.java:387) at javax.swing.DefaultButtonModel.setPressed(DefaultButtonModel.java:242) at javax.swing.plaf.basic.BasicButtonListener.mouseReleased(BasicButtonListener.java:236) at java.awt.AWTEventMulticaster.mouseReleased(AWTEventMulticaster.java:272) at java.awt.Component.processMouseEvent(Component.java:6373) at javax.swing.JComponent.processMouseEvent(JComponent.java:3267) at java.awt.Component.processEvent(Component.java:6138) at java.awt.Container.processEvent(Container.java:2085) at java.awt.Component.dispatchEventImpl(Component.java:4735) at java.awt.Container.dispatchEventImpl(Container.java:2143) at java.awt.Component.dispatchEvent(Component.java:4565) at java.awt.LightweightDispatcher.retargetMouseEvent(Container.java:4621) at java.awt.LightweightDispatcher.processMouseEvent(Container.java:4282) at java.awt.LightweightDispatcher.dispatchEvent(Container.java:4212) at java.awt.Container.dispatchEventImpl(Container.java:2129) at java.awt.Window.dispatchEventImpl(Window.java:2478) at java.awt.Component.dispatchEvent(Component.java:4565) at java.awt.EventQueue.dispatchEventImpl(EventQueue.java:679) at java.awt.EventQueue.access$000(EventQueue.java:85) at java.awt.EventQueue$1.run(EventQueue.java:638) at java.awt.EventQueue$1.run(EventQueue.java:636) at java.security.AccessController.doPrivileged(Native Method) at java.security.AccessControlContext$1.doIntersectionPrivilege(AccessControlContext.java:87) at java.security.AccessControlContext$1.doIntersectionPrivilege(AccessControlContext.java:98) at java.awt.EventQueue$2.run(EventQueue.java:652) at java.awt.EventQueue$2.run(EventQueue.java:650) at java.security.AccessController.doPrivileged(Native Method) at java.security.AccessControlContext$1.doIntersectionPrivilege(AccessControlContext.java:87) at java.awt.EventQueue.dispatchEvent(EventQueue.java:649) at java.awt.EventDispatchThread.pumpOneEventForFilters(EventDispatchThread.java:296) at java.awt.EventDispatchThread.pumpEventsForFilter(EventDispatchThread.java:211) at java.awt.EventDispatchThread.pumpEventsForHierarchy(EventDispatchThread.java:201) at java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:196) at java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:188) at java.awt.EventDispatchThread.run(EventDispatchThread.java:122)

Reported by: *anonymous

[rensink]

Original comment by: nobody

[rensink]

• assigned_to: nobody --> rensink
• status: open --> closed-fixed

Original comment by: rensink