|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface FileOpener
An interface for a handler, provided by a tool manager, that can open files of a particular type.
Nested Class Summary | |
---|---|
static class |
FileOpener.Fault
This exception is to report problems that occur while opening a file. |
Method Summary | |
---|---|
java.lang.String |
getFileType()
Get an ID indicating the type of files this object can handle. |
void |
open(java.io.File file)
Open the given file in an appropriate tool. |
Method Detail |
---|
java.lang.String getFileType()
void open(java.io.File file) throws java.io.FileNotFoundException, FileOpener.Fault
file
- the file to be opened
java.io.FileNotFoundException
- is the file cannot be found
FileOpener.Fault
- if there is a problem opening the file
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |