public interface DictionaryPrivate extends Dictionary
| Modifier and Type | Method and Description |
|---|---|
void |
load(InputStream input,
ControlInfo ci,
ProgressListener listener)
Loads a dictionary from a InputStream
|
void |
load(TempDictionary other,
ProgressListener listener)
Loads all information from another dictionary into this dictionary.
|
void |
mapFromFile(CountInputStream in,
File f,
ProgressListener listener) |
void |
save(OutputStream output,
ControlInfo ci,
ProgressListener listener)
Saves the dictionary to a OutputStream
|
getNobjects, getNpredicates, getNshared, getNsubjects, getNumberOfElements, getObjects, getPredicates, getShared, getSubjects, getType, idToString, populateHeader, size, stringToIdvoid load(InputStream input, ControlInfo ci, ProgressListener listener) throws IOException
input - InputStream to load the dictionary fromIOExceptionvoid mapFromFile(CountInputStream in, File f, ProgressListener listener) throws IOException
IOExceptionvoid load(TempDictionary other, ProgressListener listener)
void save(OutputStream output, ControlInfo ci, ProgressListener listener) throws IOException
IOExceptionCopyright © 2018 DataWeb Research. All rights reserved.