| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | pre | (soft) log != null | 2009-09-04 18:33:31 |
| + | pre | (soft) this.actionWeblog != null | 2009-09-04 18:33:31 |
| + | pre | (soft) this.newTmplName != null | 2009-09-04 18:33:31 |
| + | pre | init'ed(this.newTmplAction) | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.business. Weblogger:getUserManager(...)@142 != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@142 != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@153 != null | 2009-09-04 18:33:31 |
| + | post | (soft) init'ed(this.newTmplName) | 2009-09-04 18:33:31 |
| + | post | init'ed(this.newTmplAction) | 2009-09-04 18:33:31 |
| + | post | new ArrayList(execute#1) num objects <= 1 | 2009-09-04 18:33:31 |
| + | post | new ArrayList(execute#2) num objects == new ArrayList(execute#1) num objects | 2009-09-04 18:33:31 |
| + | post | return_value == &"list" | 2009-09-04 18:33:31 |
| + | post | this.availableActions == One-of{&new ArrayList(execute#2), old this.availableActions} | 2009-09-04 18:33:31 |
| + | post | this.newTmplAction == One-of{old this. newTmplAction, null} | 2009-09-04 18:33:31 |
| + | post | this.newTmplName == One-of{old this.newTmplName, null} | 2009-09-04 18:33:31 |
| + | post | this.templates == One-of{&new ArrayList(execute #1), old this.templates} | 2009-09-04 18:33:31 |
| + | unanalyzed | call on addError | 2009-09-04 18:33:31 |
| + | unanalyzed | call on getActionWeblog | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.String:equals | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.String:length | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.Throwable:__curr_excep_obj | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.ArrayList | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.List:add | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.List:addAll | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.List:iterator | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.List:remove | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.commons.lang.StringUtils:isEmpty | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.commons.logging.Log:error | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.business. UserManager:getPageByLink | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.business. UserManager:getPageByName | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.business. UserManager:getPages | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.business. Weblogger:getUserManager | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. ThemeTemplate:getLink | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. Weblog:getEditorTheme | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. Weblog:getHandle | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. Weblog:getTheme | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. WeblogTemplate:getAction | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. WeblogTheme:getStylesheet | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.ui.struts2. util.UIAction:addActionError | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.ui.struts2. util.UIAction:getText | 2009-09-04 18:33:31 |
| + | test_vector | java.lang.String:equals(...)@137: {1}, {0} | 2009-09-04 18:33:31 |
| + | test_vector | java.lang.String:equals(...)@147: {0}, {1} | 2009-09-04 18:33:31 |
| + | test_vector | org.apache.roller.weblogger.ui.struts2.editor. Templates:hasActionErrors(...)@121: {1}, {0} | 2009-09-04 18:33:31 |
| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | pre | (soft) log != null | 2009-09-04 18:33:31 |
| + | pre | this.actionWeblog != null | 2009-09-04 18:33:31 |
| + | presumption | java.util.Iterator:next(...)@95 != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.business. Weblogger:getUserManager(...)@71 != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@71 != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.pojos.Weblog:getTheme(. ..)@77 != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.pojos.Weblog:getTheme(. ..)@78 != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.pojos.WeblogTheme:getSt ylesheet(...)@78 != null | 2009-09-04 18:33:31 |
| + | post | new ArrayList(execute#1) num objects <= 1 | 2009-09-04 18:33:31 |
| + | post | new ArrayList(execute#2) num objects <= 1 | 2009-09-04 18:33:31 |
| + | post | return_value == &"list" | 2009-09-04 18:33:31 |
| + | post | this.availableActions == One-of{&new ArrayList(execute#2), old this.availableActions} | 2009-09-04 18:33:31 |
| + | post | this.templates == One-of{&new ArrayList(execute #1), old this.templates} | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.ui.struts2. util.UIAction:addActionError | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.ui.struts2. util.UIAction:getText | 2009-09-04 18:33:31 |
| + | test_vector | java.lang.String:equals(...)@87: {0}, {1} | 2009-09-04 18:33:31 |
| + | test_vector | java.lang.String:equals(...)@96: {1}, {0} | 2009-09-04 18:33:31 |
| + | test_vector | java.util.Iterator:hasNext(...)@95: {0}, {1} | 2009-09-04 18:33:31 |
| + | test_vector | org.apache.roller.weblogger.pojos.WeblogTheme:getSt ylesheet(...)@77: Addr_Set{null}, Inverse{null} | 2009-09-04 18:33:31 |
| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | pre | (soft) init'ed(this.actionWeblog) | 2009-09-04 18:33:31 |
| + | pre | (soft) log != null | 2009-09-04 18:33:31 |
| + | pre | (soft) this.newTmplName != null | 2009-09-04 18:33:31 |
| + | pre | init'ed(this.newTmplAction) | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.business. Weblogger:getUserManager(...)@186 != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@186 != null | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.ui.struts2. util.UIAction:addActionError | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.ui.struts2. util.UIAction:getText | 2009-09-04 18:33:31 |
| + | test_vector | java.lang.String:length(...)@175: {0..255}, {256..232-1} | 2009-09-04 18:33:31 |
| + | test_vector | org.apache.commons.lang.StringUtils:isEmpty(... )@173: {0}, {1} | 2009-09-04 18:33:31 |
| + | test_vector | org.apache.commons.lang.StringUtils:isEmpty(... )@180: {0}, {1} | 2009-09-04 18:33:31 |
| + | test_vector | org.apache.roller.weblogger.business. UserManager:getPageByName(...)@187: Addr_Set{null}, Inverse{null} | 2009-09-04 18:33:31 |
| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | presumption | init'ed(java.util.Collections.EMPTY_LIST) | 2009-09-04 18:33:31 |
| + | post | (soft) init'ed(this.availableActions) | 2009-09-04 18:33:31 |
| + | post | this.actionName == &"templates" | 2009-09-04 18:33:31 |
| + | post | this.actionWeblog == null | 2009-09-04 18:33:31 |
| + | post | this.authenticatedUser == null | 2009-09-04 18:33:31 |
| + | post | this.availableActions == java.util.Collections. EMPTY_LIST | 2009-09-04 18:33:31 |
| + | post | this.desiredMenu == &"editor" | 2009-09-04 18:33:31 |
| + | post | this.newTmplAction == null | 2009-09-04 18:33:31 |
| + | post | this.newTmplName == null | 2009-09-04 18:33:31 |
| + | post | this.pageTitle == &"pagesForm.title" | 2009-09-04 18:33:31 |
| + | post | this.templates == this.availableActions | 2009-09-04 18:33:31 |
| + | post | this.weblog == null | 2009-09-04 18:33:31 |
| + | unanalyzed | call on com.opensymphony.xwork2.ActionSupport | 2009-09-04 18:33:31 |