|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
------------------------------------------------------------------------
Method Summary | |
void |
addEventController(ThemeEventController obj)
adds an eventcontroller to the Theme that's reponsible for handling events that targets the Theme. |
void |
addHighlighter(Highlighter highlighter)
A Highlighter is a class that is responsible for managing the highlight capabilities for one or more Themes. |
void |
addSelector(Selector selector)
A selector is a class that offers methods for selecting and deselecting single DisplayElements or groups of DisplayElements. |
java.util.ArrayList |
getDisplayElements()
Returns all DisplayElements that this Theme contains. |
Layer |
getLayer()
returns the layer that holds the data of the theme |
java.lang.String |
getName()
returns the name of the layer |
UserStyle[] |
getStyles()
returns the styles used for this Theme. |
void |
paint(java.awt.Graphics g)
renders the layer to the submitted graphic context |
void |
paint(java.awt.Graphics g,
java.lang.String[] ids)
renders the display elements matching the submitted ids |
void |
paintHighlighted(java.awt.Graphics g)
renders the highlighted display elements of the layer |
void |
paintSelected(java.awt.Graphics g)
renders the selected display elements of the layer |
void |
removeEventController(ThemeEventController obj)
|
void |
removeHighlighter(Highlighter highlighter)
|
void |
removeSelector(Selector selector)
|
void |
setDisplayElements(java.util.ArrayList de)
sets the display elements of the theme |
void |
setParent(MapView parent)
sets the parent MapView of the Theme. |
void |
setStyles(UserStyle[] styles)
sets the styles used for this Theme. |
Method Detail |
public java.util.ArrayList getDisplayElements()
public void setDisplayElements(java.util.ArrayList de)
public void setParent(MapView parent)
public java.lang.String getName()
public void paint(java.awt.Graphics g)
public void paint(java.awt.Graphics g, java.lang.String[] ids)
public void paintSelected(java.awt.Graphics g)
public void paintHighlighted(java.awt.Graphics g)
public void addSelector(Selector selector)
public void removeSelector(Selector selector)
addSelector(Selector)
public void addHighlighter(Highlighter highlighter)
public void removeHighlighter(Highlighter highlighter)
addHighlighter(Highlighter)
public void addEventController(ThemeEventController obj)
public void removeEventController(ThemeEventController obj)
addEventController(ThemeEventController)
public void setStyles(UserStyle[] styles)
public UserStyle[] getStyles()
public Layer getLayer()
|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |