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

Bug 275

Summary: Open source parsers and engine stubs
Product: UPPAAL Reporter: Gerd Behrmann <behrmann>
Component: GUIAssignee: Gerd Behrmann <behrmann>
Status: ASSIGNED ---    
Severity: enhancement    
Priority: P2    
Version: 3.6 Alpha 4   
Hardware: All   
OS: All   
Architecture:

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/