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

Bug 343 - Cannot launch UPPAAL with an XTA from the command line (programmatically)
Summary: Cannot launch UPPAAL with an XTA from the command line (programmatically)
Alias: None
Product: UPPAAL
Classification: Unclassified
Component: Engine (show other bugs)
Version: 4.0.1
Hardware: Macintosh Mac OS
: P2 normal
Assignee: Gerd Behrmann
Depends on:
Reported: 2006-08-21 21:04 CEST by Laurent Michel
Modified: 2006-08-26 14:51 CEST (History)
0 users

See Also:


Note You need to log in before you can comment on or make changes to this bug.
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/ 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. 


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.