method

org.apache.roller.weblogger.pojos.WeblogTheme__ static_init

method	void org.apache.roller.weblogger.pojos. WeblogTheme(Weblog)
post	this.weblog == weblog
post	init'ed(this.weblog)

method	Weblog getWeblog()
pre	init'ed(this.weblog)
post	return_value == this.weblog
post	init'ed(return_value)