org.graphstream.ui.graphicGraph
Class StyleGroupSet.EventSet

java.lang.Object
  extended by 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

Field Summary
 String[] events
           
 ArrayList<String> eventSet
           
 
Constructor Summary
StyleGroupSet.EventSet()
           
 
Method Summary
 String[] getEvents()
          The set of events in order, the most important at the end.
 void popEvent(String event)
          Remove an event from the set.
 void pushEvent(String event)
          Add an event to the set.
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

eventSet

public ArrayList<String> eventSet

events

public String[] events
Constructor Detail

StyleGroupSet.EventSet

public StyleGroupSet.EventSet()
Method Detail

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.