BookmarkPlugin.java

current inspection = 2009-09-04 18:33:31 (id #2) base = 2009-09-04 18:33:31 (id #1)

Filter Options
History:
+ added
- dropped
U unchanged
Annotation Kind:
pre
presumption
post
unanalyzed
test


  • + String getDescription()

    • -/+ Kind Annotation Text Date
    +preinit'ed(this.description)2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31

  • + String getName()

    • -/+ Kind Annotation Text Date
    +preinit'ed(this.name)2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +postreturn_value == this.name2009-09-04 18:33:31

  • + void init(Weblog)

    • -/+ Kind Annotation Text Date

  • + String lookInFolders(String, Collection)

    • -/+ Kind Annotation Text Date
    +pre(soft) mLogger != null2009-09-04 18:33:31
    +pre(soft) text != null2009-09-04 18:33:31
    +prefolders != null2009-09-04 18:33:31
    +presumptionjava.util.Iterator:next(...)@99 != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.pojos.WeblogBookmarkFol der:getFolders(...)@102 != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.pojos.WeblogBookmarkFol der:getFolders(...)@103 != null2009-09-04 18:33:31
    +post(soft) return_value != null2009-09-04 18:33:31
    +postinit'ed(java.lang.String:toString(...)._tainted)2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:length2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:toString2009-09-04 18:33:31
    +unanalyzedcall on java.lang.Throwable:__curr_excep_obj2009-09-04 18:33:31
    +unanalyzedcall on java.util.Collection:iterator2009-09-04 18:33:31
    +unanalyzedcall on java.util.Set:isEmpty2009-09-04 18:33:31
    +unanalyzedcall on java.util.Set:iterator2009-09-04 18:33:31
    +unanalyzedcall on java.util.regex.Matcher:appendReplacement2009-09-04 18:33:31
    +unanalyzedcall on java.util.regex.Matcher:appendTail2009-09-04 18:33:31
    +unanalyzedcall on java.util.regex.Matcher:find2009-09-04 18:33:31
    +unanalyzedcall on java.util.regex.Matcher:group2009-09-04 18:33:31
    +unanalyzedcall on java.util.regex.Pattern:compile2009-09-04 18:33:31
    +unanalyzedcall on java.util.regex.Pattern:matcher2009-09-04 18:33:31
    +unanalyzedcall on lookInFolders2009-09-04 18:33:31
    +unanalyzedcall on org.apache.commons.logging.Log:warn2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogBookmark:getDescription2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogBookmark:getName2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogBookmark:getUrl2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogBookmarkFolder:getBookmarks2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogBookmarkFolder:getFolders2009-09-04 18:33:31
    +test_vectorjava.util.Iterator:hasNext(...)@98: {0}, {1}2009-09-04 18:33:31
    +test_vectorjava.util.Set:isEmpty(...)@102: {1}, {0}2009-09-04 18:33:31

  • + String matchBookmarks(String, WeblogBookmarkFolder)

    • -/+ Kind Annotation Text Date
    +pre(soft) mLogger != null2009-09-04 18:33:31
    +pre(soft) text != null2009-09-04 18:33:31
    +prefolder != null2009-09-04 18:33:31
    +presumptionjava.util.Iterator:next(...)@115 != null2009-09-04 18:33:31
    +presumptionjava.util.regex.Pattern:compile(...)@130 != null2009-09-04 18:33:31
    +presumptionjava.util.regex.Pattern:matcher(...)@130 != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.pojos.WeblogBookmarkFol der:getBookmarks(...)@112 != null2009-09-04 18:33:31
    +postinit'ed(java.lang.String:toString(...)._tainted)2009-09-04 18:33:31
    +postreturn_value == &java.lang.String:toString(... )2009-09-04 18:33:31
    +test_vectorjava.util.Iterator:hasNext(...)@114: {0}, {1}2009-09-04 18:33:31
    +test_vectorjava.util.regex.Matcher:find(...)@133: {0}, {1}2009-09-04 18:33:31
    +test_vectorjava.util.regex.Matcher:group(...)@134: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31
    +test_vectorjava.util.regex.Matcher:group(...)@136: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31
    +test_vectorjava.util.regex.Matcher:group(...)@139: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31
    +test_vectorjava.util.regex.Matcher:group(...)@142: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31
    +test_vectororg.apache.roller.weblogger.pojos.WeblogBookmark:ge tDescription(...)@116: Inverse{null}, Addr_Set{null}2009-09-04 18:33:31

  • + void org.apache.roller.weblogger.business.plugins.entry.BookmarkPlugin()

    • -/+ Kind Annotation Text Date
    +premLogger != null2009-09-04 18:33:31
    +postthis.description == &"Automatically uses your Bookmarks to create links. Simply use the Nam ... rk and it will be converted into a hyperlink using the Bookmark's URL."2009-09-04 18:33:31
    +postthis.name == &"Bookmark Linker"2009-09-04 18:33:31

  • + org.apache.roller.weblogger.business.plugins.entry.BookmarkPlugin__static_init

    • -/+ Kind Annotation Text Date
    +postinit'ed(mLogger)2009-09-04 18:33:31

  • + String render(WeblogEntry, String)

    • -/+ Kind Annotation Text Date
    +pre(soft) entry != null2009-09-04 18:33:31
    +pre(soft) mLogger != null2009-09-04 18:33:31
    +pre(soft) org/apache/roller/weblogger/business/Weblogg erFactory.webloggerProvider != null2009-09-04 18:33:31
    +pre(soft) org/apache/roller/weblogger/business/Weblogg erFactory.webloggerProvider.webloggerInstance != null2009-09-04 18:33:31
    +pre(soft) str != null2009-09-04 18:33:31
    +presumptionbMgr.strategy != null2009-09-04 18:33:31
    +presumptionbMgr.strategy.emf != null2009-09-04 18:33:31
    +presumptionbMgr.strategy.threadLocalEntityManager != null2009-09-04 18:33:31
    +presumptiongetWeblogger(...).bookmarkManager != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.pojos.WeblogBookmarkFol der:getFolders(...)@77 != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.pojos.WeblogEntry:getWe bsite(...)@75 != null2009-09-04 18:33:31
    +postinit'ed(java.lang.String:toString(...)._tainted)2009-09-04 18:33:31
    +postreturn_value != null2009-09-04 18:33:31
    +unanalyzedcall on getWeblogger2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:length2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:toString2009-09-04 18:33:31
    +unanalyzedcall on java.lang.ThreadLocal:get2009-09-04 18:33:31
    +unanalyzedcall on java.lang.ThreadLocal:set2009-09-04 18:33:31
    +unanalyzedcall on java.lang.Throwable:__curr_excep_obj2009-09-04 18:33:31
    +unanalyzedcall on java.util.Collection:iterator2009-09-04 18:33:31
    +unanalyzedcall on java.util.Set:isEmpty2009-09-04 18:33:31
    +unanalyzedcall on java.util.Set:iterator2009-09-04 18:33:31
    +unanalyzedcall on java.util.regex.Matcher:appendReplacement2009-09-04 18:33:31
    +unanalyzedcall on java.util.regex.Matcher:appendTail2009-09-04 18:33:31
    +unanalyzedcall on java.util.regex.Matcher:find2009-09-04 18:33:31
    +unanalyzedcall on java.util.regex.Matcher:group2009-09-04 18:33:31
    +unanalyzedcall on java.util.regex.Pattern:compile2009-09-04 18:33:31
    +unanalyzedcall on java.util.regex.Pattern:matcher2009-09-04 18:33:31
    +unanalyzedcall on javax.persistence.EntityManager:createNamed Query2009-09-04 18:33:31
    +unanalyzedcall on javax.persistence.EntityManager:getTransact ion2009-09-04 18:33:31
    +unanalyzedcall on javax.persistence.EntityManagerFactory:crea teEntityManager2009-09-04 18:33:31
    +unanalyzedcall on javax.persistence.EntityTransaction:begin2009-09-04 18:33:31
    +unanalyzedcall on javax.persistence.EntityTransaction:isActiv e2009-09-04 18:33:31
    +unanalyzedcall on javax.persistence.Query:getSingleResult2009-09-04 18:33:31
    +unanalyzedcall on javax.persistence.Query:setFlushMode2009-09-04 18:33:31
    +unanalyzedcall on javax.persistence.Query:setParameter2009-09-04 18:33:31
    +unanalyzedcall on lookInFolders2009-09-04 18:33:31
    +unanalyzedcall on org.apache.commons.logging.Log:warn2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogBookmark:getDescription2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogBookmark:getName2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogBookmark:getUrl2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogBookmarkFolder:getBookmarks2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogBookmarkFolder:getFolders2009-09-04 18:33:31