|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Objectorg.glassbox.graphview.TextNodePainter2
net.kwfgrid.gwui.graphview.PlaceNodePainter
public class PlaceNodePainter
The painter for PlaceNodes.
This painter has the following properties which can be configured via the application's theme:
| Nested Class Summary | |
|---|---|
protected static class |
PlaceNodePainter.PlacePainter
Inner class for painting the Place (without probably attached icons). |
protected static class |
PlaceNodePainter.TokenPainter
Inner class for painting the Token. |
| Field Summary | |
|---|---|
protected static java.awt.Color |
BACKGROUND_COLOR
|
protected static java.lang.String |
BACKGROUND_COLOR_KEY
|
protected static java.awt.Dimension |
BORDER_ARC_SIZE
|
protected static java.lang.String |
BORDER_ARC_SIZE_KEY
|
protected static java.awt.Color |
BORDER_COLOR
|
protected static java.lang.String |
BORDER_COLOR_KEY
|
protected static java.awt.Stroke |
BORDER_STROKE
|
protected static java.lang.String |
BORDER_STROKE_KEY
|
protected static java.awt.Insets |
BUTTON_INSETS
|
protected static java.lang.String |
BUTTON_INSETS_KEY
|
protected static java.awt.Color |
DEAD_BACKGROUND_COLOR
|
protected static java.lang.String |
DEAD_BACKGROUND_COLOR_KEY
|
protected static java.awt.Color |
DEAD_BORDER_COLOR
|
protected static java.lang.String |
DEAD_BORDER_COLOR_KEY
|
protected static java.awt.Color |
DEAD_TEXT_COLOR
|
protected static java.lang.String |
DEAD_TEXT_COLOR_KEY
|
protected static java.awt.Paint |
DEAD_TOKEN_PAINT
|
protected static java.lang.String |
DEAD_TOKEN_PAINT_KEY
|
protected static java.awt.Paint |
FAULTTOKEN_PAINT
|
protected static java.lang.String |
FAULTTOKEN_PAINT_KEY
|
protected static java.awt.Font |
FONT
|
protected static java.lang.String |
FONT_KEY
|
protected static java.awt.FontMetrics |
FONT_METRICS
|
static java.lang.String |
IDENTIFIER
|
protected static java.awt.Insets |
INSETS
|
protected static java.lang.String |
INSETS_KEY
|
protected static java.awt.Color |
LABEL_COLOR
|
protected static java.lang.String |
LABEL_COLOR_KEY
|
protected static java.awt.Font |
LABEL_FONT
|
protected static java.lang.String |
LABEL_FONT_KEY
|
protected static java.awt.Dimension |
SIZE
|
protected static java.lang.String |
SIZE_KEY
|
protected static java.awt.Color |
TEXT_COLOR
|
protected static java.lang.String |
TEXT_COLOR_KEY
|
protected static java.awt.Paint |
TOKEN_PAINT
|
protected static java.lang.String |
TOKEN_PAINT_KEY
|
| Fields inherited from class org.glassbox.graphview.TextNodePainter2 |
|---|
BOTTOM, TOP |
| Constructor Summary | |
|---|---|
PlaceNodePainter()
|
|
| Method Summary | |
|---|---|
void |
addButton(NodeIconSet.Icon icon)
Add a button or icon |
Manipulator |
getGraphManipulator()
|
Group |
getGroup()
Get the group this member belongs to. |
java.lang.String |
getIdentifier()
Get a unique identifier of the member. |
protected java.lang.String[] |
getText(Node node)
Subclasses may override this method to provide the text to be painted for the specified node. |
void |
groupPropertyChanged(java.lang.String name,
java.lang.Object oldvalue,
java.lang.Object newvalue)
Called by this member's group if a property of the group changed. |
void |
setGroup(Group group)
Sets the group of this member. |
| Methods inherited from class org.glassbox.graphview.TextNodePainter2 |
|---|
getDelegate, getNodeScreenBounds, getTextBounds, getToolTipText, isInNode, paintNode, setZoomFactor |
| Methods inherited from class java.lang.Object |
|---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
| Field Detail |
|---|
public static final java.lang.String IDENTIFIER
protected static final java.lang.String SIZE_KEY
protected static final java.lang.String FONT_KEY
protected static final java.lang.String INSETS_KEY
protected static final java.lang.String BORDER_STROKE_KEY
protected static final java.lang.String BORDER_ARC_SIZE_KEY
protected static final java.lang.String BUTTON_INSETS_KEY
protected static final java.lang.String BORDER_COLOR_KEY
protected static final java.lang.String BACKGROUND_COLOR_KEY
protected static final java.lang.String TOKEN_PAINT_KEY
protected static final java.lang.String FAULTTOKEN_PAINT_KEY
protected static final java.lang.String TEXT_COLOR_KEY
protected static final java.lang.String LABEL_FONT_KEY
protected static final java.awt.Font LABEL_FONT
protected static final java.lang.String LABEL_COLOR_KEY
protected static final java.awt.Color LABEL_COLOR
protected static final java.lang.String DEAD_BORDER_COLOR_KEY
protected static final java.lang.String DEAD_BACKGROUND_COLOR_KEY
protected static final java.lang.String DEAD_TOKEN_PAINT_KEY
protected static final java.lang.String DEAD_TEXT_COLOR_KEY
protected static final java.awt.Dimension SIZE
protected static final java.awt.Font FONT
protected static final java.awt.FontMetrics FONT_METRICS
protected static final java.awt.Insets INSETS
protected static final java.awt.Stroke BORDER_STROKE
protected static final java.awt.Dimension BORDER_ARC_SIZE
protected static final java.awt.Insets BUTTON_INSETS
protected static final java.awt.Paint TOKEN_PAINT
protected static final java.awt.Paint FAULTTOKEN_PAINT
protected static final java.awt.Color TEXT_COLOR
protected static final java.awt.Color BORDER_COLOR
protected static final java.awt.Color BACKGROUND_COLOR
protected static final java.awt.Paint DEAD_TOKEN_PAINT
protected static final java.awt.Color DEAD_TEXT_COLOR
protected static final java.awt.Color DEAD_BORDER_COLOR
protected static final java.awt.Color DEAD_BACKGROUND_COLOR
| Constructor Detail |
|---|
public PlaceNodePainter()
| Method Detail |
|---|
public Manipulator getGraphManipulator()
public void addButton(NodeIconSet.Icon icon)
protected java.lang.String[] getText(Node node)
TextNodePainter2
getText in class TextNodePainter2node - The node to be painted.
public Group getGroup()
Member
getGroup in interface Membernull if the member currently does not belong to a group.public java.lang.String getIdentifier()
Member
getIdentifier in interface Member
public void groupPropertyChanged(java.lang.String name,
java.lang.Object oldvalue,
java.lang.Object newvalue)
Member
groupPropertyChanged in interface Member
public void setGroup(Group group)
throws java.lang.IllegalArgumentException
Member
setGroup in interface Memberjava.lang.IllegalArgumentException
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||