org.graphstream.ui.graphicGraph.stylesheet

Class StyleSheet.NameSpace

java.lang.Object

org.graphstream.ui.graphicGraph.stylesheet.StyleSheet.NameSpace

Enclosing class:

StyleSheet

public class StyleSheet.NameSpace
extends java.lang.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 Summary

Fields

Modifier and Type	Field and Description
java.util.HashMap<java.lang.String,Rule>	byClass The set of rules for this kind of elements with a given class.
java.util.HashMap<java.lang.String,Rule>	byId The set of rules for this kind of elements with a given identifier.
Rule	defaultRule The default rule for this kind of elements.
Selector.Type	type The kind of elements in this name space.

Constructor Summary

Constructors

Constructor and Description
NameSpace(Selector.Type type)

Method Summary

Modifier and Type	Method and Description
int	getClassRulesCount() Number of specific (class) rules.
Selector.Type	getGraphElementType() The kind of elements this name space applies rules to.
int	getIdRulesCount() Number of specific (id) rules.
java.lang.String	toString()
java.lang.String	toString(int level)

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

type

public Selector.Type type

The kind of elements in this name space.

defaultRule

public Rule defaultRule

The default rule for this kind of elements.

byId

public java.util.HashMap<java.lang.String,Rule> byId

The set of rules for this kind of elements with a given identifier.

byClass

public java.util.HashMap<java.lang.String,Rule> byClass

The set of rules for this kind of elements with a given class.

Constructor Detail

NameSpace

public NameSpace(Selector.Type type)

Method Detail

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 java.lang.String toString()

Overrides:

toString in class java.lang.Object

toString

public java.lang.String toString(int level)