|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use Selector.Type | |
---|---|
org.graphstream.ui.graphicGraph | |
org.graphstream.ui.graphicGraph.stylesheet |
Uses of Selector.Type in org.graphstream.ui.graphicGraph |
---|
Methods in org.graphstream.ui.graphicGraph that return Selector.Type | |
---|---|
abstract Selector.Type |
GraphicElement.getSelectorType()
Type of selector for the graphic element (Node, Edge, Sprite ?). |
Selector.Type |
GraphicNode.getSelectorType()
|
Selector.Type |
GraphicEdge.getSelectorType()
|
Selector.Type |
GraphicSprite.getSelectorType()
|
Selector.Type |
StyleGroup.getType()
Type of graph element concerned by this style (node, edge, sprite, graph). |
Uses of Selector.Type in org.graphstream.ui.graphicGraph.stylesheet |
---|
Fields in org.graphstream.ui.graphicGraph.stylesheet declared as Selector.Type | |
---|---|
Selector.Type |
Selector.type
The kind of element this matcher applies to. |
Selector.Type |
StyleSheet.NameSpace.type
The kind of elements in this name space. |
Methods in org.graphstream.ui.graphicGraph.stylesheet that return Selector.Type | |
---|---|
Selector.Type |
StyleSheet.NameSpace.getGraphElementType()
The kind of elements this name space applies rules to. |
Selector.Type |
Selector.getType()
The kind of elements this selector applies to. |
static Selector.Type |
Selector.Type.valueOf(String name)
Returns the enum constant of this type with the specified name. |
static Selector.Type[] |
Selector.Type.values()
Returns an array containing the constants of this enum type, in the order they are declared. |
Constructors in org.graphstream.ui.graphicGraph.stylesheet with parameters of type Selector.Type | |
---|---|
Selector(Selector.Type type)
New selector for a given type of element. |
|
Selector(Selector.Type type,
String identifier,
String clazz)
New selector for a given type of element. |
|
StyleSheet.NameSpace(Selector.Type type)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |