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)