| method | void blogEntryPublished(BlogEntryEvent) |
| pre | event != null |
| pre | (soft) net.sourceforge.pebble.domain.State__static_ init.new State(State__static_init#4).name != null |
| pre | (soft) net.sourceforge.pebble.domain.State__static_ init.new State(State__static_init#5).name != 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@61 != null |
| presumption | blogEntry.categories@61 != null |
| presumption | blogEntry.comments@61 != null |
| presumption | blogEntry.date@61 != null |
| presumption | blogEntry.state@61 != null |
| presumption | clone(...).blog.decoratorChain.decorators@62 != null |
| presumption | clone(...).blog.decoratorChain@62 != null |
| presumption | clone(...).blog.emailSubscriptionList@62 != null |
| presumption | clone(...).blog.permalinkProvider@62 != null |
| presumption | net.sourceforge.pebble.api.event.blogentry. BlogEntryEvent:getSource(...)@91 != null |
| unanalyzed | call on getBlog |
| unanalyzed | call on getContentDecoratorChain |
| unanalyzed | call on decorate |
| unanalyzed | call on java.text.SimpleDateFormat |
| unanalyzed | call on net.sourceforge.pebble.domain. Blog:getTimeZone |
| unanalyzed | call on java.text.SimpleDateFormat:setTimeZone |
| unanalyzed | call on getTitle |
| unanalyzed | call on getUser |
| unanalyzed | call on net.sourceforge.pebble.security. PebbleUserDetails:getName |
| unanalyzed | call on getAuthor |
| unanalyzed | call on getDate |
| unanalyzed | call on java.text.SimpleDateFormat:format |
| unanalyzed | call on java.lang.String:valueOf |
| unanalyzed | call on getExcerpt |
| unanalyzed | call on java.lang.String:trim |
| unanalyzed | call on java.lang.String:length |
| unanalyzed | call on getBody |
| unanalyzed | call on getLocalPermalink |
| unanalyzed | call on getUrl |
| unanalyzed | call on getEmailSubscriptionList |
| unanalyzed | call on java.util.ArrayList |
| unanalyzed | call on java.util.Collections:sort |
| unanalyzed | call on net.sourceforge.pebble.util. MailUtils:createSession |
| unanalyzed | call on java.util.List:iterator |
| unanalyzed | call on java.lang.String:replaceAll |
| unanalyzed | call on net.sourceforge.pebble.util. MailUtils:sendMail |
| unanalyzed | call on java.lang.Exception:printStackTrace |
| unanalyzed | call on java.lang.NoClassDefFoundError:printStackTr ace |
| unanalyzed | call on java.util.regex.Pattern:matcher |
| unanalyzed | call on java.util.regex.Matcher:find |
| unanalyzed | call on java.util.regex.Matcher:start |
| unanalyzed | call on java.util.regex.Matcher:end |
| unanalyzed | call on java.lang.String:substring |
| unanalyzed | call on java.lang.String:indexOf |
| unanalyzed | call on java.lang.String:toLowerCase |
| unanalyzed | call on setBody |
| unanalyzed | call on net.sourceforge.pebble.util. StringUtils:filterHTML |
| unanalyzed | call on net.sourceforge.pebble.util. StringUtils:transformHTML |
| unanalyzed | call on net.sourceforge.pebble.util. StringUtils:transformToHTMLSubset |
| unanalyzed | call on setAuthor |
| unanalyzed | call on getWebsite |
| unanalyzed | call on setWebsite |
| unanalyzed | call on getEmail |
| unanalyzed | call on setEmail |
| unanalyzed | call on setTitle |
| unanalyzed | call on setExcerpt |
| unanalyzed | call on getBlogName |
| unanalyzed | call on setBlogName |
| unanalyzed | call on setUrl |
| unanalyzed | call on getComments |
| unanalyzed | call on getTrackBacks |
| unanalyzed | call on net.sourceforge.pebble.PebbleContext:getIns tance |
| unanalyzed | call on net.sourceforge.pebble.PebbleContext:getCon figuration |
| unanalyzed | call on getSecurityRealm |
| unanalyzed | call on net.sourceforge.pebble.security. SecurityRealm:getUser |
| unanalyzed | call on org.apache.commons.logging.Log:error |
| unanalyzed | call on getPermalinkProvider |
| unanalyzed | call on getPermalink |
| unanalyzed | call on net.sourceforge.pebble.api.event.blogentry. BlogEntryEvent:getSource |
| unanalyzed | call on getState |
| unanalyzed | call on areEventsEnabled |
| unanalyzed | call on isApproved |
| unanalyzed | call on net.sourceforge.pebble.api.event. PebbleEvent |
| unanalyzed | call on isRejected |
| unanalyzed | call on net.sourceforge.pebble.domain.Content |
| unanalyzed | call on java.util.Date |
| unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:getBlog |
| unanalyzed | call on net.sourceforge.pebble.domain. Blog:getCalendar |
| unanalyzed | call on java.util.Calendar:setTime |
| unanalyzed | call on java.util.Calendar:getTime |
| unanalyzed | call on setState |
| unanalyzed | call on getBlogEntry |
| unanalyzed | call on java.util.EventObject |
| unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:addEvent |
| unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:getTitle |
| unanalyzed | call on net.sourceforge.pebble.domain.Response |
| unanalyzed | call on net.sourceforge.pebble.domain.TrackBack |
| unanalyzed | call on java.util.HashSet |
| unanalyzed | call on java.beans.PropertyChangeSupport:fireProper tyChange |
| unanalyzed | call on java.util.Date:getTime |
| unanalyzed | call on java.util.Set:contains |
| unanalyzed | call on java.util.Set:add |
| unanalyzed | call on java.lang.String:startsWith |
| unanalyzed | call on net.sourceforge.pebble.domain.Comment |
| unanalyzed | call on getComment |
| unanalyzed | call on addComment |
| unanalyzed | call on java.util.List:contains |
| unanalyzed | call on java.util.List:add |
| unanalyzed | call on net.sourceforge.pebble.domain.BlogEntry |
| unanalyzed | call on setEventsEnabled |
| unanalyzed | call on java.lang.String:equals |
| unanalyzed | call on java.util.Set:iterator |
| unanalyzed | call on java.lang.String:split |
| unanalyzed | call on getAllTags |
| unanalyzed | call on getTagsAsList |
| unanalyzed | call on addTrackBack |
| unanalyzed | call on java.util.List:addAll |
| unanalyzed | call on java.beans.PropertyChangeSupport |
| unanalyzed | call on java.beans.PropertyChangeSupport:addPropert yChangeListener |
| unanalyzed | call on java.util.LinkedList |
| unanalyzed | call on setDate |
| unanalyzed | call on java.util.Set:size |
| unanalyzed | call on java.util.Collections:reverse |
| unanalyzed | call on getRootCategory |
| unanalyzed | call on net.sourceforge.pebble.domain. Response:setState |
| method | void sendNotification(BlogEntry) |
| pre | blogEntry != null |
| pre | blogEntry.blog != null |
| pre | blogEntry.blog.decoratorChain != null |
| pre | blogEntry.blog.decoratorChain.decorators != null |
| pre | blogEntry.blog.emailSubscriptionList != null |
| pre | init'ed(blogEntry.blog.emailSubscriptionList. emailAddresses) |
| pre | init'ed(blogEntry.date) |
| pre | init'ed(blogEntry.excerpt) |
| pre | init'ed(blogEntry.title) |
| pre | init'ed(blogEntry.permalink) |
| pre | init'ed(blogEntry.user) |
| pre | (soft) init'ed(blogEntry.author) |
| pre | (soft) init'ed(blogEntry.blog.id) |
| pre | (soft) blogEntry.blog.permalinkProvider != null |
| pre | (soft) init'ed(blogEntry.body) |
| pre | (soft) blogEntry.comments != null |
| pre | (soft) init'ed(blogEntry.trackBacks) |
| pre | (soft) net/sourceforge/pebble/domain/BlogManager. instance != null |
| pre | (soft) init'ed(net/sourceforge/pebble/domain/BlogMa nager.instance.multiBlog) |
| post | init'ed(blogEntry.permalink) |
| post | init'ed(blogEntry.user) |
| unanalyzed | call on getUrl |
| unanalyzed | call on java.util.ArrayList |
| unanalyzed | call on java.util.Collections:sort |
| unanalyzed | call on java.util.List:iterator |
| unanalyzed | call on decorate |
| unanalyzed | call on java.lang.String:length |
| unanalyzed | call on java.util.regex.Pattern:matcher |
| unanalyzed | call on java.util.regex.Matcher:find |
| unanalyzed | call on java.util.regex.Matcher:start |
| unanalyzed | call on java.util.regex.Matcher:end |
| unanalyzed | call on java.lang.String:substring |
| unanalyzed | call on java.lang.String:indexOf |
| unanalyzed | call on java.lang.String:toLowerCase |
| unanalyzed | call on getBody |
| unanalyzed | call on setBody |
| unanalyzed | call on net.sourceforge.pebble.util. StringUtils:filterHTML |
| unanalyzed | call on net.sourceforge.pebble.util. StringUtils:transformHTML |
| unanalyzed | call on net.sourceforge.pebble.util. StringUtils:transformToHTMLSubset |
| unanalyzed | call on getAuthor |
| unanalyzed | call on setAuthor |
| unanalyzed | call on getWebsite |
| unanalyzed | call on setWebsite |
| unanalyzed | call on getEmail |
| unanalyzed | call on setEmail |
| unanalyzed | call on getTitle |
| unanalyzed | call on setTitle |
| unanalyzed | call on getExcerpt |
| unanalyzed | call on setExcerpt |
| unanalyzed | call on getBlogName |
| unanalyzed | call on setBlogName |
| unanalyzed | call on setUrl |
| unanalyzed | call on getComments |
| unanalyzed | call on getTrackBacks |
| unanalyzed | call on net.sourceforge.pebble.PebbleContext:getIns tance |
| unanalyzed | call on net.sourceforge.pebble.PebbleContext:getCon figuration |
| unanalyzed | call on getSecurityRealm |
| unanalyzed | call on net.sourceforge.pebble.security. SecurityRealm:getUser |
| unanalyzed | call on org.apache.commons.logging.Log:error |
| unanalyzed | call on java.lang.String:valueOf |
| unanalyzed | call on getPermalinkProvider |
| unanalyzed | call on getPermalink |
| unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:getTitle |
| unanalyzed | call on java.lang.String:startsWith |
| unanalyzed | call on java.util.List:add |
| unanalyzed | call on java.util.List:addAll |
| test_vector | blogEntry.excerpt: Addr_Set{null}, Inverse{null} |
| test_vector | java.lang.String:length(...)@82: {0}, {1..232-1} |