MenuHelper.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


  • + Menu buildMenu(ParsedMenu, String, User, Weblog)

    • -/+ Kind Annotation Text Date
    +pre(soft) currentAction != null2009-09-04 18:33:31
    +pre(soft) user != null2009-09-04 18:33:31
    +pre(soft) weblog != null2009-09-04 18:33:31
    +prelog != null2009-09-04 18:33:31
    +premenuConfig != null2009-09-04 18:33:31
    +premenuConfig.tabs != null2009-09-04 18:33:31
    +presumptionconfigTab.tabItems@95 != null2009-09-04 18:33:31
    +presumptionconfigTabItem.subActions.length@133 <= 232-12009-09-04 18:33:31
    +presumptionjava.util.Iterator:next(...)@133 != null2009-09-04 18:33:31
    +presumptionjava.util.Iterator:next(...)@95 != null2009-09-04 18:33:31
    +postnew ArrayList(Menu#1) num objects == 12009-09-04 18:33:31
    +postnew Menu(buildMenu#2) num objects == 12009-09-04 18:33:31
    +postreturn_value == &new Menu(buildMenu#2)2009-09-04 18:33:31
    +postreturn_value.tabs == &new ArrayList(Menu#1)2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:equals2009-09-04 18:33:31
    +unanalyzedcall on java.util.ArrayList2009-09-04 18:33:31
    +unanalyzedcall on java.util.List:add2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.config. WebloggerConfig:getBooleanProperty2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.config. WebloggerRuntimeConfig:getBooleanProperty2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.config. WebloggerRuntimeConfig:getProperty2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. Weblog:hasUserPermissions2009-09-04 18:33:31
    +test_vectorconfigTab.disabledProperty@95: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31
    +test_vectorconfigTab.enabledProperty@95: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31
    +test_vectorconfigTab.role@95: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31
    +test_vectorconfigTabItem.disabledProperty@133: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31
    +test_vectorconfigTabItem.enabledProperty@133: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31
    +test_vectorconfigTabItem.role@133: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31
    +test_vectorjava.util.Iterator:hasNext(...)@132: {0}, {1}2009-09-04 18:33:31
    +test_vectorjava.util.Iterator:hasNext(...)@94: {0}, {1}2009-09-04 18:33:31
    +test_vectororg.apache.roller.weblogger.pojos.User:hasRole(... )@110: {1}, {0}2009-09-04 18:33:31
    +test_vectororg.apache.roller.weblogger.pojos.User:hasRole(... )@147: {1}, {0}2009-09-04 18:33:31

  • + ParsedTab elementToParsedTab(Element)

    • -/+ Kind Annotation Text Date
    +preelement != null2009-09-04 18:33:31
    +presumptionjava.util.Iterator:next(...)@280 != null2009-09-04 18:33:31
    +presumptionorg.jdom.Element:getChildren(...)@277 != null2009-09-04 18:33:31
    +postinit'ed(return_value.disabledProperty)2009-09-04 18:33:31
    +postinit'ed(return_value.enabledProperty)2009-09-04 18:33:31
    +postinit'ed(return_value.name)2009-09-04 18:33:31
    +postinit'ed(return_value.perm)2009-09-04 18:33:31
    +postinit'ed(return_value.role)2009-09-04 18:33:31
    +postnew ArrayList(ParsedTab#1) num objects == 12009-09-04 18:33:31
    +postnew ParsedTab(elementToParsedTab#1) num objects == 12009-09-04 18:33:31
    +postreturn_value == &new ParsedTab(elementToParsedT ab#1)2009-09-04 18:33:31
    +postreturn_value.tabItems == &new ArrayList(ParsedT ab#1)2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:split2009-09-04 18:33:31
    +unanalyzedcall on java.util.ArrayList2009-09-04 18:33:31
    +unanalyzedcall on java.util.List:add2009-09-04 18:33:31
    +unanalyzedcall on org.jdom.Element:getAttributeValue2009-09-04 18:33:31
    +test_vectorjava.util.Iterator:hasNext(...)@279: {0}, {1}2009-09-04 18:33:31

  • + ParsedTabItem elementToParsedTabItem(Element)

    • -/+ Kind Annotation Text Date
    +preelement != null2009-09-04 18:33:31
    +postinit'ed(return_value.action)2009-09-04 18:33:31
    +postinit'ed(return_value.disabledProperty)2009-09-04 18:33:31
    +postinit'ed(return_value.enabledProperty)2009-09-04 18:33:31
    +postinit'ed(return_value.name)2009-09-04 18:33:31
    +postinit'ed(return_value.perm)2009-09-04 18:33:31
    +postinit'ed(return_value.role)2009-09-04 18:33:31
    +postjava.lang.String:split(...)._tainted == 02009-09-04 18:33:31
    +postnew ParsedTabItem(elementToParsedTabItem#1) num objects == 12009-09-04 18:33:31
    +postreturn_value == &new ParsedTabItem(elementToPar sedTabItem#1)2009-09-04 18:33:31
    +postreturn_value.subActions in Addr_Set{null,&java. lang.String:split(...)}2009-09-04 18:33:31
    +test_vectororg.jdom.Element:getAttributeValue(...)@295: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31

  • + bool getBooleanProperty(String)

    • -/+ Kind Annotation Text Date
    +postinit'ed(return_value)2009-09-04 18:33:31
    +test_vectororg.apache.roller.weblogger.config.WebloggerRuntime Config:getProperty(...)@214: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31

  • + Menu getMenu(String, String, User, Weblog)

    • -/+ Kind Annotation Text Date
    +pre(soft) currentAction != null2009-09-04 18:33:31
    +pre(soft) log != null2009-09-04 18:33:31
    +pre(soft) menus != null2009-09-04 18:33:31
    +pre(soft) user != null2009-09-04 18:33:31
    +pre(soft) weblog != null2009-09-04 18:33:31
    +presumptionmenuConfig.tabs@75 != null2009-09-04 18:33:31
    +postnew ArrayList(Menu#1) num objects <= 12009-09-04 18:33:31
    +postnew Menu(buildMenu#2) num objects <= 12009-09-04 18:33:31
    +postnew Menu(buildMenu#2).tabs == &new ArrayList(Menu#1)2009-09-04 18:33:31
    +postreturn_value in Addr_Set{null,&new Menu(buildMenu#2)}2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:equals2009-09-04 18:33:31
    +unanalyzedcall on java.util.ArrayList2009-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 org.apache.commons.logging.Log:debug2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.config. WebloggerConfig:getBooleanProperty2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.config. WebloggerRuntimeConfig:getBooleanProperty2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.config. WebloggerRuntimeConfig:getProperty2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. User:hasRole2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. Weblog:hasUserPermissions2009-09-04 18:33:31
    +test_vectorjava.util.Hashtable:get(...)@75: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31
    +test_vectormenuId: Inverse{null}, Addr_Set{null}2009-09-04 18:33:31

  • + bool isPermitted(String, User, Weblog)

    • -/+ Kind Annotation Text Date
    +pre(soft) weblog != null2009-09-04 18:33:31
    +presumptioninit'ed(org.apache.roller.weblogger.pojos. WeblogPermission.ADMIN)2009-09-04 18:33:31
    +presumptioninit'ed(org.apache.roller.weblogger.pojos. WeblogPermission.AUTHOR)2009-09-04 18:33:31
    +presumptioninit'ed(org.apache.roller.weblogger.pojos. WeblogPermission.LIMITED)2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +test_vectorjava.lang.String:equals(...)@198: {0}, {1}2009-09-04 18:33:31
    +test_vectorjava.lang.String:equals(...)@200: {0}, {1}2009-09-04 18:33:31
    +test_vectorjava.lang.String:equals(...)@202: {0}, {1}2009-09-04 18:33:31
    +test_vectorperm: Inverse{null}, Addr_Set{null}2009-09-04 18:33:31

  • + bool isSelected(String, ParsedTabItem)

    • -/+ Kind Annotation Text Date
    +pre(soft) init'ed(tabItem.subActions)2009-09-04 18:33:31
    +pre(soft) init'ed(tabItem.subActions[...])2009-09-04 18:33:31
    +pre(soft) tabItem.subActions.length <= 232-12009-09-04 18:33:31
    +precurrentAction != null2009-09-04 18:33:31
    +preinit'ed(tabItem.action)2009-09-04 18:33:31
    +pretabItem != null2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +test_vectorjava.lang.String:equals(...)@222: {0}, {1}2009-09-04 18:33:31
    +test_vectorjava.lang.String:equals(...)@230: {0}, {1}2009-09-04 18:33:31
    +test_vectortabItem.subActions.length: {0}, {1..232-1}2009-09-04 18:33:31
    +test_vectortabItem.subActions: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31

  • + void org.apache.roller.weblogger.ui.core.util.menu.MenuHelper()

    • -/+ Kind Annotation Text Date

  • + org.apache.roller.weblogger.ui.core.util.menu.MenuHelper__static_init

    • -/+ Kind Annotation Text Date
    +presumptionjava.lang.Class:getResourceAsStream(...)@53 != null2009-09-04 18:33:31
    +presumptionjava.lang.Class:getResourceAsStream(...)@56 != null2009-09-04 18:33:31
    +presumptionorg.apache.commons.logging.LogFactory:getLog(... )@44 != null2009-09-04 18:33:31
    +post(soft) log != null2009-09-04 18:33:31
    +postmenus == &new Hashtable(MenuHelper__static_ init#1)2009-09-04 18:33:31
    +postnew Hashtable(MenuHelper__static_init#1) num objects == 12009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:split2009-09-04 18:33:31
    +unanalyzedcall on java.util.ArrayList2009-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 org.jdom.Document:getRootElement2009-09-04 18:33:31
    +unanalyzedcall on org.jdom.Element:getAttributeValue2009-09-04 18:33:31
    +unanalyzedcall on org.jdom.Element:getChildren2009-09-04 18:33:31
    +unanalyzedcall on org.jdom.input.SAXBuilder2009-09-04 18:33:31
    +unanalyzedcall on org.jdom.input.SAXBuilder:build2009-09-04 18:33:31

  • + ParsedMenu unmarshall(InputStream)

    • -/+ Kind Annotation Text Date
    +preinstream != null2009-09-04 18:33:31
    +presumptionjava.util.Iterator:next(...)@259 != null2009-09-04 18:33:31
    +presumptionorg.jdom.Document:getRootElement(...)@255 != null2009-09-04 18:33:31
    +presumptionorg.jdom.Element:getChildren(...)@256 != null2009-09-04 18:33:31
    +presumptionorg.jdom.input.SAXBuilder:build(...)@253 != null2009-09-04 18:33:31
    +postnew ArrayList(ParsedMenu#1) num objects == 12009-09-04 18:33:31
    +postnew ParsedMenu(unmarshall#1) num objects == 12009-09-04 18:33:31
    +postreturn_value == &new ParsedMenu(unmarshall#1)2009-09-04 18:33:31
    +postreturn_value.tabs == &new ArrayList(ParsedMenu# 1)2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:split2009-09-04 18:33:31
    +unanalyzedcall on java.util.ArrayList2009-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 org.jdom.Element:getAttributeValue2009-09-04 18:33:31
    +unanalyzedcall on org.jdom.Element:getChildren2009-09-04 18:33:31
    +test_vectorjava.util.Iterator:hasNext(...)@258: {0}, {1}2009-09-04 18:33:31