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

Bug 343

Summary: Cannot launch UPPAAL with an XTA from the command line (programmatically)
Product: UPPAAL Reporter: Laurent Michel <ldm>
Component: EngineAssignee: Gerd Behrmann <behrmann>
Status: ASSIGNED ---    
Severity: normal    
Priority: P2    
Version: 4.0.1   
Hardware: Macintosh   
OS: Mac OS   
Architecture:

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.