X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Futil%2FPlatform.java;h=121ac1b55045e381e9702839f39ad56c4bf4c099;hb=f0fd407e5fad67185a9813c57bfc50aacaf1de6e;hp=66ce5568dd2ba3b77b62894920a1d1fcd0405cfd;hpb=208f2c3de82e3327c4f930ab7d04f5b812ccd277;p=jalview.git diff --git a/src/jalview/util/Platform.java b/src/jalview/util/Platform.java index 66ce556..121ac1b 100644 --- a/src/jalview/util/Platform.java +++ b/src/jalview/util/Platform.java @@ -22,6 +22,8 @@ package jalview.util; import jalview.javascript.json.JSON; +import java.awt.Color; +import java.awt.Dimension; import java.awt.Toolkit; import java.awt.event.MouseEvent; import java.io.BufferedReader; @@ -32,14 +34,21 @@ import java.io.IOException; import java.io.InputStream; import java.io.InputStreamReader; import java.io.Reader; +import java.net.MalformedURLException; import java.net.URL; import java.util.Properties; +import java.util.logging.ConsoleHandler; +import java.util.logging.Level; +import java.util.logging.Logger; +import javax.swing.JComponent; import javax.swing.SwingUtilities; import org.json.simple.parser.JSONParser; import org.json.simple.parser.ParseException; +import com.stevesoft.pat.Regex; + /** * System platform information used by Applet and Application * @@ -260,6 +269,20 @@ public class Platform public static long time, mark, set, duration; + /** + * typical usage: + * + * Platform.timeCheck(null, Platform.TIME_MARK); + * + * ... + * + * Platform.timeCheck("some message", Platform.TIME_MARK); + * + * reset...[set/mark]n...get + * + * @param msg + * @param mode + */ public static void timeCheck(String msg, int mode) { long t = System.currentTimeMillis(); @@ -267,6 +290,7 @@ public class Platform { case TIME_RESET: time = mark = t; + duration = 0; if (msg != null) { System.err.println("Platform: timer reset\t\t\t" + msg); @@ -275,6 +299,7 @@ public class Platform case TIME_MARK: if (set > 0) { + // total time between set/mark points duration += (t - set); } else @@ -297,7 +322,7 @@ public class Platform case TIME_GET: if (msg != null) { - System.err.println("Platform: timer dur\t" + ((t - time) / 1000f) + System.err.println("Platform: timer get\t" + ((t - time) / 1000f) + "\t" + ((duration) / 1000f) + "\t" + msg); } set = 0; @@ -331,7 +356,9 @@ public class Platform public static byte[] getFileBytes(File f) { - return /** @j2sNative f && f._bytes || */ + // TODO temporary doubling of 秘bytes and _bytes; + // just remove _bytes when new transpiler has been installed + return /** @j2sNative f && (f.秘bytes || f._bytes) || */ null; } @@ -369,8 +396,10 @@ public class Platform } @SuppressWarnings("unused") byte[] bytes = getFileAsBytes(urlstring); + // TODO temporary doubling of 秘bytes and _bytes; + // just remove _bytes when new transpiler has been installed /** - * @j2sNative f._bytes = bytes; + * @j2sNative f.秘bytes = f._bytes = bytes; */ return true; } @@ -426,7 +455,7 @@ public class Platform @SuppressWarnings("unused") ThreadGroup g = Thread.currentThread().getThreadGroup(); /** - * @j2sNative return g.html5Applet._uniqueId; + * @j2sNative return g.秘html5Applet._uniqueId; * */ return null; @@ -452,13 +481,13 @@ public class Platform String id = getUniqueAppletID(); String key = "", value = ""; /** - * @j2sNative var info = g.html5Applet.__Info || {}; for (var key in info) { - * if (key.indexOf(prefix) == 0) { value = "" + info[key]; + * @j2sNative var info = g.秘html5Applet.__Info || {}; for (var key in info) + * { if (key.indexOf(prefix) == 0) { value = "" + info[key]; */ System.out.println( "Platform id=" + id + " reading Info." + key + " = " + value); - p.put(id + "_" + key, value); + p.put(key, value); /** * @j2sNative @@ -612,4 +641,202 @@ public class Platform } + public static URL getDocumentBase() + { + try + { + if (isJS()) + { + @SuppressWarnings("unused") + Object g = Thread.currentThread().getThreadGroup(); + return new URL(/** + * @j2sNative g.秘html5Applet._appletPanel.appletDocumentBase + * || + */ + ""); + } + } catch (MalformedURLException e) + { + } + return null; + } + + public static URL getCodeBase() + { + try + { + if (isJS()) + { + @SuppressWarnings("unused") + Object g = Thread.currentThread().getThreadGroup(); + return new URL(/** + * @j2sNative g.秘html5Applet._appletPanel.appletCodeBase + * || + */ + ""); + } + } catch (MalformedURLException e) + { + } + return null; + } + + /** + * load a resource -- probably a core file -- if and only if a particular + * class has not been instantialized. We use a String here because if we used + * a .class object, that reference itself would simply load the class, and we + * want the core package to include that as well. + * + * @param resourcePath + * @param className + */ + public static void loadStaticResource(Object resourcePath, + String className) + { + /** + * + * @j2sNative if (!swingjs.JSUtil.isClassLoaded$S(className)) + * swingjs.JSUtil.loadStaticResource$S(resourcePath); + */ + } + + public static void ensureRegex() + { + loadStaticResource("core/core_stevesoft.z.js", + "com.stevesoft.pat.Regex"); + } + + public static Regex newRegex(String searchString, String replaceString) + { + ensureRegex(); + return (replaceString == null ? new Regex(searchString) + : new Regex(searchString, replaceString)); + } + + public static Regex newRegexPerl(String code) + { + ensureRegex(); + return Regex.perlCode(code); + } + + /** + * Initialize Java debug logging. A representative sample -- adapt as desired. + */ + public static void startJavaLogging() + { + /** + * @j2sIgnore + */ + { + logClass("java.awt.EventDispatchThread", "java.awt.EventQueue", + "java.awt.Component", "java.awt.focus.Component", + "java.awt.event.Component", + "java.awt.focus.DefaultKeyboardFocusManager"); + } + } + + /** + * Initiate Java logging for a given class. Only for Java, not JavaScript; + * Allows debugging of complex event processing. + * + * @param className + */ + public static void logClass(String... classNames) + { + /** + * @j2sIgnore + * + * + */ + { + Logger rootLogger = Logger.getLogger(""); + rootLogger.setLevel(Level.ALL); + ConsoleHandler consoleHandler = new ConsoleHandler(); + consoleHandler.setLevel(Level.ALL); + for (int i = classNames.length; --i >= 0;) + { + Logger logger = Logger.getLogger(classNames[i]); + logger.setLevel(Level.ALL); + logger.addHandler(consoleHandler); + } + } + } + + /** + * Set the "app" property of the HTML5 applet object, for example, + * "testApplet.app", to point to the Jalview instance. This will be the object + * that page developers use that is similar to the original Java applet object + * that was accessed via LiveConnect. + * + * @param j + */ + public static void setAppClass(Object j) + { + if (!isJS()) + { + return; + } + @SuppressWarnings("unused") + Thread t = Thread.currentThread(); + /** + * Set up "testApplet.app" to be this instance + * + * @j2sNative + * + * try {self[t.name].app = j}catch(e){} + */ + } + + /** + * Retrieve the object's embedded size from a div's style on a page if + * embedded in SwingJS. + * + * @param frame + * JFrame or JInternalFrame + * @param defaultWidth + * use -1 to return null (no default size) + * @param defaultHeight + * @return the embedded dimensions or null (no default size or not embedded) + */ + public static Dimension getDimIfEmbedded(JComponent frame, + int defaultWidth, int defaultHeight) + { + Dimension d = /** @j2sNative frame.ui.getEmbedded$S("dim") || */ + null; + return (d == null && defaultWidth >= 0 + ? new Dimension(defaultWidth, defaultHeight) + : d); + } + + /** + * + * If this frame Is this frame embedded in a web page, return a known type. + * + * @param frame + * a JFrame or JInternalFrame + * @param type + * @return null if frame is not embedded. + */ + public static Object getEmbeddedAttribute(Object frame, String type) + { + if (!isJS()) + { + return null; + } + return (/** @j2sNative frame.ui.getEmbedded$S(type) || */ + null); + } + + public static void stackTrace() + { + try + { + throw new NullPointerException(); + } catch (Exception e) + { + e.printStackTrace(); + } + + } + }