| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | pre | (soft) init'ed(this.roller.fileManager.upload_dir) | 2009-09-04 18:33:31 |
| + | pre | (soft) org/apache/roller/weblogger/business/FileMan agerImpl.log != null | 2009-09-04 18:33:31 |
| + | pre | (soft) org/apache/roller/weblogger/business/Weblogg erFactory.webloggerProvider != null | 2009-09-04 18:33:31 |
| + | pre | (soft) org/apache/roller/weblogger/business/Weblogg erFactory.webloggerProvider.webloggerInstance != null | 2009-09-04 18:33:31 |
| + | pre | (soft) org/apache/roller/weblogger/config/Weblogger RuntimeConfig.log != null | 2009-09-04 18:33:31 |
| + | pre | (soft) this.roller...userManager != null | 2009-09-04 18:33:31 |
| + | pre | (soft) this.roller...userManager.strategy != null | 2009-09-04 18:33:31 |
| + | pre | (soft) this.roller...userManager.strategy. threadLocalEntityManager != null | 2009-09-04 18:33:31 |
| + | pre | (soft) this.roller.fileManager != null | 2009-09-04 18:33:31 |
| + | pre | (soft) this.roller.userManager.roller != null | 2009-09-04 18:33:31 |
| + | pre | (soft) this.roller.userManager.strategy.emf != null | 2009-09-04 18:33:31 |
| + | pre | init'ed(theme.name) | 2009-09-04 18:33:31 |
| + | pre | log != null | 2009-09-04 18:33:31 |
| + | pre | theme != null | 2009-09-04 18:33:31 |
| + | pre | theme.resources != null | 2009-09-04 18:33:31 |
| + | pre | this.roller != null | 2009-09-04 18:33:31 |
| + | pre | this.roller.userManager != null | 2009-09-04 18:33:31 |
| + | pre | this.roller.userManager.strategy != null | 2009-09-04 18:33:31 |
| + | pre | this.roller.userManager.strategy.threadLocalEntityM anager != null | 2009-09-04 18:33:31 |
| + | pre | website != null | 2009-09-04 18:33:31 |
| + | presumption | getUserManager(...)@185...strategy != userMgr.roller.userManager.strategy | 2009-09-04 18:33:31 |
| + | presumption | java.util.Iterator:next(...)@192 != null | 2009-09-04 18:33:31 |
| + | presumption | java.util.Iterator:next(...)@272 != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.business.themes. SharedTheme:getStylesheet(...)@260 != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.business.themes. SharedTheme:getTemplates(...)@190 != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.pojos.ThemeResource:get InputStream(...)@281 != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.pojos.ThemeResource:get Path(...)@278 != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.pojos.ThemeResource:get Path(...)@281 != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.pojos.ThemeTemplate:get Action(...)@197 != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.pojos.ThemeTemplate:get Action(...)@199 != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.pojos.ThemeTemplate:get Name(...)@206 != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.pojos.WeblogTemplate. ACTIONS != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.pojos.WeblogTemplate. ACTIONS.length <= 232-1 | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.pojos.WeblogTemplate. ACTIONS[...] != null | 2009-09-04 18:33:31 |
| + | presumption | this.roller.userManager.roller != getUserManager(.. .)@185.roller | 2009-09-04 18:33:31 |
| + | presumption | userMgr.strategy.emf@199 != null | 2009-09-04 18:33:31 |
| + | presumption | userMgr.strategy.emf@206 != null | 2009-09-04 18:33:31 |
| + | presumption | userMgr.strategy.emf@248 != null | 2009-09-04 18:33:31 |
| + | unanalyzed | call on getBooleanProperty | 2009-09-04 18:33:31 |
| + | unanalyzed | call on getDirSize | 2009-09-04 18:33:31 |
| + | unanalyzed | call on getPropertiesManager | 2009-09-04 18:33:31 |
| + | unanalyzed | call on getProperty | 2009-09-04 18:33:31 |
| + | unanalyzed | call on getUserManager | 2009-09-04 18:33:31 |
| + | unanalyzed | call on getWeblogger | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.io.File | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.io.File:canRead | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.io.File:exists | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.io.File:getAbsolutePath | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.io.File:getCanonicalPath | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.io.File:isDirectory | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.io.File:length | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.io.File:listFiles | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.io.File:mkdir | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.io.File:mkdirs | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.io.FileOutputStream | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.io.InputStream:read | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.io.OutputStream:close | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.io.OutputStream:flush | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.io.OutputStream:write | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.Boolean | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.Boolean:booleanValue | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.RuntimeException | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.String:endsWith | 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:indexOf | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.String:lastIndexOf | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.String:replace | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.String:split | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.String:startsWith | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.String:substring | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.String:toLowerCase | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.ThreadLocal:get | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.ThreadLocal:set | 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.math.BigDecimal | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.math.BigDecimal:doubleValue | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.math.BigDecimal:toString | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.ArrayList | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.Collections:sort | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.Date | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.Map:values | 2009-09-04 18:33:31 |
| + | unanalyzed | call on javax.persistence.EntityManager:contains | 2009-09-04 18:33:31 |
| + | unanalyzed | call on javax.persistence.EntityManager:createNamed Query | 2009-09-04 18:33:31 |
| + | unanalyzed | call on javax.persistence.EntityManager:find | 2009-09-04 18:33:31 |
| + | unanalyzed | call on javax.persistence.EntityManager:getTransact ion | 2009-09-04 18:33:31 |
| + | unanalyzed | call on javax.persistence.EntityManager:persist | 2009-09-04 18:33:31 |
| + | unanalyzed | call on javax.persistence.EntityManager:remove | 2009-09-04 18:33:31 |
| + | unanalyzed | call on javax.persistence.EntityManagerFactory:crea teEntityManager | 2009-09-04 18:33:31 |
| + | unanalyzed | call on javax.persistence.EntityTransaction:begin | 2009-09-04 18:33:31 |
| + | unanalyzed | call on javax.persistence.EntityTransaction:isActiv e | 2009-09-04 18:33:31 |
| + | unanalyzed | call on javax.persistence.Query:getSingleResult | 2009-09-04 18:33:31 |
| + | unanalyzed | call on javax.persistence.Query:setFlushMode | 2009-09-04 18:33:31 |
| + | unanalyzed | call on javax.persistence.Query:setParameter | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.commons.lang.StringUtils:deleteW hitespace | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.commons.lang.StringUtils:split | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.commons.logging.Log:debug | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.commons.logging.Log:warn | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.RollerException | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger. WebloggerException | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. RuntimeConfigProperty:getValue | 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:setLastModified | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. WeblogTemplate:getWebsite | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.util. RollerMessages | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.util. RollerMessages:addError | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.util. RollerMessages:toString | 2009-09-04 18:33:31 |
| + | unanalyzed | call on saveWebsite | 2009-09-04 18:33:31 |
| + | test_vector | java.lang.Object:equals(...)@223: {1}, {0} | 2009-09-04 18:33:31 |
| + | test_vector | java.lang.String:equals(...)@197: {1}, {0} | 2009-09-04 18:33:31 |
| + | test_vector | java.util.Iterator:hasNext(...)@191: {0}, {1} | 2009-09-04 18:33:31 |
| + | test_vector | java.util.Iterator:hasNext(...)@271: {0}, {1} | 2009-09-04 18:33:31 |
| + | test_vector | java.util.Set:contains(...)@247: {1}, {0} | 2009-09-04 18:33:31 |
| + | test_vector | org.apache.roller.weblogger.business.themes. SharedTheme:getStylesheet(...)@259: Addr_Set{null}, Inverse{null} | 2009-09-04 18:33:31 |
| + | test_vector | org.apache.roller.weblogger.pojos.ThemeResource:isD irectory(...)@277: {0}, {1} | 2009-09-04 18:33:31 |
| + | test_vector | org.apache.roller.weblogger.pojos.ThemeTemplate:get Action(...)@197: Addr_Set{null}, Inverse{null} | 2009-09-04 18:33:31 |
| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | pre | (soft) org/apache/roller/weblogger/business/themes/ SharedThemeFromDir.log != null | 2009-09-04 18:33:31 |
| + | pre | init'ed(this.themeDir) | 2009-09-04 18:33:31 |
| + | pre | log != null | 2009-09-04 18:33:31 |
| + | post | new HashMap(loadAllThemesFromDisk#1) num objects <= 1 | 2009-09-04 18:33:31 |
| + | post | this.themes == One-of{old this.themes, &new HashMap(loadAllThemesFromDisk#1)} | 2009-09-04 18:33:31 |
| + | unanalyzed | call on getName | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.io.File | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.io.File:canRead | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.io.File:exists | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.io.File:lastModified | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.io.File:length | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.io.File:list | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.io.FileInputStream | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.io.InputStreamReader | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.io.InputStreamReader:read | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.String | 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:equalsIgnoreCase | 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.Date | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.HashMap | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.HashSet | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.List:iterator | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.Map:put | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.Set:add | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.Set:iterator | 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.lang.StringUtils:replace | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.commons.logging.Log:debug | 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.commons.logging.Log:isDebugEnabl ed | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.commons.logging.Log:warn | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.RollerException | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger. WebloggerException | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.business. themes.SharedTheme | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. Theme:getId | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. ThemeTemplate:getAction | 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. ThemeTemplate:getName | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.jdom.Document:getRootElement | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.jdom.Element:getAttributeValue | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.jdom.Element:getChild | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.jdom.Element:getChildText | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.jdom.Element:getChildren | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.jdom.input.SAXBuilder | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.jdom.input.SAXBuilder:build | 2009-09-04 18:33:31 |
| + | unanalyzed | call on setAuthor | 2009-09-04 18:33:31 |
| + | unanalyzed | call on setDescription | 2009-09-04 18:33:31 |
| + | unanalyzed | call on setEnabled | 2009-09-04 18:33:31 |
| + | unanalyzed | call on setId | 2009-09-04 18:33:31 |
| + | unanalyzed | call on setLastModified | 2009-09-04 18:33:31 |
| + | unanalyzed | call on setName | 2009-09-04 18:33:31 |
| + | test_vector | this.themeDir: Addr_Set{null}, Inverse{null} | 2009-09-04 18:33:31 |
| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | pre | (soft) log != null | 2009-09-04 18:33:31 |
| + | pre | (soft) org/apache/roller/weblogger/business/themes/ SharedThemeFromDir.log != null | 2009-09-04 18:33:31 |
| + | pre | init'ed(this.themeDir) | 2009-09-04 18:33:31 |
| + | presumption | init'ed(java.io.File.separator) | 2009-09-04 18:33:31 |
| + | presumption | themenames.length@313 <= 232-1 | 2009-09-04 18:33:31 |
| + | post | new HashMap(loadAllThemesFromDisk#1) num objects == 1 | 2009-09-04 18:33:31 |
| + | post | return_value == &new HashMap(loadAllThemesFromD isk#1) | 2009-09-04 18:33:31 |
| + | unanalyzed | call on getName | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.io.File | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.io.File:canRead | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.io.File:exists | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.io.File:lastModified | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.io.File:length | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.io.FileInputStream | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.io.InputStreamReader | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.io.InputStreamReader:read | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.String | 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:equalsIgnoreCase | 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.Date | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.HashMap | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.HashSet | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.List:iterator | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.Map:put | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.Set:add | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.Set:iterator | 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.lang.StringUtils:replace | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.commons.logging.Log:debug | 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.commons.logging.Log:isDebugEnabl ed | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.commons.logging.Log:warn | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.RollerException | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger. WebloggerException | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.business. themes.SharedTheme | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. ThemeTemplate:getAction | 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. ThemeTemplate:getName | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.jdom.Document:getRootElement | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.jdom.Element:getAttributeValue | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.jdom.Element:getChild | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.jdom.Element:getChildText | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.jdom.Element:getChildren | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.jdom.input.SAXBuilder | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.jdom.input.SAXBuilder:build | 2009-09-04 18:33:31 |
| + | unanalyzed | call on setAuthor | 2009-09-04 18:33:31 |
| + | unanalyzed | call on setDescription | 2009-09-04 18:33:31 |
| + | unanalyzed | call on setEnabled | 2009-09-04 18:33:31 |
| + | unanalyzed | call on setId | 2009-09-04 18:33:31 |
| + | unanalyzed | call on setLastModified | 2009-09-04 18:33:31 |
| + | unanalyzed | call on setName | 2009-09-04 18:33:31 |
| + | test_vector | java.io.File:list(...)@313: Inverse{null}, Addr_Set{null} | 2009-09-04 18:33:31 |