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 and Description
String[]	events
ArrayList<String>	eventSet

Constructor Summary

Constructors

Constructor and Description
StyleGroupSet.EventSet()

Method Summary

Methods

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