org.basex.gui
Interface GUICommand

All Known Implementing Classes:

GUICommands

public interface GUICommand

This interface defines GUI command methods.

Author:

Workgroup DBIS, University of Konstanz 2005-09, ISC License, Christian Gruen

Method Summary

boolean	checked() Returns if this command includes a menu checkbox.
java.lang.String	desc() Returns the command entry.
void	execute(GUI gui) Executes the command.
java.lang.String	help() Returns the command help.
java.lang.String	key() Returns the command shortcut.
void	refresh(GUI gui, javax.swing.AbstractButton button) Enables or disables the specified button, depending on the command properties.

Method Detail

execute

void execute(GUI gui)

Executes the command.

Parameters:

gui - reference to the main window

refresh

void refresh(GUI gui,
             javax.swing.AbstractButton button)

Enables or disables the specified button, depending on the command properties.

Parameters:

gui - reference to the main window

button - button to be modified

checked

boolean checked()

Returns if this command includes a menu checkbox.

Returns:

result of check

desc

java.lang.String desc()

Returns the command entry.

Returns:

command entry

help

java.lang.String help()

Returns the command help.

Returns:

command help

key

java.lang.String key()

Returns the command shortcut.

Returns:

command shortcut