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

Bug 211

Summary: Command line option for export to EPS opens GUI
Product: UPPAAL Reporter: Gerd Behrmann <behrmann>
Component: GUIAssignee: Marius Mikučionis <marius>
Severity: normal    
Priority: P2    
Version: unspecified   
Hardware: All   
OS: All   

Description Gerd Behrmann 2005-10-27 13:18:03 CEST
The command line options for exporting to EPS (see bug 146) is supposed to
non-interactively export a template to EPS format. However, the current
implementation opens the splash screen and in some cases shows error dialogs.

Looking at the implementation, it is clear that indeed Swing is initialized
before the export is performed. I suggest this is redesigned to export the
template without starting Swing.
Comment 1 Marius Mikučionis 2005-11-07 02:27:33 CET
Fixed in CVS.
The other options will still be interpreted, but options requiring graphical
response will have no chance, e.g. "--splashScreen on" will not have effect.
Comment 2 Marius Mikučionis 2005-11-29 16:16:38 CET
Tested after Gerd's restructuring, works fine (nice error reporting).