Initial commit

test/data/tiddlywiki/java/TiddlySaver.java

@@ -0,0 +1,71 @@
+import java.io.BufferedReader;
+import java.io.BufferedWriter;
+import java.io.File;
+import java.io.FileInputStream;
+import java.io.FileOutputStream;
+import java.io.FileReader;
+import java.io.FileWriter;
+import java.security.AccessController;
+import java.security.PrivilegedAction;
+
+public class TiddlySaver extends java.applet.Applet {
+  public String loadFile(final String filename, final String charset) {
+	return (String)AccessController.doPrivileged(new PrivilegedAction() {
+	    public Object run() {		
+		  try {
+		    if (charset.length() == 0) {
+		      StringBuffer data = new StringBuffer();
+		      BufferedReader r = new BufferedReader(new FileReader(filename));
+		      String line;
+		      while ((line = r.readLine()) != null) data.append(line).append("\n");
+		      r.close();
+		      return data.toString();
+		    } else {
+		      File f = new File(filename);
+		      FileInputStream i = new FileInputStream(f);
+		      byte[] b = new byte[(f.length() > Integer.MAX_VALUE) ? Integer.MAX_VALUE : (int)f.length()];
+		      int offset = 0;
+		      int num = 0;
+		      while (offset < b.length && (num = i.read(b, offset, b.length - offset)) >= 0) {
+		        offset += num;
+		      }
+		      i.close();
+		      return new String(b, 0, offset, charset);
+		    }
+		  } catch (Exception x) {
+		    x.printStackTrace();
+		    return null;
+		  }
+        }
+	  });
+  }
+  public int saveFile(final String filename, final String charset, final String data) {
+    return ((Integer)AccessController.doPrivileged(new PrivilegedAction() {
+      public Object run() {		
+    	try {
+          if (charset.length() == 0) {
+            int e, s = 0;
+            BufferedWriter w = new BufferedWriter(new FileWriter(filename));
+            do {
+              e = data.indexOf('\n', s);
+              if (e == -1) e = data.length();
+              w.write(data, s, e - s);
+              w.newLine();
+              s = e + 1;
+            } while (s < data.length());
+            w.close();
+            return new Integer(1);
+          } else {
+            FileOutputStream o = new FileOutputStream(filename);
+            o.write(data.getBytes(charset));
+            o.close();
+            return new Integer(1);
+          }
+        } catch (Exception x) {
+          x.printStackTrace();
+          return new Integer(0);
+        }
+      }
+    })).intValue();
+  }
+}