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

Bug 586 - syntax error location is wrong
Summary: syntax error location is wrong
Status: ASSIGNED
Alias: None
Product: UPPAAL
Classification: Unclassified
Component: GUI (show other bugs)
Version: unspecified
Hardware: All All
: P5 minor
Assignee: Wei Zhao
URL:
Depends on:
Blocks:
 
Reported: 2014-10-07 12:14 CEST by Marius Mikučionis
Modified: 2014-10-07 12:14 CEST (History)
1 user (show)

See Also:
Architecture:

Attachments
model with wrong error location (892 bytes, text/xml)
2014-10-07 12:14 CEST, Marius Mikučionis 		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 Marius Mikučionis 2014-10-07 12:14:26 CEST 
Created attachment 272 [details]
model with wrong error location

there is some strange interaction between comments and other labels:
the engine correctly spots the error:
/nta/template[1]/transition[1]/label[1]:1: [error] Unknown identifier: undefined_variable.

however the GUI is trying to display this error in the comment field.

I guess that GUI has a different ordering of labels where the comment appears as the first label.