|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use Rule | |
---|---|
org.graphstream.ui.graphicGraph | |
org.graphstream.ui.graphicGraph.stylesheet | |
org.graphstream.ui.graphicGraph.stylesheet.parser |
Uses of Rule in org.graphstream.ui.graphicGraph |
---|
Methods in org.graphstream.ui.graphicGraph with parameters of type Rule | |
---|---|
void |
StyleGroupSet.styleAdded(Rule oldRule,
Rule newRule)
|
Constructor parameters in org.graphstream.ui.graphicGraph with type arguments of type Rule | |
---|---|
StyleGroup(String identifier,
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. |
Uses of Rule in org.graphstream.ui.graphicGraph.stylesheet |
---|
Fields in org.graphstream.ui.graphicGraph.stylesheet declared as Rule | |
---|---|
Rule |
StyleSheet.defaultRule
The top-level default rule. |
Rule |
StyleSheet.NameSpace.defaultRule
The default rule for this kind of elements. |
Fields in org.graphstream.ui.graphicGraph.stylesheet with type parameters of type Rule | |
---|---|
HashMap<String,Rule> |
StyleSheet.NameSpace.byClass
The set of rules for this kind of elements with a given class. |
HashMap<String,Rule> |
StyleSheet.NameSpace.byId
The set of rules for this kind of elements with a given identifier. |
Methods in org.graphstream.ui.graphicGraph.stylesheet that return Rule | |
---|---|
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. |
Methods in org.graphstream.ui.graphicGraph.stylesheet that return types with arguments of type Rule | |
---|---|
ArrayList<Rule> |
StyleSheet.getRulesFor(Element element)
Get the rules that match a given element. |
Methods in org.graphstream.ui.graphicGraph.stylesheet with parameters of type Rule | |
---|---|
void |
Style.addAlternateStyle(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. |
Method parameters in org.graphstream.ui.graphicGraph.stylesheet with type arguments of type Rule | |
---|---|
String |
StyleSheet.getStyleGroupIdFor(Element element,
ArrayList<Rule> rules)
Compute the name of the style group and element will pertain to knowing its styling rules. |
Constructors in org.graphstream.ui.graphicGraph.stylesheet with parameters of type Rule | |
---|---|
Rule(Selector selector,
Rule parent)
|
|
Style(Rule parent)
New style with all settings to a special value meaning "unset". |
Uses of Rule in org.graphstream.ui.graphicGraph.stylesheet.parser |
---|
Methods in org.graphstream.ui.graphicGraph.stylesheet.parser that return Rule | |
---|---|
Rule |
StyleSheetParser.rule()
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |