/** 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()); }
return cachedProxyInfo;
}
+ public static synchronized ImageDecoder decodeJPEG(InputStream is, String name) {
+ return platform._decodeJPEG(is, name);
+ }
+
// Helpful font parsing stuff //////////////////////////////////////////////////////
public static class ParsedFont {