JAL-3262 from JAL-3253-applet Platform JS interface upgrade

[jalview.git] / src / jalview / util / Platform.java

diff --git a/src/jalview/util/Platform.java b/src/jalview/util/Platform.java
index fea40c3..c06c755 100644 (file)
--- a/src/jalview/util/Platform.java
+++ b/src/jalview/util/Platform.java
@@ -692,6 +692,11 @@ public class Platform
 
   }
 
+  public static Regex newRegex(String regex)
+  {
+    return newRegex(regex, null);
+  }
+
   public static Regex newRegex(String searchString, String replaceString)
   {
     ensureRegex();
@@ -818,6 +823,15 @@ public class Platform
 
   }
 
-  
+  public static URL getDocumentBase()
+  {
+    return (isJS ? jsutil.getDocumentBase() : null);
+  }
+
+  public static URL getCodeBase()
+  {
+    return (isJS ? jsutil.getCodeBase() : null);
+  }
+
 
 }