Messages

method | net.sourceforge.pebble.web.validation. ValidationContext__static_init

method | void net.sourceforge.pebble.web.validation. ValidationContext()
post | this.errors == &new ArrayList(ValidationContext #1)
post | new ArrayList(ValidationContext#1) num objects == 1

method | void addError(String)
pre | this.errors != null
unanalyzed | call on java.util.List:add

method | void addError(ValidationError)
pre | this.errors != null

method | bool hasErrors()
pre | this.errors != null
post | init'ed(return_value)

method | List getErrors()
pre | init'ed(this.errors)
post | init'ed(return_value)

method | int getNumberOfErrors()
pre | this.errors != null
post | init'ed(return_value)

method | ValidationError getError(int)
pre | this.errors != null
post | init'ed(return_value)