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
FileNotFoundException
public void add(String key, String value) throws IOException
IOException
public String getProperty(String key) throws IOException
IOException
public long size() throws IOException
IOException
public void close() throws IOException
IOException
Copyright © 2016. All rights reserved.