//# 12 errors, 309 messages
//#
/*
    //#authorindexlistener.java:1:1: class: net.sourceforge.pebble.index.AuthorIndexListener
    //#authorindexlistener.java:1:1: method: net.sourceforge.pebble.index.AuthorIndexListener.net.sourceforge.pebble.index.AuthorIndexListener__static_init
 * Copyright (c) 2003-2006, Simon Brown
 * All rights reserved.
 *
 * Redistribution and use in source and binary forms, with or without
 * modification, are permitted provided that the following conditions are met:
 *
 *   - Redistributions of source code must retain the above copyright
 *     notice, this list of conditions and the following disclaimer.
 *
 *   - Redistributions in binary form must reproduce the above copyright
 *     notice, this list of conditions and the following disclaimer in
 *     the documentation and/or other materials provided with the
 *     distribution.
 *
 *   - Neither the name of Pebble nor the names of its contributors may
 *     be used to endorse or promote products derived from this software
 *     without specific prior written permission.
 *
 * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
 * AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
 * ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE
 * LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
 * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
 * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
 * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
 * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
 * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
 * POSSIBILITY OF SUCH DAMAGE.
 */
package net.sourceforge.pebble.index;

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

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

  /**
   * Called when a blog entry has been added.
   *
   * @param event a BlogEntryEvent instance
   */
  public void blogEntryAdded(BlogEntryEvent event) {
    BlogEntry blogEntry = event.getBlogEntry();
    //#authorindexlistener.java:51: method: void net.sourceforge.pebble.index.AuthorIndexListener.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/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.getAuthorIndex()Lnet/sourceforge/pebble/index/AuthorIndex;
    //#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.getAuthor()Ljava/lang/String;
    //#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.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/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/index/AuthorIndex.__Descendant_Table[net/sourceforge/pebble/index/AuthorIndex]
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/index/AuthorIndex.__Descendant_Table[others]
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/index/AuthorIndex.__Dispatch_Table.index(Lnet/sourceforge/pebble/domain/BlogEntry;)V
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/index/AuthorIndex.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@51 != null
    //#presumption(void blogEntryAdded(BlogEntryEvent)): blogEntry.state.__Tag@51 == net/sourceforge/pebble/domain/State
    //#presumption(void blogEntryAdded(BlogEntryEvent)): blogEntry.state@51 != null
    //#presumption(void blogEntryAdded(BlogEntryEvent)): getAuthorIndex(...).__Tag@51 == net/sourceforge/pebble/index/AuthorIndex
    //#presumption(void blogEntryAdded(BlogEntryEvent)): getAuthorIndex(...).authors@51 != null
    //#presumption(void blogEntryAdded(BlogEntryEvent)): getAuthorIndex(...).blog@51 != null
    //#presumption(void blogEntryAdded(BlogEntryEvent)): getBlog(...).__Tag@51 == net/sourceforge/pebble/domain/Blog
    //#presumption(void blogEntryAdded(BlogEntryEvent)): getBlog(...).authorIndex@51 != 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 == net/sourceforge/pebble/domain/BlogEntry
    //#unanalyzed(void blogEntryAdded(BlogEntryEvent)): Effects-of-calling:net.sourceforge.pebble.api.event.blogentry.BlogEntryEvent:getSource
    //#unanalyzed(void blogEntryAdded(BlogEntryEvent)): Effects-of-calling:java.util.Map:get
    //#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:org.apache.commons.logging.Log:error
    //#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.Map:keySet
    //#unanalyzed(void blogEntryAdded(BlogEntryEvent)): Effects-of-calling:java.util.Set: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.util.List:iterator
    //#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:getAuthor
    //#unanalyzed(void blogEntryAdded(BlogEntryEvent)): Effects-of-calling:getId
    //#unanalyzed(void blogEntryAdded(BlogEntryEvent)): Effects-of-calling:java.util.LinkedList
    //#unanalyzed(void blogEntryAdded(BlogEntryEvent)): Effects-of-calling:java.util.Map:put
    //#unanalyzed(void blogEntryAdded(BlogEntryEvent)): Effects-of-calling:java.util.List:add
    //#unanalyzed(void blogEntryAdded(BlogEntryEvent)): Effects-of-calling:isPublished
    //#unanalyzed(void blogEntryAdded(BlogEntryEvent)): Effects-of-calling:java.util.Collections:sort
    //#unanalyzed(void blogEntryAdded(BlogEntryEvent)): Effects-of-calling:java.lang.String:equals
    blogEntry.getBlog().getAuthorIndex().index(blogEntry);
    //#authorindexlistener.java:52: ?null dereference
    //#    net/sourceforge/pebble/domain/Blog.__Descendant_Table[getBlog(...).__Tag] != null
    //#    severity: SUPPRESSED
    //#    class: net.sourceforge.pebble.index.AuthorIndexListener
    //#    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
    //#authorindexlistener.java:52: ?null dereference
    //#    net/sourceforge/pebble/index/AuthorIndex.__Descendant_Table[getAuthorIndex(...).__Tag] != null
    //#    severity: SUPPRESSED
    //#    class: net.sourceforge.pebble.index.AuthorIndexListener
    //#    method: void blogEntryAdded(BlogEntryEvent)
    //#    basic block: Entry_BB_1
    //#    assertion: net/sourceforge/pebble/index/AuthorIndex.__Descendant_Table[getAuthorIndex(...).__Tag] != null
    //#    VN: net/sourceforge/pebble/index/AuthorIndex.__Descendant_Table[getAuthorIndex(...).__Tag]
    //#    Expected: Inverse{null}
    //#    Bad: Addr_Set{null}
    //#    Attribs:  Ptr  null in Bad
  }
    //#authorindexlistener.java:53: end of method: void net.sourceforge.pebble.index.AuthorIndexListener.blogEntryAdded(BlogEntryEvent)

  /**
   * Called when a blog entry has been removed.
   *
   * @param event a BlogEntryEvent instance
   */
  public void blogEntryRemoved(BlogEntryEvent event) {
    BlogEntry blogEntry = event.getBlogEntry();
    //#authorindexlistener.java:61: method: void net.sourceforge.pebble.index.AuthorIndexListener.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/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.getAuthorIndex()Lnet/sourceforge/pebble/index/AuthorIndex;
    //#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.getAuthor()Ljava/lang/String;
    //#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.getId()Ljava/lang/String;
    //#input(void blogEntryRemoved(BlogEntryEvent)): net/sourceforge/pebble/index/AuthorIndex.__Descendant_Table[net/sourceforge/pebble/index/AuthorIndex]
    //#input(void blogEntryRemoved(BlogEntryEvent)): net/sourceforge/pebble/index/AuthorIndex.__Descendant_Table[others]
    //#input(void blogEntryRemoved(BlogEntryEvent)): net/sourceforge/pebble/index/AuthorIndex.__Dispatch_Table.unindex(Lnet/sourceforge/pebble/domain/BlogEntry;)V
    //#input(void blogEntryRemoved(BlogEntryEvent)): net/sourceforge/pebble/index/AuthorIndex.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@61 != null
    //#presumption(void blogEntryRemoved(BlogEntryEvent)): getAuthorIndex(...).__Tag@61 == net/sourceforge/pebble/index/AuthorIndex
    //#presumption(void blogEntryRemoved(BlogEntryEvent)): getAuthorIndex(...).authors@61 != null
    //#presumption(void blogEntryRemoved(BlogEntryEvent)): getAuthorIndex(...).blog@61 != null
    //#presumption(void blogEntryRemoved(BlogEntryEvent)): getBlog(...).__Tag@61 == net/sourceforge/pebble/domain/Blog
    //#presumption(void blogEntryRemoved(BlogEntryEvent)): getBlog(...).authorIndex@61 != 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:java.util.Map:get
    //#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:org.apache.commons.logging.Log:error
    //#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.Map:keySet
    //#unanalyzed(void blogEntryRemoved(BlogEntryEvent)): Effects-of-calling:java.util.Set: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.util.List:iterator
    //#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:getAuthor
    //#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:isEmpty
    //#unanalyzed(void blogEntryRemoved(BlogEntryEvent)): Effects-of-calling:java.util.Map:remove
    blogEntry.getBlog().getAuthorIndex().unindex(blogEntry);
    //#authorindexlistener.java:62: ?null dereference
    //#    net/sourceforge/pebble/domain/Blog.__Descendant_Table[getBlog(...).__Tag] != null
    //#    severity: SUPPRESSED
    //#    class: net.sourceforge.pebble.index.AuthorIndexListener
    //#    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
    //#authorindexlistener.java:62: ?null dereference
    //#    net/sourceforge/pebble/index/AuthorIndex.__Descendant_Table[getAuthorIndex(...).__Tag] != null
    //#    severity: SUPPRESSED
    //#    class: net.sourceforge.pebble.index.AuthorIndexListener
    //#    method: void blogEntryRemoved(BlogEntryEvent)
    //#    basic block: Entry_BB_1
    //#    assertion: net/sourceforge/pebble/index/AuthorIndex.__Descendant_Table[getAuthorIndex(...).__Tag] != null
    //#    VN: net/sourceforge/pebble/index/AuthorIndex.__Descendant_Table[getAuthorIndex(...).__Tag]
    //#    Expected: Inverse{null}
    //#    Bad: Addr_Set{null}
    //#    Attribs:  Ptr  null in Bad
  }
    //#authorindexlistener.java:63: end of method: void net.sourceforge.pebble.index.AuthorIndexListener.blogEntryRemoved(BlogEntryEvent)

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

  /**
   * Called when a blog entry has been published.
   *
   * @param event a BlogEntryEvent instance
   */
  public void blogEntryPublished(BlogEntryEvent event) {
    BlogEntry blogEntry = event.getBlogEntry();
    //#authorindexlistener.java:79: method: void net.sourceforge.pebble.index.AuthorIndexListener.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/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.getAuthorIndex()Lnet/sourceforge/pebble/index/AuthorIndex;
    //#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.getAuthor()Ljava/lang/String;
    //#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.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/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/index/AuthorIndex.__Descendant_Table[net/sourceforge/pebble/index/AuthorIndex]
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/index/AuthorIndex.__Descendant_Table[others]
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/index/AuthorIndex.__Dispatch_Table.index(Lnet/sourceforge/pebble/domain/BlogEntry;)V
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/index/AuthorIndex.__Dispatch_Table.unindex(Lnet/sourceforge/pebble/domain/BlogEntry;)V
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/index/AuthorIndex.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@79 != null
    //#presumption(void blogEntryPublished(BlogEntryEvent)): blogEntry.blog@80 != null
    //#presumption(void blogEntryPublished(BlogEntryEvent)): blogEntry.state.__Tag@80 == net/sourceforge/pebble/domain/State
    //#presumption(void blogEntryPublished(BlogEntryEvent)): blogEntry.state@80 != null
    //#presumption(void blogEntryPublished(BlogEntryEvent)): getAuthorIndex(...).authors@79 != null
    //#presumption(void blogEntryPublished(BlogEntryEvent)): getAuthorIndex(...).authors@80 != null
    //#presumption(void blogEntryPublished(BlogEntryEvent)): getAuthorIndex(...).blog@79 != null
    //#presumption(void blogEntryPublished(BlogEntryEvent)): getAuthorIndex(...).blog@80 != null
    //#presumption(void blogEntryPublished(BlogEntryEvent)): getBlog(...).__Tag@80 == net/sourceforge/pebble/domain/Blog
    //#presumption(void blogEntryPublished(BlogEntryEvent)): getBlog(...).authorIndex@79 != null
    //#presumption(void blogEntryPublished(BlogEntryEvent)): getBlog(...).authorIndex@80 != null
    //#presumption(void blogEntryPublished(BlogEntryEvent)): net.sourceforge.pebble.api.event.blogentry.BlogEntryEvent:getSource(...)@91 != null
    //#unanalyzed(void blogEntryPublished(BlogEntryEvent)): Effects-of-calling:net.sourceforge.pebble.api.event.blogentry.BlogEntryEvent:getSource
    //#unanalyzed(void blogEntryPublished(BlogEntryEvent)): Effects-of-calling:java.util.Map:get
    //#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:org.apache.commons.logging.Log:error
    //#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.Map:keySet
    //#unanalyzed(void blogEntryPublished(BlogEntryEvent)): Effects-of-calling:java.util.Set: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.util.List:iterator
    //#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:getAuthor
    //#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:java.util.List:isEmpty
    //#unanalyzed(void blogEntryPublished(BlogEntryEvent)): Effects-of-calling:java.util.Map:remove
    //#unanalyzed(void blogEntryPublished(BlogEntryEvent)): Effects-of-calling:java.util.LinkedList
    //#unanalyzed(void blogEntryPublished(BlogEntryEvent)): Effects-of-calling:java.util.Map:put
    //#unanalyzed(void blogEntryPublished(BlogEntryEvent)): Effects-of-calling:java.util.List:add
    //#unanalyzed(void blogEntryPublished(BlogEntryEvent)): Effects-of-calling:isPublished
    //#unanalyzed(void blogEntryPublished(BlogEntryEvent)): Effects-of-calling:java.util.Collections:sort
    //#unanalyzed(void blogEntryPublished(BlogEntryEvent)): Effects-of-calling:java.lang.String:equals
    blogEntry.getBlog().getAuthorIndex().unindex(blogEntry);
    //#authorindexlistener.java:80: ?null dereference
    //#    net/sourceforge/pebble/domain/BlogEntry.__Descendant_Table[blogEntry.__Tag] != null
    //#    severity: SUPPRESSED
    //#    class: net.sourceforge.pebble.index.AuthorIndexListener
    //#    method: void blogEntryPublished(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
    //#authorindexlistener.java:80: ?null dereference
    //#    net/sourceforge/pebble/domain/Blog.__Descendant_Table[getBlog(...).__Tag] != null
    //#    severity: SUPPRESSED
    //#    class: net.sourceforge.pebble.index.AuthorIndexListener
    //#    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
    //#authorindexlistener.java:80: ?null dereference
    //#    net/sourceforge/pebble/index/AuthorIndex.__Descendant_Table[getAuthorIndex(...).__Tag] != null
    //#    severity: SUPPRESSED
    //#    class: net.sourceforge.pebble.index.AuthorIndexListener
    //#    method: void blogEntryPublished(BlogEntryEvent)
    //#    basic block: Entry_BB_1
    //#    assertion: net/sourceforge/pebble/index/AuthorIndex.__Descendant_Table[getAuthorIndex(...).__Tag] != null
    //#    VN: net/sourceforge/pebble/index/AuthorIndex.__Descendant_Table[getAuthorIndex(...).__Tag]
    //#    Expected: Inverse{null}
    //#    Bad: Addr_Set{null}
    //#    Attribs:  Ptr  null in Bad
    blogEntry.getBlog().getAuthorIndex().index(blogEntry);
    //#authorindexlistener.java:81: ?null dereference
    //#    net/sourceforge/pebble/index/AuthorIndex.__Descendant_Table[getAuthorIndex(...).__Tag] != null
    //#    severity: SUPPRESSED
    //#    class: net.sourceforge.pebble.index.AuthorIndexListener
    //#    method: void blogEntryPublished(BlogEntryEvent)
    //#    basic block: Entry_BB_1
    //#    assertion: net/sourceforge/pebble/index/AuthorIndex.__Descendant_Table[getAuthorIndex(...).__Tag] != null
    //#    VN: net/sourceforge/pebble/index/AuthorIndex.__Descendant_Table[getAuthorIndex(...).__Tag]
    //#    Expected: Inverse{null}
    //#    Bad: Addr_Set{null}
    //#    Attribs:  Ptr  null in Bad
  }
    //#authorindexlistener.java:82: end of method: void net.sourceforge.pebble.index.AuthorIndexListener.blogEntryPublished(BlogEntryEvent)

  /**
   * Called when a blog entry has been unpublished.
   *
   * @param event a BlogEntryEvent instance
   */
  public void blogEntryUnpublished(BlogEntryEvent event) {
    BlogEntry blogEntry = event.getBlogEntry();
    //#authorindexlistener.java:90: method: void net.sourceforge.pebble.index.AuthorIndexListener.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/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.getAuthorIndex()Lnet/sourceforge/pebble/index/AuthorIndex;
    //#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.getAuthor()Ljava/lang/String;
    //#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.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/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/index/AuthorIndex.__Descendant_Table[net/sourceforge/pebble/index/AuthorIndex]
    //#input(void blogEntryUnpublished(BlogEntryEvent)): net/sourceforge/pebble/index/AuthorIndex.__Descendant_Table[others]
    //#input(void blogEntryUnpublished(BlogEntryEvent)): net/sourceforge/pebble/index/AuthorIndex.__Dispatch_Table.index(Lnet/sourceforge/pebble/domain/BlogEntry;)V
    //#input(void blogEntryUnpublished(BlogEntryEvent)): net/sourceforge/pebble/index/AuthorIndex.__Dispatch_Table.unindex(Lnet/sourceforge/pebble/domain/BlogEntry;)V
    //#input(void blogEntryUnpublished(BlogEntryEvent)): net/sourceforge/pebble/index/AuthorIndex.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@90 != null
    //#presumption(void blogEntryUnpublished(BlogEntryEvent)): blogEntry.blog@91 != null
    //#presumption(void blogEntryUnpublished(BlogEntryEvent)): blogEntry.state.__Tag@91 == net/sourceforge/pebble/domain/State
    //#presumption(void blogEntryUnpublished(BlogEntryEvent)): blogEntry.state@91 != null
    //#presumption(void blogEntryUnpublished(BlogEntryEvent)): getAuthorIndex(...).authors@90 != null
    //#presumption(void blogEntryUnpublished(BlogEntryEvent)): getAuthorIndex(...).authors@91 != null
    //#presumption(void blogEntryUnpublished(BlogEntryEvent)): getAuthorIndex(...).blog@90 != null
    //#presumption(void blogEntryUnpublished(BlogEntryEvent)): getAuthorIndex(...).blog@91 != null
    //#presumption(void blogEntryUnpublished(BlogEntryEvent)): getBlog(...).__Tag@91 == net/sourceforge/pebble/domain/Blog
    //#presumption(void blogEntryUnpublished(BlogEntryEvent)): getBlog(...).authorIndex@90 != null
    //#presumption(void blogEntryUnpublished(BlogEntryEvent)): getBlog(...).authorIndex@91 != null
    //#presumption(void blogEntryUnpublished(BlogEntryEvent)): net.sourceforge.pebble.api.event.blogentry.BlogEntryEvent:getSource(...)@91 != null
    //#unanalyzed(void blogEntryUnpublished(BlogEntryEvent)): Effects-of-calling:net.sourceforge.pebble.api.event.blogentry.BlogEntryEvent:getSource
    //#unanalyzed(void blogEntryUnpublished(BlogEntryEvent)): Effects-of-calling:java.util.Map:get
    //#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:org.apache.commons.logging.Log:error
    //#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.Map:keySet
    //#unanalyzed(void blogEntryUnpublished(BlogEntryEvent)): Effects-of-calling:java.util.Set: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.util.List:iterator
    //#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:getAuthor
    //#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:java.util.List:isEmpty
    //#unanalyzed(void blogEntryUnpublished(BlogEntryEvent)): Effects-of-calling:java.util.Map:remove
    //#unanalyzed(void blogEntryUnpublished(BlogEntryEvent)): Effects-of-calling:java.util.LinkedList
    //#unanalyzed(void blogEntryUnpublished(BlogEntryEvent)): Effects-of-calling:java.util.Map:put
    //#unanalyzed(void blogEntryUnpublished(BlogEntryEvent)): Effects-of-calling:java.util.List:add
    //#unanalyzed(void blogEntryUnpublished(BlogEntryEvent)): Effects-of-calling:isPublished
    //#unanalyzed(void blogEntryUnpublished(BlogEntryEvent)): Effects-of-calling:java.util.Collections:sort
    //#unanalyzed(void blogEntryUnpublished(BlogEntryEvent)): Effects-of-calling:java.lang.String:equals
    blogEntry.getBlog().getAuthorIndex().unindex(blogEntry);
    //#authorindexlistener.java:91: ?null dereference
    //#    net/sourceforge/pebble/domain/BlogEntry.__Descendant_Table[blogEntry.__Tag] != null
    //#    severity: SUPPRESSED
    //#    class: net.sourceforge.pebble.index.AuthorIndexListener
    //#    method: void blogEntryUnpublished(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
    //#authorindexlistener.java:91: ?null dereference
    //#    net/sourceforge/pebble/domain/Blog.__Descendant_Table[getBlog(...).__Tag] != null
    //#    severity: SUPPRESSED
    //#    class: net.sourceforge.pebble.index.AuthorIndexListener
    //#    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
    //#authorindexlistener.java:91: ?null dereference
    //#    net/sourceforge/pebble/index/AuthorIndex.__Descendant_Table[getAuthorIndex(...).__Tag] != null
    //#    severity: SUPPRESSED
    //#    class: net.sourceforge.pebble.index.AuthorIndexListener
    //#    method: void blogEntryUnpublished(BlogEntryEvent)
    //#    basic block: Entry_BB_1
    //#    assertion: net/sourceforge/pebble/index/AuthorIndex.__Descendant_Table[getAuthorIndex(...).__Tag] != null
    //#    VN: net/sourceforge/pebble/index/AuthorIndex.__Descendant_Table[getAuthorIndex(...).__Tag]
    //#    Expected: Inverse{null}
    //#    Bad: Addr_Set{null}
    //#    Attribs:  Ptr  null in Bad
    blogEntry.getBlog().getAuthorIndex().index(blogEntry);
    //#authorindexlistener.java:92: ?null dereference
    //#    net/sourceforge/pebble/index/AuthorIndex.__Descendant_Table[getAuthorIndex(...).__Tag] != null
    //#    severity: SUPPRESSED
    //#    class: net.sourceforge.pebble.index.AuthorIndexListener
    //#    method: void blogEntryUnpublished(BlogEntryEvent)
    //#    basic block: Entry_BB_1
    //#    assertion: net/sourceforge/pebble/index/AuthorIndex.__Descendant_Table[getAuthorIndex(...).__Tag] != null
    //#    VN: net/sourceforge/pebble/index/AuthorIndex.__Descendant_Table[getAuthorIndex(...).__Tag]
    //#    Expected: Inverse{null}
    //#    Bad: Addr_Set{null}
    //#    Attribs:  Ptr  null in Bad
  }
    //#authorindexlistener.java:93: end of method: void net.sourceforge.pebble.index.AuthorIndexListener.blogEntryUnpublished(BlogEntryEvent)

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