#17 reachables states: java.lang.NullPointerException

[omit]

I always get an error trying the "Reachable States"
Tool. Error message is:
"Tool Exception: java.lang.NullPointerException".

WinXP SP2, JRE 5.0_6

jarp.log:

Tool exception Sat Mar 25 18:17:31 CET 2006
java.lang.NullPointerException
at
org.jarp.gui.jhotdraw.tools.analysis.PetriReachableStatesAnalysis$TaskStatusPanel.stateChanged(Unknown
Source)
at
org.jarp.gui.jhotdraw.tools.analysis.PetriReachableStatesAnalysis$TaskStatusPanel.<init>(Unknown
Source)
at
org.jarp.gui.jhotdraw.tools.analysis.PetriReachableStatesAnalysis$TaskDialog.<init>(Unknown
Source)
at
org.jarp.gui.jhotdraw.tools.analysis.PetriReachableStatesAnalysis.getDialog(Unknown
Source)
at
org.jarp.gui.jhotdraw.tools.analysis.PetriReachableStatesAnalysis.execute(Unknown
Source)
at
org.jarp.core.i18n.LocalizedAction.actionPerformed(Unknown
Source)
at
javax.swing.AbstractButton.fireActionPerformed(Unknown
Source)
at
javax.swing.AbstractButton$Handler.actionPerformed(Unknown
Source)
at
javax.swing.DefaultButtonModel.fireActionPerformed(Unknown
Source)
at javax.swing.DefaultButtonModel.setPressed(Unknown
Source)
at javax.swing.AbstractButton.doClick(Unknown Source)
at
javax.swing.plaf.basic.BasicMenuItemUI.doClick(Unknown
Source)
at
javax.swing.plaf.basic.BasicMenuItemUI$Handler.mouseReleased(Unknown
Source)
at java.awt.AWTEventMulticaster.mouseReleased(Unknown
Source)
at java.awt.Component.processMouseEvent(Unknown Source)
at javax.swing.JComponent.processMouseEvent(Unknown
Source)
at java.awt.Component.processEvent(Unknown Source)
at java.awt.Container.processEvent(Unknown Source)
at java.awt.Component.dispatchEventImpl(Unknown Source)
at java.awt.Container.dispatchEventImpl(Unknown Source)
at java.awt.Component.dispatchEvent(Unknown Source)
at
java.awt.LightweightDispatcher.retargetMouseEvent(Unknown
Source)
at
java.awt.LightweightDispatcher.processMouseEvent(Unknown
Source)
at
java.awt.LightweightDispatcher.dispatchEvent(Unknown
Source)
at java.awt.Container.dispatchEventImpl(Unknown Source)
at java.awt.Window.dispatchEventImpl(Unknown Source)
at java.awt.Component.dispatchEvent(Unknown Source)
at java.awt.EventQueue.dispatchEvent(Unknown Source)
at
java.awt.EventDispatchThread.pumpOneEventForHierarchy(Unknown
Source)
at
java.awt.EventDispatchThread.pumpEventsForHierarchy(Unknown
Source)
at java.awt.EventDispatchThread.pumpEvents(Unknown Source)
at java.awt.EventDispatchThread.pumpEvents(Unknown Source)
at java.awt.EventDispatchThread.run(Unknown Source)

[Ricardo Padilha]

Logged In: YES
user_id=137238

Hi,

This tool is not yet functional. Please export your file to
the ARP file format and use ARP for such analysis.

Regards,
Ricardo