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)