| method | void org.apache.roller.weblogger.ui.struts2. editor.TemplateEdit() |
| presumption | init'ed(org/apache/roller/weblogger/ui/struts2/edit or/TemplateEditBean.java.lang.Boolean.TRUE) |
| post | this.actionName == &"templateEdit" |
| post | this.actionWeblog == null |
| post | this.authenticatedUser == null |
| post | this.template == null |
| post | this.weblog == null |
| post | this.bean.contents == null |
| post | this.bean.description == null |
| post | this.bean.id == null |
| post | this.bean.link == null |
| post | this.bean.manualContentType == null |
| post | this.bean.name == null |
| post | this.bean.templateLanguage == null |
| post | this.bean == &new TemplateEditBean(TemplateEdit #1) |
| post | this.desiredMenu == &"editor" |
| post | this.pageTitle == &"pagesForm.title" |
| post | new TemplateEditBean(TemplateEdit#1) num objects == 1 |
| post | this.bean.autoContentType == org/apache/roller/webl ogger/ui/struts2/editor/TemplateEditBean.java.lang. Boolean.TRUE |
| post | init'ed(this.bean.autoContentType) |
| post | this.bean.hidden == 0 |
| post | this.bean.navbar == 0 |
| unanalyzed | call on com.opensymphony.xwork2.ActionSupport |
| method | String execute() |
| pre | init'ed(this.template) |
| pre | (soft) this.bean != null |
| presumption | init'ed(java.lang.Boolean.FALSE) |
| presumption | init'ed(java.lang.Boolean.TRUE) |
| post | return_value in Addr_Set{&"input",&"list"} |
| post | this.bean.autoContentType == One-of{old this.bean.autoContentType, java.lang.Boolean.TRUE, java.lang.Boolean.FALSE} |
| post | possibly_updated(this.bean.contents) |
| post | possibly_updated(this.bean.description) |
| post | possibly_updated(this.bean.hidden) |
| post | possibly_updated(this.bean.id) |
| post | possibly_updated(this.bean.link) |
| post | possibly_updated(this.bean.manualContentType) |
| post | possibly_updated(this.bean.name) |
| post | possibly_updated(this.bean.navbar) |
| post | possibly_updated(this.bean.templateLanguage) |
| unanalyzed | call on org.apache.roller.weblogger.pojos. WeblogTemplate:getId |
| unanalyzed | call on org.apache.roller.weblogger.pojos. WeblogTemplate:getName |
| unanalyzed | call on org.apache.roller.weblogger.pojos. WeblogTemplate:getDescription |
| unanalyzed | call on org.apache.roller.weblogger.pojos. WeblogTemplate:getLink |
| unanalyzed | call on org.apache.roller.weblogger.pojos. WeblogTemplate:getContents |
| unanalyzed | call on org.apache.roller.weblogger.pojos. WeblogTemplate:isNavbar |
| unanalyzed | call on org.apache.roller.weblogger.pojos. WeblogTemplate:isHidden |
| unanalyzed | call on org.apache.roller.weblogger.pojos. WeblogTemplate:getTemplateLanguage |
| unanalyzed | call on org.apache.roller.weblogger.pojos. WeblogTemplate:getOutputContentType |
| unanalyzed | call on org.apache.roller.weblogger.ui.struts2. util.UIAction:addActionError |
| unanalyzed | call on org.apache.roller.weblogger.ui.struts2. util.UIAction:getText |
| test_vector | this.template: Inverse{null}, Addr_Set{null} |
| test_vector | org.apache.commons.lang.StringUtils:isEmpty(... )@92: {0}, {1} |
| method | String save() |
| pre | init'ed(this.template) |
| pre | (soft) log != null |
| pre | (soft) init'ed(this.actionWeblog) |
| pre | (soft) this.bean != null |
| pre | (soft) init'ed(this.bean.autoContentType) |
| pre | (soft) init'ed(this.bean.contents) |
| pre | (soft) init'ed(this.bean.description) |
| pre | (soft) init'ed(this.bean.hidden) |
| pre | (soft) init'ed(this.bean.id) |
| pre | (soft) this.bean.link != null |
| pre | (soft) init'ed(this.bean.manualContentType) |
| pre | (soft) init'ed(this.bean.name) |
| pre | (soft) init'ed(this.bean.navbar) |
| pre | (soft) init'ed(this.bean.templateLanguage) |
| presumption | org.apache.roller.weblogger.business. Weblogger:getUserManager(...)@132 != null |
| presumption | org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@132 != null |
| presumption | org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@134 != null |
| post | return_value in Addr_Set{&"input",&"list"} |
| unanalyzed | call on org.apache.roller.weblogger.pojos. WeblogTemplate:getName |
| unanalyzed | call on java.lang.String:equals |
| 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 addError |
| unanalyzed | call on java.lang.Throwable:__curr_excep_obj |
| unanalyzed | call on org.apache.commons.logging.Log:error |
| unanalyzed | call on org.apache.commons.lang.StringUtils:isEmpty |
| unanalyzed | call on org.apache.roller.weblogger.pojos. WeblogTemplate:getLink |
| unanalyzed | call on org.apache.roller.weblogger.business. UserManager:getPageByLink |
| unanalyzed | call on org.apache.roller.weblogger.pojos. WeblogTemplate:setContents |
| unanalyzed | call on org.apache.roller.weblogger.pojos. WeblogTemplate:isCustom |
| unanalyzed | call on org.apache.roller.weblogger.pojos. WeblogTemplate:setName |
| unanalyzed | call on org.apache.roller.weblogger.pojos. WeblogTemplate:setDescription |
| unanalyzed | call on org.apache.roller.weblogger.pojos. WeblogTemplate:setLink |
| unanalyzed | call on org.apache.roller.weblogger.pojos. WeblogTemplate:setNavbar |
| unanalyzed | call on org.apache.roller.weblogger.pojos. WeblogTemplate:setHidden |
| unanalyzed | call on org.apache.roller.weblogger.pojos. WeblogTemplate:setTemplateLanguage |
| unanalyzed | call on org.apache.roller.weblogger.ui.struts2. util.UIAction:addActionError |
| unanalyzed | call on org.apache.roller.weblogger.ui.struts2. util.UIAction:getText |
| unanalyzed | call on org.apache.roller.weblogger.ui.struts2. util.UIAction:addActionMessage |
| test_vector | this.bean.autoContentType: Addr_Set{null}, Inverse{null} |
| test_vector | this.template: Inverse{null}, Addr_Set{null} |
| test_vector | java.lang.Boolean:booleanValue(...)@123: {1}, {0} |
| test_vector | org.apache.roller.weblogger.ui.struts2.editor. TemplateEdit:hasActionErrors(...)@117: {1}, {0} |
| method | void myValidate() |
| pre | this.bean != null |
| pre | init'ed(this.bean.name) |
| pre | this.template != null |
| pre | (soft) log != null |
| pre | (soft) init'ed(this.actionWeblog) |
| pre | (soft) this.bean.link != null |
| presumption | org.apache.roller.weblogger.business. Weblogger:getUserManager(...)@157 != null |
| presumption | org.apache.roller.weblogger.business. Weblogger:getUserManager(...)@170 != null |
| presumption | org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@157 != null |
| presumption | org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@170 != null |
| presumption | org.apache.roller.weblogger.pojos.WeblogTemplate:ge tName(...)@155 != null |
| unanalyzed | call on org.apache.roller.weblogger.ui.struts2. util.UIAction:addActionError |
| unanalyzed | call on org.apache.roller.weblogger.ui.struts2. util.UIAction:getText |
| test_vector | java.lang.String:equals(...)@155: {1}, {0} |
| test_vector | java.lang.String:equals(...)@167: {1}, {0} |
| test_vector | org.apache.commons.lang.StringUtils:isEmpty(... )@167: {1}, {0} |
| test_vector | org.apache.roller.weblogger.business. UserManager:getPageByLink(...)@171: Addr_Set{null}, Inverse{null} |
| test_vector | org.apache.roller.weblogger.business. UserManager:getPageByName(...)@158: Addr_Set{null}, Inverse{null} |