|
||||||||||
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.map.MapView
public final class MapView
This view is a TreeMap implementation.
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 | |
---|---|
MapView(ViewNotifier man)
Default constructor. |
Method Summary | |
---|---|
void |
componentResized(ComponentEvent e)
|
void |
keyPressed(KeyEvent e)
|
void |
mouseClicked(MouseEvent e)
|
void |
mouseDragged(MouseEvent e)
|
void |
mouseMoved(MouseEvent e)
|
void |
mousePressed(MouseEvent e)
|
void |
mouseReleased(MouseEvent e)
|
void |
mouseWheelMoved(MouseWheelEvent 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 |
run()
Starts the zooming thread. |
boolean |
visible()
Returns if this view is currently visible. |
Methods inherited from class org.basex.gui.view.View |
---|
mouseEntered, mouseExited, toString |
Methods inherited from class org.basex.gui.layout.BaseXPanel |
---|
componentHidden, componentMoved, componentShown, keyReleased, keyTyped |
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 MapView(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 refreshLayout()
View
refreshLayout
in class View
public void refreshUpdate()
View
refreshUpdate
in class View
public boolean visible()
View
visible
in class View
public void run()
run
in interface Runnable
public void paintComponent(Graphics g)
paintComponent
in class BaseXBack
public void mouseMoved(MouseEvent e)
mouseMoved
in interface MouseMotionListener
mouseMoved
in class BaseXPanel
public void mouseClicked(MouseEvent e)
mouseClicked
in interface MouseListener
mouseClicked
in class BaseXPanel
public void mousePressed(MouseEvent e)
mousePressed
in interface MouseListener
mousePressed
in class View
public void mouseDragged(MouseEvent e)
mouseDragged
in interface MouseMotionListener
mouseDragged
in class BaseXPanel
public void mouseReleased(MouseEvent e)
mouseReleased
in interface MouseListener
mouseReleased
in class BaseXPanel
public void mouseWheelMoved(MouseWheelEvent e)
mouseWheelMoved
in interface MouseWheelListener
mouseWheelMoved
in class BaseXPanel
public void keyPressed(KeyEvent e)
keyPressed
in interface KeyListener
keyPressed
in class View
public void componentResized(ComponentEvent e)
componentResized
in interface ComponentListener
componentResized
in class BaseXPanel
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |