A non-event.
inherit Event : Event
constant is_nullevent
This constant may be used to identify a NullEvent.