|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object java.io.InputStream java.io.FilterInputStream java.io.PushbackInputStream edu.isi.stella.javalib.NativeFileInputStream
public class NativeFileInputStream
Field Summary | |
---|---|
java.nio.channels.FileChannel |
channel
|
Fields inherited from class java.io.PushbackInputStream |
---|
buf, pos |
Fields inherited from class java.io.FilterInputStream |
---|
in |
Constructor Summary | |
---|---|
NativeFileInputStream(java.lang.String filename)
|
Method Summary | |
---|---|
static NativeFileInputStream |
open(java.lang.String filename)
|
long |
position()
|
long |
position(long newPosition)
|
Methods inherited from class java.io.PushbackInputStream |
---|
available, close, mark, markSupported, read, read, reset, skip, unread, unread, unread |
Methods inherited from class java.io.FilterInputStream |
---|
read |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
public java.nio.channels.FileChannel channel
Constructor Detail |
---|
public NativeFileInputStream(java.lang.String filename) throws java.io.FileNotFoundException
java.io.FileNotFoundException
Method Detail |
---|
public static NativeFileInputStream open(java.lang.String filename)
public long position()
public long position(long newPosition)
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |