Messages

method	org.apache.roller.weblogger.ui.struts2.editor. ThemeEdit__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.ThemeEdit()
presumption	init'ed(java.util.Collections.EMPTY_LIST)
post	this.actionName == &"themeEdit"
post	this.actionWeblog == null
post	this.authenticatedUser == null
post	this.importThemeId == null
post	this.themeId == null
post	this.themeType == null
post	this.weblog == null
post	this.desiredMenu == &"editor"
post	this.importTheme == 0
post	this.pageTitle == &"themeEditor.title"
post	this.themes == java.util.Collections.EMPTY_LIST
post	(soft) init'ed(this.themes)
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()
presumption	org.apache.roller.weblogger.business. Weblogger:getThemeManager(...)@77 != null
presumption	org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@77 != null
post	init'ed(this.themes)

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 List org.apache.roller.weblogger. business.themes.ThemeManager:getEnabledThemesList()

method	String execute()
pre	this.actionWeblog != null
presumption	org.apache.roller.weblogger.pojos.Weblog:getTheme(. ..)@88 != null
presumption	org.apache.roller.weblogger.pojos.Weblog:getTheme(. ..)@89 != null
post	return_value in Addr_Set{&"input", &"input-sharedonly"}
post	possibly_updated(this.importThemeId)
post	init'ed(this.themeId)
test_vector	java.lang.String:equals(...)@85: {0}, {1}
test_vector	org.apache.roller.weblogger.config.WebloggerRuntime Config:getBooleanProperty(...)@92: {1}, {0}

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

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

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

info method not available -- call on bool org.apache.roller.weblogger.config. WebloggerRuntimeConfig:getBooleanProperty(String)

method	String save()
pre	init'ed(this.themeType)
pre	(soft) log != null
pre	(soft) init'ed(this.importTheme)
pre	(soft) init'ed(this.importThemeId)
pre	(soft) init'ed(this.themeId)
pre	(soft) this.actionWeblog != null
presumption	org.apache.roller.weblogger.business. Weblogger:getThemeManager(...)@116 != null
presumption	org.apache.roller.weblogger.business. Weblogger:getThemeManager(...)@167 != null
presumption	org.apache.roller.weblogger.business. Weblogger:getUserManager(...)@130 != null
presumption	org.apache.roller.weblogger.business. Weblogger:getUserManager(...)@187 != null
presumption	org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@116 != null
presumption	org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@130 != null
presumption	org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@132 != null
presumption	org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@167 != null
presumption	org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@187 != null
presumption	org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@189 != null
presumption	org.apache.roller.weblogger.business.themes. ThemeManager:getTheme(...)@168 != null
post	return_value == One-of{&"input-sharedonly", &"input"}
post	return_value in Addr_Set{&"input-sharedonly", &"input"}
post	(soft) init'ed(this.importTheme)
post	(soft) init'ed(this.importThemeId)
post	init'ed(this.themeId)
unanalyzed	call on getActionWeblog
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:getEditorTheme
unanalyzed	call on java.lang.String:equals
unanalyzed	call on org.apache.roller.weblogger.config. WebloggerRuntimeConfig:getBooleanProperty
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:getTheme
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogTheme:getId
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.importTheme: {0}, {1}
test_vector	this.themeId: Inverse{null}, Addr_Set{null}
test_vector	java.lang.String:equals(...)@108: {0}, {1}
test_vector	java.lang.String:equals(...)@157: {0}, {1}
test_vector	org.apache.commons.lang.StringUtils:isEmpty(... )@115: {1}, {0}
test_vector	org.apache.roller.weblogger.config.WebloggerRuntime Config:getBooleanProperty(...)@111: {0}, {1}
test_vector	org.apache.roller.weblogger.pojos.Theme:isEnabled(. ..)@170: {1}, {0}
test_vector	org.apache.roller.weblogger.ui.struts2.editor. ThemeEdit:hasActionErrors(...)@125: {1}, {0}
test_vector	org.apache.roller.weblogger.ui.struts2.editor. ThemeEdit:hasActionErrors(...)@182: {1}, {0}

info method not available -- call on bool org.apache.roller.weblogger.config. WebloggerRuntimeConfig:getBooleanProperty(String)

info method not available -- call on bool org.apache.commons.lang. StringUtils:isEmpty(String)

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. business.themes.ThemeManager:importTheme(Weblog, SharedTheme)

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 bool org.apache.roller.weblogger.ui. struts2.editor.ThemeEdit:hasActionErrors()

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

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: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 void org.apache.roller.weblogger. business.UserManager:saveWebsite(Weblog)

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 void org.apache.roller.weblogger.util. cache.CacheManager:invalidate(Weblog)

info method not available -- call on String org.apache.roller.weblogger. business.themes.SharedTheme: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)

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

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

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

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

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

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:debug(Object)

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

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

info method not available -- call on String org.apache.roller.weblogger. pojos.Theme: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	bool isFirstCustomization()
pre	(soft) log != null
pre	(soft) init'ed(this.actionWeblog)
presumption	org.apache.roller.weblogger.business. Weblogger:getUserManager(...)@220 != null
presumption	org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@220 != null
post	init'ed(return_value)

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

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

method	List getThemes()
pre	init'ed(this.themes)
post	return_value == this.themes
post	init'ed(return_value)

method	void setThemes(List)
post	this.themes == themes
post	init'ed(this.themes)

method	String getThemeType()
pre	init'ed(this.themeType)
post	return_value == this.themeType
post	init'ed(return_value)

method	void setThemeType(String)
post	this.themeType == themeType
post	init'ed(this.themeType)

method	String getThemeId()
pre	init'ed(this.themeId)
post	return_value == this.themeId
post	init'ed(return_value)

method	void setThemeId(String)
post	this.themeId == theme
post	init'ed(this.themeId)

method	bool isImportTheme()
pre	init'ed(this.importTheme)
post	return_value == this.importTheme
post	init'ed(return_value)

method	void setImportTheme(bool)
post	this.importTheme == importTheme
post	init'ed(this.importTheme)

method	String getImportThemeId()
pre	init'ed(this.importThemeId)
post	return_value == this.importThemeId
post	init'ed(return_value)

method	void setImportThemeId(String)
post	this.importThemeId == importThemeId
post	init'ed(this.importThemeId)

	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 WeblogTheme org.apache.roller.weblogger. pojos.Weblog:getTheme()
	info	method not available	-- call on String org.apache.roller.weblogger. pojos.WeblogTheme:getId()