|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object ch.uzh.ifi.attempto.acewiki.gui.AceWikiMenuCreator
public class AceWikiMenuCreator
This is the menu creator class that generates the menu entries for the predictive editor on the basis of the AceWiki grammar.
Constructor Summary | |
---|---|
AceWikiMenuCreator(Wiki wiki,
OntologyElement highlightedElement,
nextapp.echo.app.event.ActionListener actionListener)
Creates a new AceWiki-specific menu creator object. |
Method Summary | |
---|---|
void |
actionPerformed(nextapp.echo.app.event.ActionEvent e)
|
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. |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public AceWikiMenuCreator(Wiki wiki, OntologyElement highlightedElement, nextapp.echo.app.event.ActionListener actionListener)
wiki
- The wiki instance.highlightedElement
- The ontology element that should be highlighted in the editor
(because it is the current element).actionListener
- The action-listener.Method Detail |
---|
public java.util.List<java.lang.String> getMenuGroupOrdering()
MenuCreator
getMenuGroupOrdering
in interface MenuCreator
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 void actionPerformed(nextapp.echo.app.event.ActionEvent e)
actionPerformed
in interface nextapp.echo.app.event.ActionListener
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 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 |