Package | Description |
---|---|
org.graphstream.ui.graphicGraph | |
org.graphstream.ui.graphicGraph.stylesheet | |
org.graphstream.ui.graphicGraph.stylesheet.parser |
Modifier and Type | Method and Description |
---|---|
void |
StyleGroupSet.styleAdded(Rule oldRule,
Rule newRule) |
Constructor and Description |
---|
StyleGroup(java.lang.String identifier,
java.util.Collection<Rule> rules,
Element firstElement,
StyleGroupSet.EventSet eventSet)
New style group for a first graph element and the set of style rules that
matches it.
|
Modifier and Type | Field and Description |
---|---|
Rule |
StyleSheet.defaultRule
The top-level default rule.
|
Rule |
StyleSheet.NameSpace.defaultRule
The default rule for this kind of elements.
|
Modifier and Type | Field and Description |
---|---|
java.util.HashMap<java.lang.String,Rule> |
StyleSheet.NameSpace.byClass
The set of rules for this kind of elements with a given class.
|
java.util.HashMap<java.lang.String,Rule> |
StyleSheet.NameSpace.byId
The set of rules for this kind of elements with a given identifier.
|
Modifier and Type | Method and Description |
---|---|
Rule |
StyleSheet.getDefaultEdgeRule()
The default rule for edges.
|
Rule |
StyleSheet.getDefaultGraphRule()
The default rule for graphs.
|
Rule |
StyleSheet.getDefaultNodeRule()
The default rule for nodes.
|
Rule |
StyleSheet.getDefaultSpriteRule()
The default rule for sprites.
|
Rule |
Style.getParent()
The parent style.
|
Modifier and Type | Method and Description |
---|---|
java.util.ArrayList<Rule> |
StyleSheet.getRulesFor(Element element)
Get the rules that match a given element.
|
Modifier and Type | Method and Description |
---|---|
void |
Style.addAlternateStyle(java.lang.String event,
Rule alternateStyle)
Add an alternative style for specific events.
|
void |
StyleSheet.addRule(Rule newRule)
Add a new rule with its style.
|
void |
Style.reparent(Rule parent)
Set or change the parent of the style.
|
void |
StyleSheetListener.styleAdded(Rule oldRule,
Rule newRule)
A style was changed or added.
|
Modifier and Type | Method and Description |
---|---|
java.lang.String |
StyleSheet.getStyleGroupIdFor(Element element,
java.util.ArrayList<Rule> rules)
Compute the name of the style group and element will pertain to knowing its
styling rules.
|
Constructor and Description |
---|
Rule(Selector selector,
Rule parent) |
Style(Rule parent)
New style with all settings to a special value meaning "unset".
|
Modifier and Type | Method and Description |
---|---|
Rule |
StyleSheetParser.rule() |