public class DefaultKeYDesktop extends java.lang.Object implements KeYDesktop
KeYDesktop
implementation delegating all requests
to Desktop
.Main.getKeyDesktop()
Constructor and Description |
---|
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. |
public boolean supportsEdit()
File
s is supported.supportsEdit
in interface KeYDesktop
true
is supported, false
is not supported.public void edit(java.io.File file) throws java.io.IOException
File
for editing purpose.edit
in interface KeYDesktop
file
- The File
to open.java.io.IOException
- Occurred Exception.public boolean supportsOpen()
File
s is supported.supportsOpen
in interface KeYDesktop
true
is supported, false
is not supported.public void open(java.io.File file) throws java.io.IOException
File
for viewing purpose.open
in interface KeYDesktop
file
- The File
to open.java.io.IOException
- Occurred Exception.public boolean supportsBrowse()
URI
s is supported.supportsBrowse
in interface KeYDesktop
true
is supported, false
is not supported.public void browse(java.net.URI uri) throws java.io.IOException
URI
.browse
in interface KeYDesktop
uri
- The URI
to open.java.io.IOException
- Occurred Exception.