Package org.basex.gui.view.info

Class InfoView

java.lang.Object
java.awt.Component
java.awt.Container
javax.swing.JComponent
javax.swing.JPanel
org.basex.gui.layout.BaseXBack
org.basex.gui.layout.BaseXPanel
org.basex.gui.view.View
org.basex.gui.view.info.InfoView
All Implemented Interfaces:
ComponentListener, KeyListener, MouseListener, MouseMotionListener, MouseWheelListener, ImageObserver, MenuContainer, Serializable, EventListener, Accessible, LinkListener, QueryTracer
public final class InfoView extends View implements LinkListener, QueryTracer
This view displays query information.
Author:
BaseX Team 2005-21, BSD License, Christian Gruen
See Also:

  • Constructor Details

    • InfoView

      public InfoView(ViewNotifier notifier)
      Default constructor.
      Parameters:
      notifier - view notifier

  • Method Details

    • refreshInit

      public void refreshInit()
      Description copied from class: View
      Called when the data reference has changed.
      Specified by:
      refreshInit in class View

    • refreshFocus

      public void refreshFocus()
      Description copied from class: View
      Called when a new focus has been chosen.
      Specified by:
      refreshFocus in class View

    • refreshMark

      public void refreshMark()
      Description copied from class: View
      Called when a context set has been marked.
      Specified by:
      refreshMark in class View

    • refreshContext

      public void refreshContext(boolean more, boolean quick)
      Description copied from class: View
      Called when a new context set has been chosen.
      Specified by:
      refreshContext in class View
      Parameters:
      more - show more details
      quick - perform a quick context switch

    • refreshUpdate

      public void refreshUpdate()
      Description copied from class: View
      Called when updates have been done in the data structure.
      Specified by:
      refreshUpdate in class View

    • refreshLayout

      public void refreshLayout()
      Description copied from class: View
      Called when GUI design has changed.
      Specified by:
      refreshLayout in class View

    • visible

      public boolean visible()
      Description copied from class: View
      Tests if this view is currently marked as visible.
      Specified by:
      visible in class View
      Returns:
      result of check

    • visible

      public void visible(boolean v)
      Description copied from class: View
      Sets a flag denoting the visibility of the view.
      Specified by:
      visible in class View
      Parameters:
      v - visibility flag

    • db

      protected boolean db()
      Description copied from class: View
      Tests if this view relies on a database instance.
      Specified by:
      db in class View
      Returns:
      result of check

    • setInfo

      public void setInfo(String info, Command cmd, boolean ok, boolean reset)
      Displays the specified info string.
      Parameters:
      info - string to be displayed
      cmd - command that created the output (may be null)
      ok - indicates if evaluation was successful
      reset - clear text area when method is called next time

    • setInfo

      public String setInfo(String info, Command cmd, String time, boolean ok, boolean reset)
      Displays the specified info string.
      Parameters:
      info - string to be displayed
      cmd - command that created the output (may be null)
      time - time required for running the command
      ok - indicates if evaluation was successful
      reset - clear text area when method is called next time
      Returns:
      total time (passed on, or updated, argument)

    • linkClicked

      public void linkClicked(String link)
      Description copied from interface: LinkListener
      Invoked when a link is pressed.
      Specified by:
      linkClicked in interface LinkListener
      Parameters:
      link - pressed link

    • mouseMoved

      public void mouseMoved(MouseEvent e)
      Specified by:
      mouseMoved in interface MouseMotionListener
      Overrides:
      mouseMoved in class BaseXPanel

    • paintComponent

      public void paintComponent(Graphics g)
      Overrides:
      paintComponent in class BaseXBack

    • print

      public boolean print(String info)
      Description copied from interface: QueryTracer
      Processes tracing output.
      Specified by:
      print in interface QueryTracer
      Parameters:
      info - string to be output
      Returns:
      true if string shall be further processed by the calling function