Messages

Last Msg First Msg

method	org.apache.roller.weblogger.business.jpa. JPABookmarkManagerImpl__static_init
presumption	org.apache.commons.logging.LogFactory:getFactory(.. .)@56 != null
post	init'ed(log)

info method not available -- call on LogFactory org.apache.commons.logging. LogFactory:getFactory()

info method not available -- call on Log org.apache.commons.logging. LogFactory:getInstance(Class)

method	void org.apache.roller.weblogger.business.jpa. JPABookmarkManagerImpl(Weblogger, JPAPersistenceStr ategy)
pre	log != null
post	this.roller == roller
post	init'ed(this.roller)
post	this.strategy == strategy
post	init'ed(this.strategy)

info method not available -- call on void org.apache.commons.logging. Log:debug(Object)

method	void saveBookmark(WeblogBookmark)
pre	bookmark != null
pre	this.roller != null
pre	this.roller.userManager != null
pre	this.roller.userManager.strategy != null
pre	this.roller.userManager.strategy.threadLocalEntityM anager != null
pre	this.strategy != null
pre	this.strategy.threadLocalEntityManager != null
pre	(soft) this.strategy.emf != null
presumption	getUserManager(...).strategy.emf@77 != null
presumption	org.apache.roller.weblogger.pojos.WeblogBookmark:ge tFolder(...)@74 != null
presumption	org.apache.roller.weblogger.pojos.WeblogBookmark:ge tWebsite(...)@80 != null
presumption	org.apache.roller.weblogger.pojos.WeblogBookmarkFol der:getBookmarks(...)@74 != null
unanalyzed	call on java.lang.ThreadLocal:get
unanalyzed	call on javax.persistence.EntityManagerFactory:crea teEntityManager
unanalyzed	call on java.lang.ThreadLocal:set
unanalyzed	call on javax.persistence.EntityManager:getTransact ion
unanalyzed	call on javax.persistence.EntityTransaction:isActiv e
unanalyzed	call on javax.persistence.EntityTransaction:begin
unanalyzed	call on javax.persistence.EntityManager:contains
unanalyzed	call on javax.persistence.EntityManager:persist
unanalyzed	call on java.util.Date
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:setLastModified
unanalyzed	call on javax.persistence.EntityManager:find
test_vector	javax.persistence.EntityManager:find(...)@216: Inverse{null}, Addr_Set{null}

info method not available -- call on String org.apache.roller.weblogger. pojos.WeblogBookmark:getId()

info method not available -- call on WeblogBookmarkFolder org.apache.roller. weblogger.pojos.WeblogBookmark:getFolder()

info method not available -- call on Set org.apache.roller.weblogger.pojos. WeblogBookmarkFolder:getBookmarks()

info method not available -- call on Weblog org.apache.roller.weblogger. pojos.WeblogBookmark:getWebsite()

method	WeblogBookmark getBookmark(String)
pre	this.strategy != null
pre	this.strategy.threadLocalEntityManager != null
pre	(soft) this.strategy.emf != null
post	init'ed(return_value)
unanalyzed	call on java.lang.ThreadLocal:get
unanalyzed	call on javax.persistence.EntityManagerFactory:crea teEntityManager
unanalyzed	call on java.lang.ThreadLocal:set
unanalyzed	call on javax.persistence.EntityManager:getTransact ion
unanalyzed	call on javax.persistence.EntityTransaction:isActiv e
unanalyzed	call on javax.persistence.EntityTransaction:begin
unanalyzed	call on javax.persistence.EntityManager:find

method	void removeBookmark(WeblogBookmark)
pre	bookmark != null
pre	this.roller != null
pre	this.roller.userManager != null
pre	this.roller.userManager.strategy != null
pre	this.roller.userManager.strategy.threadLocalEntityM anager != null
pre	this.strategy != null
pre	this.strategy.threadLocalEntityManager != null
pre	(soft) this.strategy.emf != null
presumption	getUserManager(...).strategy.emf@90 != null
presumption	org.apache.roller.weblogger.pojos.WeblogBookmark:ge tFolder(...)@92 != null
presumption	org.apache.roller.weblogger.pojos.WeblogBookmark:ge tWebsite(...)@94 != null
presumption	org.apache.roller.weblogger.pojos.WeblogBookmarkFol der:getBookmarks(...)@92 != null
unanalyzed	call on java.lang.ThreadLocal:get
unanalyzed	call on javax.persistence.EntityManagerFactory:crea teEntityManager
unanalyzed	call on java.lang.ThreadLocal:set
unanalyzed	call on javax.persistence.EntityManager:getTransact ion
unanalyzed	call on javax.persistence.EntityTransaction:isActiv e
unanalyzed	call on javax.persistence.EntityTransaction:begin
unanalyzed	call on javax.persistence.EntityManager:remove
unanalyzed	call on javax.persistence.EntityManager:contains
unanalyzed	call on javax.persistence.EntityManager:persist
unanalyzed	call on java.util.Date
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:setLastModified

info method not available -- call on Weblog org.apache.roller.weblogger. pojos.WeblogBookmark:getWebsite()

method	void saveFolder(WeblogBookmarkFolder)
pre	folder != null
pre	this.roller != null
pre	this.roller.userManager != null
pre	this.roller.userManager.strategy != null
pre	this.roller.userManager.strategy.threadLocalEntityM anager != null
pre	this.strategy != null
pre	this.strategy.threadLocalEntityManager != null
pre	(soft) this.strategy.emf != null
presumption	getUserManager(...).strategy.emf@113 != null
presumption	org.apache.roller.weblogger.pojos.WeblogBookmarkFol der:getFolders(...)@109 != null
presumption	org.apache.roller.weblogger.pojos.WeblogBookmarkFol der:getWebsite(...)@116 != null
unanalyzed	call on java.lang.ThreadLocal:get
unanalyzed	call on javax.persistence.EntityManagerFactory:crea teEntityManager
unanalyzed	call on java.lang.ThreadLocal:set
unanalyzed	call on javax.persistence.EntityManager:getTransact ion
unanalyzed	call on javax.persistence.EntityTransaction:isActiv e
unanalyzed	call on javax.persistence.EntityTransaction:begin
unanalyzed	call on javax.persistence.EntityManager:createNamed Query
unanalyzed	call on javax.persistence.Query:setFlushMode
unanalyzed	call on javax.persistence.Query:setParameter
unanalyzed	call on javax.persistence.Query:getSingleResult
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogBookmarkFolder:getPath
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogBookmarkFolder:getParent
unanalyzed	call on java.lang.String:equals
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogBookmarkFolder:getWebsite
unanalyzed	call on javax.persistence.EntityManager:contains
unanalyzed	call on javax.persistence.EntityManager:persist
unanalyzed	call on java.util.Date
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:setLastModified
unanalyzed	call on java.lang.String:trim
unanalyzed	call on java.lang.String:startsWith
unanalyzed	call on javax.persistence.EntityManager:find
test_vector	javax.persistence.EntityManager:find(...)@216: Inverse{null}, Addr_Set{null}
test_vector	org.apache.roller.weblogger.pojos.WeblogBookmarkFol der:getId(...)@100: Addr_Set{null}, Inverse{null}
test_vector	org.apache.roller.weblogger.pojos.WeblogBookmarkFol der:getParent(...)@107: Addr_Set{null}, Inverse{null}

info method not available -- call on String org.apache.roller.weblogger. pojos.WeblogBookmarkFolder:getId()

Prev Msg Next Msg

+

click for all messages in this file low

conditional throw check might fail: requires isDuplicateFolderName(.. .) == 0

Prev Msg Next Msg

info method not available -- call on WeblogBookmarkFolder org.apache.roller. weblogger.pojos.WeblogBookmarkFolder:getParent()

info method not available -- call on Set org.apache.roller.weblogger.pojos. WeblogBookmarkFolder:getFolders()

info method not available -- call on Weblog org.apache.roller.weblogger. pojos.WeblogBookmarkFolder:getWebsite()

method	void removeFolder(WeblogBookmarkFolder)
pre	folder != null
pre	this.roller != null
pre	this.roller.userManager != null
pre	this.roller.userManager.strategy != null
pre	this.roller.userManager.strategy.threadLocalEntityM anager != null
pre	this.strategy != null
pre	this.strategy.threadLocalEntityManager != null
pre	(soft) this.strategy.emf != null
presumption	getUserManager(...).strategy.emf@120 != null
presumption	org.apache.roller.weblogger.pojos.WeblogBookmarkFol der:getFolders(...)@123 != null
presumption	org.apache.roller.weblogger.pojos.WeblogBookmarkFol der:getWebsite(...)@127 != null
unanalyzed	call on java.lang.ThreadLocal:get
unanalyzed	call on javax.persistence.EntityManagerFactory:crea teEntityManager
unanalyzed	call on java.lang.ThreadLocal:set
unanalyzed	call on javax.persistence.EntityManager:getTransact ion
unanalyzed	call on javax.persistence.EntityTransaction:isActiv e
unanalyzed	call on javax.persistence.EntityTransaction:begin
unanalyzed	call on javax.persistence.EntityManager:remove
unanalyzed	call on javax.persistence.EntityManager:contains
unanalyzed	call on javax.persistence.EntityManager:persist
unanalyzed	call on java.util.Date
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:setLastModified
test_vector	org.apache.roller.weblogger.pojos.WeblogBookmarkFol der:getParent(...)@121: Addr_Set{null}, Inverse{null}

info method not available -- call on WeblogBookmarkFolder org.apache.roller. weblogger.pojos.WeblogBookmarkFolder:getParent()

info method not available -- call on Set org.apache.roller.weblogger.pojos. WeblogBookmarkFolder:getFolders()

info method not available -- call on Weblog org.apache.roller.weblogger. pojos.WeblogBookmarkFolder:getWebsite()

method	void moveFolder(WeblogBookmarkFolder, WeblogBookmarkFolder)
pre	destFolder != null
pre	log != null
pre	srcFolder != null
pre	this.roller != null
pre	this.roller.userManager != null
pre	this.roller.userManager.strategy != null
pre	this.roller.userManager.strategy.threadLocalEntityM anager != null
pre	this.strategy != null
pre	this.strategy.threadLocalEntityManager != null
pre	(soft) this.strategy.emf != null
presumption	org.apache.roller.weblogger.pojos.WeblogBookmarkFol der:descendentOf(...)@135 == 0
presumption	org.apache.roller.weblogger.pojos.WeblogBookmarkFol der:getFolders(...)@146 != null
presumption	org.apache.roller.weblogger.pojos.WeblogBookmarkFol der:getFolders(...)@149 != null
unanalyzed	call on org.apache.commons.logging.Log:debug
unanalyzed	call on java.lang.ThreadLocal:get
unanalyzed	call on javax.persistence.EntityManagerFactory:crea teEntityManager
unanalyzed	call on java.lang.ThreadLocal:set
unanalyzed	call on javax.persistence.EntityManager:getTransact ion
unanalyzed	call on javax.persistence.EntityTransaction:isActiv e
unanalyzed	call on javax.persistence.EntityTransaction:begin
unanalyzed	call on javax.persistence.EntityManager:createNamed Query
unanalyzed	call on javax.persistence.Query:setFlushMode
unanalyzed	call on javax.persistence.Query:setParameter
unanalyzed	call on javax.persistence.Query:getSingleResult
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogBookmarkFolder:getPath
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogBookmarkFolder:getParent
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogBookmarkFolder:getFolders
unanalyzed	call on java.util.Set:add
unanalyzed	call on java.lang.String:equals
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogBookmarkFolder:getName
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogBookmarkFolder:setPath
unanalyzed	call on saveFolder
unanalyzed	call on updatePathTree
unanalyzed	call on java.util.Set:iterator
unanalyzed	call on getUserManager
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogBookmarkFolder:getWebsite
unanalyzed	call on saveWebsite
unanalyzed	call on javax.persistence.EntityManager:contains
unanalyzed	call on javax.persistence.EntityManager:persist
unanalyzed	call on java.util.Date
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:setLastModified
unanalyzed	call on java.lang.String:trim
unanalyzed	call on java.lang.String:startsWith
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogBookmarkFolder:getId
unanalyzed	call on getFolder
unanalyzed	call on javax.persistence.EntityManager:find
test_vector	java.lang.String:equals(...)@151: {0}, {1}
test_vector	org.apache.roller.weblogger.pojos.WeblogBookmarkFol der:getParent(...)@144: Addr_Set{null}, Inverse{null}

info method not available -- call on bool org.apache.roller.weblogger.pojos. WeblogBookmarkFolder:descendentOf(WeblogBookmarkFol der)

info method not available -- call on String org.apache.roller.weblogger. pojos.WeblogBookmarkFolder:getPath()

info method not available -- call on void org.apache.commons.logging. Log:debug(Object)

info method not available -- call on WeblogBookmarkFolder org.apache.roller. weblogger.pojos.WeblogBookmarkFolder:getParent()

info method not available -- call on Set org.apache.roller.weblogger.pojos. WeblogBookmarkFolder:getFolders()

info method not available -- call on void org.apache.roller.weblogger.pojos. WeblogBookmarkFolder:setParent(WeblogBookmarkFolder )

info method not available -- call on Set org.apache.roller.weblogger.pojos. WeblogBookmarkFolder:getFolders()

info method not available -- call on String org.apache.roller.weblogger. pojos.WeblogBookmarkFolder:getPath()

info method not available -- call on String org.apache.roller.weblogger. pojos.WeblogBookmarkFolder:getName()

info method not available -- call on void org.apache.roller.weblogger.pojos. WeblogBookmarkFolder:setPath(String)

info method not available -- call on String org.apache.roller.weblogger. pojos.WeblogBookmarkFolder:getPath()

info method not available -- call on String org.apache.roller.weblogger. pojos.WeblogBookmarkFolder:getName()

info method not available -- call on void org.apache.roller.weblogger.pojos. WeblogBookmarkFolder:setPath(String)

method	void updatePathTree(WeblogBookmarkFolder)
pre	folder != null
pre	log != null
pre	(soft) this.roller != null
pre	(soft) this.roller.userManager != null
pre	(soft) this.roller.userManager.strategy != null
pre	(soft) this.roller.userManager.strategy. threadLocalEntityManager != null
pre	(soft) this.strategy != null
pre	(soft) this.strategy.emf != null
pre	(soft) this.strategy.threadLocalEntityManager != null
presumption	java.util.Iterator:next(...)@171 != null
presumption	org.apache.roller.weblogger.pojos.WeblogBookmarkFol der:getFolders(...)@169 != null
unanalyzed	call on org.apache.commons.logging.Log:debug
unanalyzed	call on java.lang.ThreadLocal:get
unanalyzed	call on javax.persistence.EntityManagerFactory:crea teEntityManager
unanalyzed	call on java.lang.ThreadLocal:set
unanalyzed	call on javax.persistence.EntityManager:getTransact ion
unanalyzed	call on javax.persistence.EntityTransaction:isActiv e
unanalyzed	call on javax.persistence.EntityTransaction:begin
unanalyzed	call on javax.persistence.EntityManager:createNamed Query
unanalyzed	call on javax.persistence.Query:setFlushMode
unanalyzed	call on javax.persistence.Query:setParameter
unanalyzed	call on javax.persistence.Query:getSingleResult
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogBookmarkFolder:getPath
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogBookmarkFolder:getParent
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogBookmarkFolder:getFolders
unanalyzed	call on java.util.Set:add
unanalyzed	call on java.lang.String:equals
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogBookmarkFolder:getName
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogBookmarkFolder:setPath
unanalyzed	call on saveFolder
unanalyzed	call on updatePathTree
unanalyzed	call on java.util.Set:iterator
unanalyzed	call on getUserManager
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogBookmarkFolder:getWebsite
unanalyzed	call on saveWebsite
unanalyzed	call on javax.persistence.EntityManager:contains
unanalyzed	call on javax.persistence.EntityManager:persist
unanalyzed	call on java.util.Date
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:setLastModified
unanalyzed	call on java.lang.String:trim
unanalyzed	call on java.lang.String:startsWith
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogBookmarkFolder:getId
unanalyzed	call on getFolder
unanalyzed	call on javax.persistence.EntityManager:find
test_vector	java.lang.String:equals(...)@176: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@170: {0}, {1}

info method not available -- call on String org.apache.roller.weblogger. pojos.WeblogBookmarkFolder:getPath()

info method not available -- call on void org.apache.commons.logging. Log:debug(Object)

info method not available -- call on Set org.apache.roller.weblogger.pojos. WeblogBookmarkFolder:getFolders()

info method not available -- call on String org.apache.roller.weblogger. pojos.WeblogBookmarkFolder:getPath()

info method not available -- call on void org.apache.commons.logging. Log:debug(Object)

info method not available -- call on String org.apache.roller.weblogger. pojos.WeblogBookmarkFolder:getPath()

info method not available -- call on String org.apache.roller.weblogger. pojos.WeblogBookmarkFolder:getPath()

info method not available -- call on void org.apache.commons.logging. Log:debug(Object)

method	WeblogBookmarkFolder getFolder(String)
pre	this.strategy != null
pre	this.strategy.threadLocalEntityManager != null
pre	(soft) this.strategy.emf != null
post	init'ed(return_value)
unanalyzed	call on java.lang.ThreadLocal:get
unanalyzed	call on javax.persistence.EntityManagerFactory:crea teEntityManager
unanalyzed	call on java.lang.ThreadLocal:set
unanalyzed	call on javax.persistence.EntityManager:getTransact ion
unanalyzed	call on javax.persistence.EntityTransaction:isActiv e
unanalyzed	call on javax.persistence.EntityTransaction:begin
unanalyzed	call on javax.persistence.EntityManager:find

method	void importBookmarks(Weblog, String, String)
pre	this.strategy != null
pre	this.strategy.threadLocalEntityManager != null
pre	(soft) this.strategy.emf != null
pre	(soft) website != null
presumption	java.util.Iterator:next(...)@222 != null
presumption	org.jdom.Document:getRootElement(...)@219 != null
presumption	org.jdom.Element:getChild(...)@219 != null
presumption	org.jdom.Element:getChildren(...)@220 != null
presumption	org.jdom.input.SAXBuilder:build(...)@208 != null
unanalyzed	call on java.lang.ThreadLocal:get
unanalyzed	call on javax.persistence.EntityManagerFactory:crea teEntityManager
unanalyzed	call on java.lang.ThreadLocal:set
unanalyzed	call on javax.persistence.EntityManager:getTransact ion
unanalyzed	call on javax.persistence.EntityTransaction:isActiv e
unanalyzed	call on javax.persistence.EntityTransaction:begin
unanalyzed	call on javax.persistence.EntityManager:createNamed Query
unanalyzed	call on javax.persistence.Query:setFlushMode
unanalyzed	call on javax.persistence.Query:setParameter
unanalyzed	call on javax.persistence.Query:getSingleResult
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.lang.String:equals
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogBookmarkFolder:getWebsite
unanalyzed	call on javax.persistence.EntityManager:contains
unanalyzed	call on javax.persistence.EntityManager:persist
unanalyzed	call on java.lang.String:trim
unanalyzed	call on java.lang.String:startsWith
unanalyzed	call on org.jdom.Element:getAttributeValue
unanalyzed	call on org.jdom.Element:getChildren
unanalyzed	call on java.util.List:size
unanalyzed	call on java.lang.Integer
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogBookmark
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogBookmarkFolder:addBookmark
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogBookmarkFolder
unanalyzed	call on java.util.List:iterator
unanalyzed	call on importOpmlElement
unanalyzed	call on org.apache.roller.RollerException
test_vector	java.util.Iterator:hasNext(...)@221: {0}, {1}

Prev Msg Next Msg

+

click for all messages in this file warning

unused assignment unused assignment into msg

Prev Msg Next Msg

info method not available -- call on void org.jdom.input.SAXBuilder()

info method not available -- call on Document org.jdom.input.SAXBuilder:build (Reader)

info method not available -- call on void org.apache.roller.weblogger.pojos. WeblogBookmarkFolder(WeblogBookmarkFolder, String, String, Weblog)

info method not available -- call on Element org.jdom.Document:getRootElement ()

info method not available -- call on Element org.jdom.Element:getChild(String )

info method not available -- call on List org.jdom.Element:getChildren()

method	void importOpmlElement(Weblog, Element, WeblogBookmarkFolder)
pre	elem != null
pre	(soft) parent != null
pre	(soft) this.strategy != null
pre	(soft) this.strategy.emf != null
pre	(soft) this.strategy.threadLocalEntityManager != null
presumption	java.util.Iterator:next(...)@284 != null
presumption	org.jdom.Element:getChildren(...)@250 != null
presumption	org.jdom.Element:getChildren(...)@282 != null
unanalyzed	call on java.lang.ThreadLocal:get
unanalyzed	call on javax.persistence.EntityManagerFactory:crea teEntityManager
unanalyzed	call on java.lang.ThreadLocal:set
unanalyzed	call on javax.persistence.EntityManager:getTransact ion
unanalyzed	call on javax.persistence.EntityTransaction:isActiv e
unanalyzed	call on javax.persistence.EntityTransaction:begin
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogBookmarkFolder:getWebsite
unanalyzed	call on javax.persistence.EntityManager:contains
unanalyzed	call on javax.persistence.EntityManager:persist
unanalyzed	call on org.jdom.Element:getAttributeValue
unanalyzed	call on org.jdom.Element:getChildren
unanalyzed	call on java.util.List:size
unanalyzed	call on java.lang.Integer
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogBookmark
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogBookmarkFolder:addBookmark
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogBookmarkFolder
unanalyzed	call on java.util.List:iterator
unanalyzed	call on importOpmlElement
test_vector	java.util.Iterator:hasNext(...)@283: {0}, {1}
test_vector	java.util.List:size(...)@250: {-2³¹..-1, 1..2³²-1}, {0}

info method not available -- call on String org.jdom.Element:getAttributeValu e(String)

info method not available -- call on List org.jdom.Element:getChildren()

info method not available -- call on void org.apache.roller.weblogger.pojos. WeblogBookmark(WeblogBookmarkFolder, String, String, String, String, Integer, Integer, String)

info method not available -- call on void org.apache.roller.weblogger.pojos. WeblogBookmarkFolder:addBookmark(WeblogBookmark)

info method not available -- call on Weblog org.apache.roller.weblogger. pojos.WeblogBookmarkFolder:getWebsite()

info method not available -- call on void org.apache.roller.weblogger.pojos. WeblogBookmarkFolder(WeblogBookmarkFolder, String, String, Weblog)

info method not available -- call on List org.jdom.Element:getChildren(String )

method	WeblogBookmarkFolder getFolder(Weblog, String)
pre	this.strategy != null
pre	this.strategy.threadLocalEntityManager != null
pre	(soft) this.strategy.emf != null
pre	(soft) website != null
post	init'ed(return_value)
unanalyzed	call on java.lang.ThreadLocal:get
unanalyzed	call on javax.persistence.EntityManagerFactory:crea teEntityManager
unanalyzed	call on java.lang.ThreadLocal:set
unanalyzed	call on javax.persistence.EntityManager:getTransact ion
unanalyzed	call on javax.persistence.EntityTransaction:isActiv e
unanalyzed	call on javax.persistence.EntityTransaction:begin
unanalyzed	call on javax.persistence.EntityManager:createNamed Query
unanalyzed	call on javax.persistence.Query:setFlushMode
unanalyzed	call on javax.persistence.Query:setParameter
unanalyzed	call on javax.persistence.Query:getSingleResult
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
test_vector	path: Addr_Set{null}, Inverse{null}
test_vector	java.lang.String:equals(...)@294: {0}, {1}
test_vector	java.lang.String:startsWith(...)@300: {1}, {0}

method	List getBookmarks(WeblogBookmarkFolder, bool)
pre	this.strategy != null
pre	this.strategy.threadLocalEntityManager != null
pre	(soft) folder != null
pre	(soft) this.strategy.emf != null
post	init'ed(return_value)
unanalyzed	call on java.lang.ThreadLocal:get
unanalyzed	call on javax.persistence.EntityManagerFactory:crea teEntityManager
unanalyzed	call on java.lang.ThreadLocal:set
unanalyzed	call on javax.persistence.EntityManager:getTransact ion
unanalyzed	call on javax.persistence.EntityTransaction:isActiv e
unanalyzed	call on javax.persistence.EntityTransaction:begin
unanalyzed	call on javax.persistence.EntityManager:createNamed Query
unanalyzed	call on javax.persistence.Query:setFlushMode
test_vector	subfolders: {1}, {0}

info method not available -- call on String org.apache.roller.weblogger. pojos.WeblogBookmarkFolder:getPath()

info method not available -- call on Weblog org.apache.roller.weblogger. pojos.WeblogBookmarkFolder:getWebsite()

method	WeblogBookmarkFolder getRootFolder(Weblog)
pre	this.strategy != null
pre	this.strategy.threadLocalEntityManager != null
pre	website != null
pre	(soft) this.strategy.emf != null
post	init'ed(return_value)
unanalyzed	call on java.lang.ThreadLocal:get
unanalyzed	call on javax.persistence.EntityManagerFactory:crea teEntityManager
unanalyzed	call on java.lang.ThreadLocal:set
unanalyzed	call on javax.persistence.EntityManager:getTransact ion
unanalyzed	call on javax.persistence.EntityTransaction:isActiv e
unanalyzed	call on javax.persistence.EntityTransaction:begin
unanalyzed	call on javax.persistence.EntityManager:createNamed Query
unanalyzed	call on javax.persistence.Query:setFlushMode

method	List getAllFolders(Weblog)
pre	this.strategy != null
pre	this.strategy.threadLocalEntityManager != null
pre	website != null
pre	(soft) this.strategy.emf != null
post	init'ed(return_value)
unanalyzed	call on java.lang.ThreadLocal:get
unanalyzed	call on javax.persistence.EntityManagerFactory:crea teEntityManager
unanalyzed	call on java.lang.ThreadLocal:set
unanalyzed	call on javax.persistence.EntityManager:getTransact ion
unanalyzed	call on javax.persistence.EntityTransaction:isActiv e
unanalyzed	call on javax.persistence.EntityTransaction:begin
unanalyzed	call on javax.persistence.EntityManager:createNamed Query
unanalyzed	call on javax.persistence.Query:setFlushMode

method	bool isDuplicateFolderName(WeblogBookmarkFolder)
pre	folder != null
pre	(soft) this.strategy != null
pre	(soft) this.strategy.emf != null
pre	(soft) this.strategy.threadLocalEntityManager != null
presumption	org.apache.roller.weblogger.pojos.WeblogBookmarkFol der:getWebsite(...)@377 != null
post	init'ed(return_value)
unanalyzed	call on java.lang.ThreadLocal:get
unanalyzed	call on javax.persistence.EntityManagerFactory:crea teEntityManager
unanalyzed	call on java.lang.ThreadLocal:set
unanalyzed	call on javax.persistence.EntityManager:getTransact ion
unanalyzed	call on javax.persistence.EntityTransaction:isActiv e
unanalyzed	call on javax.persistence.EntityTransaction:begin
unanalyzed	call on javax.persistence.EntityManager:createNamed Query
unanalyzed	call on javax.persistence.Query:setFlushMode
unanalyzed	call on javax.persistence.Query:setParameter
unanalyzed	call on javax.persistence.Query:getSingleResult
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.lang.String:trim
unanalyzed	call on java.lang.String:startsWith
test_vector	org.apache.roller.weblogger.pojos.WeblogBookmarkFol der:getParent(...)@375: Addr_Set{null}, Inverse{null}

info method not available -- call on WeblogBookmarkFolder org.apache.roller. weblogger.pojos.WeblogBookmarkFolder:getParent()

info method not available -- call on Weblog org.apache.roller.weblogger. pojos.WeblogBookmarkFolder:getWebsite()

info method not available -- call on String org.apache.roller.weblogger. pojos.WeblogBookmarkFolder:getPath()

method

void release()

	info	method not available	-- call on LogFactory org.apache.commons.logging. LogFactory:getFactory()
	info	method not available	-- call on Log org.apache.commons.logging. LogFactory:getInstance(Class)

	info	method not available	-- call on WeblogBookmarkFolder org.apache.roller. weblogger.pojos.WeblogBookmark:getFolder()
	info	method not available	-- call on Set org.apache.roller.weblogger.pojos. WeblogBookmarkFolder:getBookmarks()

	info	method not available	-- call on String org.apache.roller.weblogger. pojos.WeblogBookmarkFolder:getPath()
	info	method not available	-- call on void org.apache.commons.logging. Log:debug(Object)

	info	method not available	-- call on Element org.jdom.Document:getRootElement ()
	info	method not available	-- call on Element org.jdom.Element:getChild(String )

	info	method not available	-- call on Weblog org.apache.roller.weblogger. pojos.WeblogBookmarkFolder:getWebsite()
	info	method not available	-- call on void org.apache.roller.weblogger.pojos. WeblogBookmarkFolder(WeblogBookmarkFolder, String, String, Weblog)