Messages

Last Msg First Msg

method	net.sourceforge.pebble.event.blogentry. PostToTwitterBlogEntryListener__static_init
post	init'ed(log)

method

void net.sourceforge.pebble.event.blogentry. PostToTwitterBlogEntryListener()

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

method	void blogEntryPublished(BlogEntryEvent)
pre	event != null
pre	(soft) net/sourceforge/pebble/domain/AbstractBlog. log != null
pre	(soft) net/sourceforge/pebble/domain/BlogManager. instance != null
pre	(soft) init'ed(net/sourceforge/pebble/domain/BlogMa nager.instance.multiBlog)
presumption	blogEntry.blog != null
presumption	blogEntry.blog.permalinkProvider != null
presumption	blogEntry.blog.pluginProperties != null
presumption	blogEntry.blog.pluginProperties@42 != null
presumption	blogEntry.blog.pluginProperties@50 != null
presumption	blogEntry.blog.properties != null
presumption	blogEntry.blog.properties@42 != null
presumption	blogEntry.blog.properties@50 != null
presumption	blogEntry.blog@42 != null
presumption	blogEntry.blog@50 != null
presumption	blogEntry.title@50 != null
presumption	getBlog(...).messages != null
presumption	net.sourceforge.pebble.api.event.blogentry. BlogEntryEvent:getSource(...)@91 != null
presumption	org.apache.commons.logging.LogFactory:getLog(... )@32 != null
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.String:substring
unanalyzed	call on java.lang.String:valueOf
unanalyzed	call on java.net.URL
unanalyzed	call on java.net.URL:openConnection
unanalyzed	call on java.net.URLConnection:setDoInput
unanalyzed	call on java.net.URLConnection:setDoOutput
unanalyzed	call on java.net.URLConnection:setUseCaches
unanalyzed	call on java.net.URLConnection:getInputStream
unanalyzed	call on java.io.InputStreamReader
unanalyzed	call on java.io.BufferedReader
unanalyzed	call on java.io.BufferedReader:readLine
unanalyzed	call on java.io.BufferedReader:close
unanalyzed	call on org.apache.commons.logging.Log:debug
unanalyzed	call on java.net.MalformedURLException:getMessage
unanalyzed	call on org.apache.commons.logging.Log:error
unanalyzed	call on java.io.IOException:getMessage
unanalyzed	call on java.io.PrintStream:println
unanalyzed	call on twitter4j.Twitter
unanalyzed	call on twitter4j.Twitter:updateStatus
unanalyzed	call on getProperty
unanalyzed	call on getBlog
unanalyzed	call on getName
unanalyzed	call on getPluginProperties
unanalyzed	call on net.sourceforge.pebble.PluginProperties:get Property
unanalyzed	call on java.util.Properties:getProperty
unanalyzed	call on net.sourceforge.pebble.api.event.blogentry. BlogEntryEvent:getSource
unanalyzed	call on java.util.List:size
unanalyzed	call on java.util.List:subList
unanalyzed	call on net.sourceforge.pebble.util. SecurityUtils:getUsername
unanalyzed	call on java.util.Date
unanalyzed	call on java.util.List:add
unanalyzed	call on getUrl
unanalyzed	call on getPermalinkProvider
unanalyzed	call on getPermalink
unanalyzed	call on org.apache.commons.logging.Log:info
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	java.lang.String:equalsIgnoreCase(...)@56: {0}, {1}

Prev Msg Next Msg

+

click for all messages in this file medium

null dereference check might fail: requires tinyUrl != null

Prev Msg Next Msg

Prev Msg Next Msg

+

click for all messages in this file medium

precondition failure net/sourceforge/pebble/event/blogentry/PostToTwitte rBlogEntryListener.composeMessage: longUrl != null

Prev Msg Next Msg

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

method	bool checkUrl(String)
pre	longUrl != null
post	init'ed(return_value)

method	String composeMessage(String, String, String)
pre	longUrl != null
pre	title != null
pre	(soft) tinyUrl != null
presumption	java.lang.String:length(...)@92 <= 2_147_483_787
post	return_value != null

method	String getTwitterUrl(BlogEntry)
pre	blogEntry != null
pre	blogEntry.blog != null
pre	blogEntry.blog.pluginProperties != null
pre	blogEntry.blog.properties != null
post	return_value != null
unanalyzed	call on org.apache.commons.logging.Log:debug
unanalyzed	call on org.apache.commons.logging.Log:error
unanalyzed	call on getBlog
unanalyzed	call on getName
unanalyzed	call on getPluginProperties
unanalyzed	call on net.sourceforge.pebble.PluginProperties:get Property
unanalyzed	call on java.util.Properties:getProperty

method	String getTwitterPassword(BlogEntry)
pre	blogEntry != null
pre	blogEntry.blog != null
pre	blogEntry.blog.pluginProperties != null
pre	blogEntry.blog.properties != null
post	init'ed(return_value)
unanalyzed	call on org.apache.commons.logging.Log:debug
unanalyzed	call on org.apache.commons.logging.Log:error
unanalyzed	call on getBlog
unanalyzed	call on getName
unanalyzed	call on getPluginProperties
unanalyzed	call on net.sourceforge.pebble.PluginProperties:get Property
unanalyzed	call on java.util.Properties:getProperty

method	String getTwitterUsername(BlogEntry)
pre	blogEntry != null
pre	blogEntry.blog != null
pre	blogEntry.blog.pluginProperties != null
pre	blogEntry.blog.properties != null
post	init'ed(return_value)
unanalyzed	call on org.apache.commons.logging.Log:debug
unanalyzed	call on org.apache.commons.logging.Log:error
unanalyzed	call on getBlog
unanalyzed	call on getName
unanalyzed	call on getPluginProperties
unanalyzed	call on net.sourceforge.pebble.PluginProperties:get Property
unanalyzed	call on java.util.Properties:getProperty

method	String getProperty(BlogEntry, String)
pre	blogEntry != null
pre	blogEntry.blog != null
pre	blogEntry.blog.pluginProperties != null
pre	blogEntry.blog.properties != null
presumption	org.apache.commons.logging.LogFactory:getLog(... )@32 != null
post	init'ed(return_value)
unanalyzed	call on java.util.Properties:getProperty
test_vector	net.sourceforge.pebble.PluginProperties:getProperty (...)@134: Inverse{null}, Addr_Set{null}
test_vector	net.sourceforge.pebble.PluginProperties:getProperty (...)@136: Inverse{null}, Addr_Set{null}

info method not available -- call on String net.sourceforge.pebble. PluginProperties:getProperty(String)

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

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

method	void post(String, String, String, String)
presumption	java.lang.System.out != null

info method not available -- call on void twitter4j.Twitter(String, String)

info method not available -- call on Status twitter4j.Twitter:updateStatus(St ring)

method	String makeTinyURL(String)
presumption	java.net.URL:openConnection(...)@174 != null
presumption	org.apache.commons.logging.LogFactory:getLog(... )@32 != null
post	init'ed(return_value)
test_vector	java.io.BufferedReader:readLine(...)@180: Inverse{null}, Addr_Set{null}

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

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