public interface FileOpener
| Modifier and Type | Method and Description | 
|---|---|
| void | load()Perform any loading in of data the implementor may require. | 
| void | open(String filename)Opens the file with the given name, using either a 
 pre-defined, or a user-defined application. | 
| void | save()Perform any saving to disk of data the implementor may requires. | 
void open(String filename) throws Exception
filename - the name of the file to open.Exceptionvoid save()
void load()
Terrier Information Retrieval Platform4.1. Copyright © 2004-2015, University of Glasgow