public interface KeYDesktop
Desktop
, because the behavior
is different in Eclipse.Main.getKeyDesktop()
,
DefaultKeYDesktop
Modifier and Type | Method and Description |
---|---|
void |
browse(java.net.URI uri)
Opens the given
URI . |
void |
edit(java.io.File file)
Open the given
File for editing purpose. |
void |
open(java.io.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(java.io.File file) throws java.io.IOException
File
for editing purpose.file
- The File
to open.java.io.IOException
- Occurred Exception.boolean supportsOpen()
File
s is supported.true
is supported, false
is not supported.void open(java.io.File file) throws java.io.IOException
File
for viewing purpose.file
- The File
to open.java.io.IOException
- Occurred Exception.boolean supportsBrowse()
URI
s is supported.true
is supported, false
is not supported.void browse(java.net.URI uri) throws java.io.IOException
URI
.uri
- The URI
to open.java.io.IOException
- Occurred Exception.