public class KeyList
extends java.lang.Object
implements java.lang.Iterable<java.lang.String>
Modifier and Type | Field and Description |
---|---|
private static java.lang.Object |
_obj |
private java.util.Map<java.lang.String,java.lang.Object> |
keys |
private java.io.RandomAccessFile |
raf |
Constructor and Description |
---|
KeyList(java.io.File file) |
private static final java.lang.Object _obj
private final java.util.Map<java.lang.String,java.lang.Object> keys
private final java.io.RandomAccessFile raf
public KeyList(java.io.File file) throws java.io.IOException
java.io.IOException
public void clear() throws java.io.IOException
java.io.IOException
public int size()
public boolean contains(java.lang.String key)
public void add(java.lang.String key) throws java.io.IOException
java.io.IOException
public void close() throws java.io.IOException
java.io.IOException
public static void main(java.lang.String[] args)
public java.util.Iterator<java.lang.String> iterator()
iterator
in interface java.lang.Iterable<java.lang.String>