Messages

method	org.apache.roller.weblogger.ui.struts2.editor. Templates__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.Templates()
presumption	init'ed(java.util.Collections.EMPTY_LIST)
post	this.actionName == &"templates"
post	this.actionWeblog == null
post	this.authenticatedUser == null
post	this.newTmplAction == null
post	this.newTmplName == null
post	this.weblog == null
post	this.availableActions == java.util.Collections. EMPTY_LIST
post	(soft) init'ed(this.availableActions)
post	this.templates == this.availableActions
post	this.desiredMenu == &"editor"
post	this.pageTitle == &"pagesForm.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	String execute()
pre	this.actionWeblog != null
pre	(soft) log != null
presumption	java.util.Iterator:next(...)@95 != null
presumption	org.apache.roller.weblogger.business. Weblogger:getUserManager(...)@71 != null
presumption	org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@71 != null
presumption	org.apache.roller.weblogger.pojos.Weblog:getTheme(. ..)@77 != null
presumption	org.apache.roller.weblogger.pojos.Weblog:getTheme(. ..)@78 != null
presumption	org.apache.roller.weblogger.pojos.WeblogTheme:getSt ylesheet(...)@78 != null
post	return_value == &"list"
post	this.availableActions == One-of{&new ArrayList(execute#2), old this.availableActions}
post	this.templates == One-of{&new ArrayList(execute #1), old this.templates}
post	new ArrayList(execute#1) num objects <= 1
post	new ArrayList(execute#2) num objects <= 1
unanalyzed	call on org.apache.roller.weblogger.ui.struts2. util.UIAction:getText
unanalyzed	call on org.apache.roller.weblogger.ui.struts2. util.UIAction:addActionError
test_vector	java.lang.String:equals(...)@87: {0}, {1}
test_vector	java.lang.String:equals(...)@96: {1}, {0}
test_vector	java.util.Iterator:hasNext(...)@95: {0}, {1}
test_vector	org.apache.roller.weblogger.pojos.WeblogTheme:getSt ylesheet(...)@77: Addr_Set{null}, Inverse{null}

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

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.ThemeTemplate:getLink()

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

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

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

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 add()
pre	init'ed(this.newTmplAction)
pre	(soft) log != null
pre	(soft) this.newTmplName != null
pre	(soft) this.actionWeblog != null
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(...)@153 != null
post	return_value == &"list"
post	this.availableActions == One-of{&new ArrayList(execute#2), old this.availableActions}
post	this.newTmplAction == One-of{old this. newTmplAction, null}
post	init'ed(this.newTmplAction)
post	this.newTmplName == One-of{old this.newTmplName, null}
post	(soft) init'ed(this.newTmplName)
post	this.templates == One-of{&new ArrayList(execute #1), old this.templates}
post	new ArrayList(execute#1) num objects <= 1
post	new ArrayList(execute#2) num objects == new ArrayList(execute#1) num objects
unanalyzed	call on org.apache.commons.lang.StringUtils:isEmpty
unanalyzed	call on addError
unanalyzed	call on java.lang.String:length
unanalyzed	call on org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger
unanalyzed	call on org.apache.roller.weblogger.business. Weblogger:getUserManager
unanalyzed	call on getActionWeblog
unanalyzed	call on org.apache.roller.weblogger.business. UserManager:getPageByName
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on org.apache.commons.logging.Log:error
unanalyzed	call on java.lang.String:equals
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:getHandle
unanalyzed	call on org.apache.roller.weblogger.business. UserManager:getPages
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.List:addAll
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:getTheme
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogTheme:getStylesheet
unanalyzed	call on org.apache.roller.weblogger.pojos. ThemeTemplate:getLink
unanalyzed	call on org.apache.roller.weblogger.business. UserManager:getPageByLink
unanalyzed	call on java.util.List:remove
unanalyzed	call on java.util.List:add
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:getEditorTheme
unanalyzed	call on java.util.List:iterator
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogTemplate:getAction
unanalyzed	call on org.apache.roller.weblogger.ui.struts2. util.UIAction:getText
unanalyzed	call on org.apache.roller.weblogger.ui.struts2. util.UIAction:addActionError
test_vector	java.lang.String:equals(...)@137: {1}, {0}
test_vector	java.lang.String:equals(...)@147: {0}, {1}
test_vector	org.apache.roller.weblogger.ui.struts2.editor. Templates:hasActionErrors(...)@121: {1}, {0}

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

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 void org.apache.roller.weblogger.pojos. WeblogTemplate:setName(String)

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

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.ui. struts2.editor.Templates:getText(String)

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 void org.apache.roller.weblogger.pojos. WeblogTemplate:setTemplateLanguage(String)

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

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

info method not available -- call on void org.apache.roller.weblogger. business.UserManager:savePage(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.WeblogTemplate:getId()

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

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 String org.apache.roller.weblogger. pojos.Weblog:getHandle()

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

method	void myValidate()
pre	init'ed(this.newTmplAction)
pre	(soft) log != null
pre	(soft) init'ed(this.actionWeblog)
pre	(soft) this.newTmplName != null
presumption	org.apache.roller.weblogger.business. Weblogger:getUserManager(...)@186 != null
presumption	org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@186 != null
unanalyzed	call on org.apache.roller.weblogger.ui.struts2. util.UIAction:getText
unanalyzed	call on org.apache.roller.weblogger.ui.struts2. util.UIAction:addActionError
test_vector	java.lang.String:length(...)@175: {0..255}, {256..2³²-1}
test_vector	org.apache.commons.lang.StringUtils:isEmpty(... )@173: {0}, {1}
test_vector	org.apache.commons.lang.StringUtils:isEmpty(... )@180: {0}, {1}
test_vector	org.apache.roller.weblogger.business. UserManager:getPageByName(...)@187: Addr_Set{null}, Inverse{null}

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

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

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

method	List getTemplates()
pre	init'ed(this.templates)
post	return_value == this.templates
post	init'ed(return_value)

method	void setTemplates(List)
post	this.templates == templates
post	init'ed(this.templates)

method	List getAvailableActions()
pre	init'ed(this.availableActions)
post	return_value == this.availableActions
post	init'ed(return_value)

method	void setAvailableActions(List)
post	this.availableActions == availableActions
post	init'ed(this.availableActions)

method	String getNewTmplName()
pre	init'ed(this.newTmplName)
post	return_value == this.newTmplName
post	init'ed(return_value)

method	void setNewTmplName(String)
post	this.newTmplName == newTmplName
post	init'ed(this.newTmplName)

method	String getNewTmplAction()
pre	init'ed(this.newTmplAction)
post	return_value == this.newTmplAction
post	init'ed(return_value)

method	void setNewTmplAction(String)
post	this.newTmplAction == newTmplAction
post	init'ed(this.newTmplAction)

	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 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)