|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectjava.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
public final class InfoView
This view displays query information.
Nested Class Summary |
---|
Nested classes/interfaces inherited from class javax.swing.JComponent |
---|
JComponent.AccessibleJComponent |
Nested classes/interfaces inherited from class java.awt.Component |
---|
Component.BaselineResizeBehavior |
Field Summary |
---|
Fields inherited from class org.basex.gui.layout.BaseXPanel |
---|
gui |
Fields inherited from class javax.swing.JComponent |
---|
TOOL_TIP_TEXT_KEY, UNDEFINED_CONDITION, WHEN_ANCESTOR_OF_FOCUSED_COMPONENT, WHEN_FOCUSED, WHEN_IN_FOCUSED_WINDOW |
Fields inherited from class java.awt.Component |
---|
BOTTOM_ALIGNMENT, CENTER_ALIGNMENT, LEFT_ALIGNMENT, RIGHT_ALIGNMENT, TOP_ALIGNMENT |
Fields inherited from interface java.awt.image.ImageObserver |
---|
ABORT, ALLBITS, ERROR, FRAMEBITS, HEIGHT, PROPERTIES, SOMEBITS, WIDTH |
Constructor Summary | |
---|---|
InfoView(ViewNotifier man)
Default constructor. |
Method Summary | |
---|---|
void |
mouseMoved(MouseEvent e)
|
void |
paintComponent(Graphics g)
|
void |
refreshContext(boolean more,
boolean quick)
Called when a new context set has been chosen. |
void |
refreshFocus()
Called when a new focus has been chosen. |
void |
refreshInit()
Called when the data reference has changed. |
void |
refreshLayout()
Called when GUI design has changed. |
void |
refreshMark()
Called when a context set has been marked. |
void |
refreshUpdate()
Called when updates have been done in the data structure. |
void |
setInfo(String inf,
boolean ok)
Processes the query info. |
boolean |
visible()
Returns if this view is currently visible. |
Methods inherited from class org.basex.gui.view.View |
---|
keyPressed, mouseEntered, mouseExited, mousePressed, toString |
Methods inherited from class org.basex.gui.layout.BaseXPanel |
---|
componentHidden, componentMoved, componentResized, componentShown, keyReleased, keyTyped, mouseClicked, mouseDragged, mouseReleased, mouseWheelMoved |
Methods inherited from class org.basex.gui.layout.BaseXBack |
---|
setBorder, setMode |
Methods inherited from class javax.swing.JPanel |
---|
getAccessibleContext, getUI, getUIClassID, setUI, updateUI |
Methods inherited from class java.lang.Object |
---|
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Constructor Detail |
---|
public InfoView(ViewNotifier man)
man
- view managerMethod Detail |
---|
public void refreshInit()
View
refreshInit
in class View
public void refreshFocus()
View
refreshFocus
in class View
public void refreshMark()
View
refreshMark
in class View
public void refreshContext(boolean more, boolean quick)
View
refreshContext
in class View
more
- show more detailsquick
- perform a quick context switchpublic void refreshUpdate()
View
refreshUpdate
in class View
public void refreshLayout()
View
refreshLayout
in class View
public boolean visible()
View
visible
in class View
public void setInfo(String inf, boolean ok)
inf
- info stringok
- success flagpublic void mouseMoved(MouseEvent e)
mouseMoved
in interface MouseMotionListener
mouseMoved
in class BaseXPanel
public void paintComponent(Graphics g)
paintComponent
in class BaseXBack
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |