Messages

method | net.sourceforge.pebble.dao.file.FileDAOFactory__ static_init

method | void net.sourceforge.pebble.dao.file. FileDAOFactory()
post | this.blogEntryDAO == &new FileBlogEntryDAO(File DAOFactory#1)
post | this.categoryDAO == &new FileCategoryDAO(FileDA OFactory#3)
post | this.refererFilterDAO == &new FileRefererFilter DAO(FileDAOFactory#4)
post | this.staticPageDAO == &new FileStaticPageDAO(Fi leDAOFactory#2)
post | new FileBlogEntryDAO(FileDAOFactory#1) num objects == 1
post | new FileCategoryDAO(FileDAOFactory#3) num objects == 1
post | new FileRefererFilterDAO(FileDAOFactory#4) num objects == 1
post | new FileStaticPageDAO(FileDAOFactory#2) num objects == 1
post | possibly_updated(this.categoryDAO.jaxbContext)
post | possibly_updated(this.staticPageDAO.jaxbContext)
unanalyzed | call on java.lang.Object:getClass
unanalyzed | call on java.lang.Class:getPackage
unanalyzed | call on java.lang.Package:getName
unanalyzed | call on javax.xml.bind.JAXBContext:newInstance
unanalyzed | call on java.lang.Exception:printStackTrace

method | BlogEntryDAO getBlogEntryDAO()
pre | init'ed(this.blogEntryDAO)
post | return_value == this.blogEntryDAO
post | init'ed(return_value)

method | StaticPageDAO getStaticPageDAO()
pre | init'ed(this.staticPageDAO)
post | return_value == this.staticPageDAO
post | init'ed(return_value)

method | CategoryDAO getCategoryDAO()
pre | init'ed(this.categoryDAO)
post | return_value == this.categoryDAO
post | init'ed(return_value)

method | RefererFilterDAO getRefererFilterDAO()
pre | init'ed(this.refererFilterDAO)
post | return_value == this.refererFilterDAO
post | init'ed(return_value)