|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use Value | |
---|---|
org.graphstream.ui.graphicGraph.stylesheet | |
org.graphstream.ui.graphicGraph.stylesheet.parser | |
org.graphstream.ui.swingViewer.util |
Uses of Value in org.graphstream.ui.graphicGraph.stylesheet |
---|
Methods in org.graphstream.ui.graphicGraph.stylesheet that return Value | |
---|---|
static Value |
StyleConstants.convertValue(Object value)
Convert an object to a value with units. |
Value |
Style.getShadowWidth()
Width of the element shadow. |
Value |
Style.getStrokeWidth()
Width of the element contour. |
Value |
Style.getTextSize()
The text size in points. |
Methods in org.graphstream.ui.graphicGraph.stylesheet with parameters of type Value | |
---|---|
boolean |
Value.equals(Value o)
|
Constructors in org.graphstream.ui.graphicGraph.stylesheet with parameters of type Value | |
---|---|
Value(Value other)
New copy of another value. |
|
Values(Value value)
New set of one value. |
Uses of Value in org.graphstream.ui.graphicGraph.stylesheet.parser |
---|
Methods in org.graphstream.ui.graphicGraph.stylesheet.parser that return Value | |
---|---|
Value |
StyleSheetParser.value()
|
Uses of Value in org.graphstream.ui.swingViewer.util |
---|
Methods in org.graphstream.ui.swingViewer.util with parameters of type Value | |
---|---|
double |
GraphMetrics.lengthToGu(Value value)
Convert a value in a given units to graph units. |
double |
GraphMetrics.lengthToPx(Value value)
Convert a value in a given units to pixels. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |