org.jclarion.clarion.file
Class URLFile

java.lang.Object
  org.jclarion.clarion.ClarionRandomAccessFile
      org.jclarion.clarion.file.RingBufferedInputStreamClarionFile
          org.jclarion.clarion.file.URLFile

public class URLFile
extends RingBufferedInputStreamClarionFile

Constructor Summary

URLFile(java.net.URL url)

Method Summary

protected java.io.InputStream	createStream()
java.lang.String	getName()
long	length()

Methods inherited from class org.jclarion.clarion.file.RingBufferedInputStreamClarionFile

close, position, read, seek, write

Methods inherited from class org.jclarion.clarion.ClarionRandomAccessFile

getCharFile

Methods inherited from class java.lang.Object

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

Constructor Detail

URLFile

public URLFile(java.net.URL url)
        throws java.io.FileNotFoundException

Throws:

java.io.FileNotFoundException

Method Detail

createStream

protected java.io.InputStream createStream()
                                    throws java.io.IOException

Specified by:

createStream in class RingBufferedInputStreamClarionFile

Throws:

java.io.IOException

getName

public java.lang.String getName()

Specified by:

getName in class ClarionRandomAccessFile

length

public long length()
            throws java.io.IOException

Overrides:

length in class RingBufferedInputStreamClarionFile

Throws:

java.io.IOException