Class StyleSheet.NameSpace

java.lang.Object
org.graphstream.ui.graphicGraph.stylesheet.StyleSheet.NameSpace
Enclosing class:
StyleSheet

public class StyleSheet.NameSpace
extends Object
A name space is a tuple (default rule, id rule set, class rule set).

The name space defines a default rule for a kind of elements, a set of rules for this kind of elements with a given identifier, and a set or rules for this kind of elements with a given class.

  • Field Details

  • Constructor Details

  • Method Details

    • getGraphElementType

      public Selector.Type getGraphElementType()
      The kind of elements this name space applies rules to.
      Returns:
      A type of element (node, edge, sprite, graph).
    • getIdRulesCount

      public int getIdRulesCount()
      Number of specific (id) rules.
      Returns:
      The number of rules that apply to elements by their identifiers.
    • getClassRulesCount

      public int getClassRulesCount()
      Number of specific (class) rules.
      Returns:
      The number of rules that apply to elements by their classes.
    • toString

      public String toString()
      Overrides:
      toString in class Object
    • toString

      public String toString​(int level)