| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | pre | (soft) this.resources != null | 2009-09-04 18:33:31 |
| + | pre | (soft) this.templatesByAction != null | 2009-09-04 18:33:31 |
| + | pre | (soft) this.templatesByLink != null | 2009-09-04 18:33:31 |
| + | pre | (soft) this.templatesByName != 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 |
| + | presumption | init'ed(java.io.File.separator) | 2009-09-04 18:33:31 |
| + | presumption | java.util.Iterator:next(...)@283 != null | 2009-09-04 18:33:31 |
| + | post | init'ed(new SharedThemeResourceFromDir(loadThemeFro mDisk#12).relativePath) | 2009-09-04 18:33:31 |
| + | post | init'ed(new SharedThemeTemplate(loadThemeFromDisk#1 6).action) | 2009-09-04 18:33:31 |
| + | post | init'ed(new SharedThemeTemplate(loadThemeFromDisk#1 6).contents) | 2009-09-04 18:33:31 |
| + | post | init'ed(new SharedThemeTemplate(loadThemeFromDisk#1 6).description) | 2009-09-04 18:33:31 |
| + | post | init'ed(new SharedThemeTemplate(loadThemeFromDisk#1 6).hidden) | 2009-09-04 18:33:31 |
| + | post | init'ed(new SharedThemeTemplate(loadThemeFromDisk#1 6).id) | 2009-09-04 18:33:31 |
| + | post | init'ed(new SharedThemeTemplate(loadThemeFromDisk#1 6).lastModified) | 2009-09-04 18:33:31 |
| + | post | init'ed(new SharedThemeTemplate(loadThemeFromDisk#1 6).link) | 2009-09-04 18:33:31 |
| + | post | init'ed(new SharedThemeTemplate(loadThemeFromDisk#1 6).myTheme) | 2009-09-04 18:33:31 |
| + | post | init'ed(new SharedThemeTemplate(loadThemeFromDisk#1 6).name) | 2009-09-04 18:33:31 |
| + | post | init'ed(new SharedThemeTemplate(loadThemeFromDisk#1 6).navbar) | 2009-09-04 18:33:31 |
| + | post | init'ed(new SharedThemeTemplate(loadThemeFromDisk#1 6).outputContentType) | 2009-09-04 18:33:31 |
| + | post | init'ed(new SharedThemeTemplate(loadThemeFromDisk#1 6).templateLanguage) | 2009-09-04 18:33:31 |
| + | post | init'ed(new String(loadTemplateFile#5) num objects) | 2009-09-04 18:33:31 |
| + | post | init'ed(this.author) | 2009-09-04 18:33:31 |
| + | post | init'ed(this.description) | 2009-09-04 18:33:31 |
| + | post | init'ed(this.id) | 2009-09-04 18:33:31 |
| + | post | init'ed(this.name) | 2009-09-04 18:33:31 |
| + | post | java.lang.StringBuilder:toString(...)._tainted == 0 | 2009-09-04 18:33:31 |
| + | post | new Date(loadThemeFromDisk#18) num objects <= 1 | 2009-09-04 18:33:31 |
| + | post | new Date(loadThemeFromDisk#8) num objects == 1 | 2009-09-04 18:33:31 |
| + | post | new File(loadThemeFromDisk#9) num objects == 1 | 2009-09-04 18:33:31 |
| + | post | new SharedThemeResourceFromDir(loadThemeFromDisk#12 ) num objects <= 1 | 2009-09-04 18:33:31 |
| + | post | new SharedThemeResourceFromDir(loadThemeFromDisk#12 ).resourceFile == &new File(loadThemeFromDisk#9 ) | 2009-09-04 18:33:31 |
| + | post | new SharedThemeTemplate(loadThemeFromDisk#16) num objects <= 1 | 2009-09-04 18:33:31 |
| + | post | this.enabled == 1 | 2009-09-04 18:33:31 |
| + | post | this.lastModified == &new Date(loadThemeFromDis k#8) | 2009-09-04 18:33:31 |
| + | post | this.previewImage == One-of{old this.previewImage, &new SharedThemeResourceFromDir(loadThemeFromD isk#12)} | 2009-09-04 18:33:31 |
| + | post | this.stylesheet == One-of{old this.stylesheet, &new SharedThemeTemplate(loadThemeFromDisk#16) } | 2009-09-04 18:33:31 |
| + | unanalyzed | call on getName | 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: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.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 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.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. 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 |
| + | test_vector | java.io.File:canRead(...)@215: {1}, {0} | 2009-09-04 18:33:31 |
| + | test_vector | java.io.File:canRead(...)@269: {1}, {0} | 2009-09-04 18:33:31 |
| + | test_vector | java.io.File:exists(...)@215: {0}, {1} | 2009-09-04 18:33:31 |
| + | test_vector | java.io.File:exists(...)@269: {0}, {1} | 2009-09-04 18:33:31 |
| + | test_vector | java.util.Iterator:hasNext(...)@262: {0}, {1} | 2009-09-04 18:33:31 |
| + | test_vector | java.util.Iterator:hasNext(...)@282: {0}, {1} | 2009-09-04 18:33:31 |
| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | pre | log != null | 2009-09-04 18:33:31 |
| + | post | init'ed(new SharedThemeResourceFromDir(loadThemeFro mDisk#12).relativePath) | 2009-09-04 18:33:31 |
| + | post | init'ed(new SharedThemeTemplate(loadThemeFromDisk#1 6).action) | 2009-09-04 18:33:31 |
| + | post | init'ed(new SharedThemeTemplate(loadThemeFromDisk#1 6).contents) | 2009-09-04 18:33:31 |
| + | post | init'ed(new SharedThemeTemplate(loadThemeFromDisk#1 6).description) | 2009-09-04 18:33:31 |
| + | post | init'ed(new SharedThemeTemplate(loadThemeFromDisk#1 6).hidden) | 2009-09-04 18:33:31 |
| + | post | init'ed(new SharedThemeTemplate(loadThemeFromDisk#1 6).id) | 2009-09-04 18:33:31 |
| + | post | init'ed(new SharedThemeTemplate(loadThemeFromDisk#1 6).lastModified) | 2009-09-04 18:33:31 |
| + | post | init'ed(new SharedThemeTemplate(loadThemeFromDisk#1 6).link) | 2009-09-04 18:33:31 |
| + | post | init'ed(new SharedThemeTemplate(loadThemeFromDisk#1 6).myTheme) | 2009-09-04 18:33:31 |
| + | post | init'ed(new SharedThemeTemplate(loadThemeFromDisk#1 6).name) | 2009-09-04 18:33:31 |
| + | post | init'ed(new SharedThemeTemplate(loadThemeFromDisk#1 6).navbar) | 2009-09-04 18:33:31 |
| + | post | init'ed(new SharedThemeTemplate(loadThemeFromDisk#1 6).outputContentType) | 2009-09-04 18:33:31 |
| + | post | init'ed(new SharedThemeTemplate(loadThemeFromDisk#1 6).templateLanguage) | 2009-09-04 18:33:31 |
| + | post | init'ed(new String(loadTemplateFile#5) num objects) | 2009-09-04 18:33:31 |
| + | post | init'ed(this.author) | 2009-09-04 18:33:31 |
| + | post | init'ed(this.description) | 2009-09-04 18:33:31 |
| + | post | init'ed(this.id) | 2009-09-04 18:33:31 |
| + | post | init'ed(this.name) | 2009-09-04 18:33:31 |
| + | post | init'ed(this.themeDir) | 2009-09-04 18:33:31 |
| + | post | java.lang.StringBuilder:toString(...)._tainted == 0 | 2009-09-04 18:33:31 |
| + | post | new Date(loadThemeFromDisk#18) num objects <= 1 | 2009-09-04 18:33:31 |
| + | post | new Date(loadThemeFromDisk#8) num objects == 1 | 2009-09-04 18:33:31 |
| + | post | new File(loadThemeFromDisk#9) num objects == 1 | 2009-09-04 18:33:31 |
| + | post | new HashMap(SharedThemeFromDir#1) num objects == 1 | 2009-09-04 18:33:31 |
| + | post | new HashMap(SharedThemeFromDir#2) num objects == 1 | 2009-09-04 18:33:31 |
| + | post | new HashMap(SharedThemeFromDir#3) num objects == 1 | 2009-09-04 18:33:31 |
| + | post | new HashMap(SharedThemeFromDir#4) num objects == 1 | 2009-09-04 18:33:31 |
| + | post | new SharedThemeResourceFromDir(loadThemeFromDisk#12 ) num objects <= 1 | 2009-09-04 18:33:31 |
| + | post | new SharedThemeResourceFromDir(loadThemeFromDisk#12 ).resourceFile == &new File(loadThemeFromDisk#9 ) | 2009-09-04 18:33:31 |
| + | post | new SharedThemeTemplate(loadThemeFromDisk#16) num objects == new Date(loadThemeFromDisk#18) num objects | 2009-09-04 18:33:31 |
| + | post | this.enabled == 1 | 2009-09-04 18:33:31 |
| + | post | this.lastModified == &new Date(loadThemeFromDis k#8) | 2009-09-04 18:33:31 |
| + | post | this.previewImage == One-of{null, &new SharedThemeResourceFromDir(loadThemeFromDisk#12)} | 2009-09-04 18:33:31 |
| + | post | this.previewImage in Addr_Set{null,&new SharedThemeResourceFromDir(loadThemeFromDisk#12)} | 2009-09-04 18:33:31 |
| + | post | this.resources == &new HashMap(SharedThemeFromD ir#4) | 2009-09-04 18:33:31 |
| + | post | this.stylesheet == One-of{null, &new SharedThemeTemplate(loadThemeFromDisk#16)} | 2009-09-04 18:33:31 |
| + | post | this.stylesheet in Addr_Set{null,&new SharedThemeTemplate(loadThemeFromDisk#16)} | 2009-09-04 18:33:31 |
| + | post | this.templatesByAction == &new HashMap(SharedTh emeFromDir#3) | 2009-09-04 18:33:31 |
| + | post | this.templatesByLink == &new HashMap(SharedThem eFromDir#2) | 2009-09-04 18:33:31 |
| + | post | this.templatesByName == &new HashMap(SharedThem eFromDir#1) | 2009-09-04 18:33:31 |
| + | post | this.themeDir == themeDirPath | 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.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.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 |