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

Modifier and Type	Field	Description
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

Modifier and Type	Method	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(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	Description
NameSpace(Selector.Type 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.