|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||
java.lang.Objectch.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 MenuCreatoroption - The concrete option that represents a possible next token.
public java.util.List<SpecialMenuItem> createSpecialMenuItems(NextTokenOptions options)
MenuCreator
createSpecialMenuItems in interface MenuCreatoroptions - The options for the next token.
public java.util.List<java.lang.String> getMenuGroupOrdering()
MenuCreator
getMenuGroupOrdering in interface MenuCreatorpublic int getColorShift(java.lang.String menuBlockName)
MenuCreator
getColorShift in interface MenuCreatormenuBlockName - 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 | ||||||||