From: David Crawshaw <david@zentus.com>
Date: Sun, 17 Dec 2006 18:48:52 +0000 (-0800)
Subject: abstract RandomAccessFile.setLength() for Jdk11 support
X-Git-Url: http://git.megacz.com/?p=nestedvm.git;a=commitdiff_plain;h=00e7b2dcbcd8d28f3e84954704f874a721dd15d3

abstract RandomAccessFile.setLength() for Jdk11 support

darcs-hash:20061217184852-0c629-b742d400f5b916154d8656161fa50db83b7e2a2b.gz
---

diff --git a/src/org/ibex/nestedvm/util/Platform.java b/src/org/ibex/nestedvm/util/Platform.java
index 4b50f18..ebcdc1c 100644
--- a/src/org/ibex/nestedvm/util/Platform.java
+++ b/src/org/ibex/nestedvm/util/Platform.java
@@ -76,9 +76,11 @@ public abstract class Platform {
     abstract String _timeZoneGetDisplayName(TimeZone tz, boolean dst, boolean showlong, Locale l);
     public static String timeZoneGetDisplayName(TimeZone tz, boolean dst, boolean showlong, Locale l) { return p._timeZoneGetDisplayName(tz,dst,showlong,l); }
     public static String timeZoneGetDisplayName(TimeZone tz, boolean dst, boolean showlong) { return timeZoneGetDisplayName(tz,dst,showlong,Locale.getDefault()); }
-    
-    abstract RandomAccessFile _truncatedRandomAccessFile(File f, String mode) throws IOException;
-    public static RandomAccessFile truncatedRandomAccessFile(File f, String mode) throws IOException { return p._truncatedRandomAccessFile(f,mode); }
+
+    abstract void _setFileLength(RandomAccessFile f, int length)
+        throws IOException;
+    public static void setFileLength(RandomAccessFile f, int length)
+        throws IOException { p._setFileLength(f, length); }
     
     abstract File[] _listRoots();
     public static File[] listRoots() { return p._listRoots(); }
@@ -121,7 +123,27 @@ public abstract class Platform {
             if(off > 0) sb.append(":").append(off);
             return sb.toString();
         }
-        
+
+        void _setFileLength(RandomAccessFile f, int length) throws IOException{
+            InputStream in = new FileInputStream(f.getFD());
+            OutputStream out = new FileOutputStream(f.getFD());
+
+            byte[] buf = new byte[1024];
+            for (int len; length > 0; length -= len) {
+                len = in.read(buf, 0, Math.min(length, buf.length));
+                if (len == -1) break;
+                out.write(buf, 0, len);
+            }
+            if (length == 0) return;
+
+            // fill the rest of the space with zeros
+            for (int i=0; i < buf.length; i++) buf[i] = 0;
+            while (length > 0) {
+                out.write(buf, 0, Math.min(length, buf.length));
+                length -= buf.length;
+            }
+        }
+
         RandomAccessFile _truncatedRandomAccessFile(File f, String mode) throws IOException {
             new FileOutputStream(f).close();
             return new RandomAccessFile(f,mode);
@@ -170,13 +192,11 @@ public abstract class Platform {
         String _timeZoneGetDisplayName(TimeZone tz, boolean dst, boolean showlong, Locale l) {
             return tz.getDisplayName(dst,showlong ? TimeZone.LONG : TimeZone.SHORT, l);
         }
-        
-        RandomAccessFile _truncatedRandomAccessFile(File f, String mode) throws IOException {
-            RandomAccessFile raf = new RandomAccessFile(f,mode);
-            raf.setLength(0);
-            return raf;
+
+        void _setFileLength(RandomAccessFile f, int length) throws IOException {
+            f.setLength(length);
         }
-        
+
         File[] _listRoots() { return File.listRoots(); }
     }
     
diff --git a/src/org/ibex/nestedvm/util/Seekable.java b/src/org/ibex/nestedvm/util/Seekable.java
index d49df66..9da8d27 100644
--- a/src/org/ibex/nestedvm/util/Seekable.java
+++ b/src/org/ibex/nestedvm/util/Seekable.java
@@ -84,7 +84,8 @@ public abstract class Seekable {
         public File(java.io.File file, boolean writable, boolean truncate) throws IOException {
             this.file = file;
             String mode = writable ? "rw" : "r";
-            raf = truncate ? Platform.truncatedRandomAccessFile(file,mode) : new RandomAccessFile(file,mode);
+            raf = new RandomAccessFile(file,mode);
+            if (truncate) Platform.setFileLength(raf, 0);
         }
         
         public int read(byte[] buf, int offset, int length) throws IOException { return raf.read(buf,offset,length); }
@@ -93,7 +94,7 @@ public abstract class Seekable {
         public int pos()  throws IOException { return (int) raf.getFilePointer(); }
         public int length() throws IOException { return (int)raf.length(); }
         public void close() throws IOException { raf.close(); }
-        public void resize(long length) throws IOException { raf.setLength(length); }
+        public void resize(long length) throws IOException { Platform.setFileLength(raf, (int)length); }
         public boolean equals(Object o) {
             return o != null && o instanceof File
                    && file.equals(((File)o).file);