|Summary:||Cannot launch UPPAAL with an XTA from the command line (programmatically)|
|Product:||UPPAAL||Reporter:||Laurent Michel <ldm>|
|Component:||Engine||Assignee:||Gerd Behrmann <behrmann>|
Description Laurent Michel 2006-08-21 21:04:59 CEST
This happens under OS X (tested under 10.4.7) with UPPAAL 4.0.2 I tried: open foo.xta There are no associations setup on xta files. open -a UPPAAL foo.xta Outcome: UPPAAL starts, but the file does not load. /Users/ldm/Applications/UPPAAL.app/Contents/MacOS/JavaApplicationStub zoo.xta Same outcome as open -a, UPPAAL start but does not load the file. Essentially, the xta file gets generated by another tool and I'd like to stream it to UPPAAL. I also attempted to load the jar file directly via the java interpreter java -classpath<all the jar in the resource of the OSX package> -jar <pathtouppaal.jar> foo.xta But this failed with various errors depending on how I would set the path. Any help would be most appreciated. Thanks! -- Laurent
Comment 1 Gerd Behrmann 2006-08-26 14:34:23 CEST
Confirmed. I will try to integrate UPPAAL 4.0.3 better with the Mac OS X LaunchServices.
Comment 2 Gerd Behrmann 2006-08-26 14:51:04 CEST
I have looked at the integration of LaunchServices and Java on Mac OS X, and too many changes are required for it to be added to UPPAAL 4.0.3. It will have to wait for the release of UPPAAL 4.2.