public class WindowsFileOpener extends Object implements FileOpener
Constructor and Description |
---|
WindowsFileOpener() |
public void open(String filename)
open
in interface FileOpener
filename
- the name of the file to open.FileOpener.open(java.lang.String)
public void load()
load
in interface FileOpener
public void save()
save
in interface FileOpener
Terrier Information Retrieval Platform4.1. Copyright © 2004-2015, University of Glasgow