This issue tracker is closed. Please visit UPPAAL issue tracker at Github instead.

Bug 621 - NullPointerException in GUI; verifyta works fine
Summary: NullPointerException in GUI; verifyta works fine
Status: RESOLVED FIXED
Alias: None
Product: UPPAAL
Classification: Unclassified
Component: Engine (show other bugs)
Version: 4.1.19
Hardware: PC Linux
: P3 enhancement
Assignee: Marius Mikučionis
URL:
Depends on:
Blocks:
 
Reported: 2016-10-12 00:13 CEST by Jinghao Shi
Modified: 2019-03-23 12:00 CET (History)
1 user (show)

See Also:
Architecture:

Attachments
The model I tried to verify (15.14 KB, application/octet-stream)
2016-10-12 00:13 CEST, Jinghao Shi 		Details
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
Description Jinghao Shi 2016-10-12 00:13:55 CEST 
Created attachment 300 [details]
The model I tried to verify

While I tried to open the attached "xta" file in UPPAAL GUI, there was this pop up saying "java.lang.NullPointException". However, I was able to use the "verifyta" command to validate the model fine without any problem.

The full "verifyta" command I used is:

verifyta -C -S 0 -t 1 -y assoc_expend.xta assoc.q

If there's any way to obtain more detailed debug information (such as stack trace, logs, etc), please let me know. Thanks for your help.

Thanks,
Jinghao
Comment 1 Marius Mikučionis 2017-02-22 14:25:49 CET 
The xta file contains some (shared) variable declarations in between template definitions, which is not really allowed.
verifyta can deal with it because it uses a different parsing technology, whereas the GUI parser is more strict (it assumes system declaration once it sees a variable declaration and hence breaks).

A workaround is to move those declarations into the global/shared declarations section.

Also the GUI pops with a "NullPointerException" instead of proper error message due to an obfuscation bug.
Comment 2 Marius Mikučionis 2019-03-23 12:00:49 CET 
Fixed and released in version 4.1.20