method

net.sourceforge.pebble.web.tagext.SelectTag__ static_init

method	void net.sourceforge.pebble.web.tagext. SelectTag()
post	this.multiple == 0
post	this.size == -1

method	int doStartTag()
pre	this.items != null
pre	init'ed(this.multiple)
pre	init'ed(this.name)
pre	this.pageContext != null
pre	init'ed(this.size)
pre	(soft) init'ed(this.label)
pre	(soft) init'ed(this.selected)
pre	(soft) init'ed(this.value)
presumption	java.lang.Class:getMethod(...)@106 != null
presumption	java.lang.Class:getMethod(...)@137 != null
presumption	java.lang.Object:getClass(...)@106 != null
presumption	java.lang.Object:getClass(...)@137 != null
presumption	java.lang.reflect.Method:invoke(...)@107 != null
presumption	java.util.Iterator:next(...)@101 != null
presumption	javax.servlet.jsp.PageContext:getOut(...)@80 != null
post	return_value == 0
test_vector	this.label: Addr_Set{null}, Inverse{null}
test_vector	this.multiple: {0}, {1}
test_vector	this.selected: Addr_Set{null}, Inverse{null}
test_vector	this.size: {-231..0}, {1..232-1}
test_vector	this.value: Addr_Set{null}, Inverse{null}
test_vector	java.lang.String:equals(...)@127: {0}, {1}
test_vector	java.util.Collection:contains(...)@124: {0}, {1}
test_vector	java.util.Collection:instanceof(...)@122: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@99: {1}, {0}

method	void setItems(Object)
post	possibly_updated(this.items)

method	void setName(String)
post	this.name == name
post	init'ed(this.name)

method	void setSize(int)
post	this.size == size
post	init'ed(this.size)

method	void setMultiple(bool)
post	this.multiple == multiple
post	init'ed(this.multiple)

method	void setLabel(String)
post	this.label == label
post	init'ed(this.label)

method	void setValue(String)
post	this.value == value
post	init'ed(this.value)

method	void setSelected(Object)
post	this.selected == selected
post	init'ed(this.selected)