X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=Robust%2Fsrc%2FClassLibrary%2FFileInputStream.java;fp=Robust%2Fsrc%2FClassLibrary%2FFileInputStream.java;h=0000000000000000000000000000000000000000;hb=refs%2Ftags%2Fbuildscript;hp=dbc58d4cdca38c44f45cbe80dbef23c6c2ef8c86;hpb=d10ef53954b37b62a281cc4e79aef7a4be2af98a;p=IRC.git

diff --git a/Robust/src/ClassLibrary/FileInputStream.java b/Robust/src/ClassLibrary/FileInputStream.java
deleted file mode 100644
index dbc58d4c..00000000
--- a/Robust/src/ClassLibrary/FileInputStream.java
+++ /dev/null
@@ -1,34 +0,0 @@
-public class FileInputStream extends InputStream {
-  private int fd;
-
-  public FileInputStream(String pathname) {
-    fd=nativeOpen(pathname.getBytes());
-  }
-
-  public FileInputStream(File path) {
-    fd=nativeOpen(path.getPath().getBytes());
-  }
-  public int getfd() {
-    return fd;
-  }
-
-  private static native int nativeOpen(byte[] filename);
-  private static native int nativeRead(int fd, byte[] array, int numBytes);
-  private static native void nativeClose(int fd);
-
-  public int read() {
-    byte b[]=new byte[1];
-    int retval=read(b);
-    if (retval==-1)
-      return -1;
-    return b[0];
-  }
-
-  public int read(byte[] b) {
-    return nativeRead(fd, b, b.length);
-  }
-
-  public void close() {
-    nativeClose(fd);
-  }
-}