Class JConsole

All Implemented Interfaces:
ImageObserver, MenuContainer, Serializable, Accessible

public class JConsole extends JPanel
DOCUMENT ME!
Author:
Fernando González Cortés
See Also:
  • Field Details

    • MESSAGE

      public static int MESSAGE
    • COMMAND

      public static int COMMAND
    • INSERT

      public static int INSERT
    • ERROR

      public static int ERROR
  • Constructor Details

    • JConsole

      public JConsole()
      This is the default constructor
    • JConsole

      public JConsole(boolean redisp_key_events)
      With this constructor, we decide whether the key events are re-dispatched to the parent of this component. This is necessary to prevent the console from consuming key events (short-cuts) while editing. the component which originally receives the key event is the JEditTextArea but this console is receiving also key-pressed notifications.
      Parameters:
      redisp_key_events -
  • Method Details

    • setTokenMarker

      public void setTokenMarker(TokenMarker tm)
    • getTxt

      public JEditTextArea getTxt()
      Obtiene una referencia al JTextArea de la consola
      Returns:
      javax.swing.JTextArea
    • addText

      public void addText(String text, int type)
      Añade un texto a la consola
      Parameters:
      text - Texto que se añade a la consola
    • addResponseText

      public void addResponseText(String text)
      Añade un texto a la consola que es tomado como si lo hubiese escrito el usuario. Formará parte de la respuesta
      Parameters:
      text - Texto que se añade a la consola
    • addResponseListener

      public void addResponseListener(ResponseListener listener)
    • removeResponseListener

      public void removeResponseListener(ResponseListener listener)
    • setJTextName

      public void setJTextName(String name)
      Useful to know from where it comes a key event. See CADExtension
      Parameters:
      name -
    • keyPressed

      public void keyPressed(KeyEvent e)
    • keyReleased

      public void keyReleased(KeyEvent e)