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

Bug 49

Summary: No indication of "No syntax errors"
Product: UPPAAL Reporter: Ulrik Nyman <ulrik>
Component: GUIAssignee: Gerd Behrmann <behrmann>
Status: ASSIGNED ---    
Severity: minor    
Priority: P4    
Version: 3.5.7   
Hardware: All   
OS: All   
Architecture:

Description Ulrik Nyman 2003-09-10 15:46:57 CEST 
When checking the sytax of a model, no feedback is given to the user that the
sytax check was successful. If there where errors in the previous sytax check
these are removed. Thus the user can see that there are no errors in the current
model.

A possible solution is to write "No syntax errors" in the error status box.
Comment 1 Gerd Behrmann 2003-09-11 09:46:02 CEST 
Well, writing a message in the error list is not going to help for this problem.
At the moment the "empty list" is equal to "no error", so writing "no error" is
still confusing, since you don't know if there is actually no error or if it is
still syntax checking.

A popup dialog like in 3.2 would solve the problem, but I always found this to
be a bit annoying. Ideally, I would like to have a real status bar and then
write a message here. But this will not make it for 3.4. 

Do you think I should put the "no errors" dialog back into the GUI (as a
temporary fix)?
Comment 2 Gerd Behrmann 2005-06-29 21:19:14 CEST 
Moved bug to 3.5.7, as fixing a minor bug in a stable release series is not worth the risk.