public class OnDiskProperties extends Object
| Constructor and Description |
|---|
OnDiskProperties(String file,
int recordLength,
boolean write) |
| Modifier and Type | Method and Description |
|---|---|
void |
add(String key,
String value) |
void |
close() |
protected void |
finalize() |
String |
getProperty(String key) |
long |
size() |
public OnDiskProperties(String file, int recordLength, boolean write) throws FileNotFoundException
FileNotFoundExceptionpublic void add(String key, String value) throws IOException
IOExceptionpublic String getProperty(String key) throws IOException
IOExceptionpublic long size()
throws IOException
IOExceptionpublic void close()
throws IOException
IOExceptionCopyright © 2016. All rights reserved.