|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
public static interface SAPLTreeCellRenderer.UserPreferencies
Interface to specify the minimun knowledge about user that should be provided to this Cell Renderer in order to render cells according to user preferences.
| Method Summary | |
|---|---|
java.awt.Font |
getDisplayFont()
Provides access to the Font which is used to display information to the user. |
java.awt.Graphics |
getGraphics()
Provides access to the Graphics toolkit which is used at rendering time. |
boolean |
isAliasNamespaces()
Returns true if the user has given the notion that she would like namespaces to be printed as short aliases. |
boolean |
isEmptyBeliefContainersExpandable()
Indicates the user's preference about whether a node which are belief containers and expanded should also have its icon displayed. |
boolean |
isShowExpandedBeliefContainerIcon()
Indicates the user's preference about whether a node which are belief containers and expanded should also have its icon displayed. |
boolean |
isShowExpandedBeliefContainerText()
Indicates the user's preference about whether a node which are belief containers and expanded should also have its text displayed. |
| Method Detail |
|---|
boolean isAliasNamespaces()
true if the user has given the notion that she would like namespaces to be printed as short aliases.boolean isShowExpandedBeliefContainerText()
false then expanded belief container nodes should show no text.
true if the user wants expanded belief container nodes to display their textboolean isShowExpandedBeliefContainerIcon()
false then expanded belief container nodes should show no icon.
true if the user wants expanded belief container nodes to display their iconboolean isEmptyBeliefContainersExpandable()
false then expanded belief container nodes should show no icon.
true if the user wants icons, false otherwisejava.awt.Font getDisplayFont()
Font which is used to display information to the user.
Font which is used to display information to the user.java.awt.Graphics getGraphics()
Graphics toolkit which is used at rendering time.
Graphics toolkit which is used at rendering time.
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||