|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object ch.uzh.ifi.attempto.preditor.DefaultMenuCreator
public class DefaultMenuCreator
This class is the default implementation of a menu creator.
Constructor Summary | |
---|---|
DefaultMenuCreator()
|
Method Summary | |
---|---|
MenuEntry |
createMenuEntry(ConcreteOption option)
This method must create and return the menu entry object for the given concrete option. |
java.util.List<SpecialMenuItem> |
createSpecialMenuItems(NextTokenOptions options)
This method should return the special menu items for the given situation (described by the next token options). |
int |
getColorShift(java.lang.String menuBlockName)
This method should return the shift of the color to be used for the given menu block. |
java.util.List<java.lang.String> |
getMenuGroupOrdering()
This method can be used to define the ordering of the menu groups. |
java.util.Comparator<MenuItem> |
getMenuItemComparator()
This method can return a comparator to define the order of the menu items within each menu group. |
void |
setColorShift(java.lang.String menuBlockName,
int colorShift)
This methods sets the color shift for the given menu block. |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public DefaultMenuCreator()
Method Detail |
---|
public MenuEntry createMenuEntry(ConcreteOption option)
MenuCreator
createMenuEntry
in interface MenuCreator
option
- The concrete option that represents a possible next token.
public java.util.List<SpecialMenuItem> createSpecialMenuItems(NextTokenOptions options)
MenuCreator
createSpecialMenuItems
in interface MenuCreator
options
- The options for the next token.
public java.util.List<java.lang.String> getMenuGroupOrdering()
MenuCreator
getMenuGroupOrdering
in interface MenuCreator
public int getColorShift(java.lang.String menuBlockName)
MenuCreator
getColorShift
in interface MenuCreator
menuBlockName
- The name of the menu block for which the color shift should be
returned.
public void setColorShift(java.lang.String menuBlockName, int colorShift)
menuBlockName
- The name of the menu block for which the color shift should be set.colorShift
- The color shift value.MenuCreator.getColorShift(java.lang.String)
public java.util.Comparator<MenuItem> getMenuItemComparator()
MenuCreator
getMenuItemComparator
in interface MenuCreator
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |