try {
build = (String)Class.forName("org.xwt.Build").getField("build").get(null);
} catch (ClassNotFoundException cnfe) {
try {
build = (String)Class.forName("org.xwt.Build").getField("build").get(null);
} catch (ClassNotFoundException cnfe) {
if (Log.on) Log.info(Platform.class, "exception while detecting build:");
if (Log.on) Log.info(Platform.class, e);
}
if (Log.on) Log.info(Platform.class, "exception while detecting build:");
if (Log.on) Log.info(Platform.class, e);
}
- if (Log.on) Log.info(Platform.class, "XWT VM detection: vendor = " + vendor);
- if (Log.on) Log.info(Platform.class, " version = " + version);
- if (Log.on) Log.info(Platform.class, " os = " + os_name + " [version " + os_version + "]");
+ if (Log.on) Log.diag(Platform.class, "XWT VM detection: vendor = " + vendor);
+ if (Log.on) Log.diag(Platform.class, " version = " + version);
+ if (Log.on) Log.diag(Platform.class, " os = " + os_name + " [version " + os_version + "]");
if (platform_class == null) {
if (Log.on) Log.info(Platform.class, "Unable to detect JVM");
criticalAbort("Unable to detect JVM");
}
if (platform_class == null) {
if (Log.on) Log.info(Platform.class, "Unable to detect JVM");
criticalAbort("Unable to detect JVM");
}
- if (Log.on) Log.info(Platform.class, " platform = " + platform.getDescriptiveName());
- if (Log.on) Log.info(Platform.class, " class = " + platform.getClass().getName());
+ if (Log.on) Log.diag(Platform.class, " platform = " + platform.getDescriptiveName());
+ if (Log.on) Log.diag(Platform.class, " class = " + platform.getClass().getName());
protected void postInit() { }
protected Surface _createSurface(Box b, boolean framed) { return null; }
protected void postInit() { }
protected Surface _createSurface(Box b, boolean framed) { return null; }
protected PixelBuffer _createPixelBuffer(int w, int h, Surface owner) { return null; }
protected Font.Glyph _createGlyph(org.xwt.Font f, char c) { return new DefaultGlyph(f, c); }
public static PixelBuffer createPixelBuffer(int w, int h, Surface s) { return platform._createPixelBuffer(w, h, s); }
protected PixelBuffer _createPixelBuffer(int w, int h, Surface owner) { return null; }
protected Font.Glyph _createGlyph(org.xwt.Font f, char c) { return new DefaultGlyph(f, c); }
public static PixelBuffer createPixelBuffer(int w, int h, Surface s) { return platform._createPixelBuffer(w, h, s); }
public static Font.Glyph createGlyph(org.xwt.Font f, char c) { return platform._createGlyph(f, c); }
public static Surface createSurface(Box b, boolean framed, boolean refreshable) {
Surface ret = platform._createSurface(b, framed);
public static Font.Glyph createGlyph(org.xwt.Font f, char c) { return platform._createGlyph(f, c); }
public static Surface createSurface(Box b, boolean framed, boolean refreshable) {
Surface ret = platform._createSurface(b, framed);