public interface Event
Modifier and Type | Method and Description |
---|---|
void |
execute(Visitor v) |
EventType |
getEventType() |
java.lang.String |
getProperty(java.lang.String property) |
void |
setProperty(java.lang.String name,
java.lang.String value) |
Copyright © 2019. All Rights Reserved.