Uses of Class
org.graphstream.ui.graphicGraph.stylesheet.Selector.Type

Packages that use Selector.Type

Package	Description
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

Modifier and Type	Method and Description
Selector.Type	GraphicEdge.getSelectorType()
Selector.Type	GraphicNode.getSelectorType()
abstract Selector.Type	GraphicElement.getSelectorType() Type of selector for the graphic element (Node, Edge, Sprite ?).
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

Modifier and Type	Field and Description
Selector.Type	StyleSheet.NameSpace.type The kind of elements in this name space.
Selector.Type	Selector.type The kind of element this matcher applies to.

Methods in org.graphstream.ui.graphicGraph.stylesheet that return Selector.Type

Modifier and Type	Method and Description
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(java.lang.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

Constructor and Description
NameSpace(Selector.Type type)
Selector(Selector.Type type) New selector for a given type of element.
Selector(Selector.Type type, java.lang.String identifier, java.lang.String clazz) New selector for a given type of element.