de.uka.ilkd.key.core

Class DefaultKeYDesktop

java.lang.Object

de.uka.ilkd.key.core.DefaultKeYDesktop

All Implemented Interfaces:

KeYDesktop

public class DefaultKeYDesktop
extends java.lang.Object
implements KeYDesktop

The default KeYDesktop implementation delegating all requests to Desktop.

Author:

Martin Hentschel

See Also:

Main.getKeyDesktop()

Constructor Summary

Constructors

Constructor and Description
DefaultKeYDesktop()

Method Summary

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 URIs is supported.
boolean	supportsEdit() Checks if editing Files is supported.
boolean	supportsOpen() Checks if opening Files is supported.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

DefaultKeYDesktop

public DefaultKeYDesktop()

Method Detail

supportsEdit

public boolean supportsEdit()

Checks if editing Files is supported.

Specified by:

supportsEdit in interface KeYDesktop

Returns:

true is supported, false is not supported.

edit

public void edit(java.io.File file)
          throws java.io.IOException

Open the given File for editing purpose.

Specified by:

edit in interface KeYDesktop

Parameters:

file - The File to open.

Throws:

java.io.IOException - Occurred Exception.

supportsOpen

public boolean supportsOpen()

Checks if opening Files is supported.

Specified by:

supportsOpen in interface KeYDesktop

Returns:

true is supported, false is not supported.

open

public void open(java.io.File file)
          throws java.io.IOException

Open the given File for viewing purpose.

Specified by:

open in interface KeYDesktop

Parameters:

file - The File to open.

Throws:

java.io.IOException - Occurred Exception.

supportsBrowse

public boolean supportsBrowse()

Checks if browsing URIs is supported.

Specified by:

supportsBrowse in interface KeYDesktop

Returns:

true is supported, false is not supported.

browse

public void browse(java.net.URI uri)
            throws java.io.IOException

Opens the given URI.

Specified by:

browse in interface KeYDesktop

Parameters:

uri - The URI to open.

Throws:

java.io.IOException - Occurred Exception.