|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||
java.lang.Objectjava.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 | ||||||||