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