rasmus.interpreter.sampled.util
Class RandomFileInputStream

java.lang.Object
  java.io.InputStream
      rasmus.interpreter.sampled.util.RandomFileInputStream

All Implemented Interfaces:

java.io.Closeable

public class RandomFileInputStream
extends java.io.InputStream

Constructor Summary

RandomFileInputStream(java.io.File file)

Method Summary

int	available()
void	close()
void	mark(int arg0)
boolean	markSupported()
int	read()
int	read(byte[] arg0)
int	read(byte[] arg0, int arg1, int arg2)
void	reset()
long	skip(long arg0)

Methods inherited from class java.lang.Object

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

Constructor Detail

RandomFileInputStream

public RandomFileInputStream(java.io.File file)
                      throws java.io.IOException

Throws:

java.io.IOException

Method Detail

close

public void close()
           throws java.io.IOException

Specified by:

close in interface java.io.Closeable

Overrides:

close in class java.io.InputStream

Throws:

java.io.IOException

read

public int read()
         throws java.io.IOException

Specified by:

read in class java.io.InputStream

Throws:

java.io.IOException

available

public int available()
              throws java.io.IOException

Overrides:

available in class java.io.InputStream

Throws:

java.io.IOException

mark

public void mark(int arg0)

Overrides:

mark in class java.io.InputStream

markSupported

public boolean markSupported()

Overrides:

markSupported in class java.io.InputStream

read

public int read(byte[] arg0)
         throws java.io.IOException

Overrides:

read in class java.io.InputStream

Throws:

java.io.IOException

read

public int read(byte[] arg0,
                int arg1,
                int arg2)
         throws java.io.IOException

Overrides:

read in class java.io.InputStream

Throws:

java.io.IOException

reset

public void reset()
           throws java.io.IOException

Overrides:

reset in class java.io.InputStream

Throws:

java.io.IOException

skip

public long skip(long arg0)
          throws java.io.IOException

Overrides:

skip in class java.io.InputStream

Throws:

java.io.IOException