FileInputStream.java 10.4 KB
Newer Older
1
/* FileInputStream.java -- An input stream that reads from disk files.
2
   Copyright (C) 1998, 2002, 2003, 2004 Free Software Foundation, Inc.
3 4 5

This file is part of GNU Classpath.

6 7 8 9 10
GNU Classpath is free software; you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
the Free Software Foundation; either version 2, or (at your option)
any later version.
 
11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36
GNU Classpath is distributed in the hope that it will be useful, but
WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
General Public License for more details.

You should have received a copy of the GNU General Public License
along with GNU Classpath; see the file COPYING.  If not, write to the
Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA
02111-1307 USA.

Linking this library statically or dynamically with other modules is
making a combined work based on this library.  Thus, the terms and
conditions of the GNU General Public License cover the whole
combination.

As a special exception, the copyright holders of this library give you
permission to link this library with independent modules to produce an
executable, regardless of the license terms of these independent
modules, and to copy and distribute the resulting executable under
terms of your choice, provided that you also meet, for each linked
independent module, the terms and conditions of the license of that
module.  An independent module is a module which is not derived from
or based on this library.  If you modify this library, you may extend
this exception to your version of the library, but you are not
obligated to do so.  If you do not wish to do so, delete this
exception statement from your version. */
Tom Tromey committed
37 38 39 40


package java.io;

41
import java.nio.channels.FileChannel;
42
import gnu.java.nio.channels.FileChannelImpl;
43

Tom Tromey committed
44 45 46 47 48 49
/* Written using "Java Class Libraries", 2nd edition, ISBN 0-201-31002-3
 * "The Java Language Specification", ISBN 0-201-63451-1
 * plus online API docs for JDK 1.2 beta from http://www.javasoft.com.
 * Status:  Believed complete and correct.
 */
 
50 51 52 53 54 55
/**
 * This class is a stream that reads its bytes from a file. 
 *
 * @author Aaron M. Renn <arenn@urbanophile.com>
 * @author Warren Levy <warrenl@cygnus.com>
 */
Tom Tromey committed
56 57
public class FileInputStream extends InputStream
{
58 59 60
  /**
   * This is the native file handle for the file this stream is reading from
   */
Tom Tromey committed
61 62
  private FileDescriptor fd;

63
  private FileChannelImpl ch;
64

65 66 67 68 69 70 71 72 73 74 75 76 77 78 79
  /**
   * This method initializes a <code>FileInputStream</code> to read from the
   * specified named file.  A security check is first made to determine
   * whether or not access to this file is allowed.  This is done by
   * calling the <code>checkRead()</code> method of the 
   * <code>SecurityManager</code>
   * (if one exists) with the name of this file.  An exception is thrown
   * if reading is not allowed.  If the file does not exist, an exception
   * is also thrown.
   *
   * @param name The name of the file this stream should read from
   *
   * @exception SecurityException If read access to the file is not allowed
   * @exception FileNotFoundException If the file does not exist.
   */
80
  public FileInputStream(String name) throws FileNotFoundException
Tom Tromey committed
81
  {
82
    this(new File(name));
Tom Tromey committed
83 84
  }

85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100
  /**
   * This method initializes a <code>FileInputStream</code> to read from the
   * specified <code>File</code> object.  A security check is first
   * made to determine
   * whether or not access to this file is allowed.  This is done by
   * calling the <code>checkRead()</code> method of the
   * <code>SecurityManager</code>
   * (if one exists) with the name of this file.  An exception is thrown
   * if reading is not allowed.  If the file does not exist, an exception
   * is also thrown.
   *
   * @param file The <code>File</code> object this stream should read from
   *
   * @exception SecurityException If read access to the file is not allowed
   * @exception FileNotFoundException If the file does not exist.
   */
101
  public FileInputStream(File file) throws FileNotFoundException
Tom Tromey committed
102
  {
103 104 105 106 107 108 109
    SecurityManager s = System.getSecurityManager();
    if (s != null)
      s.checkRead(file.getPath());

    if (file.isDirectory())
      throw new FileNotFoundException(file.getPath() + " is a directory");

110
    ch = new FileChannelImpl (file.getPath(), FileChannelImpl.READ);
Tom Tromey committed
111 112
  }

113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128
  /**
   * This method initializes a <code>FileInputStream</code> to read from the
   * specified <code>FileDescriptor</code> object.  A security
   * check is first made to
   * determine whether or not access to this file is allowed.  This is done by
   * calling the <code>checkRead()</code> method of the 
   * <code>SecurityManager</code>
   * (if one exists) with the specified <code>FileDescriptor</code>  
   * An exception is 
   * thrown if reading is not allowed.
   *
   * @param fd The <code>FileDescriptor</code> object this stream 
   * should read from
   *
   * @exception SecurityException If read access to the file is not allowed
   */
Tom Tromey committed
129 130 131 132 133
  public FileInputStream(FileDescriptor fdObj)
  {
    SecurityManager s = System.getSecurityManager();
    if (s != null)
      s.checkRead(fdObj);
134

Tom Tromey committed
135
    fd = fdObj;
136 137 138 139 140 141
    ch = (FileChannelImpl) fdObj.channel;
  }

  FileInputStream(FileChannelImpl ch)
  {
    this.ch = ch;
Tom Tromey committed
142 143
  }

144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162
  /**
   * This method returns the number of bytes that can be read from this
   * stream before a read can block.  A return of 0 indicates that blocking
   * might (or might not) occur on the very next read attempt.
   * <p>
   * This method returns the number of unread bytes remaining in the file if
   * the descriptor being read from is an actual file.  If this method is
   * reading from a ''special'' file such a the standard input, this method
   * will return the appropriate value for the stream being read.
   * <p>
   * Be aware that reads on plain files that do not reside locally might
   * possibly block even if this method says they should not.  For example,
   * a remote server might crash, preventing an NFS mounted file from being
   * read.
   *
   * @return The number of bytes that can be read before blocking could occur
   *
   * @exception IOException If an error occurs
   */
Tom Tromey committed
163 164
  public int available() throws IOException
  {
165
    return ch.available();
Tom Tromey committed
166 167
  }

168 169 170 171 172 173 174
  /**
   * This method closes the stream.  Any futher attempts to read from the
   * stream will likely generate an IOException since the underlying file
   * will be closed.
   *
   * @exception IOException If an error occurs.
   */
Tom Tromey committed
175 176
  public void close() throws IOException
  {
177
    ch.close();
Tom Tromey committed
178 179 180 181
  }

  protected void finalize() throws IOException
  {
182 183
    // We don't actually need this, but we include it because it is
    // mentioned in the JCL.
Tom Tromey committed
184 185
  }

186 187 188 189 190 191 192 193 194
  /**
   * This method returns a <code>FileDescriptor</code> object representing the
   * underlying native file handle of the file this stream is reading
   * from
   *
   * @return A <code>FileDescriptor</code> for this stream
   *
   * @exception IOException If an error occurs
   */
Tom Tromey committed
195 196
  public final FileDescriptor getFD() throws IOException
  {
197 198 199 200 201 202
    synchronized (this)
      {
	if (fd == null)
	  fd = new FileDescriptor (ch);
	return fd;
      }
Tom Tromey committed
203 204
  }

205 206 207 208 209 210 211 212 213 214 215
  /**
   * This method reads an unsigned byte from the input stream and returns it
   * as an int in the range of 0-255.  This method also will return -1 if
   * the end of the stream has been reached.
   * <p>
   * This method will block until the byte can be read.
   *
   * @return The byte read or -1 if end of stream
   *
   * @exception IOException If an error occurs
   */
Tom Tromey committed
216 217
  public int read() throws IOException
  {
218
    return ch.read();
Tom Tromey committed
219 220
  }

221 222 223 224 225 226 227 228 229 230 231 232 233 234 235 236 237
  /**
   * This method reads bytes from a stream and stores them into a caller
   * supplied buffer.  This method attempts to completely fill the buffer,
   * but can return before doing so.  The actual number of bytes read is
   * returned as an int.  A -1 is returned to indicate the end of the stream.
   * <p>
   * This method will block until some data can be read.
   * <p>
   * This method operates by calling an overloaded read method like so:
   * <code>read(buf, 0, buf.length)</code>
   *
   * @param buf The buffer into which the bytes read will be stored.
   *
   * @return The number of bytes read or -1 if end of stream.
   *
   * @exception IOException If an error occurs.
   */
238
  public int read(byte[] buf) throws IOException
Tom Tromey committed
239
  {
240
    return read(buf, 0, buf.length);
Tom Tromey committed
241 242
  }

243 244 245 246 247 248 249 250 251 252 253 254 255 256 257 258 259 260 261
  /**
   * This method read bytes from a stream and stores them into a caller
   * supplied buffer.  It starts storing the data at index 
   * <code>offset</code> into
   * the buffer and attempts to read <code>len</code> bytes.  This method can
   * return before reading the number of bytes requested.  The actual number
   * of bytes read is returned as an int.  A -1 is returned to indicate the
   * end of the stream.
   * <p>
   * This method will block until some data can be read.
   *
   * @param buf The array into which the bytes read should be stored
   * @param offset The offset into the array to start storing bytes
   * @param len The requested number of bytes to read
   *
   * @return The actual number of bytes read, or -1 if end of stream.
   *
   * @exception IOException If an error occurs.
   */
262
  public int read(byte[] buf, int offset, int len) throws IOException
Tom Tromey committed
263
  {
264 265 266
    if (offset < 0
        || len < 0
        || offset + len > buf.length)
Tom Tromey committed
267 268
      throw new ArrayIndexOutOfBoundsException();

269
    return ch.read(buf, offset, len);
Tom Tromey committed
270 271
  }

272 273 274 275 276 277 278 279 280 281 282
  /**
   * This method skips the specified number of bytes in the stream.  It
   * returns the actual number of bytes skipped, which may be less than the
   * requested amount.
   * <p>
   * @param numBytes The requested number of bytes to skip
   *
   * @return The actual number of bytes skipped.
   *
   * @exception IOException If an error occurs
   */
283
  public synchronized long skip (long numBytes) throws IOException
Tom Tromey committed
284
  {
285
    if (numBytes < 0)
286 287
      throw new IllegalArgumentException ("Can't skip negative bytes: " + 
                                          numBytes);
288 289 290

    if (numBytes == 0)
      return 0;
291

292 293 294
    long oldPos = ch.position ();
    ch.position(oldPos + numBytes);
    return ch.position() - oldPos;
Tom Tromey committed
295
  }
296

297 298 299 300 301 302
  /**
   * This method creates a java.nio.channels.FileChannel.
   * Nio does not allow one to create a file channel directly.
   * A file channel must be created by first creating an instance of
   * Input/Output/RandomAccessFile and invoking the getChannel() method on it.
   */
303
  public synchronized FileChannel getChannel () 
304
  {
305
    return ch;
306
  }
307 308 309

} // class FileInputStream