public class MessageDeleteEvent extends MessageEvent
fromAddr, id, toAddrtime| Constructor and Description |
|---|
MessageDeleteEvent(int host,
java.lang.String id,
double time,
boolean drop)
Creates a message delete event
|
| Modifier and Type | Method and Description |
|---|---|
void |
processEvent(World world)
Deletes the message
|
java.lang.String |
toString()
Returns a String representation of the event
|
compareTo, getTimepublic MessageDeleteEvent(int host,
java.lang.String id,
double time,
boolean drop)
host - Where to delete the messageid - ID of the messagetime - Time when the message is deletedpublic void processEvent(World world)
processEvent in class ExternalEventworld - World where the actors of the event arepublic java.lang.String toString()
ExternalEventtoString in class MessageEvent