[jarp-developer] [ jarp-Bugs-1458358 ] reachables states: java.lang.NullPointerException

[SourceForge.net <no...@so...>]

Bugs item #1458358, was opened at 2006-03-25 14:17
Message generated for change (Comment added) made by ricardo_padilha
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=118541&aid=1458358&group_id=18541

Please note that this message will contain a full copy of the comment thread,
including the initial issue submission, for this request,
not just the latest update.
Category: net analysis
Group: None
Status: Open
Resolution: None
Priority: 5
Submitted By: Timo (omit)
Assigned to: Nobody/Anonymous (nobody)
Summary: reachables states: java.lang.NullPointerException

Initial Comment:
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)


----------------------------------------------------------------------

>Comment By: Ricardo Padilha (ricardo_padilha)
Date: 2006-03-28 10:14

Message:
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

----------------------------------------------------------------------

You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=118541&aid=1458358&group_id=18541