Docjar: A Java Source and Docuemnt Enginecom.*    java.*    javax.*    org.*    all    new    plug-in

Quick Search    Search Deep

alice.util.jedit
Class InputHandler  view InputHandler download InputHandler.java

java.lang.Object
  extended byjava.awt.event.KeyAdapter
      extended byalice.util.jedit.InputHandler
All Implemented Interfaces:
java.util.EventListener, java.awt.event.KeyListener
Direct Known Subclasses:
DefaultInputHandler

public abstract class InputHandler
extends java.awt.event.KeyAdapter

An input handler converts the user's key strokes into concrete actions. It also takes care of macro recording and action repetition.

This class provides all the necessary support code for an input handler, but doesn't actually do any key binding logic. It is up to the implementations of this class to do so.

Version:
$Id: InputHandler.java,v 1.14 1999/12/13 03:40:30 sp Exp $

Nested Class Summary
static class InputHandler.backspace
           
static class InputHandler.backspace_word
           
static class InputHandler.copy
           
static class InputHandler.cut
           
static class InputHandler.delete
           
static class InputHandler.delete_word
           
static class InputHandler.document_end
           
static class InputHandler.document_home
           
static class InputHandler.end
           
static class InputHandler.home
           
static class InputHandler.insert_break
           
static class InputHandler.insert_char
           
static class InputHandler.insert_tab
           
static interface InputHandler.MacroRecorder
          Macro recorder.
static class InputHandler.next_char
           
static class InputHandler.next_line
           
static class InputHandler.next_page
           
static class InputHandler.next_word
           
static interface InputHandler.NonRecordable
          If an action implements this interface, it should not be recorded by the macro recorder.
static interface InputHandler.NonRepeatable
          If an action implements this interface, it should not be repeated.
static class InputHandler.overwrite
           
static class InputHandler.paste
           
static class InputHandler.prev_char
           
static class InputHandler.prev_line
           
static class InputHandler.prev_page
           
static class InputHandler.prev_word
           
static class InputHandler.repeat
           
static class InputHandler.toggle_rect
           
static interface InputHandler.Wrapper
          For use by EditAction.Wrapper only.
 
Field Summary
private static java.util.Hashtable actions
           
static java.awt.event.ActionListener BACKSPACE
           
static java.awt.event.ActionListener BACKSPACE_WORD
           
static java.awt.event.ActionListener COPY
           
static java.awt.event.ActionListener CUT
           
static java.awt.event.ActionListener DELETE
           
static java.awt.event.ActionListener DELETE_WORD
           
static java.awt.event.ActionListener DOCUMENT_END
           
static java.awt.event.ActionListener DOCUMENT_HOME
           
static java.awt.event.ActionListener END
           
protected  java.awt.event.ActionListener grabAction
           
static java.awt.event.ActionListener HOME
           
static java.awt.event.ActionListener INSERT_BREAK
           
static java.awt.event.ActionListener INSERT_CHAR
           
static java.awt.event.ActionListener INSERT_TAB
           
static java.awt.event.ActionListener NEXT_CHAR
           
static java.awt.event.ActionListener NEXT_LINE
           
static java.awt.event.ActionListener NEXT_PAGE
           
static java.awt.event.ActionListener NEXT_WORD
           
static java.awt.event.ActionListener OVERWRITE
           
static java.awt.event.ActionListener PASTE
           
static java.awt.event.ActionListener PREV_CHAR
           
static java.awt.event.ActionListener PREV_LINE
           
static java.awt.event.ActionListener PREV_PAGE
           
static java.awt.event.ActionListener PREV_WORD
           
protected  InputHandler.MacroRecorder recorder
           
protected  boolean repeat
           
static java.awt.event.ActionListener REPEAT
           
protected  int repeatCount
           
static java.awt.event.ActionListener SELECT_DOC_END
           
static java.awt.event.ActionListener SELECT_DOC_HOME
           
static java.awt.event.ActionListener SELECT_END
           
static java.awt.event.ActionListener SELECT_HOME
           
static java.awt.event.ActionListener SELECT_NEXT_CHAR
           
static java.awt.event.ActionListener SELECT_NEXT_LINE
           
static java.awt.event.ActionListener SELECT_NEXT_PAGE
           
static java.awt.event.ActionListener SELECT_NEXT_WORD
           
static java.awt.event.ActionListener SELECT_PREV_CHAR
           
static java.awt.event.ActionListener SELECT_PREV_LINE
           
static java.awt.event.ActionListener SELECT_PREV_PAGE
           
static java.awt.event.ActionListener SELECT_PREV_WORD
           
static java.lang.String SMART_HOME_END_PROPERTY
          If this client property is set to Boolean.TRUE on the text area, the home/end keys will support 'smart' BRIEF-like behaviour (one press = start/end of line, two presses = start/end of viewscreen, three presses = start/end of document).
static java.awt.event.ActionListener TOGGLE_RECT
           
 
Constructor Summary
InputHandler()
           
 
Method Summary
abstract  void addDefaultKeyBindings()
          Adds the default key bindings to this input handler.
abstract  void addKeyBinding(java.lang.String keyBinding, java.awt.event.ActionListener action)
          Adds a key binding to this input handler.
abstract  InputHandler copy()
          Returns a copy of this input handler that shares the same key bindings.
 void executeAction(java.awt.event.ActionListener listener, java.lang.Object source, java.lang.String actionCommand)
          Executes the specified action, repeating and recording it as necessary.
static java.awt.event.ActionListener getAction(java.lang.String name)
          Returns a named text area action.
static java.lang.String getActionName(java.awt.event.ActionListener listener)
          Returns the name of the specified text area action.
static java.util.Enumeration getActions()
          Returns an enumeration of all available actions.
 InputHandler.MacroRecorder getMacroRecorder()
          Returns the macro recorder.
 int getRepeatCount()
          Returns the number of times the next action will be repeated.
static JEditTextArea getTextArea(java.util.EventObject evt)
          Returns the text area that fired the specified event.
 void grabNextKeyStroke(java.awt.event.ActionListener listener)
          Grabs the next key typed event and invokes the specified action with the key as a the action command.
protected  void handleGrabAction(java.awt.event.KeyEvent evt)
          If a key is being grabbed, this method should be called with the appropriate key event.
 boolean isRepeatEnabled()
          Returns if repeating is enabled.
abstract  void removeAllKeyBindings()
          Removes all key bindings from this input handler.
abstract  void removeKeyBinding(java.lang.String keyBinding)
          Removes a key binding from this input handler.
 void setMacroRecorder(InputHandler.MacroRecorder recorder)
          Sets the macro recorder.
 void setRepeatCount(int repeatCount)
          Sets the number of times the next action will be repeated.
 void setRepeatEnabled(boolean repeat)
          Enables repeating.
 
Methods inherited from class java.awt.event.KeyAdapter
keyPressed, keyReleased, keyTyped
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

SMART_HOME_END_PROPERTY

public static final java.lang.String SMART_HOME_END_PROPERTY
If this client property is set to Boolean.TRUE on the text area, the home/end keys will support 'smart' BRIEF-like behaviour (one press = start/end of line, two presses = start/end of viewscreen, three presses = start/end of document). By default, this property is not set.

See Also:
Constant Field Values

BACKSPACE

public static final java.awt.event.ActionListener BACKSPACE

BACKSPACE_WORD

public static final java.awt.event.ActionListener BACKSPACE_WORD

DELETE

public static final java.awt.event.ActionListener DELETE

DELETE_WORD

public static final java.awt.event.ActionListener DELETE_WORD

END

public static final java.awt.event.ActionListener END

DOCUMENT_END

public static final java.awt.event.ActionListener DOCUMENT_END

SELECT_END

public static final java.awt.event.ActionListener SELECT_END

SELECT_DOC_END

public static final java.awt.event.ActionListener SELECT_DOC_END

INSERT_BREAK

public static final java.awt.event.ActionListener INSERT_BREAK

INSERT_TAB

public static final java.awt.event.ActionListener INSERT_TAB

HOME

public static final java.awt.event.ActionListener HOME

DOCUMENT_HOME

public static final java.awt.event.ActionListener DOCUMENT_HOME

SELECT_HOME

public static final java.awt.event.ActionListener SELECT_HOME

SELECT_DOC_HOME

public static final java.awt.event.ActionListener SELECT_DOC_HOME

NEXT_CHAR

public static final java.awt.event.ActionListener NEXT_CHAR

NEXT_LINE

public static final java.awt.event.ActionListener NEXT_LINE

NEXT_PAGE

public static final java.awt.event.ActionListener NEXT_PAGE

NEXT_WORD

public static final java.awt.event.ActionListener NEXT_WORD

SELECT_NEXT_CHAR

public static final java.awt.event.ActionListener SELECT_NEXT_CHAR

SELECT_NEXT_LINE

public static final java.awt.event.ActionListener SELECT_NEXT_LINE

SELECT_NEXT_PAGE

public static final java.awt.event.ActionListener SELECT_NEXT_PAGE

SELECT_NEXT_WORD

public static final java.awt.event.ActionListener SELECT_NEXT_WORD

OVERWRITE

public static final java.awt.event.ActionListener OVERWRITE

PREV_CHAR

public static final java.awt.event.ActionListener PREV_CHAR

PREV_LINE

public static final java.awt.event.ActionListener PREV_LINE

PREV_PAGE

public static final java.awt.event.ActionListener PREV_PAGE

PREV_WORD

public static final java.awt.event.ActionListener PREV_WORD

SELECT_PREV_CHAR

public static final java.awt.event.ActionListener SELECT_PREV_CHAR

SELECT_PREV_LINE

public static final java.awt.event.ActionListener SELECT_PREV_LINE

SELECT_PREV_PAGE

public static final java.awt.event.ActionListener SELECT_PREV_PAGE

SELECT_PREV_WORD

public static final java.awt.event.ActionListener SELECT_PREV_WORD

REPEAT

public static final java.awt.event.ActionListener REPEAT

TOGGLE_RECT

public static final java.awt.event.ActionListener TOGGLE_RECT

CUT

public static final java.awt.event.ActionListener CUT

COPY

public static final java.awt.event.ActionListener COPY

PASTE

public static final java.awt.event.ActionListener PASTE

INSERT_CHAR

public static final java.awt.event.ActionListener INSERT_CHAR

actions

private static java.util.Hashtable actions

grabAction

protected java.awt.event.ActionListener grabAction

repeat

protected boolean repeat

repeatCount

protected int repeatCount

recorder

protected InputHandler.MacroRecorder recorder
Constructor Detail

InputHandler

public InputHandler()
Method Detail

getAction

public static java.awt.event.ActionListener getAction(java.lang.String name)
Returns a named text area action.


getActionName

public static java.lang.String getActionName(java.awt.event.ActionListener listener)
Returns the name of the specified text area action.


getActions

public static java.util.Enumeration getActions()
Returns an enumeration of all available actions.


addDefaultKeyBindings

public abstract void addDefaultKeyBindings()
Adds the default key bindings to this input handler. This should not be called in the constructor of this input handler, because applications might load the key bindings from a file, etc.


addKeyBinding

public abstract void addKeyBinding(java.lang.String keyBinding,
                                   java.awt.event.ActionListener action)
Adds a key binding to this input handler.


removeKeyBinding

public abstract void removeKeyBinding(java.lang.String keyBinding)
Removes a key binding from this input handler.


removeAllKeyBindings

public abstract void removeAllKeyBindings()
Removes all key bindings from this input handler.


grabNextKeyStroke

public void grabNextKeyStroke(java.awt.event.ActionListener listener)
Grabs the next key typed event and invokes the specified action with the key as a the action command.


isRepeatEnabled

public boolean isRepeatEnabled()
Returns if repeating is enabled. When repeating is enabled, actions will be executed multiple times. This is usually invoked with a special key stroke in the input handler.


setRepeatEnabled

public void setRepeatEnabled(boolean repeat)
Enables repeating. When repeating is enabled, actions will be executed multiple times. Once repeating is enabled, the input handler should read a number from the keyboard.


getRepeatCount

public int getRepeatCount()
Returns the number of times the next action will be repeated.


setRepeatCount

public void setRepeatCount(int repeatCount)
Sets the number of times the next action will be repeated.


getMacroRecorder

public InputHandler.MacroRecorder getMacroRecorder()
Returns the macro recorder. If this is non-null, all executed actions should be forwarded to the recorder.


setMacroRecorder

public void setMacroRecorder(InputHandler.MacroRecorder recorder)
Sets the macro recorder. If this is non-null, all executed actions should be forwarded to the recorder.


copy

public abstract InputHandler copy()
Returns a copy of this input handler that shares the same key bindings. Setting key bindings in the copy will also set them in the original.


executeAction

public void executeAction(java.awt.event.ActionListener listener,
                          java.lang.Object source,
                          java.lang.String actionCommand)
Executes the specified action, repeating and recording it as necessary.


getTextArea

public static JEditTextArea getTextArea(java.util.EventObject evt)
Returns the text area that fired the specified event.


handleGrabAction

protected void handleGrabAction(java.awt.event.KeyEvent evt)
If a key is being grabbed, this method should be called with the appropriate key event. It executes the grab action with the typed character as the parameter.