public interface KeYDesktop
Desktop
, because the behavior
is different in Eclipse.Main.getKeyDesktop()
,
DefaultKeYDesktop
Modifier and Type | Method and Description |
---|---|
void |
browse(URI uri)
Opens the given
URI . |
void |
edit(File file)
Open the given
File for editing purpose. |
void |
open(File file)
Open the given
File for viewing purpose. |
boolean |
supportsBrowse()
Checks if browsing
URI s is supported. |
boolean |
supportsEdit()
Checks if editing
File s is supported. |
boolean |
supportsOpen()
Checks if opening
File s is supported. |
boolean supportsEdit()
File
s is supported.true
is supported, false
is not supported.void edit(File file) throws IOException
File
for editing purpose.file
- The File
to open.IOException
- Occurred Exception.boolean supportsOpen()
File
s is supported.true
is supported, false
is not supported.void open(File file) throws IOException
File
for viewing purpose.file
- The File
to open.IOException
- Occurred Exception.boolean supportsBrowse()
URI
s is supported.true
is supported, false
is not supported.void browse(URI uri) throws IOException
URI
.uri
- The URI
to open.IOException
- Occurred Exception.