|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use Selector | |
---|---|
org.graphstream.ui.graphicGraph.stylesheet | |
org.graphstream.ui.graphicGraph.stylesheet.parser |
Uses of Selector in org.graphstream.ui.graphicGraph.stylesheet |
---|
Fields in org.graphstream.ui.graphicGraph.stylesheet declared as Selector | |
---|---|
Selector |
Rule.selector
The match. |
Methods in org.graphstream.ui.graphicGraph.stylesheet with parameters of type Selector | |
---|---|
void |
StyleSheet.parseStyleFromString(Selector select,
String styleString)
Parse only one style, create a rule with the given selector, and add this rule. |
Constructors in org.graphstream.ui.graphicGraph.stylesheet with parameters of type Selector | |
---|---|
Rule(Selector selector)
New rule with a matcher. |
|
Rule(Selector selector,
Rule parent)
|
|
Selector(Selector other)
New selector, copy of another. |
Uses of Selector in org.graphstream.ui.graphicGraph.stylesheet.parser |
---|
Methods in org.graphstream.ui.graphicGraph.stylesheet.parser that return Selector | |
---|---|
Selector |
StyleSheetParser.select()
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |