Package 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

Field Summary

Fields

Modifier and Type	Field	Description
String[]	events
ArrayList<String>	eventSet

Constructor Summary

Constructors

Constructor	Description
EventSet()

Method Summary

Modifier and Type	Method	Description
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 Details

eventSet

public ArrayList<String> eventSet

events

public String[] events

Constructor Details

EventSet

public EventSet()

Method Details

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.