| method | void org.apache.roller.weblogger.ui.struts2. editor.EntryEdit() |
| post | this.actionName == &"entryEdit" |
| post | this.bean == &new EntryBean(EntryEdit#1) |
| post | this.desiredMenu == &"editor" |
| post | this.entry == null |
| post | this.trackbackUrl == null |
| post | this.bean.categoryId == null |
| post | this.bean.dateString == null |
| post | this.bean.enclosureURL == null |
| post | this.bean.id == null |
| post | this.bean.locale == null |
| post | this.bean.plugins == null |
| post | this.bean.status == null |
| post | this.bean.summary == null |
| post | this.bean.tagsString == null |
| post | this.bean.text == null |
| post | this.bean.title == null |
| post | this.bean.weblogHandle == null |
| post | this.pageTitle == &"weblogEdit.title. editEntry" |
| post | new EntryBean(EntryEdit#1) num objects == 1 |
| post | this.bean.allowComments == 1 |
| post | new Integer(EntryBean#1) num objects == 1 |
| post | this.bean.commentCount == 0 |
| post | this.bean.hours == 0 |
| post | this.bean.minutes == 0 |
| post | this.bean.pinnedToMain == 0 |
| post | this.bean.rightToLeft == 0 |
| post | this.bean.seconds == 0 |
| post | this.bean.commentDays == &new Integer(EntryBean #1) |
| unanalyzed | call on java.lang.Integer |
| unanalyzed | call on org.apache.roller.weblogger.ui.struts2. util.UIAction |
| method | String execute() |
| pre | init'ed(this.entry) |
| pre | (soft) org/apache/roller/weblogger/ui/struts2/edito r/EntryBean.log != null |
| pre | (soft) this.bean != null |
| presumption | org.apache.roller.weblogger.pojos.WeblogEntry:getWe bsite(...)@101 != null |
| post | return_value in Addr_Set{&"input", &"access-denied",&"error"} |
| post | possibly_updated(this.bean.allowComments) |
| post | possibly_updated(this.bean.categoryId) |
| post | possibly_updated(this.bean.commentCount) |
| post | possibly_updated(this.bean.commentDays) |
| post | possibly_updated(this.bean.dateString) |
| post | possibly_updated(this.bean.enclosureURL) |
| post | possibly_updated(this.bean.hours) |
| post | possibly_updated(this.bean.id) |
| post | possibly_updated(this.bean.locale) |
| post | possibly_updated(this.bean.minutes) |
| post | possibly_updated(this.bean.pinnedToMain) |
| post | possibly_updated(this.bean.plugins) |
| post | possibly_updated(this.bean.rightToLeft) |
| post | possibly_updated(this.bean.seconds) |
| post | possibly_updated(this.bean.status) |
| post | possibly_updated(this.bean.summary) |
| post | possibly_updated(this.bean.tagsString) |
| post | possibly_updated(this.bean.text) |
| post | possibly_updated(this.bean.title) |
| unanalyzed | call on org.apache.commons.logging.Log:debug |
| unanalyzed | call on java.util.Calendar:setTime |
| unanalyzed | call on java.text.SimpleDateFormat |
| unanalyzed | call on java.text.DateFormat:setTimeZone |
| unanalyzed | call on org.apache.roller.weblogger.pojos. WeblogEntry:getWebsite |
| unanalyzed | call on java.lang.String:equals |
| unanalyzed | call on org.apache.roller.weblogger.pojos. WeblogEntry:getId |
| unanalyzed | call on org.apache.roller.weblogger.pojos. WeblogEntry:getTitle |
| unanalyzed | call on org.apache.roller.weblogger.pojos. WeblogEntry:getLocale |
| unanalyzed | call on org.apache.roller.weblogger.pojos. WeblogEntry:getStatus |
| unanalyzed | call on org.apache.roller.weblogger.pojos. WeblogEntry:getSummary |
| unanalyzed | call on org.apache.roller.weblogger.pojos. WeblogEntry:getText |
| unanalyzed | call on org.apache.roller.weblogger.pojos. WeblogEntry:getCategory |
| unanalyzed | call on org.apache.roller.weblogger.pojos. WeblogCategory:getId |
| unanalyzed | call on org.apache.roller.weblogger.pojos. WeblogEntry:getTagsAsString |
| unanalyzed | call on org.apache.roller.weblogger.pojos. WeblogEntry:getComments |
| unanalyzed | call on java.util.List:size |
| unanalyzed | call on org.apache.roller.weblogger.pojos. WeblogEntry:getPlugins |
| unanalyzed | call on org.apache.commons.lang.StringUtils:split |
| unanalyzed | call on org.apache.roller.weblogger.pojos. WeblogEntry:getPubTime |
| unanalyzed | call on java.util.Calendar:getInstance |
| unanalyzed | call on org.apache.roller.weblogger.pojos. Weblog:getTimeZoneInstance |
| unanalyzed | call on java.util.Calendar:setTimeZone |
| unanalyzed | call on java.util.Calendar:get |
| unanalyzed | call on java.text.DateFormat:format |
| unanalyzed | call on org.apache.roller.weblogger.pojos. WeblogEntry:getAllowComments |
| unanalyzed | call on java.lang.Boolean:booleanValue |
| unanalyzed | call on org.apache.roller.weblogger.pojos. WeblogEntry:getCommentDays |
| unanalyzed | call on org.apache.roller.weblogger.pojos. WeblogEntry:getRightToLeft |
| unanalyzed | call on org.apache.roller.weblogger.pojos. WeblogEntry:getPinnedToMain |
| unanalyzed | call on org.apache.roller.weblogger.pojos. WeblogEntry:getEntryAttributes |
| unanalyzed | call on java.util.Set:size |
| unanalyzed | call on java.util.Set:iterator |
| unanalyzed | call on org.apache.roller.weblogger.pojos. WeblogEntryAttribute:getName |
| unanalyzed | call on org.apache.roller.weblogger.pojos. WeblogEntryAttribute:getValue |
| test_vector | this.entry: Inverse{null}, Addr_Set{null} |
| test_vector | org.apache.roller.weblogger.pojos.Weblog:equals(... )@101: {1}, {0} |
| method | String save() |
| pre | init'ed(this.entry) |
| pre | (soft) log != null |
| pre | (soft) org/apache/roller/weblogger/ui/struts2/edito r/EntryBase.log != null |
| pre | (soft) org/apache/roller/weblogger/ui/struts2/edito r/EntryBean.log != null |
| pre | (soft) this.bean != null |
| pre | (soft) init'ed(this.bean.allowComments) |
| pre | (soft) this.bean.categoryId != null |
| pre | (soft) init'ed(this.bean.commentDays) |
| pre | (soft) init'ed(this.bean.dateString) |
| pre | (soft) init'ed(this.bean.enclosureURL) |
| pre | (soft) init'ed(this.bean.hours) |
| pre | (soft) init'ed(this.bean.locale) |
| pre | (soft) init'ed(this.bean.minutes) |
| pre | (soft) init'ed(this.bean.pinnedToMain) |
| pre | (soft) init'ed(this.bean.plugins) |
| pre | (soft) init'ed(this.bean.rightToLeft) |
| pre | (soft) init'ed(this.bean.seconds) |
| pre | (soft) init'ed(this.bean.status) |
| pre | (soft) init'ed(this.bean.summary) |
| pre | (soft) init'ed(this.bean.tagsString) |
| pre | (soft) init'ed(this.bean.text) |
| pre | (soft) init'ed(this.bean.title) |
| presumption | org.apache.roller.weblogger.business. Weblogger:getAutopingManager(...)@201 != null |
| presumption | org.apache.roller.weblogger.business. Weblogger:getWeblogManager(...)@127 != null |
| presumption | org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@127 != null |
| presumption | org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@191 != null |
| presumption | org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@201 != null |
| presumption | org.apache.roller.weblogger.pojos.WeblogEntry:getWe bsite(...)@122 != null |
| presumption | init'ed(org.apache.roller.weblogger.pojos. WeblogPermission.AUTHOR) |
| presumption | org.apache.roller.weblogger.ui.struts2.editor. EntryEdit:getActionWeblog(...)@133 != null |
| presumption | org.apache.roller.weblogger.ui.struts2.editor. EntryEdit:getActionWeblog(...)@146 != null |
| presumption | org.apache.roller.weblogger.ui.struts2.editor. EntryEdit:getAuthenticatedUser(...)@152 != null |
| presumption | org.apache.roller.weblogger.util.MediacastUtil:look upResource(...)@160 != null |
| post | return_value in Addr_Set{&"input", &"access-denied",&"error"} |
| unanalyzed | call on java.lang.Throwable:__curr_excep_obj |
| unanalyzed | call on org.apache.commons.logging.Log:error |
| unanalyzed | call on org.apache.commons.logging.Log:debug |
| unanalyzed | call on java.util.Calendar:setTime |
| unanalyzed | call on java.text.SimpleDateFormat |
| unanalyzed | call on java.text.DateFormat:setTimeZone |
| unanalyzed | call on org.apache.commons.lang.StringUtils:isEmpty |
| unanalyzed | call on java.text.DateFormat:parse |
| unanalyzed | call on java.util.Calendar:getInstance |
| unanalyzed | call on java.util.Calendar:set |
| unanalyzed | call on java.util.Calendar:getTimeInMillis |
| unanalyzed | call on java.sql.Timestamp |
| unanalyzed | call on org.apache.roller.weblogger.pojos. WeblogEntry:setTitle |
| unanalyzed | call on org.apache.roller.weblogger.pojos. WeblogEntry:setStatus |
| unanalyzed | call on org.apache.roller.weblogger.pojos. WeblogEntry:setLocale |
| unanalyzed | call on org.apache.roller.weblogger.pojos. WeblogEntry:setSummary |
| unanalyzed | call on org.apache.roller.weblogger.pojos. WeblogEntry:setText |
| unanalyzed | call on org.apache.roller.weblogger.pojos. WeblogEntry:setTagsAsString |
| unanalyzed | call on org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger |
| unanalyzed | call on org.apache.roller.weblogger.business. Weblogger:getWeblogManager |
| unanalyzed | call on org.apache.roller.weblogger.business. WeblogManager:getWeblogCategory |
| unanalyzed | call on org.apache.roller.weblogger. WebloggerException |
| unanalyzed | call on org.apache.roller.weblogger.pojos. WeblogEntry:getWebsite |
| unanalyzed | call on org.apache.roller.weblogger.pojos. WeblogCategory:getWebsite |
| unanalyzed | call on org.apache.roller.weblogger.pojos. Weblog:equals |
| unanalyzed | call on org.apache.roller.weblogger.pojos. WeblogEntry:setCategory |
| unanalyzed | call on org.apache.commons.lang.StringUtils:join |
| unanalyzed | call on org.apache.roller.weblogger.pojos. WeblogEntry:setPlugins |
| unanalyzed | call on java.lang.Boolean:valueOf |
| unanalyzed | call on org.apache.roller.weblogger.pojos. WeblogEntry:setAllowComments |
| unanalyzed | call on org.apache.roller.weblogger.pojos. WeblogEntry:setCommentDays |
| unanalyzed | call on org.apache.roller.weblogger.pojos. WeblogEntry:setRightToLeft |
| unanalyzed | call on org.apache.roller.weblogger.business. Weblogger:getIndexManager |
| unanalyzed | call on org.apache.roller.weblogger.pojos. WeblogEntry:isPublished |
| unanalyzed | call on org.apache.roller.weblogger.business. search.IndexManager:addEntryReIndexOperation |
| unanalyzed | call on org.apache.commons.logging.Log:warn |
| test_vector | this.entry: Inverse{null}, Addr_Set{null} |
| test_vector | org.apache.commons.lang.StringUtils:isEmpty(... )@156: {1}, {0} |
| test_vector | org.apache.commons.logging.Log:isDebugEnabled(... )@182: {0}, {1} |
| test_vector | org.apache.roller.weblogger.pojos.User:hasRole(... )@152: {0}, {1} |
| test_vector | org.apache.roller.weblogger.pojos.Weblog:equals(... )@122: {1}, {0} |
| test_vector | org.apache.roller.weblogger.pojos.Weblog:hasUserPer missions(...)@146: {1}, {0} |
| test_vector | org.apache.roller.weblogger.pojos.WeblogEntry:getPu bTime(...)@140: Inverse{null}, Addr_Set{null} |
| test_vector | org.apache.roller.weblogger.pojos.WeblogEntry:isPen ding(...)@204: {0}, {1} |
| test_vector | org.apache.roller.weblogger.pojos.WeblogEntry:isPub lished(...)@139: {0}, {1} |
| test_vector | org.apache.roller.weblogger.pojos.WeblogEntry:isPub lished(...)@200: {0}, {1} |
| test_vector | org.apache.roller.weblogger.ui.struts2.editor. EntryEdit:hasActionErrors(...)@126: {1}, {0} |
| method | String trackback() |
| pre | init'ed(this.entry) |
| pre | (soft) log != null |
| pre | (soft) init'ed(this.trackbackUrl) |
| presumption | java.util.Iterator:next(...)@254 != null |
| presumption | java.util.Iterator:next(...)@263 != null |
| presumption | org.apache.roller.weblogger.pojos.WeblogEntry:getWe bsite(...)@235 != null |
| presumption | org.apache.roller.weblogger.util.RollerMessages:get Errors(...)@262 != null |
| presumption | org.apache.roller.weblogger.util.RollerMessages:get Messages(...)@253 != null |
| post | return_value in Addr_Set{&"input", &"access-denied",&"error"} |
| post | this.trackbackUrl == One-of{old this.trackbackUrl, null} |
| post | (soft) init'ed(this.trackbackUrl) |
| test_vector | this.entry: Inverse{null}, Addr_Set{null} |
| test_vector | java.util.Iterator:hasNext(...)@253: {0}, {1} |
| test_vector | java.util.Iterator:hasNext(...)@262: {0}, {1} |
| test_vector | org.apache.commons.lang.StringUtils:isEmpty(... )@239: {1}, {0} |
| test_vector | org.apache.roller.weblogger.pojos.Weblog:equals(... )@235: {1}, {0} |
| test_vector | org.apache.roller.weblogger.util.RollerMessages_ RollerMessage:getArgs(...)@255: Inverse{null}, Addr_Set{null} |
| test_vector | org.apache.roller.weblogger.util.RollerMessages_ RollerMessage:getArgs(...)@264: Inverse{null}, Addr_Set{null} |