public class StyleGroupSet.EventSet extends Object
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.
Modifier and Type | Field and Description |
---|---|
String[] |
events |
ArrayList<String> |
eventSet |
Constructor and Description |
---|
EventSet() |
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.
|
WebARTS Library Licensed Under the GNU - General Public License. Other Libraries licensed under their respective Open Source Licenses