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

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)
           
 



Copyright © 2013. All Rights Reserved.