Messages

method	org.apache.roller.weblogger.ui.struts2.editor. StylesheetEdit__static_init
post	init'ed(log)

info method not available -- call on Log org.apache.commons.logging. LogFactory:getLog(Class)

method	void org.apache.roller.weblogger.ui.struts2. editor.StylesheetEdit()
post	this.actionName == &"stylesheetEdit"
post	this.actionWeblog == null
post	this.authenticatedUser == null
post	this.contents == null
post	this.template == null
post	this.weblog == null
post	this.desiredMenu == &"editor"
post	this.pageTitle == &"stylesheetEdit.title"
unanalyzed	call on com.opensymphony.xwork2.ActionSupport

method	short requiredWeblogPermissions()
presumption	init'ed(org.apache.roller.weblogger.pojos. WeblogPermission.ADMIN)
post	return_value == org.apache.roller.weblogger.pojos. WeblogPermission.ADMIN
post	(soft) init'ed(return_value)

method	void myPrepare()
pre	this.actionWeblog != null
pre	(soft) log != null
presumption	org.apache.roller.weblogger.business. Weblogger:getUserManager(...)@77 != null
presumption	org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@77 != null
presumption	org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@97 != null
presumption	org.apache.roller.weblogger.pojos.Weblog:getTheme(. ..)@69 != null
post	possibly_updated(this.template)
post	new WeblogTemplate(myPrepare#3) num objects <= 1
test_vector	org.apache.roller.weblogger.business. UserManager:getPageByLink(...)@78: Inverse{null}, Addr_Set{null}

info method not available -- call on WeblogTheme org.apache.roller.weblogger. pojos.Weblog:getTheme()

info method not available -- call on ThemeTemplate org.apache.roller. weblogger.pojos.WeblogTheme:getStylesheet()

info method not available -- call on String org.apache.roller.weblogger. pojos.Weblog:getHandle()

info method not available -- call on void org.apache.commons.logging. Log:error(Object, Throwable)

info method not available -- call on String org.apache.roller.weblogger. pojos.ThemeTemplate:getLink()

info method not available -- call on void org.apache.commons.logging. Log:debug(Object)

info method not available -- call on Weblogger org.apache.roller.weblogger. business.WebloggerFactory:getWeblogger()

info method not available -- call on UserManager org.apache.roller.weblogger. business.Weblogger:getUserManager()

info method not available -- call on String org.apache.roller.weblogger. pojos.ThemeTemplate:getLink()

info method not available -- call on WeblogTemplate org.apache.roller. weblogger.business.UserManager:getPageByLink(Weblog , String)

info method not available -- call on void org.apache.commons.logging. Log:debug(Object)

info method not available -- call on void org.apache.roller.weblogger.pojos. WeblogTemplate()

info method not available -- call on void org.apache.roller.weblogger.pojos. WeblogTemplate:setWebsite(Weblog)

info method not available -- call on void org.apache.roller.weblogger.pojos. WeblogTemplate:setAction(String)

info method not available -- call on String org.apache.roller.weblogger. pojos.ThemeTemplate:getName()

info method not available -- call on void org.apache.roller.weblogger.pojos. WeblogTemplate:setName(String)

info method not available -- call on String org.apache.roller.weblogger. pojos.ThemeTemplate:getDescription()

info method not available -- call on void org.apache.roller.weblogger.pojos. WeblogTemplate:setDescription(String)

info method not available -- call on String org.apache.roller.weblogger. pojos.ThemeTemplate:getLink()

info method not available -- call on void org.apache.roller.weblogger.pojos. WeblogTemplate:setLink(String)

info method not available -- call on String org.apache.roller.weblogger. pojos.ThemeTemplate:getContents()

info method not available -- call on void org.apache.roller.weblogger.pojos. WeblogTemplate:setContents(String)

info method not available -- call on void org.apache.roller.weblogger.pojos. WeblogTemplate:setHidden(bool)

info method not available -- call on void org.apache.roller.weblogger.pojos. WeblogTemplate:setNavbar(bool)

info method not available -- call on void org.apache.roller.weblogger.pojos. WeblogTemplate:setLastModified(Date)

info method not available -- call on String org.apache.roller.weblogger. pojos.ThemeTemplate:getTemplateLanguage()

info method not available -- call on void org.apache.roller.weblogger.pojos. WeblogTemplate:setTemplateLanguage(String)

info method not available -- call on void org.apache.roller.weblogger. business.UserManager:savePage(WeblogTemplate)

info method not available -- call on Weblogger org.apache.roller.weblogger. business.WebloggerFactory:getWeblogger()

info method not available -- call on void org.apache.roller.weblogger. business.Weblogger:flush()

info method not available -- call on String org.apache.roller.weblogger. pojos.Weblog:getHandle()

info method not available -- call on void org.apache.commons.logging. Log:error(Object, Throwable)

method	String execute()
pre	init'ed(this.template)
post	return_value in Addr_Set{&"input", &"error"}
post	possibly_updated(this.contents)
test_vector	this.template: Inverse{null}, Addr_Set{null}

info method not available -- call on String org.apache.roller.weblogger. pojos.WeblogTemplate:getContents()

method	String save()
pre	init'ed(this.template)
pre	(soft) log != null
pre	(soft) this.actionWeblog != null
pre	(soft) init'ed(this.contents)
presumption	org.apache.roller.weblogger.business. Weblogger:getUserManager(...)@142 != null
presumption	org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@142 != null
presumption	org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@144 != null
post	return_value in Addr_Set{&"input", &"error"}
unanalyzed	call on org.apache.roller.weblogger.ui.struts2. util.UIAction:getText
unanalyzed	call on org.apache.roller.weblogger.ui.struts2. util.UIAction:addActionError
unanalyzed	call on org.apache.roller.weblogger.ui.struts2. util.UIAction:addActionMessage
test_vector	this.template: Inverse{null}, Addr_Set{null}
test_vector	org.apache.roller.weblogger.ui.struts2.editor. StylesheetEdit:hasActionErrors(...)@134: {1}, {0}

info method not available -- call on bool org.apache.roller.weblogger.ui. struts2.editor.StylesheetEdit:hasActionErrors()

info method not available -- call on void org.apache.roller.weblogger.pojos. WeblogTemplate:setLastModified(Date)

info method not available -- call on void org.apache.roller.weblogger.pojos. WeblogTemplate:setContents(String)

info method not available -- call on void org.apache.roller.weblogger. business.UserManager:savePage(WeblogTemplate)

info method not available -- call on void org.apache.roller.weblogger.util. cache.CacheManager:invalidate(WeblogTemplate)

info method not available -- call on String org.apache.roller.weblogger. pojos.WeblogTemplate:getName()

info method not available -- call on String org.apache.roller.weblogger. pojos.Weblog:getHandle()

info method not available -- call on void org.apache.commons.logging. Log:error(Object, Throwable)

method	String revert()
pre	init'ed(this.template)
pre	(soft) log != null
pre	(soft) this.actionWeblog != null
presumption	org.apache.roller.weblogger.business. Weblogger:getThemeManager(...)@184 != null
presumption	org.apache.roller.weblogger.business. Weblogger:getUserManager(...)@192 != null
presumption	org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@184 != null
presumption	org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@192 != null
presumption	org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@194 != null
presumption	org.apache.roller.weblogger.business.themes. ThemeManager:getTheme(...)@185 != null
presumption	org.apache.roller.weblogger.pojos.Theme:getStyleshe et(...)@189 != null
post	return_value in Addr_Set{&"error", &"input"}
post	possibly_updated(this.contents)
unanalyzed	call on org.apache.roller.weblogger.ui.struts2. util.UIAction:getText
unanalyzed	call on org.apache.roller.weblogger.ui.struts2. util.UIAction:addActionError
unanalyzed	call on org.apache.roller.weblogger.ui.struts2. util.UIAction:addActionMessage
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogTemplate:getContents
test_vector	this.template: Inverse{null}, Addr_Set{null}
test_vector	java.lang.String:equals(...)@174: {0}, {1}
test_vector	org.apache.roller.weblogger.ui.struts2.editor. StylesheetEdit:hasActionErrors(...)@179: {1}, {0}

info method not available -- call on String org.apache.roller.weblogger. pojos.Weblog:getEditorTheme()

info method not available -- call on bool org.apache.roller.weblogger.ui. struts2.editor.StylesheetEdit:hasActionErrors()

info method not available -- call on Weblogger org.apache.roller.weblogger. business.WebloggerFactory:getWeblogger()

info method not available -- call on ThemeManager org.apache.roller. weblogger.business.Weblogger:getThemeManager()

info method not available -- call on String org.apache.roller.weblogger. pojos.Weblog:getEditorTheme()

info method not available -- call on SharedTheme org.apache.roller.weblogger. business.themes.ThemeManager:getTheme(String)

info method not available -- call on void org.apache.roller.weblogger.pojos. WeblogTemplate:setLastModified(Date)

info method not available -- call on ThemeTemplate org.apache.roller. weblogger.pojos.Theme:getStylesheet()

info method not available -- call on String org.apache.roller.weblogger. pojos.ThemeTemplate:getContents()

info method not available -- call on void org.apache.roller.weblogger.pojos. WeblogTemplate:setContents(String)

info method not available -- call on void org.apache.roller.weblogger. business.UserManager:savePage(WeblogTemplate)

info method not available -- call on void org.apache.roller.weblogger.util. cache.CacheManager:invalidate(WeblogTemplate)

info method not available -- call on String org.apache.roller.weblogger. pojos.WeblogTemplate:getName()

info method not available -- call on String org.apache.roller.weblogger. pojos.Weblog:getHandle()

info method not available -- call on void org.apache.commons.logging. Log:error(Object, Throwable)

method	bool isCustomTheme()
pre	this.actionWeblog != null
post	init'ed(return_value)

info method not available -- call on String org.apache.roller.weblogger. pojos.Weblog:getEditorTheme()

method	WeblogTemplate getTemplate()
pre	init'ed(this.template)
post	return_value == this.template
post	init'ed(return_value)

method	void setTemplate(WeblogTemplate)
post	this.template == template
post	init'ed(this.template)

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)

	info	method not available	-- call on WeblogTheme org.apache.roller.weblogger. pojos.Weblog:getTheme()
	info	method not available	-- call on ThemeTemplate org.apache.roller. weblogger.pojos.WeblogTheme:getStylesheet()

	info	method not available	-- call on String org.apache.roller.weblogger. pojos.Weblog:getHandle()
	info	method not available	-- call on void org.apache.commons.logging. Log:error(Object, Throwable)

	info	method not available	-- call on Weblogger org.apache.roller.weblogger. business.WebloggerFactory:getWeblogger()
	info	method not available	-- call on UserManager org.apache.roller.weblogger. business.Weblogger:getUserManager()