//# 11 errors, 627 messages
//#
package net.sourceforge.pebble.index;
    //#blogentryindexlistener.java:1:1: class: net.sourceforge.pebble.index.BlogEntryIndexListener
    //#blogentryindexlistener.java:1:1: method: net.sourceforge.pebble.index.BlogEntryIndexListener.net.sourceforge.pebble.index.BlogEntryIndexListener__static_init

import net.sourceforge.pebble.domain.BlogEntry;
import net.sourceforge.pebble.api.event.blogentry.BlogEntryEvent;
import net.sourceforge.pebble.api.event.blogentry.BlogEntryListener;

/**
 * Listens to blog entry events and keeps the blog entry index up to date.
 *
 * @author    Simon Brown
 */
public class BlogEntryIndexListener implements BlogEntryListener {
    //#blogentryindexlistener.java:12: method: void net.sourceforge.pebble.index.BlogEntryIndexListener.net.sourceforge.pebble.index.BlogEntryIndexListener()
    //#blogentryindexlistener.java:12: end of method: void net.sourceforge.pebble.index.BlogEntryIndexListener.net.sourceforge.pebble.index.BlogEntryIndexListener()

  /**
   * Called when a blog entry has been added.
   *
   * @param event a BlogEntryEvent instance
   */
  public void blogEntryAdded(BlogEntryEvent event) {
    BlogEntry blogEntry = event.getBlogEntry();
    //#blogentryindexlistener.java:20: method: void net.sourceforge.pebble.index.BlogEntryIndexListener.blogEntryAdded(BlogEntryEvent)
    //#input(void blogEntryAdded(BlogEntryEvent)): event
    //#input(void blogEntryAdded(BlogEntryEvent)): event.__Tag
    //#input(void blogEntryAdded(BlogEntryEvent)): net.sourceforge.pebble.domain.State__static_init.new State(State__static_init#5).__Tag
    //#input(void blogEntryAdded(BlogEntryEvent)): net.sourceforge.pebble.domain.State__static_init.new State(State__static_init#5).name
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/api/event/blogentry/BlogEntryEvent.__Descendant_Table[net/sourceforge/pebble/api/event/blogentry/BlogEntryEvent]
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/api/event/blogentry/BlogEntryEvent.__Descendant_Table[others]
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/api/event/blogentry/BlogEntryEvent.__Dispatch_Table.getBlogEntry()Lnet/sourceforge/pebble/domain/BlogEntry;
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/domain/AbstractBlog.__Descendant_Table[net/sourceforge/pebble/domain/AbstractBlog]
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/domain/AbstractBlog.__Descendant_Table[net/sourceforge/pebble/domain/Blog]
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/domain/AbstractBlog.__Descendant_Table[net/sourceforge/pebble/domain/MultiBlog]
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/domain/AbstractBlog.__Descendant_Table[others]
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/domain/AbstractBlog.__Dispatch_Table.getCountry()Ljava/lang/String;
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/domain/AbstractBlog.__Dispatch_Table.getLanguage()Ljava/lang/String;
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/domain/AbstractBlog.__Dispatch_Table.getLocale()Ljava/util/Locale;
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/domain/AbstractBlog.__Dispatch_Table.getTimeZone()Ljava/util/TimeZone;
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/domain/AbstractBlog.__Dispatch_Table.getTimeZoneId()Ljava/lang/String;
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/domain/Blog.__Descendant_Table[net/sourceforge/pebble/domain/Blog]
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/domain/Blog.__Descendant_Table[others]
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/domain/Blog.__Dispatch_Table.getBlogEntryIndex()Lnet/sourceforge/pebble/index/BlogEntryIndex;
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/domain/Blog.__Dispatch_Table.getBlogForDay(III)Lnet/sourceforge/pebble/domain/Day;
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/domain/Blog.__Dispatch_Table.getBlogForDay(Ljava/util/Date;)Lnet/sourceforge/pebble/domain/Day;
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/domain/Blog.__Dispatch_Table.getBlogForMonth(II)Lnet/sourceforge/pebble/domain/Month;
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/domain/Blog.__Dispatch_Table.getBlogForYear(I)Lnet/sourceforge/pebble/domain/Year;
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/domain/Blog.__Dispatch_Table.getCalendar()Ljava/util/Calendar;
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/domain/Blog.__Dispatch_Table.getCountry()Ljava/lang/String;
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/domain/Blog.__Dispatch_Table.getLanguage()Ljava/lang/String;
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/domain/Blog.__Dispatch_Table.getLocale()Ljava/util/Locale;
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/domain/Blog.__Dispatch_Table.getTimeZone()Ljava/util/TimeZone;
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/domain/Blog.__Dispatch_Table.getTimeZoneId()Ljava/lang/String;
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/domain/BlogEntry.__Descendant_Table[net/sourceforge/pebble/domain/BlogEntry]
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/domain/BlogEntry.__Descendant_Table[others]
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/domain/BlogEntry.__Dispatch_Table.getBlog()Lnet/sourceforge/pebble/domain/Blog;
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/domain/BlogEntry.__Dispatch_Table.getDate()Ljava/util/Date;
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/domain/BlogEntry.__Dispatch_Table.getId()Ljava/lang/String;
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/domain/BlogEntry.__Dispatch_Table.getState()Lnet/sourceforge/pebble/domain/State;
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/domain/BlogEntry.__Dispatch_Table.isPublished()Z
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/domain/Day.__Descendant_Table[net/sourceforge/pebble/domain/Day]
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/domain/Day.__Descendant_Table[others]
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/domain/Day.__Dispatch_Table.addPublishedBlogEntry(Ljava/lang/String;)V
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/domain/Day.__Dispatch_Table.addUnpublishedBlogEntry(Ljava/lang/String;)V
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/domain/Day.__Dispatch_Table.getBlog()Lnet/sourceforge/pebble/domain/Blog;
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/domain/Day.__Dispatch_Table.getDay()I
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/domain/Day.__Dispatch_Table.getMonth()Lnet/sourceforge/pebble/domain/Month;
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/domain/Day.__Dispatch_Table.setDate(Ljava/util/Date;)V
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/domain/Month.__Descendant_Table[net/sourceforge/pebble/domain/Month]
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/domain/Month.__Descendant_Table[others]
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/domain/Month.__Dispatch_Table.getBlog()Lnet/sourceforge/pebble/domain/Blog;
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/domain/Month.__Dispatch_Table.getBlogForDay(I)Lnet/sourceforge/pebble/domain/Day;
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/domain/Month.__Dispatch_Table.getDate()Ljava/util/Date;
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/domain/Month.__Dispatch_Table.getMonth()I
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/domain/Month.__Dispatch_Table.getYear()Lnet/sourceforge/pebble/domain/Year;
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/domain/Month.__Dispatch_Table.setDate(Ljava/util/Date;)V
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/domain/MultiBlog.__Dispatch_Table.getCountry()Ljava/lang/String;
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/domain/MultiBlog.__Dispatch_Table.getLanguage()Ljava/lang/String;
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/domain/MultiBlog.__Dispatch_Table.getLocale()Ljava/util/Locale;
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/domain/MultiBlog.__Dispatch_Table.getTimeZone()Ljava/util/TimeZone;
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/domain/MultiBlog.__Dispatch_Table.getTimeZoneId()Ljava/lang/String;
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/domain/PageBasedContent.__Descendant_Table[net/sourceforge/pebble/domain/BlogEntry]
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/domain/PageBasedContent.__Descendant_Table[net/sourceforge/pebble/domain/PageBasedContent]
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/domain/PageBasedContent.__Descendant_Table[net/sourceforge/pebble/domain/StaticPage]
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/domain/PageBasedContent.__Descendant_Table[others]
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/domain/PageBasedContent.__Dispatch_Table.getState()Lnet/sourceforge/pebble/domain/State;
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/domain/State.PUBLISHED
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/domain/State.__Descendant_Table[net/sourceforge/pebble/domain/State]
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/domain/State.__Descendant_Table[others]
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/domain/State.__Dispatch_Table.equals(Ljava/lang/Object;)Z
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/domain/State.__Dispatch_Table.getName()Ljava/lang/String;
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/domain/StaticPage.__Dispatch_Table.getState()Lnet/sourceforge/pebble/domain/State;
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/domain/Year.__Descendant_Table[net/sourceforge/pebble/domain/Year]
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/domain/Year.__Descendant_Table[others]
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/domain/Year.__Dispatch_Table.getBlog()Lnet/sourceforge/pebble/domain/Blog;
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/domain/Year.__Dispatch_Table.getBlogForMonth(I)Lnet/sourceforge/pebble/domain/Month;
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/domain/Year.__Dispatch_Table.getYear()I
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/domain/Year.__Dispatch_Table.setDate(Ljava/util/Date;)V
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/index/BlogEntryIndex.__Descendant_Table[net/sourceforge/pebble/index/BlogEntryIndex]
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/index/BlogEntryIndex.__Descendant_Table[others]
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/index/BlogEntryIndex.__Dispatch_Table.index(Lnet/sourceforge/pebble/domain/BlogEntry;)V
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/index/BlogEntryIndex.log
    //#pre[1] (void blogEntryAdded(BlogEntryEvent)): event != null
    //#pre[2] (void blogEntryAdded(BlogEntryEvent)): event.__Tag == net/sourceforge/pebble/api/event/blogentry/BlogEntryEvent
    //#pre[3] (void blogEntryAdded(BlogEntryEvent)): (soft) net.sourceforge.pebble.domain.State__static_init.new State(State__static_init#5).name != null
    //#presumption(void blogEntryAdded(BlogEntryEvent)): blogEntry.blog@20 != null
    //#presumption(void blogEntryAdded(BlogEntryEvent)): blogEntry.state.__Tag@20 == net/sourceforge/pebble/domain/State
    //#presumption(void blogEntryAdded(BlogEntryEvent)): blogEntry.state@20 != null
    //#presumption(void blogEntryAdded(BlogEntryEvent)): getBlog(...).blogEntryIndex@20 != null
    //#presumption(void blogEntryAdded(BlogEntryEvent)): getBlogEntryIndex(...).blog.__Tag@20 == net/sourceforge/pebble/domain/Blog
    //#presumption(void blogEntryAdded(BlogEntryEvent)): getBlogEntryIndex(...).blog.properties@20 != null
    //#presumption(void blogEntryAdded(BlogEntryEvent)): getBlogEntryIndex(...).blog.years@20 != null
    //#presumption(void blogEntryAdded(BlogEntryEvent)): getBlogEntryIndex(...).blog@20 != null
    //#presumption(void blogEntryAdded(BlogEntryEvent)): getBlogEntryIndex(...).indexEntries@20 != null
    //#presumption(void blogEntryAdded(BlogEntryEvent)): getBlogEntryIndex(...).publishedIndexEntries@20 != null
    //#presumption(void blogEntryAdded(BlogEntryEvent)): getBlogEntryIndex(...).unpublishedIndexEntries@20 != null
    //#presumption(void blogEntryAdded(BlogEntryEvent)): net.sourceforge.pebble.api.event.blogentry.BlogEntryEvent:getSource(...)@91 != null
    //#presumption(void blogEntryAdded(BlogEntryEvent)): net.sourceforge.pebble.api.event.blogentry.BlogEntryEvent:getSource(...)@91.__Tag is init'ed
    //#unanalyzed(void blogEntryAdded(BlogEntryEvent)): Effects-of-calling:net.sourceforge.pebble.api.event.blogentry.BlogEntryEvent:getSource
    //#unanalyzed(void blogEntryAdded(BlogEntryEvent)): Effects-of-calling:net.sourceforge.pebble.domain.Blog:getIndexesDirectory
    //#unanalyzed(void blogEntryAdded(BlogEntryEvent)): Effects-of-calling:java.io.File
    //#unanalyzed(void blogEntryAdded(BlogEntryEvent)): Effects-of-calling:java.io.FileWriter
    //#unanalyzed(void blogEntryAdded(BlogEntryEvent)): Effects-of-calling:java.io.BufferedWriter
    //#unanalyzed(void blogEntryAdded(BlogEntryEvent)): Effects-of-calling:java.util.List:iterator
    //#unanalyzed(void blogEntryAdded(BlogEntryEvent)): Effects-of-calling:java.util.Iterator:hasNext
    //#unanalyzed(void blogEntryAdded(BlogEntryEvent)): Effects-of-calling:java.util.Iterator:next
    //#unanalyzed(void blogEntryAdded(BlogEntryEvent)): Effects-of-calling:java.io.BufferedWriter:write
    //#unanalyzed(void blogEntryAdded(BlogEntryEvent)): Effects-of-calling:java.io.BufferedWriter:newLine
    //#unanalyzed(void blogEntryAdded(BlogEntryEvent)): Effects-of-calling:java.io.BufferedWriter:flush
    //#unanalyzed(void blogEntryAdded(BlogEntryEvent)): Effects-of-calling:java.io.BufferedWriter:close
    //#unanalyzed(void blogEntryAdded(BlogEntryEvent)): Effects-of-calling:org.apache.commons.logging.Log:error
    //#unanalyzed(void blogEntryAdded(BlogEntryEvent)): Effects-of-calling:getDate
    //#unanalyzed(void blogEntryAdded(BlogEntryEvent)): Effects-of-calling:getBlogForDay
    //#unanalyzed(void blogEntryAdded(BlogEntryEvent)): Effects-of-calling:getId
    //#unanalyzed(void blogEntryAdded(BlogEntryEvent)): Effects-of-calling:isPublished
    //#unanalyzed(void blogEntryAdded(BlogEntryEvent)): Effects-of-calling:java.util.List:add
    //#unanalyzed(void blogEntryAdded(BlogEntryEvent)): Effects-of-calling:addPublishedBlogEntry
    //#unanalyzed(void blogEntryAdded(BlogEntryEvent)): Effects-of-calling:addUnpublishedBlogEntry
    //#unanalyzed(void blogEntryAdded(BlogEntryEvent)): Effects-of-calling:java.util.Collections:sort
    //#unanalyzed(void blogEntryAdded(BlogEntryEvent)): Effects-of-calling:java.util.Properties:getProperty
    //#unanalyzed(void blogEntryAdded(BlogEntryEvent)): Effects-of-calling:getTimeZone
    //#unanalyzed(void blogEntryAdded(BlogEntryEvent)): Effects-of-calling:getLocale
    //#unanalyzed(void blogEntryAdded(BlogEntryEvent)): Effects-of-calling:java.util.Calendar:getInstance
    //#unanalyzed(void blogEntryAdded(BlogEntryEvent)): Effects-of-calling:java.util.Locale
    //#unanalyzed(void blogEntryAdded(BlogEntryEvent)): Effects-of-calling:java.util.TimeZone:getTimeZone
    //#unanalyzed(void blogEntryAdded(BlogEntryEvent)): Effects-of-calling:java.util.Calendar:get
    //#unanalyzed(void blogEntryAdded(BlogEntryEvent)): Effects-of-calling:getBlogForMonth
    //#unanalyzed(void blogEntryAdded(BlogEntryEvent)): Effects-of-calling:java.util.Calendar:setTime
    //#unanalyzed(void blogEntryAdded(BlogEntryEvent)): Effects-of-calling:java.lang.StringBuilder
    //#unanalyzed(void blogEntryAdded(BlogEntryEvent)): Effects-of-calling:java.lang.StringBuilder:append
    //#unanalyzed(void blogEntryAdded(BlogEntryEvent)): Effects-of-calling:java.lang.StringBuilder:toString
    //#unanalyzed(void blogEntryAdded(BlogEntryEvent)): Effects-of-calling:java.lang.IllegalArgumentException
    //#unanalyzed(void blogEntryAdded(BlogEntryEvent)): Effects-of-calling:getBlog
    //#unanalyzed(void blogEntryAdded(BlogEntryEvent)): Effects-of-calling:net.sourceforge.pebble.domain.Blog:getCalendar
    //#unanalyzed(void blogEntryAdded(BlogEntryEvent)): Effects-of-calling:java.util.Calendar:set
    //#unanalyzed(void blogEntryAdded(BlogEntryEvent)): Effects-of-calling:java.util.Calendar:getTime
    //#unanalyzed(void blogEntryAdded(BlogEntryEvent)): Effects-of-calling:setDate
    //#unanalyzed(void blogEntryAdded(BlogEntryEvent)): Effects-of-calling:net.sourceforge.pebble.domain.Month
    //#unanalyzed(void blogEntryAdded(BlogEntryEvent)): Effects-of-calling:net.sourceforge.pebble.domain.TimePeriod
    //#unanalyzed(void blogEntryAdded(BlogEntryEvent)): Effects-of-calling:java.util.List:remove
    //#unanalyzed(void blogEntryAdded(BlogEntryEvent)): Effects-of-calling:java.lang.String:equals
    //#unanalyzed(void blogEntryAdded(BlogEntryEvent)): Effects-of-calling:java.util.List:contains
    //#unanalyzed(void blogEntryAdded(BlogEntryEvent)): Effects-of-calling:getMonth
    //#unanalyzed(void blogEntryAdded(BlogEntryEvent)): Effects-of-calling:java.util.Calendar:getActualMaximum
    //#unanalyzed(void blogEntryAdded(BlogEntryEvent)): Effects-of-calling:getYear
    //#unanalyzed(void blogEntryAdded(BlogEntryEvent)): Effects-of-calling:net.sourceforge.pebble.domain.Month:getBlog
    //#unanalyzed(void blogEntryAdded(BlogEntryEvent)): Effects-of-calling:java.util.ArrayList
    blogEntry.getBlog().getBlogEntryIndex().index(blogEntry);
    //#blogentryindexlistener.java:21: ?null dereference
    //#    net/sourceforge/pebble/domain/BlogEntry.__Descendant_Table[blogEntry.__Tag] != null
    //#    severity: SUPPRESSED
    //#    class: net.sourceforge.pebble.index.BlogEntryIndexListener
    //#    method: void blogEntryAdded(BlogEntryEvent)
    //#    basic block: Entry_BB_1
    //#    assertion: net/sourceforge/pebble/domain/BlogEntry.__Descendant_Table[blogEntry.__Tag] != null
    //#    VN: net/sourceforge/pebble/domain/BlogEntry.__Descendant_Table[blogEntry.__Tag]
    //#    Expected: Inverse{null}
    //#    Bad: Addr_Set{null}
    //#    Attribs:  Ptr  null in Bad
    //#blogentryindexlistener.java:21: ?null dereference
    //#    net/sourceforge/pebble/domain/Blog.__Descendant_Table[getBlog(...).__Tag] != null
    //#    severity: SUPPRESSED
    //#    class: net.sourceforge.pebble.index.BlogEntryIndexListener
    //#    method: void blogEntryAdded(BlogEntryEvent)
    //#    basic block: Entry_BB_1
    //#    assertion: net/sourceforge/pebble/domain/Blog.__Descendant_Table[getBlog(...).__Tag] != null
    //#    VN: net/sourceforge/pebble/domain/Blog.__Descendant_Table[getBlog(...).__Tag]
    //#    Expected: Inverse{null}
    //#    Bad: Addr_Set{null}
    //#    Attribs:  Ptr  null in Bad
    //#blogentryindexlistener.java:21: ?null dereference
    //#    net/sourceforge/pebble/index/BlogEntryIndex.__Descendant_Table[getBlogEntryIndex(...).__Tag] != null
    //#    severity: SUPPRESSED
    //#    class: net.sourceforge.pebble.index.BlogEntryIndexListener
    //#    method: void blogEntryAdded(BlogEntryEvent)
    //#    basic block: Entry_BB_1
    //#    assertion: net/sourceforge/pebble/index/BlogEntryIndex.__Descendant_Table[getBlogEntryIndex(...).__Tag] != null
    //#    VN: net/sourceforge/pebble/index/BlogEntryIndex.__Descendant_Table[getBlogEntryIndex(...).__Tag]
    //#    Expected: Inverse{null}
    //#    Bad: Addr_Set{null}
    //#    Attribs:  Ptr  null in Bad
  }
    //#blogentryindexlistener.java:22: end of method: void net.sourceforge.pebble.index.BlogEntryIndexListener.blogEntryAdded(BlogEntryEvent)

  /**
   * Called when a blog entry has been removed.
   *
   * @param event a BlogEntryEvent instance
   */
  public void blogEntryRemoved(BlogEntryEvent event) {
    BlogEntry blogEntry = event.getBlogEntry();
    //#blogentryindexlistener.java:30: method: void net.sourceforge.pebble.index.BlogEntryIndexListener.blogEntryRemoved(BlogEntryEvent)
    //#input(void blogEntryRemoved(BlogEntryEvent)): event
    //#input(void blogEntryRemoved(BlogEntryEvent)): event.__Tag
    //#input(void blogEntryRemoved(BlogEntryEvent)): net/sourceforge/pebble/api/event/blogentry/BlogEntryEvent.__Descendant_Table[net/sourceforge/pebble/api/event/blogentry/BlogEntryEvent]
    //#input(void blogEntryRemoved(BlogEntryEvent)): net/sourceforge/pebble/api/event/blogentry/BlogEntryEvent.__Descendant_Table[others]
    //#input(void blogEntryRemoved(BlogEntryEvent)): net/sourceforge/pebble/api/event/blogentry/BlogEntryEvent.__Dispatch_Table.getBlogEntry()Lnet/sourceforge/pebble/domain/BlogEntry;
    //#input(void blogEntryRemoved(BlogEntryEvent)): net/sourceforge/pebble/domain/AbstractBlog.__Descendant_Table[net/sourceforge/pebble/domain/AbstractBlog]
    //#input(void blogEntryRemoved(BlogEntryEvent)): net/sourceforge/pebble/domain/AbstractBlog.__Descendant_Table[net/sourceforge/pebble/domain/Blog]
    //#input(void blogEntryRemoved(BlogEntryEvent)): net/sourceforge/pebble/domain/AbstractBlog.__Descendant_Table[net/sourceforge/pebble/domain/MultiBlog]
    //#input(void blogEntryRemoved(BlogEntryEvent)): net/sourceforge/pebble/domain/AbstractBlog.__Descendant_Table[others]
    //#input(void blogEntryRemoved(BlogEntryEvent)): net/sourceforge/pebble/domain/AbstractBlog.__Dispatch_Table.getCountry()Ljava/lang/String;
    //#input(void blogEntryRemoved(BlogEntryEvent)): net/sourceforge/pebble/domain/AbstractBlog.__Dispatch_Table.getLanguage()Ljava/lang/String;
    //#input(void blogEntryRemoved(BlogEntryEvent)): net/sourceforge/pebble/domain/AbstractBlog.__Dispatch_Table.getLocale()Ljava/util/Locale;
    //#input(void blogEntryRemoved(BlogEntryEvent)): net/sourceforge/pebble/domain/AbstractBlog.__Dispatch_Table.getTimeZone()Ljava/util/TimeZone;
    //#input(void blogEntryRemoved(BlogEntryEvent)): net/sourceforge/pebble/domain/AbstractBlog.__Dispatch_Table.getTimeZoneId()Ljava/lang/String;
    //#input(void blogEntryRemoved(BlogEntryEvent)): net/sourceforge/pebble/domain/Blog.__Descendant_Table[net/sourceforge/pebble/domain/Blog]
    //#input(void blogEntryRemoved(BlogEntryEvent)): net/sourceforge/pebble/domain/Blog.__Descendant_Table[others]
    //#input(void blogEntryRemoved(BlogEntryEvent)): net/sourceforge/pebble/domain/Blog.__Dispatch_Table.getBlogEntryIndex()Lnet/sourceforge/pebble/index/BlogEntryIndex;
    //#input(void blogEntryRemoved(BlogEntryEvent)): net/sourceforge/pebble/domain/Blog.__Dispatch_Table.getBlogForDay(III)Lnet/sourceforge/pebble/domain/Day;
    //#input(void blogEntryRemoved(BlogEntryEvent)): net/sourceforge/pebble/domain/Blog.__Dispatch_Table.getBlogForDay(Ljava/util/Date;)Lnet/sourceforge/pebble/domain/Day;
    //#input(void blogEntryRemoved(BlogEntryEvent)): net/sourceforge/pebble/domain/Blog.__Dispatch_Table.getBlogForMonth(II)Lnet/sourceforge/pebble/domain/Month;
    //#input(void blogEntryRemoved(BlogEntryEvent)): net/sourceforge/pebble/domain/Blog.__Dispatch_Table.getBlogForYear(I)Lnet/sourceforge/pebble/domain/Year;
    //#input(void blogEntryRemoved(BlogEntryEvent)): net/sourceforge/pebble/domain/Blog.__Dispatch_Table.getCalendar()Ljava/util/Calendar;
    //#input(void blogEntryRemoved(BlogEntryEvent)): net/sourceforge/pebble/domain/Blog.__Dispatch_Table.getCountry()Ljava/lang/String;
    //#input(void blogEntryRemoved(BlogEntryEvent)): net/sourceforge/pebble/domain/Blog.__Dispatch_Table.getLanguage()Ljava/lang/String;
    //#input(void blogEntryRemoved(BlogEntryEvent)): net/sourceforge/pebble/domain/Blog.__Dispatch_Table.getLocale()Ljava/util/Locale;
    //#input(void blogEntryRemoved(BlogEntryEvent)): net/sourceforge/pebble/domain/Blog.__Dispatch_Table.getTimeZone()Ljava/util/TimeZone;
    //#input(void blogEntryRemoved(BlogEntryEvent)): net/sourceforge/pebble/domain/Blog.__Dispatch_Table.getTimeZoneId()Ljava/lang/String;
    //#input(void blogEntryRemoved(BlogEntryEvent)): net/sourceforge/pebble/domain/BlogEntry.__Descendant_Table[net/sourceforge/pebble/domain/BlogEntry]
    //#input(void blogEntryRemoved(BlogEntryEvent)): net/sourceforge/pebble/domain/BlogEntry.__Descendant_Table[others]
    //#input(void blogEntryRemoved(BlogEntryEvent)): net/sourceforge/pebble/domain/BlogEntry.__Dispatch_Table.getBlog()Lnet/sourceforge/pebble/domain/Blog;
    //#input(void blogEntryRemoved(BlogEntryEvent)): net/sourceforge/pebble/domain/BlogEntry.__Dispatch_Table.getDate()Ljava/util/Date;
    //#input(void blogEntryRemoved(BlogEntryEvent)): net/sourceforge/pebble/domain/BlogEntry.__Dispatch_Table.getId()Ljava/lang/String;
    //#input(void blogEntryRemoved(BlogEntryEvent)): net/sourceforge/pebble/domain/Day.__Descendant_Table[net/sourceforge/pebble/domain/Day]
    //#input(void blogEntryRemoved(BlogEntryEvent)): net/sourceforge/pebble/domain/Day.__Descendant_Table[others]
    //#input(void blogEntryRemoved(BlogEntryEvent)): net/sourceforge/pebble/domain/Day.__Dispatch_Table.getBlog()Lnet/sourceforge/pebble/domain/Blog;
    //#input(void blogEntryRemoved(BlogEntryEvent)): net/sourceforge/pebble/domain/Day.__Dispatch_Table.getDay()I
    //#input(void blogEntryRemoved(BlogEntryEvent)): net/sourceforge/pebble/domain/Day.__Dispatch_Table.getMonth()Lnet/sourceforge/pebble/domain/Month;
    //#input(void blogEntryRemoved(BlogEntryEvent)): net/sourceforge/pebble/domain/Day.__Dispatch_Table.removeBlogEntry(Lnet/sourceforge/pebble/domain/BlogEntry;)V
    //#input(void blogEntryRemoved(BlogEntryEvent)): net/sourceforge/pebble/domain/Day.__Dispatch_Table.setDate(Ljava/util/Date;)V
    //#input(void blogEntryRemoved(BlogEntryEvent)): net/sourceforge/pebble/domain/Month.__Descendant_Table[net/sourceforge/pebble/domain/Month]
    //#input(void blogEntryRemoved(BlogEntryEvent)): net/sourceforge/pebble/domain/Month.__Descendant_Table[others]
    //#input(void blogEntryRemoved(BlogEntryEvent)): net/sourceforge/pebble/domain/Month.__Dispatch_Table.getBlog()Lnet/sourceforge/pebble/domain/Blog;
    //#input(void blogEntryRemoved(BlogEntryEvent)): net/sourceforge/pebble/domain/Month.__Dispatch_Table.getBlogForDay(I)Lnet/sourceforge/pebble/domain/Day;
    //#input(void blogEntryRemoved(BlogEntryEvent)): net/sourceforge/pebble/domain/Month.__Dispatch_Table.getDate()Ljava/util/Date;
    //#input(void blogEntryRemoved(BlogEntryEvent)): net/sourceforge/pebble/domain/Month.__Dispatch_Table.getMonth()I
    //#input(void blogEntryRemoved(BlogEntryEvent)): net/sourceforge/pebble/domain/Month.__Dispatch_Table.getYear()Lnet/sourceforge/pebble/domain/Year;
    //#input(void blogEntryRemoved(BlogEntryEvent)): net/sourceforge/pebble/domain/Month.__Dispatch_Table.setDate(Ljava/util/Date;)V
    //#input(void blogEntryRemoved(BlogEntryEvent)): net/sourceforge/pebble/domain/MultiBlog.__Dispatch_Table.getCountry()Ljava/lang/String;
    //#input(void blogEntryRemoved(BlogEntryEvent)): net/sourceforge/pebble/domain/MultiBlog.__Dispatch_Table.getLanguage()Ljava/lang/String;
    //#input(void blogEntryRemoved(BlogEntryEvent)): net/sourceforge/pebble/domain/MultiBlog.__Dispatch_Table.getLocale()Ljava/util/Locale;
    //#input(void blogEntryRemoved(BlogEntryEvent)): net/sourceforge/pebble/domain/MultiBlog.__Dispatch_Table.getTimeZone()Ljava/util/TimeZone;
    //#input(void blogEntryRemoved(BlogEntryEvent)): net/sourceforge/pebble/domain/MultiBlog.__Dispatch_Table.getTimeZoneId()Ljava/lang/String;
    //#input(void blogEntryRemoved(BlogEntryEvent)): net/sourceforge/pebble/domain/Year.__Descendant_Table[net/sourceforge/pebble/domain/Year]
    //#input(void blogEntryRemoved(BlogEntryEvent)): net/sourceforge/pebble/domain/Year.__Descendant_Table[others]
    //#input(void blogEntryRemoved(BlogEntryEvent)): net/sourceforge/pebble/domain/Year.__Dispatch_Table.getBlog()Lnet/sourceforge/pebble/domain/Blog;
    //#input(void blogEntryRemoved(BlogEntryEvent)): net/sourceforge/pebble/domain/Year.__Dispatch_Table.getBlogForMonth(I)Lnet/sourceforge/pebble/domain/Month;
    //#input(void blogEntryRemoved(BlogEntryEvent)): net/sourceforge/pebble/domain/Year.__Dispatch_Table.getYear()I
    //#input(void blogEntryRemoved(BlogEntryEvent)): net/sourceforge/pebble/domain/Year.__Dispatch_Table.setDate(Ljava/util/Date;)V
    //#input(void blogEntryRemoved(BlogEntryEvent)): net/sourceforge/pebble/index/BlogEntryIndex.__Descendant_Table[net/sourceforge/pebble/index/BlogEntryIndex]
    //#input(void blogEntryRemoved(BlogEntryEvent)): net/sourceforge/pebble/index/BlogEntryIndex.__Descendant_Table[others]
    //#input(void blogEntryRemoved(BlogEntryEvent)): net/sourceforge/pebble/index/BlogEntryIndex.__Dispatch_Table.unindex(Lnet/sourceforge/pebble/domain/BlogEntry;)V
    //#input(void blogEntryRemoved(BlogEntryEvent)): net/sourceforge/pebble/index/BlogEntryIndex.log
    //#pre[1] (void blogEntryRemoved(BlogEntryEvent)): event != null
    //#pre[2] (void blogEntryRemoved(BlogEntryEvent)): event.__Tag == net/sourceforge/pebble/api/event/blogentry/BlogEntryEvent
    //#presumption(void blogEntryRemoved(BlogEntryEvent)): blogEntry.blog@30 != null
    //#presumption(void blogEntryRemoved(BlogEntryEvent)): getBlog(...).__Tag@30 == net/sourceforge/pebble/domain/Blog
    //#presumption(void blogEntryRemoved(BlogEntryEvent)): getBlog(...).blogEntryIndex@30 != null
    //#presumption(void blogEntryRemoved(BlogEntryEvent)): getBlogEntryIndex(...).__Tag@30 == net/sourceforge/pebble/index/BlogEntryIndex
    //#presumption(void blogEntryRemoved(BlogEntryEvent)): getBlogEntryIndex(...).blog.__Tag@30 == net/sourceforge/pebble/domain/Blog
    //#presumption(void blogEntryRemoved(BlogEntryEvent)): getBlogEntryIndex(...).blog.properties@30 != null
    //#presumption(void blogEntryRemoved(BlogEntryEvent)): getBlogEntryIndex(...).blog.years@30 != null
    //#presumption(void blogEntryRemoved(BlogEntryEvent)): getBlogEntryIndex(...).blog@30 != null
    //#presumption(void blogEntryRemoved(BlogEntryEvent)): getBlogEntryIndex(...).indexEntries@30 != null
    //#presumption(void blogEntryRemoved(BlogEntryEvent)): getBlogEntryIndex(...).publishedIndexEntries@30 != null
    //#presumption(void blogEntryRemoved(BlogEntryEvent)): getBlogEntryIndex(...).unpublishedIndexEntries@30 != null
    //#presumption(void blogEntryRemoved(BlogEntryEvent)): net.sourceforge.pebble.api.event.blogentry.BlogEntryEvent:getSource(...)@91 != null
    //#presumption(void blogEntryRemoved(BlogEntryEvent)): net.sourceforge.pebble.api.event.blogentry.BlogEntryEvent:getSource(...)@91.__Tag == net/sourceforge/pebble/domain/BlogEntry
    //#unanalyzed(void blogEntryRemoved(BlogEntryEvent)): Effects-of-calling:net.sourceforge.pebble.api.event.blogentry.BlogEntryEvent:getSource
    //#unanalyzed(void blogEntryRemoved(BlogEntryEvent)): Effects-of-calling:net.sourceforge.pebble.domain.Blog:getIndexesDirectory
    //#unanalyzed(void blogEntryRemoved(BlogEntryEvent)): Effects-of-calling:java.io.File
    //#unanalyzed(void blogEntryRemoved(BlogEntryEvent)): Effects-of-calling:java.io.FileWriter
    //#unanalyzed(void blogEntryRemoved(BlogEntryEvent)): Effects-of-calling:java.io.BufferedWriter
    //#unanalyzed(void blogEntryRemoved(BlogEntryEvent)): Effects-of-calling:java.util.List:iterator
    //#unanalyzed(void blogEntryRemoved(BlogEntryEvent)): Effects-of-calling:java.util.Iterator:hasNext
    //#unanalyzed(void blogEntryRemoved(BlogEntryEvent)): Effects-of-calling:java.util.Iterator:next
    //#unanalyzed(void blogEntryRemoved(BlogEntryEvent)): Effects-of-calling:java.io.BufferedWriter:write
    //#unanalyzed(void blogEntryRemoved(BlogEntryEvent)): Effects-of-calling:java.io.BufferedWriter:newLine
    //#unanalyzed(void blogEntryRemoved(BlogEntryEvent)): Effects-of-calling:java.io.BufferedWriter:flush
    //#unanalyzed(void blogEntryRemoved(BlogEntryEvent)): Effects-of-calling:java.io.BufferedWriter:close
    //#unanalyzed(void blogEntryRemoved(BlogEntryEvent)): Effects-of-calling:org.apache.commons.logging.Log:error
    //#unanalyzed(void blogEntryRemoved(BlogEntryEvent)): Effects-of-calling:getDate
    //#unanalyzed(void blogEntryRemoved(BlogEntryEvent)): Effects-of-calling:getBlogForDay
    //#unanalyzed(void blogEntryRemoved(BlogEntryEvent)): Effects-of-calling:removeBlogEntry
    //#unanalyzed(void blogEntryRemoved(BlogEntryEvent)): Effects-of-calling:getId
    //#unanalyzed(void blogEntryRemoved(BlogEntryEvent)): Effects-of-calling:java.util.List:remove
    //#unanalyzed(void blogEntryRemoved(BlogEntryEvent)): Effects-of-calling:java.util.List:add
    //#unanalyzed(void blogEntryRemoved(BlogEntryEvent)): Effects-of-calling:java.util.Properties:getProperty
    //#unanalyzed(void blogEntryRemoved(BlogEntryEvent)): Effects-of-calling:getTimeZone
    //#unanalyzed(void blogEntryRemoved(BlogEntryEvent)): Effects-of-calling:getLocale
    //#unanalyzed(void blogEntryRemoved(BlogEntryEvent)): Effects-of-calling:java.util.Calendar:getInstance
    //#unanalyzed(void blogEntryRemoved(BlogEntryEvent)): Effects-of-calling:java.util.Locale
    //#unanalyzed(void blogEntryRemoved(BlogEntryEvent)): Effects-of-calling:java.util.TimeZone:getTimeZone
    //#unanalyzed(void blogEntryRemoved(BlogEntryEvent)): Effects-of-calling:java.util.Calendar:get
    //#unanalyzed(void blogEntryRemoved(BlogEntryEvent)): Effects-of-calling:getBlogForMonth
    //#unanalyzed(void blogEntryRemoved(BlogEntryEvent)): Effects-of-calling:java.util.Calendar:setTime
    //#unanalyzed(void blogEntryRemoved(BlogEntryEvent)): Effects-of-calling:java.lang.StringBuilder
    //#unanalyzed(void blogEntryRemoved(BlogEntryEvent)): Effects-of-calling:java.lang.StringBuilder:append
    //#unanalyzed(void blogEntryRemoved(BlogEntryEvent)): Effects-of-calling:java.lang.StringBuilder:toString
    //#unanalyzed(void blogEntryRemoved(BlogEntryEvent)): Effects-of-calling:java.lang.IllegalArgumentException
    //#unanalyzed(void blogEntryRemoved(BlogEntryEvent)): Effects-of-calling:getBlog
    //#unanalyzed(void blogEntryRemoved(BlogEntryEvent)): Effects-of-calling:net.sourceforge.pebble.domain.Blog:getCalendar
    //#unanalyzed(void blogEntryRemoved(BlogEntryEvent)): Effects-of-calling:java.util.Calendar:set
    //#unanalyzed(void blogEntryRemoved(BlogEntryEvent)): Effects-of-calling:java.util.Calendar:getTime
    //#unanalyzed(void blogEntryRemoved(BlogEntryEvent)): Effects-of-calling:setDate
    //#unanalyzed(void blogEntryRemoved(BlogEntryEvent)): Effects-of-calling:net.sourceforge.pebble.domain.Month
    //#unanalyzed(void blogEntryRemoved(BlogEntryEvent)): Effects-of-calling:net.sourceforge.pebble.domain.TimePeriod
    //#unanalyzed(void blogEntryRemoved(BlogEntryEvent)): Effects-of-calling:java.util.Collections:sort
    //#unanalyzed(void blogEntryRemoved(BlogEntryEvent)): Effects-of-calling:net.sourceforge.pebble.domain.BlogEntry:getId
    //#unanalyzed(void blogEntryRemoved(BlogEntryEvent)): Effects-of-calling:getMonth
    //#unanalyzed(void blogEntryRemoved(BlogEntryEvent)): Effects-of-calling:java.util.Calendar:getActualMaximum
    //#unanalyzed(void blogEntryRemoved(BlogEntryEvent)): Effects-of-calling:getYear
    //#unanalyzed(void blogEntryRemoved(BlogEntryEvent)): Effects-of-calling:net.sourceforge.pebble.domain.Month:getBlog
    //#unanalyzed(void blogEntryRemoved(BlogEntryEvent)): Effects-of-calling:java.util.ArrayList
    blogEntry.getBlog().getBlogEntryIndex().unindex(blogEntry);
    //#blogentryindexlistener.java:31: ?null dereference
    //#    net/sourceforge/pebble/domain/Blog.__Descendant_Table[getBlog(...).__Tag] != null
    //#    severity: SUPPRESSED
    //#    class: net.sourceforge.pebble.index.BlogEntryIndexListener
    //#    method: void blogEntryRemoved(BlogEntryEvent)
    //#    basic block: Entry_BB_1
    //#    assertion: net/sourceforge/pebble/domain/Blog.__Descendant_Table[getBlog(...).__Tag] != null
    //#    VN: net/sourceforge/pebble/domain/Blog.__Descendant_Table[getBlog(...).__Tag]
    //#    Expected: Inverse{null}
    //#    Bad: Addr_Set{null}
    //#    Attribs:  Ptr  null in Bad
    //#blogentryindexlistener.java:31: ?null dereference
    //#    net/sourceforge/pebble/index/BlogEntryIndex.__Descendant_Table[getBlogEntryIndex(...).__Tag] != null
    //#    severity: SUPPRESSED
    //#    class: net.sourceforge.pebble.index.BlogEntryIndexListener
    //#    method: void blogEntryRemoved(BlogEntryEvent)
    //#    basic block: Entry_BB_1
    //#    assertion: net/sourceforge/pebble/index/BlogEntryIndex.__Descendant_Table[getBlogEntryIndex(...).__Tag] != null
    //#    VN: net/sourceforge/pebble/index/BlogEntryIndex.__Descendant_Table[getBlogEntryIndex(...).__Tag]
    //#    Expected: Inverse{null}
    //#    Bad: Addr_Set{null}
    //#    Attribs:  Ptr  null in Bad
  }
    //#blogentryindexlistener.java:32: end of method: void net.sourceforge.pebble.index.BlogEntryIndexListener.blogEntryRemoved(BlogEntryEvent)

  /**
   * Called when a blog entry has been changed.
   *
   * @param event a BlogEntryEvent instance
   */
  public void blogEntryChanged(BlogEntryEvent event) {
  }
    //#blogentryindexlistener.java:40: method: void net.sourceforge.pebble.index.BlogEntryIndexListener.blogEntryChanged(BlogEntryEvent)
    //#blogentryindexlistener.java:40: end of method: void net.sourceforge.pebble.index.BlogEntryIndexListener.blogEntryChanged(BlogEntryEvent)

  /**
   * Called when a blog entry has been published.
   *
   * @param event a BlogEntryEvent instance
   */
  public void blogEntryPublished(BlogEntryEvent event) {
    BlogEntry blogEntry = event.getBlogEntry();
    //#blogentryindexlistener.java:48: method: void net.sourceforge.pebble.index.BlogEntryIndexListener.blogEntryPublished(BlogEntryEvent)
    //#input(void blogEntryPublished(BlogEntryEvent)): event
    //#input(void blogEntryPublished(BlogEntryEvent)): event.__Tag
    //#input(void blogEntryPublished(BlogEntryEvent)): net.sourceforge.pebble.domain.State__static_init.new State(State__static_init#5).__Tag
    //#input(void blogEntryPublished(BlogEntryEvent)): net.sourceforge.pebble.domain.State__static_init.new State(State__static_init#5).name
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/api/event/blogentry/BlogEntryEvent.__Descendant_Table[net/sourceforge/pebble/api/event/blogentry/BlogEntryEvent]
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/api/event/blogentry/BlogEntryEvent.__Descendant_Table[others]
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/api/event/blogentry/BlogEntryEvent.__Dispatch_Table.getBlogEntry()Lnet/sourceforge/pebble/domain/BlogEntry;
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/domain/AbstractBlog.__Descendant_Table[net/sourceforge/pebble/domain/AbstractBlog]
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/domain/AbstractBlog.__Descendant_Table[net/sourceforge/pebble/domain/Blog]
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/domain/AbstractBlog.__Descendant_Table[net/sourceforge/pebble/domain/MultiBlog]
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/domain/AbstractBlog.__Descendant_Table[others]
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/domain/AbstractBlog.__Dispatch_Table.getCountry()Ljava/lang/String;
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/domain/AbstractBlog.__Dispatch_Table.getLanguage()Ljava/lang/String;
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/domain/AbstractBlog.__Dispatch_Table.getLocale()Ljava/util/Locale;
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/domain/AbstractBlog.__Dispatch_Table.getTimeZone()Ljava/util/TimeZone;
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/domain/AbstractBlog.__Dispatch_Table.getTimeZoneId()Ljava/lang/String;
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/domain/Blog.__Descendant_Table[net/sourceforge/pebble/domain/Blog]
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/domain/Blog.__Descendant_Table[others]
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/domain/Blog.__Dispatch_Table.getBlogEntryIndex()Lnet/sourceforge/pebble/index/BlogEntryIndex;
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/domain/Blog.__Dispatch_Table.getBlogForDay(III)Lnet/sourceforge/pebble/domain/Day;
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/domain/Blog.__Dispatch_Table.getBlogForDay(Ljava/util/Date;)Lnet/sourceforge/pebble/domain/Day;
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/domain/Blog.__Dispatch_Table.getBlogForMonth(II)Lnet/sourceforge/pebble/domain/Month;
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/domain/Blog.__Dispatch_Table.getBlogForYear(I)Lnet/sourceforge/pebble/domain/Year;
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/domain/Blog.__Dispatch_Table.getCalendar()Ljava/util/Calendar;
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/domain/Blog.__Dispatch_Table.getCountry()Ljava/lang/String;
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/domain/Blog.__Dispatch_Table.getLanguage()Ljava/lang/String;
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/domain/Blog.__Dispatch_Table.getLocale()Ljava/util/Locale;
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/domain/Blog.__Dispatch_Table.getTimeZone()Ljava/util/TimeZone;
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/domain/Blog.__Dispatch_Table.getTimeZoneId()Ljava/lang/String;
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/domain/BlogEntry.__Descendant_Table[net/sourceforge/pebble/domain/BlogEntry]
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/domain/BlogEntry.__Descendant_Table[others]
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/domain/BlogEntry.__Dispatch_Table.getBlog()Lnet/sourceforge/pebble/domain/Blog;
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/domain/BlogEntry.__Dispatch_Table.getDate()Ljava/util/Date;
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/domain/BlogEntry.__Dispatch_Table.getId()Ljava/lang/String;
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/domain/BlogEntry.__Dispatch_Table.getState()Lnet/sourceforge/pebble/domain/State;
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/domain/BlogEntry.__Dispatch_Table.isPublished()Z
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/domain/Day.__Descendant_Table[net/sourceforge/pebble/domain/Day]
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/domain/Day.__Descendant_Table[others]
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/domain/Day.__Dispatch_Table.addPublishedBlogEntry(Ljava/lang/String;)V
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/domain/Day.__Dispatch_Table.addUnpublishedBlogEntry(Ljava/lang/String;)V
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/domain/Day.__Dispatch_Table.getBlog()Lnet/sourceforge/pebble/domain/Blog;
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/domain/Day.__Dispatch_Table.getDay()I
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/domain/Day.__Dispatch_Table.getMonth()Lnet/sourceforge/pebble/domain/Month;
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/domain/Day.__Dispatch_Table.removeBlogEntry(Lnet/sourceforge/pebble/domain/BlogEntry;)V
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/domain/Day.__Dispatch_Table.setDate(Ljava/util/Date;)V
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/domain/Month.__Descendant_Table[net/sourceforge/pebble/domain/Month]
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/domain/Month.__Descendant_Table[others]
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/domain/Month.__Dispatch_Table.getBlog()Lnet/sourceforge/pebble/domain/Blog;
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/domain/Month.__Dispatch_Table.getBlogForDay(I)Lnet/sourceforge/pebble/domain/Day;
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/domain/Month.__Dispatch_Table.getDate()Ljava/util/Date;
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/domain/Month.__Dispatch_Table.getMonth()I
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/domain/Month.__Dispatch_Table.getYear()Lnet/sourceforge/pebble/domain/Year;
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/domain/Month.__Dispatch_Table.setDate(Ljava/util/Date;)V
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/domain/MultiBlog.__Dispatch_Table.getCountry()Ljava/lang/String;
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/domain/MultiBlog.__Dispatch_Table.getLanguage()Ljava/lang/String;
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/domain/MultiBlog.__Dispatch_Table.getLocale()Ljava/util/Locale;
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/domain/MultiBlog.__Dispatch_Table.getTimeZone()Ljava/util/TimeZone;
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/domain/MultiBlog.__Dispatch_Table.getTimeZoneId()Ljava/lang/String;
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/domain/PageBasedContent.__Descendant_Table[net/sourceforge/pebble/domain/BlogEntry]
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/domain/PageBasedContent.__Descendant_Table[net/sourceforge/pebble/domain/PageBasedContent]
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/domain/PageBasedContent.__Descendant_Table[net/sourceforge/pebble/domain/StaticPage]
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/domain/PageBasedContent.__Descendant_Table[others]
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/domain/PageBasedContent.__Dispatch_Table.getState()Lnet/sourceforge/pebble/domain/State;
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/domain/State.PUBLISHED
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/domain/State.__Descendant_Table[net/sourceforge/pebble/domain/State]
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/domain/State.__Descendant_Table[others]
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/domain/State.__Dispatch_Table.equals(Ljava/lang/Object;)Z
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/domain/State.__Dispatch_Table.getName()Ljava/lang/String;
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/domain/StaticPage.__Dispatch_Table.getState()Lnet/sourceforge/pebble/domain/State;
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/domain/Year.__Descendant_Table[net/sourceforge/pebble/domain/Year]
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/domain/Year.__Descendant_Table[others]
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/domain/Year.__Dispatch_Table.getBlog()Lnet/sourceforge/pebble/domain/Blog;
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/domain/Year.__Dispatch_Table.getBlogForMonth(I)Lnet/sourceforge/pebble/domain/Month;
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/domain/Year.__Dispatch_Table.getYear()I
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/domain/Year.__Dispatch_Table.setDate(Ljava/util/Date;)V
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/index/BlogEntryIndex.__Descendant_Table[net/sourceforge/pebble/index/BlogEntryIndex]
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/index/BlogEntryIndex.__Descendant_Table[others]
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/index/BlogEntryIndex.__Dispatch_Table.index(Lnet/sourceforge/pebble/domain/BlogEntry;)V
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/index/BlogEntryIndex.__Dispatch_Table.unindex(Lnet/sourceforge/pebble/domain/BlogEntry;)V
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/index/BlogEntryIndex.log
    //#pre[1] (void blogEntryPublished(BlogEntryEvent)): event != null
    //#pre[2] (void blogEntryPublished(BlogEntryEvent)): event.__Tag == net/sourceforge/pebble/api/event/blogentry/BlogEntryEvent
    //#pre[3] (void blogEntryPublished(BlogEntryEvent)): (soft) net.sourceforge.pebble.domain.State__static_init.new State(State__static_init#5).name != null
    //#presumption(void blogEntryPublished(BlogEntryEvent)): blogEntry.blog@48 != null
    //#presumption(void blogEntryPublished(BlogEntryEvent)): blogEntry.blog@49 != null
    //#presumption(void blogEntryPublished(BlogEntryEvent)): blogEntry.state.__Tag@49 == net/sourceforge/pebble/domain/State
    //#presumption(void blogEntryPublished(BlogEntryEvent)): blogEntry.state@49 != null
    //#presumption(void blogEntryPublished(BlogEntryEvent)): getBlog(...).__Tag@48 == net/sourceforge/pebble/domain/Blog
    //#presumption(void blogEntryPublished(BlogEntryEvent)): getBlog(...).__Tag@49 == net/sourceforge/pebble/domain/Blog
    //#presumption(void blogEntryPublished(BlogEntryEvent)): getBlog(...).blogEntryIndex@48 != null
    //#presumption(void blogEntryPublished(BlogEntryEvent)): getBlog(...).blogEntryIndex@49 != null
    //#presumption(void blogEntryPublished(BlogEntryEvent)): getBlogEntryIndex(...).__Tag@48 == net/sourceforge/pebble/index/BlogEntryIndex
    //#presumption(void blogEntryPublished(BlogEntryEvent)): getBlogEntryIndex(...).__Tag@48 == net/sourceforge/pebble/index/BlogEntryIndex
    //#presumption(void blogEntryPublished(BlogEntryEvent)): getBlogEntryIndex(...).blog.__Tag@48 == net/sourceforge/pebble/domain/Blog
    //#presumption(void blogEntryPublished(BlogEntryEvent)): getBlogEntryIndex(...).blog.__Tag@49 == net/sourceforge/pebble/domain/Blog
    //#presumption(void blogEntryPublished(BlogEntryEvent)): getBlogEntryIndex(...).blog.properties@48 != null
    //#presumption(void blogEntryPublished(BlogEntryEvent)): getBlogEntryIndex(...).blog.properties@49 != null
    //#presumption(void blogEntryPublished(BlogEntryEvent)): getBlogEntryIndex(...).blog.years@48 != null
    //#presumption(void blogEntryPublished(BlogEntryEvent)): getBlogEntryIndex(...).blog.years@49 != null
    //#presumption(void blogEntryPublished(BlogEntryEvent)): getBlogEntryIndex(...).blog@48 != null
    //#presumption(void blogEntryPublished(BlogEntryEvent)): getBlogEntryIndex(...).blog@49 != null
    //#presumption(void blogEntryPublished(BlogEntryEvent)): getBlogEntryIndex(...).indexEntries@48 != null
    //#presumption(void blogEntryPublished(BlogEntryEvent)): getBlogEntryIndex(...).indexEntries@49 != null
    //#presumption(void blogEntryPublished(BlogEntryEvent)): getBlogEntryIndex(...).publishedIndexEntries@48 != null
    //#presumption(void blogEntryPublished(BlogEntryEvent)): getBlogEntryIndex(...).publishedIndexEntries@49 != null
    //#presumption(void blogEntryPublished(BlogEntryEvent)): getBlogEntryIndex(...).unpublishedIndexEntries@48 != null
    //#presumption(void blogEntryPublished(BlogEntryEvent)): getBlogEntryIndex(...).unpublishedIndexEntries@49 != null
    //#presumption(void blogEntryPublished(BlogEntryEvent)): net.sourceforge.pebble.api.event.blogentry.BlogEntryEvent:getSource(...)@91 != null
    //#presumption(void blogEntryPublished(BlogEntryEvent)): net.sourceforge.pebble.api.event.blogentry.BlogEntryEvent:getSource(...)@91.__Tag == net/sourceforge/pebble/domain/BlogEntry
    //#unanalyzed(void blogEntryPublished(BlogEntryEvent)): Effects-of-calling:net.sourceforge.pebble.api.event.blogentry.BlogEntryEvent:getSource
    //#unanalyzed(void blogEntryPublished(BlogEntryEvent)): Effects-of-calling:net.sourceforge.pebble.domain.Blog:getIndexesDirectory
    //#unanalyzed(void blogEntryPublished(BlogEntryEvent)): Effects-of-calling:java.io.File
    //#unanalyzed(void blogEntryPublished(BlogEntryEvent)): Effects-of-calling:java.io.FileWriter
    //#unanalyzed(void blogEntryPublished(BlogEntryEvent)): Effects-of-calling:java.io.BufferedWriter
    //#unanalyzed(void blogEntryPublished(BlogEntryEvent)): Effects-of-calling:java.util.List:iterator
    //#unanalyzed(void blogEntryPublished(BlogEntryEvent)): Effects-of-calling:java.util.Iterator:hasNext
    //#unanalyzed(void blogEntryPublished(BlogEntryEvent)): Effects-of-calling:java.util.Iterator:next
    //#unanalyzed(void blogEntryPublished(BlogEntryEvent)): Effects-of-calling:java.io.BufferedWriter:write
    //#unanalyzed(void blogEntryPublished(BlogEntryEvent)): Effects-of-calling:java.io.BufferedWriter:newLine
    //#unanalyzed(void blogEntryPublished(BlogEntryEvent)): Effects-of-calling:java.io.BufferedWriter:flush
    //#unanalyzed(void blogEntryPublished(BlogEntryEvent)): Effects-of-calling:java.io.BufferedWriter:close
    //#unanalyzed(void blogEntryPublished(BlogEntryEvent)): Effects-of-calling:org.apache.commons.logging.Log:error
    //#unanalyzed(void blogEntryPublished(BlogEntryEvent)): Effects-of-calling:getDate
    //#unanalyzed(void blogEntryPublished(BlogEntryEvent)): Effects-of-calling:getBlogForDay
    //#unanalyzed(void blogEntryPublished(BlogEntryEvent)): Effects-of-calling:removeBlogEntry
    //#unanalyzed(void blogEntryPublished(BlogEntryEvent)): Effects-of-calling:getId
    //#unanalyzed(void blogEntryPublished(BlogEntryEvent)): Effects-of-calling:java.util.List:remove
    //#unanalyzed(void blogEntryPublished(BlogEntryEvent)): Effects-of-calling:isPublished
    //#unanalyzed(void blogEntryPublished(BlogEntryEvent)): Effects-of-calling:java.util.List:add
    //#unanalyzed(void blogEntryPublished(BlogEntryEvent)): Effects-of-calling:addPublishedBlogEntry
    //#unanalyzed(void blogEntryPublished(BlogEntryEvent)): Effects-of-calling:addUnpublishedBlogEntry
    //#unanalyzed(void blogEntryPublished(BlogEntryEvent)): Effects-of-calling:java.util.Collections:sort
    //#unanalyzed(void blogEntryPublished(BlogEntryEvent)): Effects-of-calling:java.util.Properties:getProperty
    //#unanalyzed(void blogEntryPublished(BlogEntryEvent)): Effects-of-calling:getTimeZone
    //#unanalyzed(void blogEntryPublished(BlogEntryEvent)): Effects-of-calling:getLocale
    //#unanalyzed(void blogEntryPublished(BlogEntryEvent)): Effects-of-calling:java.util.Calendar:getInstance
    //#unanalyzed(void blogEntryPublished(BlogEntryEvent)): Effects-of-calling:java.util.Locale
    //#unanalyzed(void blogEntryPublished(BlogEntryEvent)): Effects-of-calling:java.util.TimeZone:getTimeZone
    //#unanalyzed(void blogEntryPublished(BlogEntryEvent)): Effects-of-calling:java.util.Calendar:get
    //#unanalyzed(void blogEntryPublished(BlogEntryEvent)): Effects-of-calling:getBlogForMonth
    //#unanalyzed(void blogEntryPublished(BlogEntryEvent)): Effects-of-calling:java.util.Calendar:setTime
    //#unanalyzed(void blogEntryPublished(BlogEntryEvent)): Effects-of-calling:java.lang.StringBuilder
    //#unanalyzed(void blogEntryPublished(BlogEntryEvent)): Effects-of-calling:java.lang.StringBuilder:append
    //#unanalyzed(void blogEntryPublished(BlogEntryEvent)): Effects-of-calling:java.lang.StringBuilder:toString
    //#unanalyzed(void blogEntryPublished(BlogEntryEvent)): Effects-of-calling:java.lang.IllegalArgumentException
    //#unanalyzed(void blogEntryPublished(BlogEntryEvent)): Effects-of-calling:getBlog
    //#unanalyzed(void blogEntryPublished(BlogEntryEvent)): Effects-of-calling:net.sourceforge.pebble.domain.Blog:getCalendar
    //#unanalyzed(void blogEntryPublished(BlogEntryEvent)): Effects-of-calling:java.util.Calendar:set
    //#unanalyzed(void blogEntryPublished(BlogEntryEvent)): Effects-of-calling:java.util.Calendar:getTime
    //#unanalyzed(void blogEntryPublished(BlogEntryEvent)): Effects-of-calling:setDate
    //#unanalyzed(void blogEntryPublished(BlogEntryEvent)): Effects-of-calling:net.sourceforge.pebble.domain.Month
    //#unanalyzed(void blogEntryPublished(BlogEntryEvent)): Effects-of-calling:net.sourceforge.pebble.domain.TimePeriod
    //#unanalyzed(void blogEntryPublished(BlogEntryEvent)): Effects-of-calling:net.sourceforge.pebble.domain.BlogEntry:getId
    //#unanalyzed(void blogEntryPublished(BlogEntryEvent)): Effects-of-calling:java.lang.String:equals
    //#unanalyzed(void blogEntryPublished(BlogEntryEvent)): Effects-of-calling:java.util.List:contains
    //#unanalyzed(void blogEntryPublished(BlogEntryEvent)): Effects-of-calling:getMonth
    //#unanalyzed(void blogEntryPublished(BlogEntryEvent)): Effects-of-calling:java.util.Calendar:getActualMaximum
    //#unanalyzed(void blogEntryPublished(BlogEntryEvent)): Effects-of-calling:getYear
    //#unanalyzed(void blogEntryPublished(BlogEntryEvent)): Effects-of-calling:net.sourceforge.pebble.domain.Month:getBlog
    //#unanalyzed(void blogEntryPublished(BlogEntryEvent)): Effects-of-calling:java.util.ArrayList
    blogEntry.getBlog().getBlogEntryIndex().unindex(blogEntry);
    //#blogentryindexlistener.java:49: ?null dereference
    //#    net/sourceforge/pebble/domain/Blog.__Descendant_Table[getBlog(...).__Tag] != null
    //#    severity: SUPPRESSED
    //#    class: net.sourceforge.pebble.index.BlogEntryIndexListener
    //#    method: void blogEntryPublished(BlogEntryEvent)
    //#    basic block: Entry_BB_1
    //#    assertion: net/sourceforge/pebble/domain/Blog.__Descendant_Table[getBlog(...).__Tag] != null
    //#    VN: net/sourceforge/pebble/domain/Blog.__Descendant_Table[getBlog(...).__Tag]
    //#    Expected: Inverse{null}
    //#    Bad: Addr_Set{null}
    //#    Attribs:  Ptr  null in Bad
    //#blogentryindexlistener.java:49: ?null dereference
    //#    net/sourceforge/pebble/index/BlogEntryIndex.__Descendant_Table[getBlogEntryIndex(...).__Tag] != null
    //#    severity: SUPPRESSED
    //#    class: net.sourceforge.pebble.index.BlogEntryIndexListener
    //#    method: void blogEntryPublished(BlogEntryEvent)
    //#    basic block: Entry_BB_1
    //#    assertion: net/sourceforge/pebble/index/BlogEntryIndex.__Descendant_Table[getBlogEntryIndex(...).__Tag] != null
    //#    VN: net/sourceforge/pebble/index/BlogEntryIndex.__Descendant_Table[getBlogEntryIndex(...).__Tag]
    //#    Expected: Inverse{null}
    //#    Bad: Addr_Set{null}
    //#    Attribs:  Ptr  null in Bad
    blogEntry.getBlog().getBlogEntryIndex().index(blogEntry);
    //#blogentryindexlistener.java:50: ?null dereference
    //#    net/sourceforge/pebble/index/BlogEntryIndex.__Descendant_Table[getBlogEntryIndex(...).__Tag] != null
    //#    severity: SUPPRESSED
    //#    class: net.sourceforge.pebble.index.BlogEntryIndexListener
    //#    method: void blogEntryPublished(BlogEntryEvent)
    //#    basic block: Entry_BB_1
    //#    assertion: net/sourceforge/pebble/index/BlogEntryIndex.__Descendant_Table[getBlogEntryIndex(...).__Tag] != null
    //#    VN: net/sourceforge/pebble/index/BlogEntryIndex.__Descendant_Table[getBlogEntryIndex(...).__Tag]
    //#    Expected: Inverse{null}
    //#    Bad: Addr_Set{null}
    //#    Attribs:  Ptr  null in Bad
  }
    //#blogentryindexlistener.java:51: end of method: void net.sourceforge.pebble.index.BlogEntryIndexListener.blogEntryPublished(BlogEntryEvent)

  /**
   * Called when a blog entry has been unpublished.
   *
   * @param event a BlogEntryEvent instance
   */
  public void blogEntryUnpublished(BlogEntryEvent event) {
    BlogEntry blogEntry = event.getBlogEntry();
    //#blogentryindexlistener.java:59: method: void net.sourceforge.pebble.index.BlogEntryIndexListener.blogEntryUnpublished(BlogEntryEvent)
    //#input(void blogEntryUnpublished(BlogEntryEvent)): event
    //#input(void blogEntryUnpublished(BlogEntryEvent)): event.__Tag
    //#input(void blogEntryUnpublished(BlogEntryEvent)): net.sourceforge.pebble.domain.State__static_init.new State(State__static_init#5).__Tag
    //#input(void blogEntryUnpublished(BlogEntryEvent)): net.sourceforge.pebble.domain.State__static_init.new State(State__static_init#5).name
    //#input(void blogEntryUnpublished(BlogEntryEvent)): net/sourceforge/pebble/api/event/blogentry/BlogEntryEvent.__Descendant_Table[net/sourceforge/pebble/api/event/blogentry/BlogEntryEvent]
    //#input(void blogEntryUnpublished(BlogEntryEvent)): net/sourceforge/pebble/api/event/blogentry/BlogEntryEvent.__Descendant_Table[others]
    //#input(void blogEntryUnpublished(BlogEntryEvent)): net/sourceforge/pebble/api/event/blogentry/BlogEntryEvent.__Dispatch_Table.getBlogEntry()Lnet/sourceforge/pebble/domain/BlogEntry;
    //#input(void blogEntryUnpublished(BlogEntryEvent)): net/sourceforge/pebble/domain/AbstractBlog.__Descendant_Table[net/sourceforge/pebble/domain/AbstractBlog]
    //#input(void blogEntryUnpublished(BlogEntryEvent)): net/sourceforge/pebble/domain/AbstractBlog.__Descendant_Table[net/sourceforge/pebble/domain/Blog]
    //#input(void blogEntryUnpublished(BlogEntryEvent)): net/sourceforge/pebble/domain/AbstractBlog.__Descendant_Table[net/sourceforge/pebble/domain/MultiBlog]
    //#input(void blogEntryUnpublished(BlogEntryEvent)): net/sourceforge/pebble/domain/AbstractBlog.__Descendant_Table[others]
    //#input(void blogEntryUnpublished(BlogEntryEvent)): net/sourceforge/pebble/domain/AbstractBlog.__Dispatch_Table.getCountry()Ljava/lang/String;
    //#input(void blogEntryUnpublished(BlogEntryEvent)): net/sourceforge/pebble/domain/AbstractBlog.__Dispatch_Table.getLanguage()Ljava/lang/String;
    //#input(void blogEntryUnpublished(BlogEntryEvent)): net/sourceforge/pebble/domain/AbstractBlog.__Dispatch_Table.getLocale()Ljava/util/Locale;
    //#input(void blogEntryUnpublished(BlogEntryEvent)): net/sourceforge/pebble/domain/AbstractBlog.__Dispatch_Table.getTimeZone()Ljava/util/TimeZone;
    //#input(void blogEntryUnpublished(BlogEntryEvent)): net/sourceforge/pebble/domain/AbstractBlog.__Dispatch_Table.getTimeZoneId()Ljava/lang/String;
    //#input(void blogEntryUnpublished(BlogEntryEvent)): net/sourceforge/pebble/domain/Blog.__Descendant_Table[net/sourceforge/pebble/domain/Blog]
    //#input(void blogEntryUnpublished(BlogEntryEvent)): net/sourceforge/pebble/domain/Blog.__Descendant_Table[others]
    //#input(void blogEntryUnpublished(BlogEntryEvent)): net/sourceforge/pebble/domain/Blog.__Dispatch_Table.getBlogEntryIndex()Lnet/sourceforge/pebble/index/BlogEntryIndex;
    //#input(void blogEntryUnpublished(BlogEntryEvent)): net/sourceforge/pebble/domain/Blog.__Dispatch_Table.getBlogForDay(III)Lnet/sourceforge/pebble/domain/Day;
    //#input(void blogEntryUnpublished(BlogEntryEvent)): net/sourceforge/pebble/domain/Blog.__Dispatch_Table.getBlogForDay(Ljava/util/Date;)Lnet/sourceforge/pebble/domain/Day;
    //#input(void blogEntryUnpublished(BlogEntryEvent)): net/sourceforge/pebble/domain/Blog.__Dispatch_Table.getBlogForMonth(II)Lnet/sourceforge/pebble/domain/Month;
    //#input(void blogEntryUnpublished(BlogEntryEvent)): net/sourceforge/pebble/domain/Blog.__Dispatch_Table.getBlogForYear(I)Lnet/sourceforge/pebble/domain/Year;
    //#input(void blogEntryUnpublished(BlogEntryEvent)): net/sourceforge/pebble/domain/Blog.__Dispatch_Table.getCalendar()Ljava/util/Calendar;
    //#input(void blogEntryUnpublished(BlogEntryEvent)): net/sourceforge/pebble/domain/Blog.__Dispatch_Table.getCountry()Ljava/lang/String;
    //#input(void blogEntryUnpublished(BlogEntryEvent)): net/sourceforge/pebble/domain/Blog.__Dispatch_Table.getLanguage()Ljava/lang/String;
    //#input(void blogEntryUnpublished(BlogEntryEvent)): net/sourceforge/pebble/domain/Blog.__Dispatch_Table.getLocale()Ljava/util/Locale;
    //#input(void blogEntryUnpublished(BlogEntryEvent)): net/sourceforge/pebble/domain/Blog.__Dispatch_Table.getTimeZone()Ljava/util/TimeZone;
    //#input(void blogEntryUnpublished(BlogEntryEvent)): net/sourceforge/pebble/domain/Blog.__Dispatch_Table.getTimeZoneId()Ljava/lang/String;
    //#input(void blogEntryUnpublished(BlogEntryEvent)): net/sourceforge/pebble/domain/BlogEntry.__Descendant_Table[net/sourceforge/pebble/domain/BlogEntry]
    //#input(void blogEntryUnpublished(BlogEntryEvent)): net/sourceforge/pebble/domain/BlogEntry.__Descendant_Table[others]
    //#input(void blogEntryUnpublished(BlogEntryEvent)): net/sourceforge/pebble/domain/BlogEntry.__Dispatch_Table.getBlog()Lnet/sourceforge/pebble/domain/Blog;
    //#input(void blogEntryUnpublished(BlogEntryEvent)): net/sourceforge/pebble/domain/BlogEntry.__Dispatch_Table.getDate()Ljava/util/Date;
    //#input(void blogEntryUnpublished(BlogEntryEvent)): net/sourceforge/pebble/domain/BlogEntry.__Dispatch_Table.getId()Ljava/lang/String;
    //#input(void blogEntryUnpublished(BlogEntryEvent)): net/sourceforge/pebble/domain/BlogEntry.__Dispatch_Table.getState()Lnet/sourceforge/pebble/domain/State;
    //#input(void blogEntryUnpublished(BlogEntryEvent)): net/sourceforge/pebble/domain/BlogEntry.__Dispatch_Table.isPublished()Z
    //#input(void blogEntryUnpublished(BlogEntryEvent)): net/sourceforge/pebble/domain/Day.__Descendant_Table[net/sourceforge/pebble/domain/Day]
    //#input(void blogEntryUnpublished(BlogEntryEvent)): net/sourceforge/pebble/domain/Day.__Descendant_Table[others]
    //#input(void blogEntryUnpublished(BlogEntryEvent)): net/sourceforge/pebble/domain/Day.__Dispatch_Table.addPublishedBlogEntry(Ljava/lang/String;)V
    //#input(void blogEntryUnpublished(BlogEntryEvent)): net/sourceforge/pebble/domain/Day.__Dispatch_Table.addUnpublishedBlogEntry(Ljava/lang/String;)V
    //#input(void blogEntryUnpublished(BlogEntryEvent)): net/sourceforge/pebble/domain/Day.__Dispatch_Table.getBlog()Lnet/sourceforge/pebble/domain/Blog;
    //#input(void blogEntryUnpublished(BlogEntryEvent)): net/sourceforge/pebble/domain/Day.__Dispatch_Table.getDay()I
    //#input(void blogEntryUnpublished(BlogEntryEvent)): net/sourceforge/pebble/domain/Day.__Dispatch_Table.getMonth()Lnet/sourceforge/pebble/domain/Month;
    //#input(void blogEntryUnpublished(BlogEntryEvent)): net/sourceforge/pebble/domain/Day.__Dispatch_Table.removeBlogEntry(Lnet/sourceforge/pebble/domain/BlogEntry;)V
    //#input(void blogEntryUnpublished(BlogEntryEvent)): net/sourceforge/pebble/domain/Day.__Dispatch_Table.setDate(Ljava/util/Date;)V
    //#input(void blogEntryUnpublished(BlogEntryEvent)): net/sourceforge/pebble/domain/Month.__Descendant_Table[net/sourceforge/pebble/domain/Month]
    //#input(void blogEntryUnpublished(BlogEntryEvent)): net/sourceforge/pebble/domain/Month.__Descendant_Table[others]
    //#input(void blogEntryUnpublished(BlogEntryEvent)): net/sourceforge/pebble/domain/Month.__Dispatch_Table.getBlog()Lnet/sourceforge/pebble/domain/Blog;
    //#input(void blogEntryUnpublished(BlogEntryEvent)): net/sourceforge/pebble/domain/Month.__Dispatch_Table.getBlogForDay(I)Lnet/sourceforge/pebble/domain/Day;
    //#input(void blogEntryUnpublished(BlogEntryEvent)): net/sourceforge/pebble/domain/Month.__Dispatch_Table.getDate()Ljava/util/Date;
    //#input(void blogEntryUnpublished(BlogEntryEvent)): net/sourceforge/pebble/domain/Month.__Dispatch_Table.getMonth()I
    //#input(void blogEntryUnpublished(BlogEntryEvent)): net/sourceforge/pebble/domain/Month.__Dispatch_Table.getYear()Lnet/sourceforge/pebble/domain/Year;
    //#input(void blogEntryUnpublished(BlogEntryEvent)): net/sourceforge/pebble/domain/Month.__Dispatch_Table.setDate(Ljava/util/Date;)V
    //#input(void blogEntryUnpublished(BlogEntryEvent)): net/sourceforge/pebble/domain/MultiBlog.__Dispatch_Table.getCountry()Ljava/lang/String;
    //#input(void blogEntryUnpublished(BlogEntryEvent)): net/sourceforge/pebble/domain/MultiBlog.__Dispatch_Table.getLanguage()Ljava/lang/String;
    //#input(void blogEntryUnpublished(BlogEntryEvent)): net/sourceforge/pebble/domain/MultiBlog.__Dispatch_Table.getLocale()Ljava/util/Locale;
    //#input(void blogEntryUnpublished(BlogEntryEvent)): net/sourceforge/pebble/domain/MultiBlog.__Dispatch_Table.getTimeZone()Ljava/util/TimeZone;
    //#input(void blogEntryUnpublished(BlogEntryEvent)): net/sourceforge/pebble/domain/MultiBlog.__Dispatch_Table.getTimeZoneId()Ljava/lang/String;
    //#input(void blogEntryUnpublished(BlogEntryEvent)): net/sourceforge/pebble/domain/PageBasedContent.__Descendant_Table[net/sourceforge/pebble/domain/BlogEntry]
    //#input(void blogEntryUnpublished(BlogEntryEvent)): net/sourceforge/pebble/domain/PageBasedContent.__Descendant_Table[net/sourceforge/pebble/domain/PageBasedContent]
    //#input(void blogEntryUnpublished(BlogEntryEvent)): net/sourceforge/pebble/domain/PageBasedContent.__Descendant_Table[net/sourceforge/pebble/domain/StaticPage]
    //#input(void blogEntryUnpublished(BlogEntryEvent)): net/sourceforge/pebble/domain/PageBasedContent.__Descendant_Table[others]
    //#input(void blogEntryUnpublished(BlogEntryEvent)): net/sourceforge/pebble/domain/PageBasedContent.__Dispatch_Table.getState()Lnet/sourceforge/pebble/domain/State;
    //#input(void blogEntryUnpublished(BlogEntryEvent)): net/sourceforge/pebble/domain/State.PUBLISHED
    //#input(void blogEntryUnpublished(BlogEntryEvent)): net/sourceforge/pebble/domain/State.__Descendant_Table[net/sourceforge/pebble/domain/State]
    //#input(void blogEntryUnpublished(BlogEntryEvent)): net/sourceforge/pebble/domain/State.__Descendant_Table[others]
    //#input(void blogEntryUnpublished(BlogEntryEvent)): net/sourceforge/pebble/domain/State.__Dispatch_Table.equals(Ljava/lang/Object;)Z
    //#input(void blogEntryUnpublished(BlogEntryEvent)): net/sourceforge/pebble/domain/State.__Dispatch_Table.getName()Ljava/lang/String;
    //#input(void blogEntryUnpublished(BlogEntryEvent)): net/sourceforge/pebble/domain/StaticPage.__Dispatch_Table.getState()Lnet/sourceforge/pebble/domain/State;
    //#input(void blogEntryUnpublished(BlogEntryEvent)): net/sourceforge/pebble/domain/Year.__Descendant_Table[net/sourceforge/pebble/domain/Year]
    //#input(void blogEntryUnpublished(BlogEntryEvent)): net/sourceforge/pebble/domain/Year.__Descendant_Table[others]
    //#input(void blogEntryUnpublished(BlogEntryEvent)): net/sourceforge/pebble/domain/Year.__Dispatch_Table.getBlog()Lnet/sourceforge/pebble/domain/Blog;
    //#input(void blogEntryUnpublished(BlogEntryEvent)): net/sourceforge/pebble/domain/Year.__Dispatch_Table.getBlogForMonth(I)Lnet/sourceforge/pebble/domain/Month;
    //#input(void blogEntryUnpublished(BlogEntryEvent)): net/sourceforge/pebble/domain/Year.__Dispatch_Table.getYear()I
    //#input(void blogEntryUnpublished(BlogEntryEvent)): net/sourceforge/pebble/domain/Year.__Dispatch_Table.setDate(Ljava/util/Date;)V
    //#input(void blogEntryUnpublished(BlogEntryEvent)): net/sourceforge/pebble/index/BlogEntryIndex.__Descendant_Table[net/sourceforge/pebble/index/BlogEntryIndex]
    //#input(void blogEntryUnpublished(BlogEntryEvent)): net/sourceforge/pebble/index/BlogEntryIndex.__Descendant_Table[others]
    //#input(void blogEntryUnpublished(BlogEntryEvent)): net/sourceforge/pebble/index/BlogEntryIndex.__Dispatch_Table.index(Lnet/sourceforge/pebble/domain/BlogEntry;)V
    //#input(void blogEntryUnpublished(BlogEntryEvent)): net/sourceforge/pebble/index/BlogEntryIndex.__Dispatch_Table.unindex(Lnet/sourceforge/pebble/domain/BlogEntry;)V
    //#input(void blogEntryUnpublished(BlogEntryEvent)): net/sourceforge/pebble/index/BlogEntryIndex.log
    //#pre[1] (void blogEntryUnpublished(BlogEntryEvent)): event != null
    //#pre[2] (void blogEntryUnpublished(BlogEntryEvent)): event.__Tag == net/sourceforge/pebble/api/event/blogentry/BlogEntryEvent
    //#pre[3] (void blogEntryUnpublished(BlogEntryEvent)): (soft) net.sourceforge.pebble.domain.State__static_init.new State(State__static_init#5).name != null
    //#presumption(void blogEntryUnpublished(BlogEntryEvent)): blogEntry.blog@59 != null
    //#presumption(void blogEntryUnpublished(BlogEntryEvent)): blogEntry.blog@60 != null
    //#presumption(void blogEntryUnpublished(BlogEntryEvent)): blogEntry.state.__Tag@60 == net/sourceforge/pebble/domain/State
    //#presumption(void blogEntryUnpublished(BlogEntryEvent)): blogEntry.state@60 != null
    //#presumption(void blogEntryUnpublished(BlogEntryEvent)): getBlog(...).__Tag@59 == net/sourceforge/pebble/domain/Blog
    //#presumption(void blogEntryUnpublished(BlogEntryEvent)): getBlog(...).__Tag@60 == net/sourceforge/pebble/domain/Blog
    //#presumption(void blogEntryUnpublished(BlogEntryEvent)): getBlog(...).blogEntryIndex@59 != null
    //#presumption(void blogEntryUnpublished(BlogEntryEvent)): getBlog(...).blogEntryIndex@60 != null
    //#presumption(void blogEntryUnpublished(BlogEntryEvent)): getBlogEntryIndex(...).__Tag@59 == net/sourceforge/pebble/index/BlogEntryIndex
    //#presumption(void blogEntryUnpublished(BlogEntryEvent)): getBlogEntryIndex(...).__Tag@59 == net/sourceforge/pebble/index/BlogEntryIndex
    //#presumption(void blogEntryUnpublished(BlogEntryEvent)): getBlogEntryIndex(...).blog.__Tag@59 == net/sourceforge/pebble/domain/Blog
    //#presumption(void blogEntryUnpublished(BlogEntryEvent)): getBlogEntryIndex(...).blog.__Tag@60 == net/sourceforge/pebble/domain/Blog
    //#presumption(void blogEntryUnpublished(BlogEntryEvent)): getBlogEntryIndex(...).blog.properties@59 != null
    //#presumption(void blogEntryUnpublished(BlogEntryEvent)): getBlogEntryIndex(...).blog.properties@60 != null
    //#presumption(void blogEntryUnpublished(BlogEntryEvent)): getBlogEntryIndex(...).blog.years@59 != null
    //#presumption(void blogEntryUnpublished(BlogEntryEvent)): getBlogEntryIndex(...).blog.years@60 != null
    //#presumption(void blogEntryUnpublished(BlogEntryEvent)): getBlogEntryIndex(...).blog@59 != null
    //#presumption(void blogEntryUnpublished(BlogEntryEvent)): getBlogEntryIndex(...).blog@60 != null
    //#presumption(void blogEntryUnpublished(BlogEntryEvent)): getBlogEntryIndex(...).indexEntries@59 != null
    //#presumption(void blogEntryUnpublished(BlogEntryEvent)): getBlogEntryIndex(...).indexEntries@60 != null
    //#presumption(void blogEntryUnpublished(BlogEntryEvent)): getBlogEntryIndex(...).publishedIndexEntries@59 != null
    //#presumption(void blogEntryUnpublished(BlogEntryEvent)): getBlogEntryIndex(...).publishedIndexEntries@60 != null
    //#presumption(void blogEntryUnpublished(BlogEntryEvent)): getBlogEntryIndex(...).unpublishedIndexEntries@59 != null
    //#presumption(void blogEntryUnpublished(BlogEntryEvent)): getBlogEntryIndex(...).unpublishedIndexEntries@60 != null
    //#presumption(void blogEntryUnpublished(BlogEntryEvent)): net.sourceforge.pebble.api.event.blogentry.BlogEntryEvent:getSource(...)@91 != null
    //#presumption(void blogEntryUnpublished(BlogEntryEvent)): net.sourceforge.pebble.api.event.blogentry.BlogEntryEvent:getSource(...)@91.__Tag == net/sourceforge/pebble/domain/BlogEntry
    //#unanalyzed(void blogEntryUnpublished(BlogEntryEvent)): Effects-of-calling:net.sourceforge.pebble.api.event.blogentry.BlogEntryEvent:getSource
    //#unanalyzed(void blogEntryUnpublished(BlogEntryEvent)): Effects-of-calling:net.sourceforge.pebble.domain.Blog:getIndexesDirectory
    //#unanalyzed(void blogEntryUnpublished(BlogEntryEvent)): Effects-of-calling:java.io.File
    //#unanalyzed(void blogEntryUnpublished(BlogEntryEvent)): Effects-of-calling:java.io.FileWriter
    //#unanalyzed(void blogEntryUnpublished(BlogEntryEvent)): Effects-of-calling:java.io.BufferedWriter
    //#unanalyzed(void blogEntryUnpublished(BlogEntryEvent)): Effects-of-calling:java.util.List:iterator
    //#unanalyzed(void blogEntryUnpublished(BlogEntryEvent)): Effects-of-calling:java.util.Iterator:hasNext
    //#unanalyzed(void blogEntryUnpublished(BlogEntryEvent)): Effects-of-calling:java.util.Iterator:next
    //#unanalyzed(void blogEntryUnpublished(BlogEntryEvent)): Effects-of-calling:java.io.BufferedWriter:write
    //#unanalyzed(void blogEntryUnpublished(BlogEntryEvent)): Effects-of-calling:java.io.BufferedWriter:newLine
    //#unanalyzed(void blogEntryUnpublished(BlogEntryEvent)): Effects-of-calling:java.io.BufferedWriter:flush
    //#unanalyzed(void blogEntryUnpublished(BlogEntryEvent)): Effects-of-calling:java.io.BufferedWriter:close
    //#unanalyzed(void blogEntryUnpublished(BlogEntryEvent)): Effects-of-calling:org.apache.commons.logging.Log:error
    //#unanalyzed(void blogEntryUnpublished(BlogEntryEvent)): Effects-of-calling:getDate
    //#unanalyzed(void blogEntryUnpublished(BlogEntryEvent)): Effects-of-calling:getBlogForDay
    //#unanalyzed(void blogEntryUnpublished(BlogEntryEvent)): Effects-of-calling:removeBlogEntry
    //#unanalyzed(void blogEntryUnpublished(BlogEntryEvent)): Effects-of-calling:getId
    //#unanalyzed(void blogEntryUnpublished(BlogEntryEvent)): Effects-of-calling:java.util.List:remove
    //#unanalyzed(void blogEntryUnpublished(BlogEntryEvent)): Effects-of-calling:isPublished
    //#unanalyzed(void blogEntryUnpublished(BlogEntryEvent)): Effects-of-calling:java.util.List:add
    //#unanalyzed(void blogEntryUnpublished(BlogEntryEvent)): Effects-of-calling:addPublishedBlogEntry
    //#unanalyzed(void blogEntryUnpublished(BlogEntryEvent)): Effects-of-calling:addUnpublishedBlogEntry
    //#unanalyzed(void blogEntryUnpublished(BlogEntryEvent)): Effects-of-calling:java.util.Collections:sort
    //#unanalyzed(void blogEntryUnpublished(BlogEntryEvent)): Effects-of-calling:java.util.Properties:getProperty
    //#unanalyzed(void blogEntryUnpublished(BlogEntryEvent)): Effects-of-calling:getTimeZone
    //#unanalyzed(void blogEntryUnpublished(BlogEntryEvent)): Effects-of-calling:getLocale
    //#unanalyzed(void blogEntryUnpublished(BlogEntryEvent)): Effects-of-calling:java.util.Calendar:getInstance
    //#unanalyzed(void blogEntryUnpublished(BlogEntryEvent)): Effects-of-calling:java.util.Locale
    //#unanalyzed(void blogEntryUnpublished(BlogEntryEvent)): Effects-of-calling:java.util.TimeZone:getTimeZone
    //#unanalyzed(void blogEntryUnpublished(BlogEntryEvent)): Effects-of-calling:java.util.Calendar:get
    //#unanalyzed(void blogEntryUnpublished(BlogEntryEvent)): Effects-of-calling:getBlogForMonth
    //#unanalyzed(void blogEntryUnpublished(BlogEntryEvent)): Effects-of-calling:java.util.Calendar:setTime
    //#unanalyzed(void blogEntryUnpublished(BlogEntryEvent)): Effects-of-calling:java.lang.StringBuilder
    //#unanalyzed(void blogEntryUnpublished(BlogEntryEvent)): Effects-of-calling:java.lang.StringBuilder:append
    //#unanalyzed(void blogEntryUnpublished(BlogEntryEvent)): Effects-of-calling:java.lang.StringBuilder:toString
    //#unanalyzed(void blogEntryUnpublished(BlogEntryEvent)): Effects-of-calling:java.lang.IllegalArgumentException
    //#unanalyzed(void blogEntryUnpublished(BlogEntryEvent)): Effects-of-calling:getBlog
    //#unanalyzed(void blogEntryUnpublished(BlogEntryEvent)): Effects-of-calling:net.sourceforge.pebble.domain.Blog:getCalendar
    //#unanalyzed(void blogEntryUnpublished(BlogEntryEvent)): Effects-of-calling:java.util.Calendar:set
    //#unanalyzed(void blogEntryUnpublished(BlogEntryEvent)): Effects-of-calling:java.util.Calendar:getTime
    //#unanalyzed(void blogEntryUnpublished(BlogEntryEvent)): Effects-of-calling:setDate
    //#unanalyzed(void blogEntryUnpublished(BlogEntryEvent)): Effects-of-calling:net.sourceforge.pebble.domain.Month
    //#unanalyzed(void blogEntryUnpublished(BlogEntryEvent)): Effects-of-calling:net.sourceforge.pebble.domain.TimePeriod
    //#unanalyzed(void blogEntryUnpublished(BlogEntryEvent)): Effects-of-calling:net.sourceforge.pebble.domain.BlogEntry:getId
    //#unanalyzed(void blogEntryUnpublished(BlogEntryEvent)): Effects-of-calling:java.lang.String:equals
    //#unanalyzed(void blogEntryUnpublished(BlogEntryEvent)): Effects-of-calling:java.util.List:contains
    //#unanalyzed(void blogEntryUnpublished(BlogEntryEvent)): Effects-of-calling:getMonth
    //#unanalyzed(void blogEntryUnpublished(BlogEntryEvent)): Effects-of-calling:java.util.Calendar:getActualMaximum
    //#unanalyzed(void blogEntryUnpublished(BlogEntryEvent)): Effects-of-calling:getYear
    //#unanalyzed(void blogEntryUnpublished(BlogEntryEvent)): Effects-of-calling:net.sourceforge.pebble.domain.Month:getBlog
    //#unanalyzed(void blogEntryUnpublished(BlogEntryEvent)): Effects-of-calling:java.util.ArrayList
    blogEntry.getBlog().getBlogEntryIndex().unindex(blogEntry);
    //#blogentryindexlistener.java:60: ?null dereference
    //#    net/sourceforge/pebble/domain/Blog.__Descendant_Table[getBlog(...).__Tag] != null
    //#    severity: SUPPRESSED
    //#    class: net.sourceforge.pebble.index.BlogEntryIndexListener
    //#    method: void blogEntryUnpublished(BlogEntryEvent)
    //#    basic block: Entry_BB_1
    //#    assertion: net/sourceforge/pebble/domain/Blog.__Descendant_Table[getBlog(...).__Tag] != null
    //#    VN: net/sourceforge/pebble/domain/Blog.__Descendant_Table[getBlog(...).__Tag]
    //#    Expected: Inverse{null}
    //#    Bad: Addr_Set{null}
    //#    Attribs:  Ptr  null in Bad
    //#blogentryindexlistener.java:60: ?null dereference
    //#    net/sourceforge/pebble/index/BlogEntryIndex.__Descendant_Table[getBlogEntryIndex(...).__Tag] != null
    //#    severity: SUPPRESSED
    //#    class: net.sourceforge.pebble.index.BlogEntryIndexListener
    //#    method: void blogEntryUnpublished(BlogEntryEvent)
    //#    basic block: Entry_BB_1
    //#    assertion: net/sourceforge/pebble/index/BlogEntryIndex.__Descendant_Table[getBlogEntryIndex(...).__Tag] != null
    //#    VN: net/sourceforge/pebble/index/BlogEntryIndex.__Descendant_Table[getBlogEntryIndex(...).__Tag]
    //#    Expected: Inverse{null}
    //#    Bad: Addr_Set{null}
    //#    Attribs:  Ptr  null in Bad
    blogEntry.getBlog().getBlogEntryIndex().index(blogEntry);
    //#blogentryindexlistener.java:61: ?null dereference
    //#    net/sourceforge/pebble/index/BlogEntryIndex.__Descendant_Table[getBlogEntryIndex(...).__Tag] != null
    //#    severity: SUPPRESSED
    //#    class: net.sourceforge.pebble.index.BlogEntryIndexListener
    //#    method: void blogEntryUnpublished(BlogEntryEvent)
    //#    basic block: Entry_BB_1
    //#    assertion: net/sourceforge/pebble/index/BlogEntryIndex.__Descendant_Table[getBlogEntryIndex(...).__Tag] != null
    //#    VN: net/sourceforge/pebble/index/BlogEntryIndex.__Descendant_Table[getBlogEntryIndex(...).__Tag]
    //#    Expected: Inverse{null}
    //#    Bad: Addr_Set{null}
    //#    Attribs:  Ptr  null in Bad
  }
    //#blogentryindexlistener.java:62: end of method: void net.sourceforge.pebble.index.BlogEntryIndexListener.blogEntryUnpublished(BlogEntryEvent)

}
    //#output(net.sourceforge.pebble.index.BlogEntryIndexListener__static_init): __Descendant_Table[net/sourceforge/pebble/index/BlogEntryIndexListener]
    //#output(net.sourceforge.pebble.index.BlogEntryIndexListener__static_init): __Dispatch_Table.blogEntryAdded(Lnet/sourceforge/pebble/api/event/blogentry/BlogEntryEvent;)V
    //#output(net.sourceforge.pebble.index.BlogEntryIndexListener__static_init): __Dispatch_Table.blogEntryChanged(Lnet/sourceforge/pebble/api/event/blogentry/BlogEntryEvent;)V
    //#output(net.sourceforge.pebble.index.BlogEntryIndexListener__static_init): __Dispatch_Table.blogEntryPublished(Lnet/sourceforge/pebble/api/event/blogentry/BlogEntryEvent;)V
    //#output(net.sourceforge.pebble.index.BlogEntryIndexListener__static_init): __Dispatch_Table.blogEntryRemoved(Lnet/sourceforge/pebble/api/event/blogentry/BlogEntryEvent;)V
    //#output(net.sourceforge.pebble.index.BlogEntryIndexListener__static_init): __Dispatch_Table.blogEntryUnpublished(Lnet/sourceforge/pebble/api/event/blogentry/BlogEntryEvent;)V
    //#output(net.sourceforge.pebble.index.BlogEntryIndexListener__static_init): net/sourceforge/pebble/api/event/blogentry/BlogEntryListener.__Descendant_Table[net/sourceforge/pebble/index/BlogEntryIndexListener]
    //#post(net.sourceforge.pebble.index.BlogEntryIndexListener__static_init): __Descendant_Table[net/sourceforge/pebble/index/BlogEntryIndexListener] == &__Dispatch_Table
    //#post(net.sourceforge.pebble.index.BlogEntryIndexListener__static_init): net/sourceforge/pebble/api/event/blogentry/BlogEntryListener.__Descendant_Table[net/sourceforge/pebble/index/BlogEntryIndexListener] == &__Dispatch_Table
    //#post(net.sourceforge.pebble.index.BlogEntryIndexListener__static_init): __Dispatch_Table.blogEntryAdded(Lnet/sourceforge/pebble/api/event/blogentry/BlogEntryEvent;)V == &blogEntryAdded
    //#post(net.sourceforge.pebble.index.BlogEntryIndexListener__static_init): __Dispatch_Table.blogEntryChanged(Lnet/sourceforge/pebble/api/event/blogentry/BlogEntryEvent;)V == &blogEntryChanged
    //#post(net.sourceforge.pebble.index.BlogEntryIndexListener__static_init): __Dispatch_Table.blogEntryPublished(Lnet/sourceforge/pebble/api/event/blogentry/BlogEntryEvent;)V == &blogEntryPublished
    //#post(net.sourceforge.pebble.index.BlogEntryIndexListener__static_init): __Dispatch_Table.blogEntryRemoved(Lnet/sourceforge/pebble/api/event/blogentry/BlogEntryEvent;)V == &blogEntryRemoved
    //#post(net.sourceforge.pebble.index.BlogEntryIndexListener__static_init): __Dispatch_Table.blogEntryUnpublished(Lnet/sourceforge/pebble/api/event/blogentry/BlogEntryEvent;)V == &blogEntryUnpublished
    //#blogentryindexlistener.java:: end of method: net.sourceforge.pebble.index.BlogEntryIndexListener.net.sourceforge.pebble.index.BlogEntryIndexListener__static_init
    //#blogentryindexlistener.java:: end of class: net.sourceforge.pebble.index.BlogEntryIndexListener
