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