| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | pre | net/sourceforge/pebble/domain/BlogManager.instance != null | 2010-07-22 12:56:56 |
| + | pre | net/sourceforge/pebble/domain/BlogManager.instance. blogs != null | 2010-07-22 12:56:56 |
| + | presumption | blog.blogEntryIndex@125 != null | 2010-07-22 12:56:56 |
| + | presumption | blog.blogEntryIndex@126 != null | 2010-07-22 12:56:56 |
| + | presumption | java.util.Iterator:next(...)@125 != null | 2010-07-22 12:56:56 |
| + | post | init'ed(new Date(getLastModified#1*) num objects) | 2010-07-22 12:56:56 |
| + | post | init'ed(return_value) | 2010-07-22 12:56:56 |
| + | post | new Date(getLastModified#1) num objects == 1 | 2010-07-22 12:56:56 |
| + | unanalyzed | call on clone | 2010-07-22 12:56:56 |
| + | unanalyzed | call on getBlog | 2010-07-22 12:56:56 |
| + | unanalyzed | call on getBlogEntry | 2010-07-22 12:56:56 |
| + | unanalyzed | call on getBlogEntryDAO | 2010-07-22 12:56:56 |
| + | unanalyzed | call on getCompositeKeyForBlogEntry | 2010-07-22 12:56:56 |
| + | unanalyzed | call on getConfiguredFactory | 2010-07-22 12:56:56 |
| + | unanalyzed | call on getId | 2010-07-22 12:56:56 |
| + | unanalyzed | call on isPublic | 2010-07-22 12:56:56 |
| + | unanalyzed | call on java.lang.String:equalsIgnoreCase | 2010-07-22 12:56:56 |
| + | unanalyzed | call on java.lang.String:valueOf | 2010-07-22 12:56:56 |
| + | unanalyzed | call on java.util.ArrayList | 2010-07-22 12:56:56 |
| + | unanalyzed | call on java.util.Collection:iterator | 2010-07-22 12:56:56 |
| + | unanalyzed | call on java.util.Date | 2010-07-22 12:56:56 |
| + | unanalyzed | call on java.util.List:add | 2010-07-22 12:56:56 |
| + | unanalyzed | call on java.util.List:get | 2010-07-22 12:56:56 |
| + | unanalyzed | call on java.util.List:iterator | 2010-07-22 12:56:56 |
| + | unanalyzed | call on java.util.List:size | 2010-07-22 12:56:56 |
| + | unanalyzed | call on java.util.Map:values | 2010-07-22 12:56:56 |
| + | unanalyzed | call on java.util.Properties:getProperty | 2010-07-22 12:56:56 |
| + | unanalyzed | call on loadBlogEntry | 2010-07-22 12:56:56 |
| + | unanalyzed | call on net.sf.ehcache.Cache:get | 2010-07-22 12:56:56 |
| + | unanalyzed | call on net.sf.ehcache.Cache:put | 2010-07-22 12:56:56 |
| + | unanalyzed | call on net.sf.ehcache.Element | 2010-07-22 12:56:56 |
| + | unanalyzed | call on net.sf.ehcache.Element:getValue | 2010-07-22 12:56:56 |
| + | unanalyzed | call on net.sourceforge.pebble.domain. BlogServiceException | 2010-07-22 12:56:56 |
| + | unanalyzed | call on org.apache.commons.logging.Log:debug | 2010-07-22 12:56:56 |
| + | unanalyzed | call on org.apache.commons.logging.Log:error | 2010-07-22 12:56:56 |
| + | unanalyzed | call on setEventsEnabled | 2010-07-22 12:56:56 |
| + | unanalyzed | call on setPersistent | 2010-07-22 12:56:56 |
| + | test_vector | java.util.Date:after(...)@126: {0}, {1} | 2010-07-22 12:56:56 |
| + | test_vector | java.util.Iterator:hasNext(...)@124: {1}, {0} | 2010-07-22 12:56:56 |
| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | pre | net/sourceforge/pebble/domain/BlogManager.instance != null | 2010-07-22 12:56:56 |
| + | pre | net/sourceforge/pebble/domain/BlogManager.instance. blogs != null | 2010-07-22 12:56:56 |
| + | presumption | blog.blogEntryIndex@144 != null | 2010-07-22 12:56:56 |
| + | presumption | blog.properties@144 != null | 2010-07-22 12:56:56 |
| + | presumption | java.util.Iterator:next(...)@144 != null | 2010-07-22 12:56:56 |
| + | post | init'ed(return_value) | 2010-07-22 12:56:56 |
| + | post | new ArrayList(getRecentBlogEntries#4) num objects <= 1 | 2010-07-22 12:56:56 |
| + | unanalyzed | call on clone | 2010-07-22 12:56:56 |
| + | unanalyzed | call on getBlog | 2010-07-22 12:56:56 |
| + | unanalyzed | call on getBlogEntry | 2010-07-22 12:56:56 |
| + | unanalyzed | call on getBlogEntryDAO | 2010-07-22 12:56:56 |
| + | unanalyzed | call on getCompositeKeyForBlogEntry | 2010-07-22 12:56:56 |
| + | unanalyzed | call on getConfiguredFactory | 2010-07-22 12:56:56 |
| + | unanalyzed | call on getId | 2010-07-22 12:56:56 |
| + | unanalyzed | call on isPublic | 2010-07-22 12:56:56 |
| + | unanalyzed | call on java.lang.Integer:parseInt | 2010-07-22 12:56:56 |
| + | unanalyzed | call on java.lang.String:equalsIgnoreCase | 2010-07-22 12:56:56 |
| + | unanalyzed | call on java.lang.String:valueOf | 2010-07-22 12:56:56 |
| + | unanalyzed | call on java.util.ArrayList | 2010-07-22 12:56:56 |
| + | unanalyzed | call on java.util.Collection:iterator | 2010-07-22 12:56:56 |
| + | unanalyzed | call on java.util.List:add | 2010-07-22 12:56:56 |
| + | unanalyzed | call on java.util.List:iterator | 2010-07-22 12:56:56 |
| + | unanalyzed | call on java.util.List:size | 2010-07-22 12:56:56 |
| + | unanalyzed | call on java.util.Map:values | 2010-07-22 12:56:56 |
| + | unanalyzed | call on java.util.Properties:getProperty | 2010-07-22 12:56:56 |
| + | unanalyzed | call on loadBlogEntry | 2010-07-22 12:56:56 |
| + | unanalyzed | call on net.sf.ehcache.Cache:get | 2010-07-22 12:56:56 |
| + | unanalyzed | call on net.sf.ehcache.Cache:put | 2010-07-22 12:56:56 |
| + | unanalyzed | call on net.sf.ehcache.Element | 2010-07-22 12:56:56 |
| + | unanalyzed | call on net.sf.ehcache.Element:getValue | 2010-07-22 12:56:56 |
| + | unanalyzed | call on net.sourceforge.pebble.domain. BlogServiceException | 2010-07-22 12:56:56 |
| + | unanalyzed | call on org.apache.commons.logging.Log:debug | 2010-07-22 12:56:56 |
| + | unanalyzed | call on org.apache.commons.logging.Log:error | 2010-07-22 12:56:56 |
| + | unanalyzed | call on setEventsEnabled | 2010-07-22 12:56:56 |
| + | unanalyzed | call on setPersistent | 2010-07-22 12:56:56 |
| + | test_vector | java.util.Iterator:hasNext(...)@144: {1}, {0} | 2010-07-22 12:56:56 |
| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | pre | (soft) net/sourceforge/pebble/domain/AbstractBlog. log != null | 2010-07-22 12:56:56 |
| + | post | init'ed(this.blog) | 2010-07-22 12:56:56 |
| + | post | init'ed(this.root) | 2010-07-22 12:56:56 |
| + | post | new LinkedList(AbstractBlog#1) num objects == 1 | 2010-07-22 12:56:56 |
| + | post | new Properties(loadProperties#1) num objects == 1 | 2010-07-22 12:56:56 |
| + | post | this.messages == &new LinkedList(AbstractBlog#1 ) | 2010-07-22 12:56:56 |
| + | post | this.properties == &new Properties(loadProperti es#1) | 2010-07-22 12:56:56 |
| + | post | this.root == root | 2010-07-22 12:56:56 |
| + | unanalyzed | call on getDefaultProperties | 2010-07-22 12:56:56 |
| + | unanalyzed | call on java.io.File | 2010-07-22 12:56:56 |
| + | unanalyzed | call on java.io.File:exists | 2010-07-22 12:56:56 |
| + | unanalyzed | call on java.io.FileInputStream | 2010-07-22 12:56:56 |
| + | unanalyzed | call on java.io.FileInputStream:close | 2010-07-22 12:56:56 |
| + | unanalyzed | call on java.util.LinkedList | 2010-07-22 12:56:56 |
| + | unanalyzed | call on java.util.Properties | 2010-07-22 12:56:56 |
| + | unanalyzed | call on java.util.Properties:load | 2010-07-22 12:56:56 |
| + | unanalyzed | call on java.util.Properties:setProperty | 2010-07-22 12:56:56 |
| + | unanalyzed | call on org.apache.commons.logging.Log:error | 2010-07-22 12:56:56 |