de.uka.ilkd.key.core

Interface KeYDesktop

All Known Implementing Classes:

DefaultKeYDesktop

public interface KeYDesktop

This is the interface to the desktop of the operating system. It should be used instead of Desktop, because the behavior is different in Eclipse.

Author:

Martin Hentschel

See Also:

Main.getKeyDesktop(), 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.

Method Detail

supportsEdit

boolean supportsEdit()

Checks if editing Files is supported.

Returns:

true is supported, false is not supported.

edit

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

Open the given File for editing purpose.

Parameters:

file - The File to open.

Throws:

java.io.IOException - Occurred Exception.

supportsOpen

boolean supportsOpen()

Checks if opening Files is supported.

Returns:

true is supported, false is not supported.

open

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

Open the given File for viewing purpose.

Parameters:

file - The File to open.

Throws:

java.io.IOException - Occurred Exception.

supportsBrowse

boolean supportsBrowse()

Checks if browsing URIs is supported.

Returns:

true is supported, false is not supported.

browse

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

Opens the given URI.

Parameters:

uri - The URI to open.

Throws:

java.io.IOException - Occurred Exception.