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

Bug 275 - Open source parsers and engine stubs
Summary: Open source parsers and engine stubs
Status: ASSIGNED
Alias: None
Product: UPPAAL
Classification: Unclassified
Component: GUI (show other bugs)
Version: 3.6 Alpha 4
Hardware: All All
: P2 enhancement
Assignee: Gerd Behrmann
URL:
Depends on:
Blocks:
 
Reported: 2006-02-22 10:01 CET by Gerd Behrmann
Modified: 2006-04-30 14:34 CEST (History)
0 users

See Also:
Architecture:

Attachments
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 Gerd Behrmann 2006-02-22 10:01:54 CET 
The GUI contains parsers for the XML and XTA format and engine stubs for communicating with the 
server. These are implemented in seperate Java packages and have low coupling to the rest of the GUI. We 
should release these components as open source to allow others to communicate with our server.
Comment 1 Gerd Behrmann 2006-04-30 14:34:31 CEST 
As a first step, the code in question has been moved to the model.jar file and is no longer scrambled. Javadoc documentation is available at http://www.cs.aau.dk/~behrmann/modeldoc/