|
||||||||||
| 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 | |||||||||