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