| -/+ |
Kind |
Annotation Text |
Date |
|---|
| U |
pre | (soft) blogEntry.propertyChangeSupport != null | 2010-07-16 16:14:15 |
| + | pre | (soft) init'ed(blogEntry.blog.id) | 2010-07-22 12:56:56 |
| U |
pre | (soft) init'ed(blogEntry.originalPermalink) | 2010-07-16 16:14:15 |
| U |
pre | (soft) init'ed(blogEntry.title) | 2010-07-16 16:14:15 |
| U |
pre | (soft) init'ed(bookmarkingAltText[...]) | 2010-07-16 16:14:15 |
| U |
pre | (soft) init'ed(bookmarkingNames[...]) | 2010-07-16 16:14:15 |
| U |
pre | (soft) init'ed(bookmarkingSites[...]) | 2010-07-16 16:14:15 |
| + | pre | (soft) init'ed(net/sourceforge/pebble/domain/BlogMa nager.instance.multiBlog) | 2010-07-22 12:56:56 |
| + | pre | (soft) net/sourceforge/pebble/domain/BlogManager. instance != null | 2010-07-22 12:56:56 |
| U |
pre | blogEntry != null | 2010-07-16 16:14:15 |
| U |
pre | blogEntry.blog != null | 2010-07-16 16:14:15 |
| + | pre | blogEntry.blog.properties != null | 2010-07-22 12:56:56 |
| U |
pre | init'ed(blogEntry.body) | 2010-07-16 16:14:15 |
| U |
pre | init'ed(blogEntry.excerpt) | 2010-07-16 16:14:15 |
| U |
presumption | net.sourceforge.pebble.util.I18n:getBundle(...)@83 != null | 2010-07-16 16:14:15 |
| U |
post | init'ed(blogEntry.body) | 2010-07-16 16:14:15 |
| U |
post | init'ed(blogEntry.excerpt) | 2010-07-16 16:14:15 |
| U |
post | possibly_updated(blogEntry.permalink) | 2010-07-16 16:14:15 |
| - | unanalyzed | call on clone | 2010-07-16 16:59:22 |
| U |
unanalyzed | call on getBlog | 2010-07-16 16:14:15 |
| - | unanalyzed | call on getBlogEntries | 2010-07-16 16:59:22 |
| - | unanalyzed | call on getBlogEntry | 2010-07-16 16:59:22 |
| - | unanalyzed | call on getBlogEntryDAO | 2010-07-16 16:59:22 |
| - | unanalyzed | call on getBlogForDay | 2010-07-16 16:59:22 |
| - | unanalyzed | call on getDate | 2010-07-16 16:59:22 |
| - | unanalyzed | call on getId | 2010-07-16 16:59:22 |
| U |
unanalyzed | call on getLocalPermalink | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on getPermalink | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on getPermalinkProvider | 2010-07-16 16:14:15 |
| - | unanalyzed | call on getTimeZone | 2010-07-16 16:59:22 |
| U |
unanalyzed | call on getTitle | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on getUrl | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.beans.PropertyChangeSupport:fireProper tyChange | 2010-07-16 16:14:15 |
| - | unanalyzed | call on java.io.File | 2010-07-16 16:59:22 |
| - | unanalyzed | call on java.io.File:exists | 2010-07-16 16:59:22 |
| - | unanalyzed | call on java.io.File:getAbsolutePath | 2010-07-16 16:59:22 |
| - | unanalyzed | call on java.lang.Exception | 2010-07-16 16:59:22 |
| - | unanalyzed | call on java.lang.Exception:getMessage | 2010-07-16 16:59:22 |
| - | unanalyzed | call on java.lang.Exception:printStackTrace | 2010-07-16 16:59:22 |
| - | unanalyzed | call on java.lang.Long:parseLong | 2010-07-16 16:59:22 |
| - | unanalyzed | call on java.lang.String:equals | 2010-07-16 16:59:22 |
| + | unanalyzed | call on java.lang.String:indexOf | 2010-07-22 12:56:56 |
| U |
unanalyzed | call on java.lang.String:length | 2010-07-16 16:14:15 |
| - | unanalyzed | call on java.lang.String:replaceAll | 2010-07-16 16:59:22 |
| U |
unanalyzed | call on java.lang.String:substring | 2010-07-16 16:14:15 |
| - | unanalyzed | call on java.lang.String:toLowerCase | 2010-07-16 16:59:22 |
| U |
unanalyzed | call on java.lang.String:trim | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.lang.String:valueOf | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.net.URLEncoder:encode | 2010-07-16 16:14:15 |
| - | unanalyzed | call on java.text.DateFormat:format | 2010-07-16 16:59:22 |
| - | unanalyzed | call on java.text.DateFormat:setTimeZone | 2010-07-16 16:59:22 |
| - | unanalyzed | call on java.text.SimpleDateFormat | 2010-07-16 16:59:22 |
| - | unanalyzed | call on java.text.SimpleDateFormat:setTimeZone | 2010-07-16 16:59:22 |
| - | unanalyzed | call on java.util.Date | 2010-07-16 16:59:22 |
| - | unanalyzed | call on java.util.HashMap:get | 2010-07-16 16:59:22 |
| - | unanalyzed | call on java.util.HashMap:keySet | 2010-07-16 16:59:22 |
| - | unanalyzed | call on java.util.List:get | 2010-07-16 16:59:22 |
| - | unanalyzed | call on java.util.List:indexOf | 2010-07-16 16:59:22 |
| - | unanalyzed | call on java.util.List:size | 2010-07-16 16:59:22 |
| + | unanalyzed | call on java.util.Locale | 2010-07-22 12:56:56 |
| + | unanalyzed | call on java.util.Properties:getProperty | 2010-07-22 12:56:56 |
| U |
unanalyzed | call on java.util.ResourceBundle:getString | 2010-07-16 16:14:15 |
| - | unanalyzed | call on java.util.Set:iterator | 2010-07-16 16:59:22 |
| - | unanalyzed | call on javax.xml.parsers.SAXParser:parse | 2010-07-16 16:59:22 |
| - | unanalyzed | call on javax.xml.parsers.SAXParserFactory:newInsta nce | 2010-07-16 16:59:22 |
| - | unanalyzed | call on javax.xml.parsers.SAXParserFactory:newSAXPa rser | 2010-07-16 16:59:22 |
| - | unanalyzed | call on javax.xml.parsers.SAXParserFactory:setNames paceAware | 2010-07-16 16:59:22 |
| - | unanalyzed | call on javax.xml.parsers.SAXParserFactory:setValid ating | 2010-07-16 16:59:22 |
| - | unanalyzed | call on loadBlogEntry | 2010-07-16 16:59:22 |
| + | unanalyzed | call on net.sourceforge.pebble.PebbleContext:getCon figuration | 2010-07-22 12:56:56 |
| + | unanalyzed | call on net.sourceforge.pebble.PebbleContext:getIns tance | 2010-07-22 12:56:56 |
| - | unanalyzed | call on net.sourceforge.pebble.dao.PersistenceExcep tion | 2010-07-16 16:59:22 |
| - | unanalyzed | call on net.sourceforge.pebble.domain.Blog:error | 2010-07-16 16:59:22 |
| - | unanalyzed | call on net.sourceforge.pebble.domain. Blog:getLocale | 2010-07-16 16:59:22 |
| - | unanalyzed | call on net.sourceforge.pebble.domain.Blog:getRoot | 2010-07-16 16:59:22 |
| - | unanalyzed | call on net.sourceforge.pebble.domain. Blog:getTimeZone | 2010-07-16 16:59:22 |
| - | unanalyzed | call on net.sourceforge.pebble.domain.BlogEntry | 2010-07-16 16:59:22 |
| - | unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:getBlog | 2010-07-16 16:59:22 |
| - | unanalyzed | call on net.sourceforge.pebble.domain.BlogService | 2010-07-16 16:59:22 |
| - | unanalyzed | call on org.apache.commons.logging.Log:debug | 2010-07-16 16:59:22 |
| - | unanalyzed | call on org.apache.commons.logging.Log:error | 2010-07-16 16:59:22 |
| - | unanalyzed | call on org.xml.sax.helpers.DefaultHandler | 2010-07-16 16:59:22 |
| - | unanalyzed | call on setEventsEnabled | 2010-07-16 16:59:22 |
| - | unanalyzed | call on setPersistent | 2010-07-16 16:59:22 |
| U |
test_vector | blogEntry.body: Addr_Set{null}, Inverse{null} | 2010-07-16 16:14:15 |
| U |
test_vector | blogEntry.excerpt: Addr_Set{null}, Inverse{null} | 2010-07-16 16:14:15 |
| U |
test_vector | java.lang.String:length(...)@86: {0}, {1..232-1} | 2010-07-16 16:14:15 |
| U |
test_vector | java.lang.String:length(...)@93: {0}, {1..232-1} | 2010-07-16 16:14:15 |
| -/+ |
Kind |
Annotation Text |
Date |
|---|
| U |
pre | (soft) blogEntry.blog != null | 2010-07-16 16:14:15 |
| + | pre | (soft) init'ed(blogEntry.blog.id) | 2010-07-22 12:56:56 |
| U |
pre | (soft) init'ed(blogEntry.originalPermalink) | 2010-07-16 16:14:15 |
| U |
pre | (soft) init'ed(bookmarkingAltText[...]) | 2010-07-16 16:14:15 |
| U |
pre | (soft) init'ed(bookmarkingNames[...]) | 2010-07-16 16:14:15 |
| U |
pre | (soft) init'ed(bookmarkingSites[...]) | 2010-07-16 16:14:15 |
| + | pre | (soft) init'ed(net/sourceforge/pebble/domain/BlogMa nager.instance.multiBlog) | 2010-07-22 12:56:56 |
| + | pre | (soft) net/sourceforge/pebble/domain/BlogManager. instance != null | 2010-07-22 12:56:56 |
| U |
pre | blogEntry != null | 2010-07-16 16:14:15 |
| U |
pre | bundle != null | 2010-07-16 16:14:15 |
| U |
pre | init'ed(blogEntry.title) | 2010-07-16 16:14:15 |
| U |
post | possibly_updated(blogEntry.permalink) | 2010-07-16 16:14:15 |
| U |
post | return_value != null | 2010-07-16 16:14:15 |
| - | unanalyzed | call on clone | 2010-07-16 16:59:22 |
| U |
unanalyzed | call on getBlog | 2010-07-16 16:14:15 |
| - | unanalyzed | call on getBlogEntries | 2010-07-16 16:59:22 |
| - | unanalyzed | call on getBlogEntry | 2010-07-16 16:59:22 |
| - | unanalyzed | call on getBlogEntryDAO | 2010-07-16 16:59:22 |
| - | unanalyzed | call on getBlogForDay | 2010-07-16 16:59:22 |
| - | unanalyzed | call on getDate | 2010-07-16 16:59:22 |
| - | unanalyzed | call on getId | 2010-07-16 16:59:22 |
| U |
unanalyzed | call on getLocalPermalink | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on getPermalink | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on getPermalinkProvider | 2010-07-16 16:14:15 |
| - | unanalyzed | call on getTimeZone | 2010-07-16 16:59:22 |
| - | unanalyzed | call on getTitle | 2010-07-16 16:59:22 |
| U |
unanalyzed | call on getUrl | 2010-07-16 16:14:15 |
| - | unanalyzed | call on java.io.File | 2010-07-16 16:59:22 |
| - | unanalyzed | call on java.io.File:exists | 2010-07-16 16:59:22 |
| - | unanalyzed | call on java.io.File:getAbsolutePath | 2010-07-16 16:59:22 |
| - | unanalyzed | call on java.lang.Exception | 2010-07-16 16:59:22 |
| - | unanalyzed | call on java.lang.Exception:getMessage | 2010-07-16 16:59:22 |
| - | unanalyzed | call on java.lang.Exception:printStackTrace | 2010-07-16 16:59:22 |
| - | unanalyzed | call on java.lang.Long:parseLong | 2010-07-16 16:59:22 |
| - | unanalyzed | call on java.lang.String:equals | 2010-07-16 16:59:22 |
| + | unanalyzed | call on java.lang.String:indexOf | 2010-07-22 12:56:56 |
| U |
unanalyzed | call on java.lang.String:length | 2010-07-16 16:14:15 |
| - | unanalyzed | call on java.lang.String:replaceAll | 2010-07-16 16:59:22 |
| U |
unanalyzed | call on java.lang.String:substring | 2010-07-16 16:14:15 |
| - | unanalyzed | call on java.lang.String:toLowerCase | 2010-07-16 16:59:22 |
| U |
unanalyzed | call on java.lang.String:valueOf | 2010-07-16 16:14:15 |
| - | unanalyzed | call on java.text.DateFormat:format | 2010-07-16 16:59:22 |
| - | unanalyzed | call on java.text.DateFormat:setTimeZone | 2010-07-16 16:59:22 |
| - | unanalyzed | call on java.text.SimpleDateFormat | 2010-07-16 16:59:22 |
| - | unanalyzed | call on java.text.SimpleDateFormat:setTimeZone | 2010-07-16 16:59:22 |
| - | unanalyzed | call on java.util.Date | 2010-07-16 16:59:22 |
| - | unanalyzed | call on java.util.HashMap:get | 2010-07-16 16:59:22 |
| - | unanalyzed | call on java.util.HashMap:keySet | 2010-07-16 16:59:22 |
| - | unanalyzed | call on java.util.List:get | 2010-07-16 16:59:22 |
| - | unanalyzed | call on java.util.List:indexOf | 2010-07-16 16:59:22 |
| - | unanalyzed | call on java.util.List:size | 2010-07-16 16:59:22 |
| - | unanalyzed | call on java.util.Set:iterator | 2010-07-16 16:59:22 |
| - | unanalyzed | call on javax.xml.parsers.SAXParser:parse | 2010-07-16 16:59:22 |
| - | unanalyzed | call on javax.xml.parsers.SAXParserFactory:newInsta nce | 2010-07-16 16:59:22 |
| - | unanalyzed | call on javax.xml.parsers.SAXParserFactory:newSAXPa rser | 2010-07-16 16:59:22 |
| - | unanalyzed | call on javax.xml.parsers.SAXParserFactory:setNames paceAware | 2010-07-16 16:59:22 |
| - | unanalyzed | call on javax.xml.parsers.SAXParserFactory:setValid ating | 2010-07-16 16:59:22 |
| - | unanalyzed | call on loadBlogEntry | 2010-07-16 16:59:22 |
| + | unanalyzed | call on net.sourceforge.pebble.PebbleContext:getCon figuration | 2010-07-22 12:56:56 |
| + | unanalyzed | call on net.sourceforge.pebble.PebbleContext:getIns tance | 2010-07-22 12:56:56 |
| - | unanalyzed | call on net.sourceforge.pebble.dao.PersistenceExcep tion | 2010-07-16 16:59:22 |
| - | unanalyzed | call on net.sourceforge.pebble.domain.Blog:error | 2010-07-16 16:59:22 |
| - | unanalyzed | call on net.sourceforge.pebble.domain. Blog:getLocale | 2010-07-16 16:59:22 |
| - | unanalyzed | call on net.sourceforge.pebble.domain.Blog:getRoot | 2010-07-16 16:59:22 |
| - | unanalyzed | call on net.sourceforge.pebble.domain. Blog:getTimeZone | 2010-07-16 16:59:22 |
| - | unanalyzed | call on net.sourceforge.pebble.domain.BlogEntry | 2010-07-16 16:59:22 |
| - | unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:getBlog | 2010-07-16 16:59:22 |
| - | unanalyzed | call on net.sourceforge.pebble.domain.BlogService | 2010-07-16 16:59:22 |
| - | unanalyzed | call on org.apache.commons.logging.Log:debug | 2010-07-16 16:59:22 |
| - | unanalyzed | call on org.apache.commons.logging.Log:error | 2010-07-16 16:59:22 |
| - | unanalyzed | call on org.xml.sax.helpers.DefaultHandler | 2010-07-16 16:59:22 |
| - | unanalyzed | call on setEventsEnabled | 2010-07-16 16:59:22 |
| - | unanalyzed | call on setPersistent | 2010-07-16 16:59:22 |
| U |
test_vector | bookmarkingSites[...]: Addr_Set{&"http:.. technorati.com.faves?add="}, Addr_Set{&"http:.. www.bloglines.com.sub."}, Addr_Set{&"http:.. www.facebook.com.share.php?u="}, Addr_Set{&"htt p:..www.furl.net.storeIt.jsp?u="}, Addr_Set{&"... | 2010-07-16 16:14:15 |
| -/+ |
Kind |
Annotation Text |
Date |
|---|
| U |
post | bookmarkingAltText == &new String[](SocialBookm arksDecorator__static_init#3) | 2010-07-16 16:14:15 |
| U |
post | bookmarkingAltText.length == 12 | 2010-07-16 16:14:15 |
| U |
post | bookmarkingAltText[...] in Addr_Set{&"socialb ookmark.addToSlashdot",&"socialbookmark. addToDigg",&"socialbookmark.addToReddit", &"socialbookmark.addToDelicious", &"socialbookmark.addToStumbleupon", &"socialbookmark.addToGoogl... | 2010-07-16 16:14:15 |
| U |
post | bookmarkingNames == &new String[](SocialBookmar ksDecorator__static_init#2) | 2010-07-16 16:14:15 |
| U |
post | bookmarkingNames.length == 12 | 2010-07-16 16:14:15 |
| U |
post | bookmarkingNames[...] in Addr_Set{&"<img src="common.images.slashdot.png" alt="Add this post to Slashdot" border="0" .>",&"<img src="common.images.digg.png" alt="Add this post to Digg" border="0" .>",&"<img src="common.images.reddit.... | 2010-07-16 16:14:15 |
| U |
post | bookmarkingSites == &new String[](SocialBookmar ksDecorator__static_init#1) | 2010-07-16 16:14:15 |
| U |
post | bookmarkingSites.length == 12 | 2010-07-16 16:14:15 |
| U |
post | bookmarkingSites[...] in Addr_Set{&"http:.. slashdot.org.bookmark.pl?url=",&"http:..digg. com.submit?url=",&"http:..reddit.com. submit?url=",&"http:..del.icio.us.post?url=", &"http:..www.stumbleupon.com.submit?url=", &"http:..... | 2010-07-16 16:14:15 |
| U |
post | new String[](SocialBookmarksDecorator__static_ init#1) num objects == 1 | 2010-07-16 16:14:15 |
| U |
post | new String[](SocialBookmarksDecorator__static_ init#2) num objects == 1 | 2010-07-16 16:14:15 |
| U |
post | new String[](SocialBookmarksDecorator__static_ init#3) num objects == 1 | 2010-07-16 16:14:15 |