java.io

Class FileInputStream

java.lang.Object

java.io.InputStream

java.io.FileInputStream

All Implemented Interfaces:

Closeable, AutoCloseable

public class FileInputStream
extends InputStream

a simple model to read data w/o dragging the file system content into the JPF memory

Constructor Summary

Constructors

Constructor and Description
FileInputStream(File file)
FileInputStream(FileDescriptor fd)
FileInputStream(String fname)

Method Summary

Methods

Modifier and Type	Method and Description
int	available()
void	close()
FileChannel	getChannel()
int	read()
int	read(byte[] b)
int	read(byte[] b, int off, int len)
long	skip(long n)

Methods inherited from class java.io.InputStream

mark, markSupported, reset

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

FileInputStream

public FileInputStream(String fname)
                throws FileNotFoundException

Throws:

FileNotFoundException

FileInputStream

public FileInputStream(File file)
                throws FileNotFoundException

Throws:

FileNotFoundException

FileInputStream

public FileInputStream(FileDescriptor fd)

Method Detail

read

public int read(byte[] b)
         throws IOException

Overrides:

read in class InputStream

Throws:

IOException

getChannel

public FileChannel getChannel()

read

public int read()
         throws IOException

Specified by:

read in class InputStream

Throws:

IOException

read

public int read(byte[] b,
       int off,
       int len)
         throws IOException

Overrides:

read in class InputStream

Throws:

IOException

skip

public long skip(long n)
          throws IOException

Overrides:

skip in class InputStream

Throws:

IOException

available

public int available()
              throws IOException

Overrides:

available in class InputStream

Throws:

IOException

close

public void close()
           throws IOException

Specified by:

close in interface Closeable

Specified by:

close in interface AutoCloseable

Overrides:

close in class InputStream

Throws:

IOException