Messages

method | net.sourceforge.pebble.api.event.PebbleEvent__ static_init

method | void net.sourceforge.pebble.api.event. PebbleEvent(Object, int)
post | this.type == type
post | init'ed(this.type)
post | this.vetoed == 0

method | int getType()
pre | init'ed(this.type)
post | return_value == this.type
post | init'ed(return_value)

method | void veto()
post | this.vetoed == 1

method | bool isVetoed()
pre | init'ed(this.vetoed)
post | return_value == this.vetoed
post | init'ed(return_value)

method | String toString()
pre | init'ed(this.source)
pre | init'ed(this.type)
presumption | java.lang.Object:getClass(...)@87 != null
post | return_value != null