method

org.apache.roller.weblogger.business.themes. SharedThemeTemplate__static_init

method	void org.apache.roller.weblogger.business.themes. SharedThemeTemplate()
post	this.action == null
post	this.contents == null
post	this.description == null
post	this.id == null
post	this.lastModified == null
post	this.link == null
post	this.myTheme == null
post	this.name == null
post	this.outputContentType == null
post	this.templateLanguage == null
post	this.hidden == 0
post	this.navbar == 0

method	void org.apache.roller.weblogger.business.themes. SharedThemeTemplate(SharedTheme, String, String, String, String, String, String, Date, String, bool, bool)
post	this.action == action
post	init'ed(this.action)
post	this.contents == contents
post	init'ed(this.contents)
post	this.description == desc
post	init'ed(this.description)
post	this.hidden == hid
post	init'ed(this.hidden)
post	this.id == id
post	init'ed(this.id)
post	this.lastModified == date
post	init'ed(this.lastModified)
post	this.link == link
post	init'ed(this.link)
post	this.myTheme == theme
post	init'ed(this.myTheme)
post	this.name == name
post	init'ed(this.name)
post	this.navbar == navbar
post	init'ed(this.navbar)
post	this.outputContentType == null
post	this.templateLanguage == tempLang
post	init'ed(this.templateLanguage)

method	ThemeTemplate getDecorator()
post	return_value == null

method	String getId()
pre	init'ed(this.id)
post	return_value == this.id
post	init'ed(return_value)

method	void setId(String)
post	this.id == id
post	init'ed(this.id)

method	String getName()
pre	init'ed(this.name)
post	return_value == this.name
post	init'ed(return_value)

method	void setName(String)
post	this.name == name
post	init'ed(this.name)

method	String getDescription()
pre	init'ed(this.description)
post	return_value == this.description
post	init'ed(return_value)

method	void setDescription(String)
post	this.description == description
post	init'ed(this.description)

method	String getContents()
pre	init'ed(this.contents)
post	return_value == this.contents
post	init'ed(return_value)

method	void setContents(String)
post	this.contents == contents
post	init'ed(this.contents)

method	Date getLastModified()
pre	init'ed(this.lastModified)
post	return_value == this.lastModified
post	init'ed(return_value)

method	void setLastModified(Date)
post	this.lastModified == lastModified
post	init'ed(this.lastModified)

method	String getLink()
pre	init'ed(this.link)
post	return_value == this.link
post	init'ed(return_value)

method	void setLink(String)
post	this.link == link
post	init'ed(this.link)

method	String getTemplateLanguage()
pre	init'ed(this.templateLanguage)
post	return_value == this.templateLanguage
post	init'ed(return_value)

method	void setTemplateLanguage(String)
post	this.templateLanguage == templateLanguage
post	init'ed(this.templateLanguage)

method	bool isHidden()
pre	init'ed(this.hidden)
post	return_value == this.hidden
post	init'ed(return_value)

method	void setHidden(bool)
post	this.hidden == isHidden
post	init'ed(this.hidden)

method	bool isNavbar()
pre	init'ed(this.navbar)
post	return_value == this.navbar
post	init'ed(return_value)

method	void setNavbar(bool)
post	this.navbar == navbar
post	init'ed(this.navbar)

method	String getDecoratorName()
post	return_value == null

method

void setDecoratorName(String)

method	String getOutputContentType()
pre	init'ed(this.outputContentType)
post	return_value == this.outputContentType
post	init'ed(return_value)

method	void setOutputContentType(String)
post	this.outputContentType == outputContentType
post	init'ed(this.outputContentType)

method	String toString()
pre	init'ed(this.contents)
pre	init'ed(this.description)
pre	init'ed(this.id)
pre	init'ed(this.lastModified)
pre	init'ed(this.link)
pre	init'ed(this.name)
post	java.lang.StringBuilder:toString(...)._tainted == this.lastModified._tainted | this.link._tainted | this.description._tainted | this.id._tainted | this.name._tainted | One-of{this.lastModified._ tainted | this.link._tainted | this.description. _tain...
post	init'ed(java.lang.StringBuilder:toString(...)._ tainted)
post	return_value == &java.lang.StringBuilder:toStri ng(...)

method	String getAction()
pre	init'ed(this.action)
post	return_value == this.action
post	init'ed(return_value)

method	void setAction(String)
post	this.action == action
post	init'ed(this.action)