Bug 146 - command line option for automaton layout export to eps format
Summary: command line option for automaton layout export to eps format
Status: RESOLVED FIXED
Alias: None
Product: UPPAAL
Classification: Unclassified
Component: GUI (show other bugs)
Version: unspecified
Hardware: All All
: P4 enhancement
Assignee: Marius Mikučionis
URL:
Depends on:
Blocks:
 
Reported: 2005-04-12 12:28 CEST by Marius Mikučionis
Modified: 2005-10-24 16:30 CEST (History)
0 users

See Also:
Architecture:


Attachments

Note You need to log in before you can comment on or make changes to this bug.
Description Marius Mikučionis 2005-04-12 12:28:53 CEST
I think something like the following would be usefull in documentation scripts:
java -jar uppaal2k.jar --exportToEPS myautomaton > myautomaton.eps
Comment 1 Marius Mikučionis 2005-10-24 16:30:30 CEST
Fixed in CVS.
Try the following:
uppaal --splashScreen off --exportToEPS mytemplate myspec.xml > mytemplate.eps