method

net.sourceforge.pebble.api.decorator. ContentDecoratorContext__static_init

method	void net.sourceforge.pebble.api.decorator. ContentDecoratorContext()
post	this.media == 0
post	this.view == 0

method	int getView()
pre	init'ed(this.view)
post	return_value == this.view
post	init'ed(return_value)

method	void setView(int)
post	this.view == view
post	init'ed(this.view)

method	int getMedia()
pre	init'ed(this.media)
post	return_value == this.media
post	init'ed(return_value)

method	void setMedia(int)
post	this.media == media
post	init'ed(this.media)