| -/+ |
Kind |
Annotation Text |
Date |
|---|
| U |
presumption | net.sourceforge.pebble.ContentCache:getInstance(... )@91 != null | 2010-07-16 16:14:15 |
| U |
presumption | net.sourceforge.pebble.dao.DAOFactory:getConfigured Factory(...)@100 != null | 2010-07-16 16:14:15 |
| U |
presumption | net.sourceforge.pebble.dao.DAOFactory:getStaticPage DAO(...)@101 != null | 2010-07-16 16:14:15 |
| U |
presumption | org.apache.commons.logging.LogFactory:getLog(... )@57 != null | 2010-07-16 16:14:15 |
| U |
post | init'ed(return_value) | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.lang.Exception:getMessage | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on net.sourceforge.pebble.PebbleException | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on net.sourceforge.pebble.domain.Blog:error | 2010-07-16 16:14:15 |
| U |
test_vector | net.sourceforge.pebble.ContentCache:getStaticPage(. ..)@94: Addr_Set{null}, Inverse{null} | 2010-07-16 16:14:15 |
| U |
test_vector | net.sourceforge.pebble.dao.StaticPageDAO:loadStatic Page(...)@102: Addr_Set{null}, Inverse{null} | 2010-07-16 16:14:15 |
| -/+ |
Kind |
Annotation Text |
Date |
|---|
| U |
pre | blog != null | 2010-07-16 16:14:15 |
| U |
presumption | net.sourceforge.pebble.domain.Blog:getStaticPageInd ex(...)@128 != null | 2010-07-16 16:14:15 |
| U |
post | init'ed(return_value) | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.lang.Exception:getMessage | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on net.sourceforge.pebble.ContentCache:getInst ance | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on net.sourceforge.pebble.ContentCache:getStat icPage | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on net.sourceforge.pebble.ContentCache:putStat icPage | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on net.sourceforge.pebble.PebbleException | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on net.sourceforge.pebble.dao.DAOFactory:getCo nfiguredFactory | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on net.sourceforge.pebble.dao.DAOFactory:getSt aticPageDAO | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on net.sourceforge.pebble.dao.StaticPageDAO:lo adStaticPage | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on net.sourceforge.pebble.domain.Blog:error | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on net.sourceforge.pebble.domain. StaticPage:clone | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on net.sourceforge.pebble.domain. StaticPage:setPersistent | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on org.apache.commons.logging.Log:debug | 2010-07-16 16:14:15 |
| -/+ |
Kind |
Annotation Text |
Date |
|---|
| U |
pre | staticPage != null | 2010-07-16 16:14:15 |
| U |
presumption | java.util.Date:getTime(...)@151 <= 18_446_744_073_7 09_551_614 | 2010-07-16 16:14:15 |
| U |
presumption | net.sourceforge.pebble.ContentCache:getInstance(... )@139 != null | 2010-07-16 16:14:15 |
| U |
presumption | net.sourceforge.pebble.dao.DAOFactory:getConfigured Factory(...)@140 != null | 2010-07-16 16:14:15 |
| U |
presumption | net.sourceforge.pebble.dao.DAOFactory:getStaticPage DAO(...)@141 != null | 2010-07-16 16:14:15 |
| U |
presumption | net.sourceforge.pebble.domain.Blog:getSearchIndex(. ..)@159 != null | 2010-07-16 16:14:15 |
| U |
presumption | net.sourceforge.pebble.domain.Blog:getStaticPageInd ex(...)@160 != null | 2010-07-16 16:14:15 |
| U |
presumption | net.sourceforge.pebble.domain.StaticPage:getBlog(.. .)@159 != null | 2010-07-16 16:14:15 |
| U |
presumption | net.sourceforge.pebble.domain.StaticPage:getBlog(.. .)@160 != null | 2010-07-16 16:14:15 |
| U |
presumption | net.sourceforge.pebble.domain.StaticPage:getDate(.. .)@151 != null | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.lang.Exception:getMessage | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.util.Date | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.util.Date:getTime | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on net.sourceforge.pebble.ContentCache:getInst ance | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on net.sourceforge.pebble.ContentCache:getStat icPage | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on net.sourceforge.pebble.ContentCache:putStat icPage | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on net.sourceforge.pebble.ContentCache:removeS taticPage | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on net.sourceforge.pebble.PebbleException | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on net.sourceforge.pebble.dao.DAOFactory:getCo nfiguredFactory | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on net.sourceforge.pebble.dao.DAOFactory:getSt aticPageDAO | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on net.sourceforge.pebble.dao.StaticPageDAO:lo adStaticPage | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on net.sourceforge.pebble.dao.StaticPageDAO:st oreStaticPage | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on net.sourceforge.pebble.domain.Blog:error | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on net.sourceforge.pebble.domain. Blog:getSearchIndex | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on net.sourceforge.pebble.domain. Blog:getStaticPageIndex | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on net.sourceforge.pebble.domain. StaticPage:clone | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on net.sourceforge.pebble.domain. StaticPage:getBlog | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on net.sourceforge.pebble.domain. StaticPage:getDate | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on net.sourceforge.pebble.domain. StaticPage:getId | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on net.sourceforge.pebble.domain. StaticPage:isPersistent | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on net.sourceforge.pebble.domain. StaticPage:setDate | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on net.sourceforge.pebble.domain. StaticPage:setPersistent | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on net.sourceforge.pebble.index. SearchIndex:index | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on net.sourceforge.pebble.index. StaticPageIndex:index | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on org.apache.commons.logging.Log:debug | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on putStaticPage | 2010-07-16 16:14:15 |
| U |
test_vector | net.sourceforge.pebble.domain.StaticPage:isPersiste nt(...)@148: {1}, {0} | 2010-07-16 16:14:15 |
| -/+ |
Kind |
Annotation Text |
Date |
|---|
| U |
pre | staticPage != null | 2010-07-16 16:14:15 |
| U |
presumption | net.sourceforge.pebble.ContentCache:getInstance(... )@174 != null | 2010-07-16 16:14:15 |
| U |
presumption | net.sourceforge.pebble.dao.DAOFactory:getConfigured Factory(...)@175 != null | 2010-07-16 16:14:15 |
| U |
presumption | net.sourceforge.pebble.dao.DAOFactory:getStaticPage DAO(...)@176 != null | 2010-07-16 16:14:15 |
| U |
presumption | net.sourceforge.pebble.domain.Blog:getSearchIndex(. ..)@183 != null | 2010-07-16 16:14:15 |
| U |
presumption | net.sourceforge.pebble.domain.Blog:getStaticPageInd ex(...)@184 != null | 2010-07-16 16:14:15 |
| U |
presumption | net.sourceforge.pebble.domain.StaticPage:getBlog(.. .)@183 != null | 2010-07-16 16:14:15 |
| U |
presumption | net.sourceforge.pebble.domain.StaticPage:getBlog(.. .)@184 != null | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.lang.Exception:getMessage | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on net.sourceforge.pebble.PebbleException | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on net.sourceforge.pebble.domain.Blog:error | 2010-07-16 16:14:15 |