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-08, 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()
          Executes the command.
 java.lang.String help()
          Returns the command help.
 java.lang.String key()
          Returns the command shortcut.
 void refresh(javax.swing.AbstractButton button)
          Enables or disables the specified button, depending on the command properties.
 

Method Detail

execute

void execute()
Executes the command.


refresh

void refresh(javax.swing.AbstractButton button)
Enables or disables the specified button, depending on the command properties.

Parameters:
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