Class OME.MenuManager.MenuElement
java.lang.Object
|
+--OME.MenuManager.MenuElement
- public class MenuManager.MenuElement
- extends java.lang.Object
J-ary tree of MenuElements. Children, and sibling fields are empty if
they contain zero, non-leaf nodes should have an index of zero, meaning
that they are categories in the menu, rather than executable options.
Call enactByIndex after the user selects an option.
Constructor Summary
|
MenuManager.MenuElement(OME.MenuManager this$0,
int c,
int s,
int i,
java.lang.String n,
java.awt.Image m)
|
Method Summary
|
void
|
shift(java.util.Vector newvector)
Shifts the subtree's position after copying. |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notifyAll, notify, toString, wait, wait, wait |
children
public int children
siblings
public int siblings
index
public int index
name
public java.lang.String name
image
public java.awt.Image image
MenuManager.MenuElement
public MenuManager.MenuElement(OME.MenuManager this$0,
int c,
int s,
int i,
java.lang.String n,
java.awt.Image m)
shift
public void shift(java.util.Vector newvector)
- Shifts the subtree's position after copying. This method adds the
shift to the indices in the subtree to correct for its new
position after it has been copied from one Vector to another.