public class Directory extends java.lang.Object
Directory
handle
java.lang.String
path
protected
Directory()
Directory(Env env, Path dir)
void
cleanup()
close(Env env)
open(Env env)
Value
read(Env env)
rewind(Env env)
toString()
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
public Directory handle
public java.lang.String path
protected Directory()
protected Directory(Env env, Path dir) throws java.io.IOException
java.io.IOException
public void open(Env env)
public Value read(Env env)
public void rewind(Env env)
public void close(Env env)
public final void cleanup()
public java.lang.String toString()
toString
java.lang.Object