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

Bug 44 - (dot/period). protocol error
Summary: (dot/period). protocol error
Alias: None
Product: UPPAAL
Classification: Unclassified
Component: Engine (show other bugs)
Version: 3.5.7
Hardware: All All
: P3 minor
Assignee: Gerd Behrmann
Depends on:
Reported: 2003-09-10 13:39 CEST by Ulrik Nyman
Modified: 2005-11-06 18:24 CET (History)
0 users

See Also:


Note You need to log in before you can comment on or make changes to this bug.
Description Ulrik Nyman 2003-09-10 13:39:21 CEST
When writing a .(dot/period) by itself at the start of a line somewhere in the
declarations, the server will crash when performing a sytax check. This is
because the .(dot/period) symbol is used as a special symbol in the current
communication protocal between the GUI and the server.

This problem will be fixed with the new SOAP interface between the GUI and engine.
Comment 1 Gerd Behrmann 2003-09-11 17:21:08 CEST
This cannot be fixed without fixing the protocol (by introducing escape
sequences). Since we are working on a completely new version of the SOAP
protocol, I will assign this bug to Ulrik.
Comment 2 Ulrik Nyman 2003-09-21 13:44:34 CEST
This bug will be fixed with the introduction of SOAP protocol for the
communication between the GUI and the VerificationEngine.
Comment 3 Gerd Behrmann 2005-06-29 21:36:50 CEST
Reopening the bug for 3.5.
Comment 4 Gerd Behrmann 2005-07-02 18:56:36 CEST
I will try to fix this.