org.graphstream.ui.graphicGraph
Class StyleGroupSet.EventSet
java.lang.Object
org.graphstream.ui.graphicGraph.StyleGroupSet.EventSet
- Enclosing class:
- StyleGroupSet
public class StyleGroupSet.EventSet
- extends Object
Set of events (meta-classes) actually active.
The event set contains the set of events actually occurring. This is used
to select alternate styles. The events actually occurring are in
precedence order. The last one is the most important.
- Author:
- Antoine Dutot
eventSet
public ArrayList<String> eventSet
events
public String[] events
StyleGroupSet.EventSet
public StyleGroupSet.EventSet()
pushEvent
public void pushEvent(String event)
- Add an event to the set.
- Parameters:
event
- The event to add.
popEvent
public void popEvent(String event)
- Remove an event from the set.
- Parameters:
event
- The event to remove.
getEvents
public String[] getEvents()
- The set of events in order, the most important at the end.
- Returns:
- The event set.
Copyright © 2013. All Rights Reserved.