| method | net.sourceforge.pebble.decorator.SocialBookmarksDe corator__static_init |
| post | bookmarkingAltText == &new String[](SocialBookm arksDecorator__static_init#3) |
| post | bookmarkingNames == &new String[](SocialBookmar ksDecorator__static_init#2) |
| post | bookmarkingSites == &new String[](SocialBookmar ksDecorator__static_init#1) |
| post | new String[](SocialBookmarksDecorator__static_ init#1) num objects == 1 |
| post | new String[](SocialBookmarksDecorator__static_ init#2) num objects == 1 |
| post | new String[](SocialBookmarksDecorator__static_ init#3) num objects == 1 |
| post | bookmarkingSites.length == 12 |
| post | bookmarkingNames.length == 12 |
| post | bookmarkingAltText.length == 12 |
| 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:..... |
| 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.... |
| post | bookmarkingAltText[...] in Addr_Set{&"socialb ookmark.addToSlashdot",&"socialbookmark. addToDigg",&"socialbookmark.addToReddit", &"socialbookmark.addToDelicious", &"socialbookmark.addToStumbleupon", &"socialbookmark.addToGoogl... |
| method | void decorate(ContentDecoratorContext, BlogEntry) |
| pre | blogEntry != null |
| pre | (soft) init'ed(bookmarkingSites[...]) |
| pre | (soft) init'ed(bookmarkingNames[...]) |
| pre | (soft) init'ed(bookmarkingAltText[...]) |
| presumption | net.sourceforge.pebble.util.I18n:getBundle(...)@83 != null |
| unanalyzed | call on java.net.URLEncoder:encode |
| unanalyzed | call on java.util.ResourceBundle:getString |
| unanalyzed | call on java.lang.String:valueOf |
| test_vector | java.lang.String:length(...)@86: {0}, {1..232-1} |
| test_vector | java.lang.String:length(...)@93: {0}, {1..232-1} |
| pre | blogEntry.blog != null |
| pre | init'ed(blogEntry.body) |
| pre | init'ed(blogEntry.excerpt) |
| pre | (soft) init'ed(blogEntry.originalPermalink) |
| pre | (soft) blogEntry.propertyChangeSupport != null |
| pre | (soft) init'ed(blogEntry.title) |
| post | init'ed(blogEntry.body) |
| post | init'ed(blogEntry.excerpt) |
| post | possibly_updated(blogEntry.permalink) |
| unanalyzed | call on getPermalink |
| pre | blogEntry.blog.properties != null |
| unanalyzed | call on getTitle |
| pre | (soft) init'ed(blogEntry.blog.id) |
| pre | (soft) net/sourceforge/pebble/domain/BlogManager. instance != null |
| pre | (soft) init'ed(net/sourceforge/pebble/domain/BlogMa nager.instance.multiBlog) |
| unanalyzed | call on getBlog |
| unanalyzed | call on getLocalPermalink |
| unanalyzed | call on getUrl |
| unanalyzed | call on java.beans.PropertyChangeSupport:fireProper tyChange |
| unanalyzed | call on java.lang.String:trim |
| unanalyzed | call on java.lang.String:substring |
| unanalyzed | call on getPermalinkProvider |
| unanalyzed | call on java.lang.String:length |
| unanalyzed | call on java.util.Properties:getProperty |
| unanalyzed | call on java.util.Locale |
| unanalyzed | call on java.lang.String:indexOf |
| unanalyzed | call on net.sourceforge.pebble.PebbleContext:getIns tance |
| unanalyzed | call on net.sourceforge.pebble.PebbleContext:getCon figuration |
| test_vector | blogEntry.body: Addr_Set{null}, Inverse{null} |
| test_vector | blogEntry.excerpt: Addr_Set{null}, Inverse{null} |
| method | String generateDecorationHtml(ResourceBundle, BlogEntry) |
| pre | blogEntry != null |
| pre | bundle != null |
| pre | (soft) init'ed(bookmarkingSites[...]) |
| pre | (soft) init'ed(bookmarkingNames[...]) |
| pre | (soft) init'ed(bookmarkingAltText[...]) |
| post | return_value != null |
| 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{&"... |
| pre | (soft) init'ed(blogEntry.blog.id) |
| pre | (soft) net/sourceforge/pebble/domain/BlogManager. instance != null |
| pre | (soft) init'ed(net/sourceforge/pebble/domain/BlogMa nager.instance.multiBlog) |
| unanalyzed | call on java.lang.String:indexOf |
| unanalyzed | call on net.sourceforge.pebble.PebbleContext:getIns tance |
| unanalyzed | call on net.sourceforge.pebble.PebbleContext:getCon figuration |
| pre | init'ed(blogEntry.title) |
| pre | (soft) blogEntry.blog != null |
| pre | (soft) init'ed(blogEntry.originalPermalink) |
| post | possibly_updated(blogEntry.permalink) |
| unanalyzed | call on getBlog |
| unanalyzed | call on getLocalPermalink |
| unanalyzed | call on getUrl |
| unanalyzed | call on java.lang.String:valueOf |
| unanalyzed | call on java.lang.String:substring |
| unanalyzed | call on getPermalinkProvider |
| unanalyzed | call on java.lang.String:length |
| unanalyzed | call on getPermalink |
