|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Uses of Values in org.graphstream.ui.graphicGraph |
---|
Fields in org.graphstream.ui.graphicGraph declared as Values | |
---|---|
Values |
GraphicSprite.position
Sprite position. |
Methods in org.graphstream.ui.graphicGraph with parameters of type Values | |
---|---|
void |
GraphicSprite.setPosition(Values values)
|
Uses of Values in org.graphstream.ui.graphicGraph.stylesheet |
---|
Methods in org.graphstream.ui.graphicGraph.stylesheet that return Values | |
---|---|
Values |
Style.getArrowSize()
Edge arrow dimensions. |
Values |
Style.getPadding()
Additional space to add inside the element between its contour and its contents. |
Values |
Style.getShadowOffset()
Offset of the element shadow centre according to the element centre. |
Values |
Style.getShapePoints()
The element polygonal shape. |
Values |
Style.getSize()
The element dimensions. |
Values |
Style.getTextOffset()
Offset of the text from its computed position. |
Values |
Style.getTextPadding()
Padding of the text inside its background, if any. |
Values |
Style.getTextVisibility()
Visibility values if the text visibility changes. |
Values |
Style.getVisibility()
The element visibility if it is variable. |
Methods in org.graphstream.ui.graphicGraph.stylesheet with parameters of type Values | |
---|---|
void |
Values.copy(Values values)
Copy the given values to this set. |
Constructors in org.graphstream.ui.graphicGraph.stylesheet with parameters of type Values | |
---|---|
Values(Values other)
New copy of another value set. |
Uses of Values in org.graphstream.ui.graphicGraph.stylesheet.parser |
---|
Methods in org.graphstream.ui.graphicGraph.stylesheet.parser that return Values | |
---|---|
Values |
StyleSheetParser.values()
|
Uses of Values in org.graphstream.ui.spriteManager |
---|
Methods in org.graphstream.ui.spriteManager with parameters of type Values | ||
---|---|---|
|
SpriteManager.addSprite(String identifier,
Class<T> spriteClass,
Values position)
Same as SpriteManager.addSprite(String, Class) but also allows to specify an
initial position. |
|
Sprite |
SpriteFactory.newSprite(String identifier,
SpriteManager manager,
Values position)
Create a new sprite for the given manager with the given identifier. |
Uses of Values in org.graphstream.ui.swingViewer.util |
---|
Methods in org.graphstream.ui.swingViewer.util with parameters of type Values | |
---|---|
double |
GraphMetrics.lengthToGu(Values values,
int index)
Convert one of the given values in a given units to graph units. |
double |
GraphMetrics.lengthToPx(Values values,
int index)
Convert one of the given values in a given units pixels. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |