This happens under OS X (tested under 10.4.7) with UPPAAL 4.0.2
There are no associations setup on xta files.
open -a UPPAAL foo.xta
Outcome: UPPAAL starts, but the file does not load.
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.
Confirmed. I will try to integrate UPPAAL 4.0.3 better with the Mac OS X LaunchServices.
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.