// reflection.
static {
- System.out.println("Detecting JVM...");
+ System.err.println("Detecting JVM...");
try {
String vendor = System.getProperty("java.vendor", "");
String version = System.getProperty("java.version", "");
String os_version = System.getProperty("os.version", "");
String platform_class = null;
- //if (os_name.startsWith("Mac OS X")) platform_class = "MacOSX";
- if (vendor.startsWith("Free Software Foundation")) {
+ if (os_name.startsWith("Darwin")) platform_class = "Carbon";
+ else if (vendor.startsWith("Free Software Foundation")) {
if (os_name.startsWith("Window")) platform_class = "Win32";
- else platform_class = "POSIX";
+ else platform_class = "X11";
} else if (version.startsWith("1.1") && vendor.startsWith("Netscape")) platform_class = "Netscape";
else if (version.startsWith("1.1") && vendor.startsWith("Microsoft")) platform_class = "Microsoft";
- else if (version.startsWith("1.4")) platform_class = "Java14";
- else if (!version.startsWith("1.0") && !version.startsWith("1.1")) platform_class = "Java12";
+ else if (!version.startsWith("1.0") && !version.startsWith("1.1")) platform_class = "Java2";
// Disable 2d hardware acceleration on Jaguar
if (os_name.equals("Mac OS X") && os_version.equals("10.2"))
if (Log.on) Log.log(Platform.class, "XWT VM detection: vendor = " + vendor);
if (Log.on) Log.log(Platform.class, " version = " + version);
if (Log.on) Log.log(Platform.class, " os = " + os_name + " [version " + os_version + "]");
- if (Log.on && Main.applet != null) Log.log(Platform.class, " browser = " + Main.applet.getParameter("browser"));
if (platform_class == null) {
if (Log.on) Log.log(Platform.class, "Unable to detect JVM");
public Object get() { return o; }
};
}
+
+ /** Called once XWT is initialized and the application is running. */
+ protected void _running() {}
/** quits XWT */
- protected void _exit() {
- if (Main.applet == null) {
- System.exit(0);
- } else {
- // just block ourselves forever
- // FIXME
- new Semaphore().block();
- }
- }
+ protected void _exit() { System.exit(0); }
/** used to notify the user of very serious failures; usually used when logging is not working or unavailable */
protected void _criticalAbort(String message) { _exit(); }
/** returns true iff the platform has a case-sensitive filesystem */
protected boolean _isCaseSensitive() { return true; }
+ /** returns an InputStream to the builtin xwar */
+ protected InputStream _getBuiltinInputStream() {
+ return Platform.class.getClassLoader().getResourceAsStream("org/xwt/builtin.xwar");
+ }
+
/** returns the value of the environment variable key, or null if no such key exists */
protected String _getEnv(String key) {
try {
return null;
}
+ /** convert a JPEG into an Image */
+ protected ImageDecoder _decodeJPEG(InputStream is, String name) { return null; }
+
+
// Static methods -- thunk to the instance /////////////////////////////////////////////////////////////////////////
/** if true, org.xwt.Surface should generate Click messages automatically when a Release happens after a Press and the mouse has not moved much */
/** creates and returns a picture */
public static Picture createPicture(int[] data, int w, int h) { return platform._createPicture(data, w, h); }
+ /** returns an InputStream to the builtin xwar */
+ public static InputStream getBuiltinInputStream() { return platform._getBuiltinInputStream(); }
+
/** creates and returns a picture */
public static Picture createPicture(ImageDecoder i) { return platform._createPicture(i.getData(), i.getWidth(), i.getHeight()); }
platform._newBrowserWindow(url);
}
+ /** Called once XWT is initialized and the application is running. */
+ public static void running() {
+ Log.log(Platform.class, "XWT is running");
+ platform._running();
+ }
+
/** quits XWT */
public static void exit() {
Log.log(Platform.class, "exiting via Platform.exit()");
b.set(Box.size, 0, b.size(0) < Surface.scarPicture.getWidth() ? Surface.scarPicture.getWidth() : b.size(0));
b.set(Box.size, 1, b.size(1) < Surface.scarPicture.getHeight() ? Surface.scarPicture.getHeight() : b.size(1));
- Object titlebar = b.get("titlebar", null, true);
+ Object titlebar = b.get("titlebar", true);
if (titlebar != null) ret.setTitleBarText(titlebar.toString());
- Object icon = b.get("icon", null, true);
+ Object icon = b.get("icon", true);
if (icon != null && !"".equals(icon)) {
Picture pic = Box.getPicture(icon.toString());
if (pic != null) ret.setIcon(pic);
return cachedProxyInfo;
}
+ public static synchronized ImageDecoder decodeJPEG(InputStream is, String name) {
+ return platform._decodeJPEG(is, name);
+ }
+
// Helpful font parsing stuff //////////////////////////////////////////////////////
public static class ParsedFont {