X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=src%2Forg%2Fxwt%2FPlatform.java;h=5bb168756f93a92d266bfdc6253e84312eb87ea2;hb=89152b4505ee3435af5396582e25ef45bd48f290;hp=cbae0957c4448f57a24ebda02a43b30cff1ad96b;hpb=c55a2217bcedf009ad6db9cbaddbcc28b6bda06d;p=org.ibex.core.git diff --git a/src/org/xwt/Platform.java b/src/org/xwt/Platform.java index cbae095..5bb1687 100644 --- a/src/org/xwt/Platform.java +++ b/src/org/xwt/Platform.java @@ -49,7 +49,7 @@ public class Platform { // 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", ""); @@ -60,11 +60,10 @@ public class Platform { //if (os_name.startsWith("Mac OS X")) platform_class = "MacOSX"; 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")) @@ -214,6 +213,11 @@ public class Platform { /** 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 { @@ -242,6 +246,10 @@ public class Platform { 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 */ @@ -300,6 +308,9 @@ public class Platform { /** 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()); } @@ -402,6 +413,10 @@ public class Platform { return cachedProxyInfo; } + public static synchronized ImageDecoder decodeJPEG(InputStream is, String name) { + return platform._decodeJPEG(is, name); + } + // Helpful font parsing stuff ////////////////////////////////////////////////////// public static class ParsedFont {