Categories.java

current inspection = 2009-09-04 18:33:31 (id #2) base = 2009-09-04 18:33:31 (id #1)

Filter Options
History:
+ added
- dropped
U unchanged
Annotation Kind:
pre
presumption
post
unanalyzed
test


  • + String execute()

    • -/+ Kind Annotation Text Date
    +pre(soft) init'ed(this.categoryId)2009-09-04 18:33:31
    +pre(soft) log != null2009-09-04 18:33:31
    +pre(soft) this.category != null2009-09-04 18:33:31
    +presumptionjava.util.Iterator:next(...)@101 != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.business. WeblogManager:getWeblogCategories(...)@100 != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.business. Weblogger:getWeblogManager(...)@99 != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@99 != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.pojos.WeblogCategory:ge tId(...)@102 != null2009-09-04 18:33:31
    +postnew LinkedList(execute#3) num objects <= 12009-09-04 18:33:31
    +postnew TreeSet(execute#1) num objects == 12009-09-04 18:33:31
    +postreturn_value == &"list"2009-09-04 18:33:31
    +postthis.allCategories == One-of{old this. allCategories, &new TreeSet(execute#1)}2009-09-04 18:33:31
    +postthis.categoryPath == One-of{old this.categoryPath, &new LinkedList(execute#3)}2009-09-04 18:33:31
    +test_vectorjava.lang.String:equals(...)@102: {1}, {0}2009-09-04 18:33:31
    +test_vectorjava.util.Iterator:hasNext(...)@101: {0}, {1}2009-09-04 18:33:31
    +test_vectorjava.util.TreeSet:size(...)@124: {-231.. 0}, {1..232-1}2009-09-04 18:33:31
    +test_vectororg.apache.roller.weblogger.pojos.WeblogCategory:ge tParent(...)@108: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31

  • + Set getAllCategories()

    • -/+ Kind Annotation Text Date
    +preinit'ed(this.allCategories)2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +postreturn_value == this.allCategories2009-09-04 18:33:31

  • + WeblogCategory getCategory()

    • -/+ Kind Annotation Text Date
    +preinit'ed(this.category)2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +postreturn_value == this.category2009-09-04 18:33:31

  • + String getCategoryId()

    • -/+ Kind Annotation Text Date
    +preinit'ed(this.categoryId)2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +postreturn_value == this.categoryId2009-09-04 18:33:31

  • + List getCategoryPath()

    • -/+ Kind Annotation Text Date
    +preinit'ed(this.categoryPath)2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +postreturn_value == this.categoryPath2009-09-04 18:33:31

  • + String[] getSelectedCategories()

    • -/+ Kind Annotation Text Date
    +preinit'ed(this.selectedCategories)2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +postreturn_value == this.selectedCategories2009-09-04 18:33:31

  • + String getTargetCategoryId()

    • -/+ Kind Annotation Text Date
    +preinit'ed(this.targetCategoryId)2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +postreturn_value == this.targetCategoryId2009-09-04 18:33:31

  • + String move()

    • -/+ Kind Annotation Text Date
    +pre(soft) init'ed(this.categoryId)2009-09-04 18:33:31
    +pre(soft) init'ed(this.selectedCategories)2009-09-04 18:33:31
    +pre(soft) init'ed(this.selectedCategories[...])2009-09-04 18:33:31
    +pre(soft) init'ed(this.targetCategoryId)2009-09-04 18:33:31
    +pre(soft) this.category != null2009-09-04 18:33:31
    +pre(soft) this.selectedCategories.length <= 232-12009-09-04 18:33:31
    +prelog != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.business. WeblogManager:getWeblogCategory(...)@141 != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.business. WeblogManager:getWeblogCategory(...)@144 != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.business. Weblogger:getWeblogManager(...)@135 != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@135 != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@157 != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.pojos.WeblogCategory:ge tId(...)@148 != null2009-09-04 18:33:31
    +postnew LinkedList(execute#3) num objects <= 12009-09-04 18:33:31
    +postnew TreeSet(execute#1) num objects == 12009-09-04 18:33:31
    +postreturn_value == &"list"2009-09-04 18:33:31
    +postthis.allCategories == One-of{old this. allCategories, &new TreeSet(execute#1)}2009-09-04 18:33:31
    +postthis.categoryPath == One-of{old this.categoryPath, &new LinkedList(execute#3)}2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:equals2009-09-04 18:33:31
    +unanalyzedcall on java.lang.Throwable:__curr_excep_obj2009-09-04 18:33:31
    +unanalyzedcall on java.util.LinkedList2009-09-04 18:33:31
    +unanalyzedcall on java.util.List:add2009-09-04 18:33:31
    +unanalyzedcall on java.util.List:iterator2009-09-04 18:33:31
    +unanalyzedcall on java.util.TreeSet2009-09-04 18:33:31
    +unanalyzedcall on java.util.TreeSet:add2009-09-04 18:33:31
    +unanalyzedcall on java.util.TreeSet:size2009-09-04 18:33:31
    +unanalyzedcall on org.apache.commons.logging.Log:error2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.business. WeblogManager:getWeblogCategories2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.business. Weblogger:getWeblogManager2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogCategory:getId2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogCategory:getParent2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogCategoryPathComparator2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.ui.struts2. editor.Categories:addError2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.ui.struts2. editor.Categories:getActionWeblog2009-09-04 18:33:31
    +test_vectorjava.lang.String:equals(...)@148: {1}, {0}2009-09-04 18:33:31
    +test_vectororg.apache.roller.weblogger.pojos.WeblogCategory:de scendentOf(...)@148: {1}, {0}2009-09-04 18:33:31
    +test_vectorthis.selectedCategories: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31

  • + void myPrepare()

    • -/+ Kind Annotation Text Date
    +pre(soft) init'ed(this.categoryId)2009-09-04 18:33:31
    +pre(soft) log != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.business. Weblogger:getWeblogManager(...)@79 != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@79 != null2009-09-04 18:33:31
    +postpossibly_updated(this.category)2009-09-04 18:33:31
    +test_vectorjava.lang.String:equals(...)@80: {1}, {0}2009-09-04 18:33:31
    +test_vectororg.apache.commons.lang.StringUtils:isEmpty(... )@80: {1}, {0}2009-09-04 18:33:31

  • + void org.apache.roller.weblogger.ui.struts2.editor.Categories()

    • -/+ Kind Annotation Text Date
    +presumptioninit'ed(java.util.Collections.EMPTY_LIST)2009-09-04 18:33:31
    +presumptioninit'ed(java.util.Collections.EMPTY_SET)2009-09-04 18:33:31
    +post(soft) init'ed(this.allCategories)2009-09-04 18:33:31
    +post(soft) init'ed(this.categoryPath)2009-09-04 18:33:31
    +postthis.actionName == &"categories"2009-09-04 18:33:31
    +postthis.allCategories == java.util.Collections.EMPTY_ SET2009-09-04 18:33:31
    +postthis.category == null2009-09-04 18:33:31
    +postthis.categoryId == null2009-09-04 18:33:31
    +postthis.categoryPath == java.util.Collections.EMPTY_ LIST2009-09-04 18:33:31
    +postthis.desiredMenu == &"editor"2009-09-04 18:33:31
    +postthis.pageTitle == &"categoriesForm.rootTitle"2009-09-04 18:33:31
    +postthis.selectedCategories == null2009-09-04 18:33:31
    +postthis.targetCategoryId == null2009-09-04 18:33:31

  • + org.apache.roller.weblogger.ui.struts2.editor.Categories__static_init

    • -/+ Kind Annotation Text Date
    +postinit'ed(log)2009-09-04 18:33:31

  • + short requiredWeblogPermissions()

    • -/+ Kind Annotation Text Date
    +presumptioninit'ed(org.apache.roller.weblogger.pojos. WeblogPermission.AUTHOR)2009-09-04 18:33:31
    +post(soft) init'ed(return_value)2009-09-04 18:33:31
    +postreturn_value == org.apache.roller.weblogger.pojos. WeblogPermission.AUTHOR2009-09-04 18:33:31

  • + void setAllCategories(Set)

    • -/+ Kind Annotation Text Date
    +postinit'ed(this.allCategories)2009-09-04 18:33:31
    +postthis.allCategories == allCategories2009-09-04 18:33:31

  • + void setCategory(WeblogCategory)

    • -/+ Kind Annotation Text Date
    +postinit'ed(this.category)2009-09-04 18:33:31
    +postthis.category == category2009-09-04 18:33:31

  • + void setCategoryId(String)

    • -/+ Kind Annotation Text Date
    +postinit'ed(this.categoryId)2009-09-04 18:33:31
    +postthis.categoryId == categoryId2009-09-04 18:33:31

  • + void setCategoryPath(List)

    • -/+ Kind Annotation Text Date
    +postinit'ed(this.categoryPath)2009-09-04 18:33:31
    +postthis.categoryPath == categoryPath2009-09-04 18:33:31

  • + void setSelectedCategories(String[])

    • -/+ Kind Annotation Text Date
    +postinit'ed(this.selectedCategories)2009-09-04 18:33:31
    +postthis.selectedCategories == selectedCategories2009-09-04 18:33:31

  • + void setTargetCategoryId(String)

    • -/+ Kind Annotation Text Date
    +postinit'ed(this.targetCategoryId)2009-09-04 18:33:31
    +postthis.targetCategoryId == targetCategoryId2009-09-04 18:33:31