org.graphstream.ui.graphicGraph

Class StyleGroupSet.EventSet

java.lang.Object

org.graphstream.ui.graphicGraph.StyleGroupSet.EventSet

Enclosing class:

StyleGroupSet

public class StyleGroupSet.EventSet
extends java.lang.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
java.lang.String[]	events
java.util.ArrayList<java.lang.String>	eventSet

Constructor Summary

Constructors

Constructor and Description
EventSet()

Method Summary

Modifier and Type	Method and Description
java.lang.String[]	getEvents() The set of events in order, the most important at the end.
void	popEvent(java.lang.String event) Remove an event from the set.
void	pushEvent(java.lang.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 java.util.ArrayList<java.lang.String> eventSet

events

public java.lang.String[] events

Constructor Detail

EventSet

public EventSet()

Method Detail

pushEvent

public void pushEvent(java.lang.String event)

Add an event to the set.

Parameters:

event - The event to add.

popEvent

public void popEvent(java.lang.String event)

Remove an event from the set.

Parameters:

event - The event to remove.

getEvents

public java.lang.String[] getEvents()

The set of events in order, the most important at the end.

Returns:

The event set.