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:	GUI	Assignee:	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/