Messages

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)