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.Exception
void save()
void load()
Terrier Information Retrieval Platform4.1. Copyright © 2004-2015, University of Glasgow