//# 34 errors, 890 messages
//#
package net.sourceforge.pebble.index;
    //#responseindexlistener.java:1:1: class: net.sourceforge.pebble.index.ResponseIndexListener
    //#responseindexlistener.java:1:1: method: net.sourceforge.pebble.index.ResponseIndexListener.net.sourceforge.pebble.index.ResponseIndexListener__static_init

import net.sourceforge.pebble.domain.Comment;
import net.sourceforge.pebble.domain.TrackBack;
import net.sourceforge.pebble.api.event.comment.CommentEvent;
import net.sourceforge.pebble.api.event.comment.CommentListener;
import net.sourceforge.pebble.api.event.trackback.TrackBackEvent;
import net.sourceforge.pebble.api.event.trackback.TrackBackListener;

/**
 * Listens to comment/TrackBack events and keeps the response index up to date.
 *
 * @author    Simon Brown
 */
public class ResponseIndexListener implements CommentListener, TrackBackListener {
    //#responseindexlistener.java:15: method: void net.sourceforge.pebble.index.ResponseIndexListener.net.sourceforge.pebble.index.ResponseIndexListener()
    //#responseindexlistener.java:15: end of method: void net.sourceforge.pebble.index.ResponseIndexListener.net.sourceforge.pebble.index.ResponseIndexListener()

  /**
   * Called when a comment has been added.
   *
   * @param event a CommentEvent instance
   */
  public void commentAdded(CommentEvent event) {
    Comment comment = event.getComment();
    //#responseindexlistener.java:23: method: void net.sourceforge.pebble.index.ResponseIndexListener.commentAdded(CommentEvent)
    //#input(void commentAdded(CommentEvent)): event
    //#input(void commentAdded(CommentEvent)): event.__Tag
    //#input(void commentAdded(CommentEvent)): net.sourceforge.pebble.domain.State__static_init.new State(State__static_init#1).__Tag
    //#input(void commentAdded(CommentEvent)): net.sourceforge.pebble.domain.State__static_init.new State(State__static_init#1).name
    //#input(void commentAdded(CommentEvent)): net.sourceforge.pebble.domain.State__static_init.new State(State__static_init#2).__Tag
    //#input(void commentAdded(CommentEvent)): net.sourceforge.pebble.domain.State__static_init.new State(State__static_init#2).name
    //#input(void commentAdded(CommentEvent)): net.sourceforge.pebble.domain.State__static_init.new State(State__static_init#3).__Tag
    //#input(void commentAdded(CommentEvent)): net.sourceforge.pebble.domain.State__static_init.new State(State__static_init#3).name
    //#input(void commentAdded(CommentEvent)): net/sourceforge/pebble/api/event/comment/CommentEvent.__Descendant_Table[net/sourceforge/pebble/api/event/comment/CommentEvent]
    //#input(void commentAdded(CommentEvent)): net/sourceforge/pebble/api/event/comment/CommentEvent.__Descendant_Table[others]
    //#input(void commentAdded(CommentEvent)): net/sourceforge/pebble/api/event/comment/CommentEvent.__Dispatch_Table.getComment()Lnet/sourceforge/pebble/domain/Comment;
    //#input(void commentAdded(CommentEvent)): net/sourceforge/pebble/domain/Blog.__Descendant_Table[net/sourceforge/pebble/domain/Blog]
    //#input(void commentAdded(CommentEvent)): net/sourceforge/pebble/domain/Blog.__Descendant_Table[others]
    //#input(void commentAdded(CommentEvent)): net/sourceforge/pebble/domain/Blog.__Dispatch_Table.getResponseIndex()Lnet/sourceforge/pebble/index/ResponseIndex;
    //#input(void commentAdded(CommentEvent)): net/sourceforge/pebble/domain/BlogEntry.__Descendant_Table[net/sourceforge/pebble/domain/BlogEntry]
    //#input(void commentAdded(CommentEvent)): net/sourceforge/pebble/domain/BlogEntry.__Descendant_Table[others]
    //#input(void commentAdded(CommentEvent)): net/sourceforge/pebble/domain/BlogEntry.__Dispatch_Table.getBlog()Lnet/sourceforge/pebble/domain/Blog;
    //#input(void commentAdded(CommentEvent)): net/sourceforge/pebble/domain/Comment.__Descendant_Table[net/sourceforge/pebble/domain/Comment]
    //#input(void commentAdded(CommentEvent)): net/sourceforge/pebble/domain/Comment.__Descendant_Table[others]
    //#input(void commentAdded(CommentEvent)): net/sourceforge/pebble/domain/Comment.__Dispatch_Table.getBlogEntry()Lnet/sourceforge/pebble/domain/BlogEntry;
    //#input(void commentAdded(CommentEvent)): net/sourceforge/pebble/domain/Comment.__Dispatch_Table.getGuid()Ljava/lang/String;
    //#input(void commentAdded(CommentEvent)): net/sourceforge/pebble/domain/Comment.__Dispatch_Table.getId()J
    //#input(void commentAdded(CommentEvent)): net/sourceforge/pebble/domain/Comment.__Dispatch_Table.getState()Lnet/sourceforge/pebble/domain/State;
    //#input(void commentAdded(CommentEvent)): net/sourceforge/pebble/domain/Comment.__Dispatch_Table.isApproved()Z
    //#input(void commentAdded(CommentEvent)): net/sourceforge/pebble/domain/Comment.__Dispatch_Table.isPending()Z
    //#input(void commentAdded(CommentEvent)): net/sourceforge/pebble/domain/Comment.__Dispatch_Table.isRejected()Z
    //#input(void commentAdded(CommentEvent)): net/sourceforge/pebble/domain/Response.__Descendant_Table[net/sourceforge/pebble/domain/Comment]
    //#input(void commentAdded(CommentEvent)): net/sourceforge/pebble/domain/Response.__Descendant_Table[net/sourceforge/pebble/domain/Response]
    //#input(void commentAdded(CommentEvent)): net/sourceforge/pebble/domain/Response.__Descendant_Table[net/sourceforge/pebble/domain/TrackBack]
    //#input(void commentAdded(CommentEvent)): net/sourceforge/pebble/domain/Response.__Descendant_Table[others]
    //#input(void commentAdded(CommentEvent)): net/sourceforge/pebble/domain/Response.__Dispatch_Table.getBlogEntry()Lnet/sourceforge/pebble/domain/BlogEntry;
    //#input(void commentAdded(CommentEvent)): net/sourceforge/pebble/domain/Response.__Dispatch_Table.getGuid()Ljava/lang/String;
    //#input(void commentAdded(CommentEvent)): net/sourceforge/pebble/domain/Response.__Dispatch_Table.getId()J
    //#input(void commentAdded(CommentEvent)): net/sourceforge/pebble/domain/Response.__Dispatch_Table.getState()Lnet/sourceforge/pebble/domain/State;
    //#input(void commentAdded(CommentEvent)): net/sourceforge/pebble/domain/Response.__Dispatch_Table.isApproved()Z
    //#input(void commentAdded(CommentEvent)): net/sourceforge/pebble/domain/Response.__Dispatch_Table.isPending()Z
    //#input(void commentAdded(CommentEvent)): net/sourceforge/pebble/domain/Response.__Dispatch_Table.isRejected()Z
    //#input(void commentAdded(CommentEvent)): net/sourceforge/pebble/domain/State.APPROVED
    //#input(void commentAdded(CommentEvent)): net/sourceforge/pebble/domain/State.PENDING
    //#input(void commentAdded(CommentEvent)): net/sourceforge/pebble/domain/State.REJECTED
    //#input(void commentAdded(CommentEvent)): net/sourceforge/pebble/domain/State.__Descendant_Table[net/sourceforge/pebble/domain/State]
    //#input(void commentAdded(CommentEvent)): net/sourceforge/pebble/domain/State.__Descendant_Table[others]
    //#input(void commentAdded(CommentEvent)): net/sourceforge/pebble/domain/State.__Dispatch_Table.equals(Ljava/lang/Object;)Z
    //#input(void commentAdded(CommentEvent)): net/sourceforge/pebble/domain/State.__Dispatch_Table.getName()Ljava/lang/String;
    //#input(void commentAdded(CommentEvent)): net/sourceforge/pebble/domain/TrackBack.__Descendant_Table[net/sourceforge/pebble/domain/TrackBack]
    //#input(void commentAdded(CommentEvent)): net/sourceforge/pebble/domain/TrackBack.__Descendant_Table[others]
    //#input(void commentAdded(CommentEvent)): net/sourceforge/pebble/domain/TrackBack.__Dispatch_Table.getBlogEntry()Lnet/sourceforge/pebble/domain/BlogEntry;
    //#input(void commentAdded(CommentEvent)): net/sourceforge/pebble/domain/TrackBack.__Dispatch_Table.getGuid()Ljava/lang/String;
    //#input(void commentAdded(CommentEvent)): net/sourceforge/pebble/domain/TrackBack.__Dispatch_Table.getId()J
    //#input(void commentAdded(CommentEvent)): net/sourceforge/pebble/domain/TrackBack.__Dispatch_Table.getState()Lnet/sourceforge/pebble/domain/State;
    //#input(void commentAdded(CommentEvent)): net/sourceforge/pebble/domain/TrackBack.__Dispatch_Table.isApproved()Z
    //#input(void commentAdded(CommentEvent)): net/sourceforge/pebble/domain/TrackBack.__Dispatch_Table.isPending()Z
    //#input(void commentAdded(CommentEvent)): net/sourceforge/pebble/domain/TrackBack.__Dispatch_Table.isRejected()Z
    //#input(void commentAdded(CommentEvent)): net/sourceforge/pebble/index/ResponseIndex.__Descendant_Table[net/sourceforge/pebble/index/ResponseIndex]
    //#input(void commentAdded(CommentEvent)): net/sourceforge/pebble/index/ResponseIndex.__Descendant_Table[others]
    //#input(void commentAdded(CommentEvent)): net/sourceforge/pebble/index/ResponseIndex.__Dispatch_Table.index(Lnet/sourceforge/pebble/domain/Response;)V
    //#input(void commentAdded(CommentEvent)): net/sourceforge/pebble/index/ResponseIndex.log
    //#pre[1] (void commentAdded(CommentEvent)): event != null
    //#pre[2] (void commentAdded(CommentEvent)): event.__Tag == net/sourceforge/pebble/api/event/comment/CommentEvent
    //#pre[3] (void commentAdded(CommentEvent)): (soft) net.sourceforge.pebble.domain.State__static_init.new State(State__static_init#1).name != null
    //#pre[4] (void commentAdded(CommentEvent)): (soft) net.sourceforge.pebble.domain.State__static_init.new State(State__static_init#2).name != null
    //#pre[5] (void commentAdded(CommentEvent)): (soft) net.sourceforge.pebble.domain.State__static_init.new State(State__static_init#3).name != null
    //#presumption(void commentAdded(CommentEvent)): comment.blogEntry@23 != null
    //#presumption(void commentAdded(CommentEvent)): comment.date@23 != null
    //#presumption(void commentAdded(CommentEvent)): comment.state.__Tag@23 == net/sourceforge/pebble/domain/State
    //#presumption(void commentAdded(CommentEvent)): comment.state@23 != null
    //#presumption(void commentAdded(CommentEvent)): getBlog(...).responseIndex@23 != null
    //#presumption(void commentAdded(CommentEvent)): getBlogEntry(...).blog@23 != null
    //#presumption(void commentAdded(CommentEvent)): getResponseIndex(...).approvedResponses@23 != null
    //#presumption(void commentAdded(CommentEvent)): getResponseIndex(...).blog@23 != null
    //#presumption(void commentAdded(CommentEvent)): getResponseIndex(...).pendingResponses@23 != null
    //#presumption(void commentAdded(CommentEvent)): getResponseIndex(...).rejectedResponses@23 != null
    //#presumption(void commentAdded(CommentEvent)): net.sourceforge.pebble.api.event.comment.CommentEvent:getSource(...)@72 != null
    //#unanalyzed(void commentAdded(CommentEvent)): Effects-of-calling:net.sourceforge.pebble.domain.Blog:getIndexesDirectory
    //#unanalyzed(void commentAdded(CommentEvent)): Effects-of-calling:java.io.File
    //#unanalyzed(void commentAdded(CommentEvent)): Effects-of-calling:org.apache.commons.logging.Log:error
    //#unanalyzed(void commentAdded(CommentEvent)): Effects-of-calling:java.io.FileWriter
    //#unanalyzed(void commentAdded(CommentEvent)): Effects-of-calling:java.io.BufferedWriter
    //#unanalyzed(void commentAdded(CommentEvent)): Effects-of-calling:java.util.List:iterator
    //#unanalyzed(void commentAdded(CommentEvent)): Effects-of-calling:java.util.Iterator:hasNext
    //#unanalyzed(void commentAdded(CommentEvent)): Effects-of-calling:java.util.Iterator:next
    //#unanalyzed(void commentAdded(CommentEvent)): Effects-of-calling:java.io.BufferedWriter:write
    //#unanalyzed(void commentAdded(CommentEvent)): Effects-of-calling:java.io.BufferedWriter:newLine
    //#unanalyzed(void commentAdded(CommentEvent)): Effects-of-calling:java.io.BufferedWriter:flush
    //#unanalyzed(void commentAdded(CommentEvent)): Effects-of-calling:java.io.BufferedWriter:close
    //#unanalyzed(void commentAdded(CommentEvent)): Effects-of-calling:getGuid
    //#unanalyzed(void commentAdded(CommentEvent)): Effects-of-calling:java.util.List:add
    //#unanalyzed(void commentAdded(CommentEvent)): Effects-of-calling:java.util.Collections:sort
    //#unanalyzed(void commentAdded(CommentEvent)): Effects-of-calling:isApproved
    //#unanalyzed(void commentAdded(CommentEvent)): Effects-of-calling:isPending
    //#unanalyzed(void commentAdded(CommentEvent)): Effects-of-calling:isRejected
    //#unanalyzed(void commentAdded(CommentEvent)): Effects-of-calling:net.sourceforge.pebble.api.event.comment.CommentEvent:getSource
    //#unanalyzed(void commentAdded(CommentEvent)): Effects-of-calling:java.util.Date:getTime
    //#unanalyzed(void commentAdded(CommentEvent)): Effects-of-calling:java.lang.String:valueOf
    //#unanalyzed(void commentAdded(CommentEvent)): Effects-of-calling:java.lang.StringBuilder
    //#unanalyzed(void commentAdded(CommentEvent)): Effects-of-calling:net.sourceforge.pebble.domain.BlogEntry:getId
    //#unanalyzed(void commentAdded(CommentEvent)): Effects-of-calling:java.lang.StringBuilder:append
    //#unanalyzed(void commentAdded(CommentEvent)): Effects-of-calling:java.lang.StringBuilder:toString
    //#unanalyzed(void commentAdded(CommentEvent)): Effects-of-calling:getState
    //#unanalyzed(void commentAdded(CommentEvent)): Effects-of-calling:java.lang.String:equals
    comment.getBlogEntry().getBlog().getResponseIndex().index(comment);
    //#responseindexlistener.java:24: ?null dereference
    //#    net/sourceforge/pebble/domain/Comment.__Descendant_Table[comment.__Tag] != null
    //#    severity: SUPPRESSED
    //#    class: net.sourceforge.pebble.index.ResponseIndexListener
    //#    method: void commentAdded(CommentEvent)
    //#    basic block: Entry_BB_1
    //#    assertion: net/sourceforge/pebble/domain/Comment.__Descendant_Table[comment.__Tag] != null
    //#    VN: net/sourceforge/pebble/domain/Comment.__Descendant_Table[comment.__Tag]
    //#    Expected: Inverse{null}
    //#    Bad: Addr_Set{null}
    //#    Attribs:  Ptr  null in Bad
    //#responseindexlistener.java:24: ?null dereference
    //#    net/sourceforge/pebble/domain/BlogEntry.__Descendant_Table[getBlogEntry(...).__Tag] != null
    //#    severity: SUPPRESSED
    //#    class: net.sourceforge.pebble.index.ResponseIndexListener
    //#    method: void commentAdded(CommentEvent)
    //#    basic block: Entry_BB_1
    //#    assertion: net/sourceforge/pebble/domain/BlogEntry.__Descendant_Table[getBlogEntry(...).__Tag] != null
    //#    VN: net/sourceforge/pebble/domain/BlogEntry.__Descendant_Table[getBlogEntry(...).__Tag]
    //#    Expected: Inverse{null}
    //#    Bad: Addr_Set{null}
    //#    Attribs:  Ptr  null in Bad
    //#responseindexlistener.java:24: ?null dereference
    //#    net/sourceforge/pebble/domain/Blog.__Descendant_Table[getBlog(...).__Tag] != null
    //#    severity: SUPPRESSED
    //#    class: net.sourceforge.pebble.index.ResponseIndexListener
    //#    method: void commentAdded(CommentEvent)
    //#    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
    //#responseindexlistener.java:24: ?null dereference
    //#    net/sourceforge/pebble/index/ResponseIndex.__Descendant_Table[getResponseIndex(...).__Tag] != null
    //#    severity: SUPPRESSED
    //#    class: net.sourceforge.pebble.index.ResponseIndexListener
    //#    method: void commentAdded(CommentEvent)
    //#    basic block: Entry_BB_1
    //#    assertion: net/sourceforge/pebble/index/ResponseIndex.__Descendant_Table[getResponseIndex(...).__Tag] != null
    //#    VN: net/sourceforge/pebble/index/ResponseIndex.__Descendant_Table[getResponseIndex(...).__Tag]
    //#    Expected: Inverse{null}
    //#    Bad: Addr_Set{null}
    //#    Attribs:  Ptr  null in Bad
  }
    //#responseindexlistener.java:25: end of method: void net.sourceforge.pebble.index.ResponseIndexListener.commentAdded(CommentEvent)

  /**
   * Called when a comment has been removed.
   *
   * @param event a CommentEvent instance
   */
  public void commentRemoved(CommentEvent event) {
    Comment comment = event.getComment();
    //#responseindexlistener.java:33: method: void net.sourceforge.pebble.index.ResponseIndexListener.commentRemoved(CommentEvent)
    //#input(void commentRemoved(CommentEvent)): event
    //#input(void commentRemoved(CommentEvent)): event.__Tag
    //#input(void commentRemoved(CommentEvent)): net/sourceforge/pebble/api/event/comment/CommentEvent.__Descendant_Table[net/sourceforge/pebble/api/event/comment/CommentEvent]
    //#input(void commentRemoved(CommentEvent)): net/sourceforge/pebble/api/event/comment/CommentEvent.__Descendant_Table[others]
    //#input(void commentRemoved(CommentEvent)): net/sourceforge/pebble/api/event/comment/CommentEvent.__Dispatch_Table.getComment()Lnet/sourceforge/pebble/domain/Comment;
    //#input(void commentRemoved(CommentEvent)): net/sourceforge/pebble/domain/Blog.__Descendant_Table[net/sourceforge/pebble/domain/Blog]
    //#input(void commentRemoved(CommentEvent)): net/sourceforge/pebble/domain/Blog.__Descendant_Table[others]
    //#input(void commentRemoved(CommentEvent)): net/sourceforge/pebble/domain/Blog.__Dispatch_Table.getResponseIndex()Lnet/sourceforge/pebble/index/ResponseIndex;
    //#input(void commentRemoved(CommentEvent)): net/sourceforge/pebble/domain/BlogEntry.__Descendant_Table[net/sourceforge/pebble/domain/BlogEntry]
    //#input(void commentRemoved(CommentEvent)): net/sourceforge/pebble/domain/BlogEntry.__Descendant_Table[others]
    //#input(void commentRemoved(CommentEvent)): net/sourceforge/pebble/domain/BlogEntry.__Dispatch_Table.getBlog()Lnet/sourceforge/pebble/domain/Blog;
    //#input(void commentRemoved(CommentEvent)): net/sourceforge/pebble/domain/Comment.__Descendant_Table[net/sourceforge/pebble/domain/Comment]
    //#input(void commentRemoved(CommentEvent)): net/sourceforge/pebble/domain/Comment.__Descendant_Table[others]
    //#input(void commentRemoved(CommentEvent)): net/sourceforge/pebble/domain/Comment.__Dispatch_Table.getBlogEntry()Lnet/sourceforge/pebble/domain/BlogEntry;
    //#input(void commentRemoved(CommentEvent)): net/sourceforge/pebble/domain/Comment.__Dispatch_Table.getGuid()Ljava/lang/String;
    //#input(void commentRemoved(CommentEvent)): net/sourceforge/pebble/domain/Comment.__Dispatch_Table.getId()J
    //#input(void commentRemoved(CommentEvent)): net/sourceforge/pebble/domain/Response.__Descendant_Table[net/sourceforge/pebble/domain/Comment]
    //#input(void commentRemoved(CommentEvent)): net/sourceforge/pebble/domain/Response.__Descendant_Table[net/sourceforge/pebble/domain/Response]
    //#input(void commentRemoved(CommentEvent)): net/sourceforge/pebble/domain/Response.__Descendant_Table[net/sourceforge/pebble/domain/TrackBack]
    //#input(void commentRemoved(CommentEvent)): net/sourceforge/pebble/domain/Response.__Descendant_Table[others]
    //#input(void commentRemoved(CommentEvent)): net/sourceforge/pebble/domain/Response.__Dispatch_Table.getBlogEntry()Lnet/sourceforge/pebble/domain/BlogEntry;
    //#input(void commentRemoved(CommentEvent)): net/sourceforge/pebble/domain/Response.__Dispatch_Table.getGuid()Ljava/lang/String;
    //#input(void commentRemoved(CommentEvent)): net/sourceforge/pebble/domain/Response.__Dispatch_Table.getId()J
    //#input(void commentRemoved(CommentEvent)): net/sourceforge/pebble/domain/State.APPROVED
    //#input(void commentRemoved(CommentEvent)): net/sourceforge/pebble/domain/State.PENDING
    //#input(void commentRemoved(CommentEvent)): net/sourceforge/pebble/domain/State.REJECTED
    //#input(void commentRemoved(CommentEvent)): net/sourceforge/pebble/domain/TrackBack.__Descendant_Table[net/sourceforge/pebble/domain/TrackBack]
    //#input(void commentRemoved(CommentEvent)): net/sourceforge/pebble/domain/TrackBack.__Descendant_Table[others]
    //#input(void commentRemoved(CommentEvent)): net/sourceforge/pebble/domain/TrackBack.__Dispatch_Table.getBlogEntry()Lnet/sourceforge/pebble/domain/BlogEntry;
    //#input(void commentRemoved(CommentEvent)): net/sourceforge/pebble/domain/TrackBack.__Dispatch_Table.getGuid()Ljava/lang/String;
    //#input(void commentRemoved(CommentEvent)): net/sourceforge/pebble/domain/TrackBack.__Dispatch_Table.getId()J
    //#input(void commentRemoved(CommentEvent)): net/sourceforge/pebble/index/ResponseIndex.__Descendant_Table[net/sourceforge/pebble/index/ResponseIndex]
    //#input(void commentRemoved(CommentEvent)): net/sourceforge/pebble/index/ResponseIndex.__Descendant_Table[others]
    //#input(void commentRemoved(CommentEvent)): net/sourceforge/pebble/index/ResponseIndex.__Dispatch_Table.unindex(Lnet/sourceforge/pebble/domain/Response;)V
    //#input(void commentRemoved(CommentEvent)): net/sourceforge/pebble/index/ResponseIndex.log
    //#pre[1] (void commentRemoved(CommentEvent)): event != null
    //#pre[2] (void commentRemoved(CommentEvent)): event.__Tag == net/sourceforge/pebble/api/event/comment/CommentEvent
    //#presumption(void commentRemoved(CommentEvent)): comment.blogEntry@33 != null
    //#presumption(void commentRemoved(CommentEvent)): comment.date@33 != null
    //#presumption(void commentRemoved(CommentEvent)): getBlog(...).__Tag@33 == net/sourceforge/pebble/domain/Blog
    //#presumption(void commentRemoved(CommentEvent)): getBlog(...).responseIndex@33 != null
    //#presumption(void commentRemoved(CommentEvent)): getBlogEntry(...).__Tag@33 == net/sourceforge/pebble/domain/BlogEntry
    //#presumption(void commentRemoved(CommentEvent)): getBlogEntry(...).blog@33 != null
    //#presumption(void commentRemoved(CommentEvent)): getResponseIndex(...).__Tag@33 == net/sourceforge/pebble/index/ResponseIndex
    //#presumption(void commentRemoved(CommentEvent)): getResponseIndex(...).approvedResponses@33 != null
    //#presumption(void commentRemoved(CommentEvent)): getResponseIndex(...).blog@33 != null
    //#presumption(void commentRemoved(CommentEvent)): getResponseIndex(...).pendingResponses@33 != null
    //#presumption(void commentRemoved(CommentEvent)): getResponseIndex(...).rejectedResponses@33 != null
    //#presumption(void commentRemoved(CommentEvent)): net.sourceforge.pebble.api.event.comment.CommentEvent:getSource(...)@72 != null
    //#presumption(void commentRemoved(CommentEvent)): net.sourceforge.pebble.api.event.comment.CommentEvent:getSource(...)@72.__Tag == net/sourceforge/pebble/domain/Comment
    //#unanalyzed(void commentRemoved(CommentEvent)): Effects-of-calling:net.sourceforge.pebble.domain.Blog:getIndexesDirectory
    //#unanalyzed(void commentRemoved(CommentEvent)): Effects-of-calling:java.io.File
    //#unanalyzed(void commentRemoved(CommentEvent)): Effects-of-calling:org.apache.commons.logging.Log:error
    //#unanalyzed(void commentRemoved(CommentEvent)): Effects-of-calling:java.io.FileWriter
    //#unanalyzed(void commentRemoved(CommentEvent)): Effects-of-calling:java.io.BufferedWriter
    //#unanalyzed(void commentRemoved(CommentEvent)): Effects-of-calling:java.util.List:iterator
    //#unanalyzed(void commentRemoved(CommentEvent)): Effects-of-calling:java.util.Iterator:hasNext
    //#unanalyzed(void commentRemoved(CommentEvent)): Effects-of-calling:java.util.Iterator:next
    //#unanalyzed(void commentRemoved(CommentEvent)): Effects-of-calling:java.io.BufferedWriter:write
    //#unanalyzed(void commentRemoved(CommentEvent)): Effects-of-calling:java.io.BufferedWriter:newLine
    //#unanalyzed(void commentRemoved(CommentEvent)): Effects-of-calling:java.io.BufferedWriter:flush
    //#unanalyzed(void commentRemoved(CommentEvent)): Effects-of-calling:java.io.BufferedWriter:close
    //#unanalyzed(void commentRemoved(CommentEvent)): Effects-of-calling:getGuid
    //#unanalyzed(void commentRemoved(CommentEvent)): Effects-of-calling:java.util.List:contains
    //#unanalyzed(void commentRemoved(CommentEvent)): Effects-of-calling:java.util.List:remove
    //#unanalyzed(void commentRemoved(CommentEvent)): Effects-of-calling:net.sourceforge.pebble.api.event.comment.CommentEvent:getSource
    //#unanalyzed(void commentRemoved(CommentEvent)): Effects-of-calling:java.util.Date:getTime
    //#unanalyzed(void commentRemoved(CommentEvent)): Effects-of-calling:java.lang.String:valueOf
    //#unanalyzed(void commentRemoved(CommentEvent)): Effects-of-calling:java.lang.StringBuilder
    //#unanalyzed(void commentRemoved(CommentEvent)): Effects-of-calling:net.sourceforge.pebble.domain.BlogEntry:getId
    //#unanalyzed(void commentRemoved(CommentEvent)): Effects-of-calling:java.lang.StringBuilder:append
    //#unanalyzed(void commentRemoved(CommentEvent)): Effects-of-calling:java.lang.StringBuilder:toString
    comment.getBlogEntry().getBlog().getResponseIndex().unindex(comment);
    //#responseindexlistener.java:34: ?null dereference
    //#    net/sourceforge/pebble/domain/BlogEntry.__Descendant_Table[getBlogEntry(...).__Tag] != null
    //#    severity: SUPPRESSED
    //#    class: net.sourceforge.pebble.index.ResponseIndexListener
    //#    method: void commentRemoved(CommentEvent)
    //#    basic block: Entry_BB_1
    //#    assertion: net/sourceforge/pebble/domain/BlogEntry.__Descendant_Table[getBlogEntry(...).__Tag] != null
    //#    VN: net/sourceforge/pebble/domain/BlogEntry.__Descendant_Table[getBlogEntry(...).__Tag]
    //#    Expected: Inverse{null}
    //#    Bad: Addr_Set{null}
    //#    Attribs:  Ptr  null in Bad
    //#responseindexlistener.java:34: ?null dereference
    //#    net/sourceforge/pebble/domain/Blog.__Descendant_Table[getBlog(...).__Tag] != null
    //#    severity: SUPPRESSED
    //#    class: net.sourceforge.pebble.index.ResponseIndexListener
    //#    method: void commentRemoved(CommentEvent)
    //#    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
    //#responseindexlistener.java:34: ?null dereference
    //#    net/sourceforge/pebble/index/ResponseIndex.__Descendant_Table[getResponseIndex(...).__Tag] != null
    //#    severity: SUPPRESSED
    //#    class: net.sourceforge.pebble.index.ResponseIndexListener
    //#    method: void commentRemoved(CommentEvent)
    //#    basic block: Entry_BB_1
    //#    assertion: net/sourceforge/pebble/index/ResponseIndex.__Descendant_Table[getResponseIndex(...).__Tag] != null
    //#    VN: net/sourceforge/pebble/index/ResponseIndex.__Descendant_Table[getResponseIndex(...).__Tag]
    //#    Expected: Inverse{null}
    //#    Bad: Addr_Set{null}
    //#    Attribs:  Ptr  null in Bad
  }
    //#responseindexlistener.java:35: end of method: void net.sourceforge.pebble.index.ResponseIndexListener.commentRemoved(CommentEvent)

  /**
   * Called when a comment has been approved.
   *
   * @param event a CommentEvent instance
   */
  public void commentApproved(CommentEvent event) {
    Comment comment = event.getComment();
    //#responseindexlistener.java:43: method: void net.sourceforge.pebble.index.ResponseIndexListener.commentApproved(CommentEvent)
    //#input(void commentApproved(CommentEvent)): event
    //#input(void commentApproved(CommentEvent)): event.__Tag
    //#input(void commentApproved(CommentEvent)): net.sourceforge.pebble.domain.State__static_init.new State(State__static_init#1).__Tag
    //#input(void commentApproved(CommentEvent)): net.sourceforge.pebble.domain.State__static_init.new State(State__static_init#1).name
    //#input(void commentApproved(CommentEvent)): net.sourceforge.pebble.domain.State__static_init.new State(State__static_init#2).__Tag
    //#input(void commentApproved(CommentEvent)): net.sourceforge.pebble.domain.State__static_init.new State(State__static_init#2).name
    //#input(void commentApproved(CommentEvent)): net.sourceforge.pebble.domain.State__static_init.new State(State__static_init#3).__Tag
    //#input(void commentApproved(CommentEvent)): net.sourceforge.pebble.domain.State__static_init.new State(State__static_init#3).name
    //#input(void commentApproved(CommentEvent)): net/sourceforge/pebble/api/event/comment/CommentEvent.__Descendant_Table[net/sourceforge/pebble/api/event/comment/CommentEvent]
    //#input(void commentApproved(CommentEvent)): net/sourceforge/pebble/api/event/comment/CommentEvent.__Descendant_Table[others]
    //#input(void commentApproved(CommentEvent)): net/sourceforge/pebble/api/event/comment/CommentEvent.__Dispatch_Table.getComment()Lnet/sourceforge/pebble/domain/Comment;
    //#input(void commentApproved(CommentEvent)): net/sourceforge/pebble/domain/Blog.__Descendant_Table[net/sourceforge/pebble/domain/Blog]
    //#input(void commentApproved(CommentEvent)): net/sourceforge/pebble/domain/Blog.__Descendant_Table[others]
    //#input(void commentApproved(CommentEvent)): net/sourceforge/pebble/domain/Blog.__Dispatch_Table.getResponseIndex()Lnet/sourceforge/pebble/index/ResponseIndex;
    //#input(void commentApproved(CommentEvent)): net/sourceforge/pebble/domain/BlogEntry.__Descendant_Table[net/sourceforge/pebble/domain/BlogEntry]
    //#input(void commentApproved(CommentEvent)): net/sourceforge/pebble/domain/BlogEntry.__Descendant_Table[others]
    //#input(void commentApproved(CommentEvent)): net/sourceforge/pebble/domain/BlogEntry.__Dispatch_Table.getBlog()Lnet/sourceforge/pebble/domain/Blog;
    //#input(void commentApproved(CommentEvent)): net/sourceforge/pebble/domain/Comment.__Descendant_Table[net/sourceforge/pebble/domain/Comment]
    //#input(void commentApproved(CommentEvent)): net/sourceforge/pebble/domain/Comment.__Descendant_Table[others]
    //#input(void commentApproved(CommentEvent)): net/sourceforge/pebble/domain/Comment.__Dispatch_Table.getBlogEntry()Lnet/sourceforge/pebble/domain/BlogEntry;
    //#input(void commentApproved(CommentEvent)): net/sourceforge/pebble/domain/Comment.__Dispatch_Table.getGuid()Ljava/lang/String;
    //#input(void commentApproved(CommentEvent)): net/sourceforge/pebble/domain/Comment.__Dispatch_Table.getId()J
    //#input(void commentApproved(CommentEvent)): net/sourceforge/pebble/domain/Comment.__Dispatch_Table.getState()Lnet/sourceforge/pebble/domain/State;
    //#input(void commentApproved(CommentEvent)): net/sourceforge/pebble/domain/Comment.__Dispatch_Table.isApproved()Z
    //#input(void commentApproved(CommentEvent)): net/sourceforge/pebble/domain/Comment.__Dispatch_Table.isPending()Z
    //#input(void commentApproved(CommentEvent)): net/sourceforge/pebble/domain/Comment.__Dispatch_Table.isRejected()Z
    //#input(void commentApproved(CommentEvent)): net/sourceforge/pebble/domain/Response.__Descendant_Table[net/sourceforge/pebble/domain/Comment]
    //#input(void commentApproved(CommentEvent)): net/sourceforge/pebble/domain/Response.__Descendant_Table[net/sourceforge/pebble/domain/Response]
    //#input(void commentApproved(CommentEvent)): net/sourceforge/pebble/domain/Response.__Descendant_Table[net/sourceforge/pebble/domain/TrackBack]
    //#input(void commentApproved(CommentEvent)): net/sourceforge/pebble/domain/Response.__Descendant_Table[others]
    //#input(void commentApproved(CommentEvent)): net/sourceforge/pebble/domain/Response.__Dispatch_Table.getBlogEntry()Lnet/sourceforge/pebble/domain/BlogEntry;
    //#input(void commentApproved(CommentEvent)): net/sourceforge/pebble/domain/Response.__Dispatch_Table.getGuid()Ljava/lang/String;
    //#input(void commentApproved(CommentEvent)): net/sourceforge/pebble/domain/Response.__Dispatch_Table.getId()J
    //#input(void commentApproved(CommentEvent)): net/sourceforge/pebble/domain/Response.__Dispatch_Table.getState()Lnet/sourceforge/pebble/domain/State;
    //#input(void commentApproved(CommentEvent)): net/sourceforge/pebble/domain/Response.__Dispatch_Table.isApproved()Z
    //#input(void commentApproved(CommentEvent)): net/sourceforge/pebble/domain/Response.__Dispatch_Table.isPending()Z
    //#input(void commentApproved(CommentEvent)): net/sourceforge/pebble/domain/Response.__Dispatch_Table.isRejected()Z
    //#input(void commentApproved(CommentEvent)): net/sourceforge/pebble/domain/State.APPROVED
    //#input(void commentApproved(CommentEvent)): net/sourceforge/pebble/domain/State.PENDING
    //#input(void commentApproved(CommentEvent)): net/sourceforge/pebble/domain/State.REJECTED
    //#input(void commentApproved(CommentEvent)): net/sourceforge/pebble/domain/State.__Descendant_Table[net/sourceforge/pebble/domain/State]
    //#input(void commentApproved(CommentEvent)): net/sourceforge/pebble/domain/State.__Descendant_Table[others]
    //#input(void commentApproved(CommentEvent)): net/sourceforge/pebble/domain/State.__Dispatch_Table.equals(Ljava/lang/Object;)Z
    //#input(void commentApproved(CommentEvent)): net/sourceforge/pebble/domain/State.__Dispatch_Table.getName()Ljava/lang/String;
    //#input(void commentApproved(CommentEvent)): net/sourceforge/pebble/domain/TrackBack.__Descendant_Table[net/sourceforge/pebble/domain/TrackBack]
    //#input(void commentApproved(CommentEvent)): net/sourceforge/pebble/domain/TrackBack.__Descendant_Table[others]
    //#input(void commentApproved(CommentEvent)): net/sourceforge/pebble/domain/TrackBack.__Dispatch_Table.getBlogEntry()Lnet/sourceforge/pebble/domain/BlogEntry;
    //#input(void commentApproved(CommentEvent)): net/sourceforge/pebble/domain/TrackBack.__Dispatch_Table.getGuid()Ljava/lang/String;
    //#input(void commentApproved(CommentEvent)): net/sourceforge/pebble/domain/TrackBack.__Dispatch_Table.getId()J
    //#input(void commentApproved(CommentEvent)): net/sourceforge/pebble/domain/TrackBack.__Dispatch_Table.getState()Lnet/sourceforge/pebble/domain/State;
    //#input(void commentApproved(CommentEvent)): net/sourceforge/pebble/domain/TrackBack.__Dispatch_Table.isApproved()Z
    //#input(void commentApproved(CommentEvent)): net/sourceforge/pebble/domain/TrackBack.__Dispatch_Table.isPending()Z
    //#input(void commentApproved(CommentEvent)): net/sourceforge/pebble/domain/TrackBack.__Dispatch_Table.isRejected()Z
    //#input(void commentApproved(CommentEvent)): net/sourceforge/pebble/index/ResponseIndex.__Descendant_Table[net/sourceforge/pebble/index/ResponseIndex]
    //#input(void commentApproved(CommentEvent)): net/sourceforge/pebble/index/ResponseIndex.__Descendant_Table[others]
    //#input(void commentApproved(CommentEvent)): net/sourceforge/pebble/index/ResponseIndex.__Dispatch_Table.index(Lnet/sourceforge/pebble/domain/Response;)V
    //#input(void commentApproved(CommentEvent)): net/sourceforge/pebble/index/ResponseIndex.__Dispatch_Table.unindex(Lnet/sourceforge/pebble/domain/Response;)V
    //#input(void commentApproved(CommentEvent)): net/sourceforge/pebble/index/ResponseIndex.log
    //#pre[1] (void commentApproved(CommentEvent)): event != null
    //#pre[2] (void commentApproved(CommentEvent)): event.__Tag == net/sourceforge/pebble/api/event/comment/CommentEvent
    //#pre[3] (void commentApproved(CommentEvent)): (soft) net.sourceforge.pebble.domain.State__static_init.new State(State__static_init#1).name != null
    //#pre[4] (void commentApproved(CommentEvent)): (soft) net.sourceforge.pebble.domain.State__static_init.new State(State__static_init#2).name != null
    //#pre[5] (void commentApproved(CommentEvent)): (soft) net.sourceforge.pebble.domain.State__static_init.new State(State__static_init#3).name != null
    //#presumption(void commentApproved(CommentEvent)): comment.blogEntry@43 != null
    //#presumption(void commentApproved(CommentEvent)): comment.blogEntry@44 != null
    //#presumption(void commentApproved(CommentEvent)): comment.date@43 != null
    //#presumption(void commentApproved(CommentEvent)): comment.date@44 != null
    //#presumption(void commentApproved(CommentEvent)): comment.state.__Tag@44 == net/sourceforge/pebble/domain/State
    //#presumption(void commentApproved(CommentEvent)): comment.state@44 != null
    //#presumption(void commentApproved(CommentEvent)): getBlog(...).__Tag@43 is init'ed
    //#presumption(void commentApproved(CommentEvent)): getBlog(...).__Tag@44 == net/sourceforge/pebble/domain/Blog
    //#presumption(void commentApproved(CommentEvent)): getBlog(...).responseIndex@43 != null
    //#presumption(void commentApproved(CommentEvent)): getBlog(...).responseIndex@44 != null
    //#presumption(void commentApproved(CommentEvent)): getBlogEntry(...).__Tag@43 is init'ed
    //#presumption(void commentApproved(CommentEvent)): getBlogEntry(...).__Tag@44 == net/sourceforge/pebble/domain/BlogEntry
    //#presumption(void commentApproved(CommentEvent)): getBlogEntry(...).blog@43 != null
    //#presumption(void commentApproved(CommentEvent)): getBlogEntry(...).blog@44 != null
    //#presumption(void commentApproved(CommentEvent)): getResponseIndex(...).__Tag@43 is init'ed
    //#presumption(void commentApproved(CommentEvent)): getResponseIndex(...).approvedResponses@43 != null
    //#presumption(void commentApproved(CommentEvent)): getResponseIndex(...).approvedResponses@44 != null
    //#presumption(void commentApproved(CommentEvent)): getResponseIndex(...).blog@43 != null
    //#presumption(void commentApproved(CommentEvent)): getResponseIndex(...).blog@44 != null
    //#presumption(void commentApproved(CommentEvent)): getResponseIndex(...).pendingResponses@43 != null
    //#presumption(void commentApproved(CommentEvent)): getResponseIndex(...).pendingResponses@44 != null
    //#presumption(void commentApproved(CommentEvent)): getResponseIndex(...).rejectedResponses@43 != null
    //#presumption(void commentApproved(CommentEvent)): getResponseIndex(...).rejectedResponses@44 != null
    //#presumption(void commentApproved(CommentEvent)): net.sourceforge.pebble.api.event.comment.CommentEvent:getSource(...)@72 != null
    //#presumption(void commentApproved(CommentEvent)): net.sourceforge.pebble.api.event.comment.CommentEvent:getSource(...)@72.__Tag is init'ed
    //#unanalyzed(void commentApproved(CommentEvent)): Effects-of-calling:net.sourceforge.pebble.domain.Blog:getIndexesDirectory
    //#unanalyzed(void commentApproved(CommentEvent)): Effects-of-calling:java.io.File
    //#unanalyzed(void commentApproved(CommentEvent)): Effects-of-calling:org.apache.commons.logging.Log:error
    //#unanalyzed(void commentApproved(CommentEvent)): Effects-of-calling:java.io.FileWriter
    //#unanalyzed(void commentApproved(CommentEvent)): Effects-of-calling:java.io.BufferedWriter
    //#unanalyzed(void commentApproved(CommentEvent)): Effects-of-calling:java.util.List:iterator
    //#unanalyzed(void commentApproved(CommentEvent)): Effects-of-calling:java.util.Iterator:hasNext
    //#unanalyzed(void commentApproved(CommentEvent)): Effects-of-calling:java.util.Iterator:next
    //#unanalyzed(void commentApproved(CommentEvent)): Effects-of-calling:java.io.BufferedWriter:write
    //#unanalyzed(void commentApproved(CommentEvent)): Effects-of-calling:java.io.BufferedWriter:newLine
    //#unanalyzed(void commentApproved(CommentEvent)): Effects-of-calling:java.io.BufferedWriter:flush
    //#unanalyzed(void commentApproved(CommentEvent)): Effects-of-calling:java.io.BufferedWriter:close
    //#unanalyzed(void commentApproved(CommentEvent)): Effects-of-calling:getGuid
    //#unanalyzed(void commentApproved(CommentEvent)): Effects-of-calling:java.util.List:contains
    //#unanalyzed(void commentApproved(CommentEvent)): Effects-of-calling:java.util.List:remove
    //#unanalyzed(void commentApproved(CommentEvent)): Effects-of-calling:java.util.List:add
    //#unanalyzed(void commentApproved(CommentEvent)): Effects-of-calling:java.util.Collections:sort
    //#unanalyzed(void commentApproved(CommentEvent)): Effects-of-calling:isApproved
    //#unanalyzed(void commentApproved(CommentEvent)): Effects-of-calling:isPending
    //#unanalyzed(void commentApproved(CommentEvent)): Effects-of-calling:isRejected
    //#unanalyzed(void commentApproved(CommentEvent)): Effects-of-calling:net.sourceforge.pebble.api.event.comment.CommentEvent:getSource
    //#unanalyzed(void commentApproved(CommentEvent)): Effects-of-calling:java.util.Date:getTime
    //#unanalyzed(void commentApproved(CommentEvent)): Effects-of-calling:java.lang.String:valueOf
    //#unanalyzed(void commentApproved(CommentEvent)): Effects-of-calling:java.lang.StringBuilder
    //#unanalyzed(void commentApproved(CommentEvent)): Effects-of-calling:net.sourceforge.pebble.domain.BlogEntry:getId
    //#unanalyzed(void commentApproved(CommentEvent)): Effects-of-calling:java.lang.StringBuilder:append
    //#unanalyzed(void commentApproved(CommentEvent)): Effects-of-calling:java.lang.StringBuilder:toString
    //#unanalyzed(void commentApproved(CommentEvent)): Effects-of-calling:getState
    //#unanalyzed(void commentApproved(CommentEvent)): Effects-of-calling:java.lang.String:equals
    comment.getBlogEntry().getBlog().getResponseIndex().unindex(comment);
    //#responseindexlistener.java:44: ?null dereference
    //#    net/sourceforge/pebble/domain/Comment.__Descendant_Table[comment.__Tag] != null
    //#    severity: SUPPRESSED
    //#    class: net.sourceforge.pebble.index.ResponseIndexListener
    //#    method: void commentApproved(CommentEvent)
    //#    basic block: Entry_BB_1
    //#    assertion: net/sourceforge/pebble/domain/Comment.__Descendant_Table[comment.__Tag] != null
    //#    VN: net/sourceforge/pebble/domain/Comment.__Descendant_Table[comment.__Tag]
    //#    Expected: Inverse{null}
    //#    Bad: Addr_Set{null}
    //#    Attribs:  Ptr  null in Bad
    //#responseindexlistener.java:44: ?null dereference
    //#    net/sourceforge/pebble/domain/BlogEntry.__Descendant_Table[getBlogEntry(...).__Tag] != null
    //#    severity: SUPPRESSED
    //#    class: net.sourceforge.pebble.index.ResponseIndexListener
    //#    method: void commentApproved(CommentEvent)
    //#    basic block: Entry_BB_1
    //#    assertion: net/sourceforge/pebble/domain/BlogEntry.__Descendant_Table[getBlogEntry(...).__Tag] != null
    //#    VN: net/sourceforge/pebble/domain/BlogEntry.__Descendant_Table[getBlogEntry(...).__Tag]
    //#    Expected: Inverse{null}
    //#    Bad: Addr_Set{null}
    //#    Attribs:  Ptr  null in Bad
    //#responseindexlistener.java:44: ?null dereference
    //#    net/sourceforge/pebble/domain/Blog.__Descendant_Table[getBlog(...).__Tag] != null
    //#    severity: SUPPRESSED
    //#    class: net.sourceforge.pebble.index.ResponseIndexListener
    //#    method: void commentApproved(CommentEvent)
    //#    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
    //#responseindexlistener.java:44: ?null dereference
    //#    net/sourceforge/pebble/index/ResponseIndex.__Descendant_Table[getResponseIndex(...).__Tag] != null
    //#    severity: SUPPRESSED
    //#    class: net.sourceforge.pebble.index.ResponseIndexListener
    //#    method: void commentApproved(CommentEvent)
    //#    basic block: Entry_BB_1
    //#    assertion: net/sourceforge/pebble/index/ResponseIndex.__Descendant_Table[getResponseIndex(...).__Tag] != null
    //#    VN: net/sourceforge/pebble/index/ResponseIndex.__Descendant_Table[getResponseIndex(...).__Tag]
    //#    Expected: Inverse{null}
    //#    Bad: Addr_Set{null}
    //#    Attribs:  Ptr  null in Bad
    comment.getBlogEntry().getBlog().getResponseIndex().index(comment);
    //#responseindexlistener.java:45: ?null dereference
    //#    net/sourceforge/pebble/index/ResponseIndex.__Descendant_Table[getResponseIndex(...).__Tag] != null
    //#    severity: SUPPRESSED
    //#    class: net.sourceforge.pebble.index.ResponseIndexListener
    //#    method: void commentApproved(CommentEvent)
    //#    basic block: Entry_BB_1
    //#    assertion: net/sourceforge/pebble/index/ResponseIndex.__Descendant_Table[getResponseIndex(...).__Tag] != null
    //#    VN: net/sourceforge/pebble/index/ResponseIndex.__Descendant_Table[getResponseIndex(...).__Tag]
    //#    Expected: Inverse{null}
    //#    Bad: Addr_Set{null}
    //#    Attribs:  Ptr  null in Bad
  }
    //#responseindexlistener.java:46: end of method: void net.sourceforge.pebble.index.ResponseIndexListener.commentApproved(CommentEvent)

  /**
   * Called when a comment has been rejected.
   *
   * @param event a CommentEvent instance
   */
  public void commentRejected(CommentEvent event) {
    Comment comment = event.getComment();
    //#responseindexlistener.java:54: method: void net.sourceforge.pebble.index.ResponseIndexListener.commentRejected(CommentEvent)
    //#input(void commentRejected(CommentEvent)): event
    //#input(void commentRejected(CommentEvent)): event.__Tag
    //#input(void commentRejected(CommentEvent)): net.sourceforge.pebble.domain.State__static_init.new State(State__static_init#1).__Tag
    //#input(void commentRejected(CommentEvent)): net.sourceforge.pebble.domain.State__static_init.new State(State__static_init#1).name
    //#input(void commentRejected(CommentEvent)): net.sourceforge.pebble.domain.State__static_init.new State(State__static_init#2).__Tag
    //#input(void commentRejected(CommentEvent)): net.sourceforge.pebble.domain.State__static_init.new State(State__static_init#2).name
    //#input(void commentRejected(CommentEvent)): net.sourceforge.pebble.domain.State__static_init.new State(State__static_init#3).__Tag
    //#input(void commentRejected(CommentEvent)): net.sourceforge.pebble.domain.State__static_init.new State(State__static_init#3).name
    //#input(void commentRejected(CommentEvent)): net/sourceforge/pebble/api/event/comment/CommentEvent.__Descendant_Table[net/sourceforge/pebble/api/event/comment/CommentEvent]
    //#input(void commentRejected(CommentEvent)): net/sourceforge/pebble/api/event/comment/CommentEvent.__Descendant_Table[others]
    //#input(void commentRejected(CommentEvent)): net/sourceforge/pebble/api/event/comment/CommentEvent.__Dispatch_Table.getComment()Lnet/sourceforge/pebble/domain/Comment;
    //#input(void commentRejected(CommentEvent)): net/sourceforge/pebble/domain/Blog.__Descendant_Table[net/sourceforge/pebble/domain/Blog]
    //#input(void commentRejected(CommentEvent)): net/sourceforge/pebble/domain/Blog.__Descendant_Table[others]
    //#input(void commentRejected(CommentEvent)): net/sourceforge/pebble/domain/Blog.__Dispatch_Table.getResponseIndex()Lnet/sourceforge/pebble/index/ResponseIndex;
    //#input(void commentRejected(CommentEvent)): net/sourceforge/pebble/domain/BlogEntry.__Descendant_Table[net/sourceforge/pebble/domain/BlogEntry]
    //#input(void commentRejected(CommentEvent)): net/sourceforge/pebble/domain/BlogEntry.__Descendant_Table[others]
    //#input(void commentRejected(CommentEvent)): net/sourceforge/pebble/domain/BlogEntry.__Dispatch_Table.getBlog()Lnet/sourceforge/pebble/domain/Blog;
    //#input(void commentRejected(CommentEvent)): net/sourceforge/pebble/domain/Comment.__Descendant_Table[net/sourceforge/pebble/domain/Comment]
    //#input(void commentRejected(CommentEvent)): net/sourceforge/pebble/domain/Comment.__Descendant_Table[others]
    //#input(void commentRejected(CommentEvent)): net/sourceforge/pebble/domain/Comment.__Dispatch_Table.getBlogEntry()Lnet/sourceforge/pebble/domain/BlogEntry;
    //#input(void commentRejected(CommentEvent)): net/sourceforge/pebble/domain/Comment.__Dispatch_Table.getGuid()Ljava/lang/String;
    //#input(void commentRejected(CommentEvent)): net/sourceforge/pebble/domain/Comment.__Dispatch_Table.getId()J
    //#input(void commentRejected(CommentEvent)): net/sourceforge/pebble/domain/Comment.__Dispatch_Table.getState()Lnet/sourceforge/pebble/domain/State;
    //#input(void commentRejected(CommentEvent)): net/sourceforge/pebble/domain/Comment.__Dispatch_Table.isApproved()Z
    //#input(void commentRejected(CommentEvent)): net/sourceforge/pebble/domain/Comment.__Dispatch_Table.isPending()Z
    //#input(void commentRejected(CommentEvent)): net/sourceforge/pebble/domain/Comment.__Dispatch_Table.isRejected()Z
    //#input(void commentRejected(CommentEvent)): net/sourceforge/pebble/domain/Response.__Descendant_Table[net/sourceforge/pebble/domain/Comment]
    //#input(void commentRejected(CommentEvent)): net/sourceforge/pebble/domain/Response.__Descendant_Table[net/sourceforge/pebble/domain/Response]
    //#input(void commentRejected(CommentEvent)): net/sourceforge/pebble/domain/Response.__Descendant_Table[net/sourceforge/pebble/domain/TrackBack]
    //#input(void commentRejected(CommentEvent)): net/sourceforge/pebble/domain/Response.__Descendant_Table[others]
    //#input(void commentRejected(CommentEvent)): net/sourceforge/pebble/domain/Response.__Dispatch_Table.getBlogEntry()Lnet/sourceforge/pebble/domain/BlogEntry;
    //#input(void commentRejected(CommentEvent)): net/sourceforge/pebble/domain/Response.__Dispatch_Table.getGuid()Ljava/lang/String;
    //#input(void commentRejected(CommentEvent)): net/sourceforge/pebble/domain/Response.__Dispatch_Table.getId()J
    //#input(void commentRejected(CommentEvent)): net/sourceforge/pebble/domain/Response.__Dispatch_Table.getState()Lnet/sourceforge/pebble/domain/State;
    //#input(void commentRejected(CommentEvent)): net/sourceforge/pebble/domain/Response.__Dispatch_Table.isApproved()Z
    //#input(void commentRejected(CommentEvent)): net/sourceforge/pebble/domain/Response.__Dispatch_Table.isPending()Z
    //#input(void commentRejected(CommentEvent)): net/sourceforge/pebble/domain/Response.__Dispatch_Table.isRejected()Z
    //#input(void commentRejected(CommentEvent)): net/sourceforge/pebble/domain/State.APPROVED
    //#input(void commentRejected(CommentEvent)): net/sourceforge/pebble/domain/State.PENDING
    //#input(void commentRejected(CommentEvent)): net/sourceforge/pebble/domain/State.REJECTED
    //#input(void commentRejected(CommentEvent)): net/sourceforge/pebble/domain/State.__Descendant_Table[net/sourceforge/pebble/domain/State]
    //#input(void commentRejected(CommentEvent)): net/sourceforge/pebble/domain/State.__Descendant_Table[others]
    //#input(void commentRejected(CommentEvent)): net/sourceforge/pebble/domain/State.__Dispatch_Table.equals(Ljava/lang/Object;)Z
    //#input(void commentRejected(CommentEvent)): net/sourceforge/pebble/domain/State.__Dispatch_Table.getName()Ljava/lang/String;
    //#input(void commentRejected(CommentEvent)): net/sourceforge/pebble/domain/TrackBack.__Descendant_Table[net/sourceforge/pebble/domain/TrackBack]
    //#input(void commentRejected(CommentEvent)): net/sourceforge/pebble/domain/TrackBack.__Descendant_Table[others]
    //#input(void commentRejected(CommentEvent)): net/sourceforge/pebble/domain/TrackBack.__Dispatch_Table.getBlogEntry()Lnet/sourceforge/pebble/domain/BlogEntry;
    //#input(void commentRejected(CommentEvent)): net/sourceforge/pebble/domain/TrackBack.__Dispatch_Table.getGuid()Ljava/lang/String;
    //#input(void commentRejected(CommentEvent)): net/sourceforge/pebble/domain/TrackBack.__Dispatch_Table.getId()J
    //#input(void commentRejected(CommentEvent)): net/sourceforge/pebble/domain/TrackBack.__Dispatch_Table.getState()Lnet/sourceforge/pebble/domain/State;
    //#input(void commentRejected(CommentEvent)): net/sourceforge/pebble/domain/TrackBack.__Dispatch_Table.isApproved()Z
    //#input(void commentRejected(CommentEvent)): net/sourceforge/pebble/domain/TrackBack.__Dispatch_Table.isPending()Z
    //#input(void commentRejected(CommentEvent)): net/sourceforge/pebble/domain/TrackBack.__Dispatch_Table.isRejected()Z
    //#input(void commentRejected(CommentEvent)): net/sourceforge/pebble/index/ResponseIndex.__Descendant_Table[net/sourceforge/pebble/index/ResponseIndex]
    //#input(void commentRejected(CommentEvent)): net/sourceforge/pebble/index/ResponseIndex.__Descendant_Table[others]
    //#input(void commentRejected(CommentEvent)): net/sourceforge/pebble/index/ResponseIndex.__Dispatch_Table.index(Lnet/sourceforge/pebble/domain/Response;)V
    //#input(void commentRejected(CommentEvent)): net/sourceforge/pebble/index/ResponseIndex.__Dispatch_Table.unindex(Lnet/sourceforge/pebble/domain/Response;)V
    //#input(void commentRejected(CommentEvent)): net/sourceforge/pebble/index/ResponseIndex.log
    //#pre[1] (void commentRejected(CommentEvent)): event != null
    //#pre[2] (void commentRejected(CommentEvent)): event.__Tag == net/sourceforge/pebble/api/event/comment/CommentEvent
    //#pre[3] (void commentRejected(CommentEvent)): (soft) net.sourceforge.pebble.domain.State__static_init.new State(State__static_init#1).name != null
    //#pre[4] (void commentRejected(CommentEvent)): (soft) net.sourceforge.pebble.domain.State__static_init.new State(State__static_init#2).name != null
    //#pre[5] (void commentRejected(CommentEvent)): (soft) net.sourceforge.pebble.domain.State__static_init.new State(State__static_init#3).name != null
    //#presumption(void commentRejected(CommentEvent)): comment.blogEntry@54 != null
    //#presumption(void commentRejected(CommentEvent)): comment.blogEntry@55 != null
    //#presumption(void commentRejected(CommentEvent)): comment.date@54 != null
    //#presumption(void commentRejected(CommentEvent)): comment.date@55 != null
    //#presumption(void commentRejected(CommentEvent)): comment.state.__Tag@55 == net/sourceforge/pebble/domain/State
    //#presumption(void commentRejected(CommentEvent)): comment.state@55 != null
    //#presumption(void commentRejected(CommentEvent)): getBlog(...).__Tag@54 is init'ed
    //#presumption(void commentRejected(CommentEvent)): getBlog(...).__Tag@55 == net/sourceforge/pebble/domain/Blog
    //#presumption(void commentRejected(CommentEvent)): getBlog(...).responseIndex@54 != null
    //#presumption(void commentRejected(CommentEvent)): getBlog(...).responseIndex@55 != null
    //#presumption(void commentRejected(CommentEvent)): getBlogEntry(...).__Tag@54 is init'ed
    //#presumption(void commentRejected(CommentEvent)): getBlogEntry(...).__Tag@55 == net/sourceforge/pebble/domain/BlogEntry
    //#presumption(void commentRejected(CommentEvent)): getBlogEntry(...).blog@54 != null
    //#presumption(void commentRejected(CommentEvent)): getBlogEntry(...).blog@55 != null
    //#presumption(void commentRejected(CommentEvent)): getResponseIndex(...).__Tag@54 is init'ed
    //#presumption(void commentRejected(CommentEvent)): getResponseIndex(...).approvedResponses@54 != null
    //#presumption(void commentRejected(CommentEvent)): getResponseIndex(...).approvedResponses@55 != null
    //#presumption(void commentRejected(CommentEvent)): getResponseIndex(...).blog@54 != null
    //#presumption(void commentRejected(CommentEvent)): getResponseIndex(...).blog@55 != null
    //#presumption(void commentRejected(CommentEvent)): getResponseIndex(...).pendingResponses@54 != null
    //#presumption(void commentRejected(CommentEvent)): getResponseIndex(...).pendingResponses@55 != null
    //#presumption(void commentRejected(CommentEvent)): getResponseIndex(...).rejectedResponses@54 != null
    //#presumption(void commentRejected(CommentEvent)): getResponseIndex(...).rejectedResponses@55 != null
    //#presumption(void commentRejected(CommentEvent)): net.sourceforge.pebble.api.event.comment.CommentEvent:getSource(...)@72 != null
    //#presumption(void commentRejected(CommentEvent)): net.sourceforge.pebble.api.event.comment.CommentEvent:getSource(...)@72.__Tag is init'ed
    //#unanalyzed(void commentRejected(CommentEvent)): Effects-of-calling:net.sourceforge.pebble.domain.Blog:getIndexesDirectory
    //#unanalyzed(void commentRejected(CommentEvent)): Effects-of-calling:java.io.File
    //#unanalyzed(void commentRejected(CommentEvent)): Effects-of-calling:org.apache.commons.logging.Log:error
    //#unanalyzed(void commentRejected(CommentEvent)): Effects-of-calling:java.io.FileWriter
    //#unanalyzed(void commentRejected(CommentEvent)): Effects-of-calling:java.io.BufferedWriter
    //#unanalyzed(void commentRejected(CommentEvent)): Effects-of-calling:java.util.List:iterator
    //#unanalyzed(void commentRejected(CommentEvent)): Effects-of-calling:java.util.Iterator:hasNext
    //#unanalyzed(void commentRejected(CommentEvent)): Effects-of-calling:java.util.Iterator:next
    //#unanalyzed(void commentRejected(CommentEvent)): Effects-of-calling:java.io.BufferedWriter:write
    //#unanalyzed(void commentRejected(CommentEvent)): Effects-of-calling:java.io.BufferedWriter:newLine
    //#unanalyzed(void commentRejected(CommentEvent)): Effects-of-calling:java.io.BufferedWriter:flush
    //#unanalyzed(void commentRejected(CommentEvent)): Effects-of-calling:java.io.BufferedWriter:close
    //#unanalyzed(void commentRejected(CommentEvent)): Effects-of-calling:getGuid
    //#unanalyzed(void commentRejected(CommentEvent)): Effects-of-calling:java.util.List:contains
    //#unanalyzed(void commentRejected(CommentEvent)): Effects-of-calling:java.util.List:remove
    //#unanalyzed(void commentRejected(CommentEvent)): Effects-of-calling:java.util.List:add
    //#unanalyzed(void commentRejected(CommentEvent)): Effects-of-calling:java.util.Collections:sort
    //#unanalyzed(void commentRejected(CommentEvent)): Effects-of-calling:isApproved
    //#unanalyzed(void commentRejected(CommentEvent)): Effects-of-calling:isPending
    //#unanalyzed(void commentRejected(CommentEvent)): Effects-of-calling:isRejected
    //#unanalyzed(void commentRejected(CommentEvent)): Effects-of-calling:net.sourceforge.pebble.api.event.comment.CommentEvent:getSource
    //#unanalyzed(void commentRejected(CommentEvent)): Effects-of-calling:java.util.Date:getTime
    //#unanalyzed(void commentRejected(CommentEvent)): Effects-of-calling:java.lang.String:valueOf
    //#unanalyzed(void commentRejected(CommentEvent)): Effects-of-calling:java.lang.StringBuilder
    //#unanalyzed(void commentRejected(CommentEvent)): Effects-of-calling:net.sourceforge.pebble.domain.BlogEntry:getId
    //#unanalyzed(void commentRejected(CommentEvent)): Effects-of-calling:java.lang.StringBuilder:append
    //#unanalyzed(void commentRejected(CommentEvent)): Effects-of-calling:java.lang.StringBuilder:toString
    //#unanalyzed(void commentRejected(CommentEvent)): Effects-of-calling:getState
    //#unanalyzed(void commentRejected(CommentEvent)): Effects-of-calling:java.lang.String:equals
    comment.getBlogEntry().getBlog().getResponseIndex().unindex(comment);
    //#responseindexlistener.java:55: ?null dereference
    //#    net/sourceforge/pebble/domain/Comment.__Descendant_Table[comment.__Tag] != null
    //#    severity: SUPPRESSED
    //#    class: net.sourceforge.pebble.index.ResponseIndexListener
    //#    method: void commentRejected(CommentEvent)
    //#    basic block: Entry_BB_1
    //#    assertion: net/sourceforge/pebble/domain/Comment.__Descendant_Table[comment.__Tag] != null
    //#    VN: net/sourceforge/pebble/domain/Comment.__Descendant_Table[comment.__Tag]
    //#    Expected: Inverse{null}
    //#    Bad: Addr_Set{null}
    //#    Attribs:  Ptr  null in Bad
    //#responseindexlistener.java:55: ?null dereference
    //#    net/sourceforge/pebble/domain/BlogEntry.__Descendant_Table[getBlogEntry(...).__Tag] != null
    //#    severity: SUPPRESSED
    //#    class: net.sourceforge.pebble.index.ResponseIndexListener
    //#    method: void commentRejected(CommentEvent)
    //#    basic block: Entry_BB_1
    //#    assertion: net/sourceforge/pebble/domain/BlogEntry.__Descendant_Table[getBlogEntry(...).__Tag] != null
    //#    VN: net/sourceforge/pebble/domain/BlogEntry.__Descendant_Table[getBlogEntry(...).__Tag]
    //#    Expected: Inverse{null}
    //#    Bad: Addr_Set{null}
    //#    Attribs:  Ptr  null in Bad
    //#responseindexlistener.java:55: ?null dereference
    //#    net/sourceforge/pebble/domain/Blog.__Descendant_Table[getBlog(...).__Tag] != null
    //#    severity: SUPPRESSED
    //#    class: net.sourceforge.pebble.index.ResponseIndexListener
    //#    method: void commentRejected(CommentEvent)
    //#    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
    //#responseindexlistener.java:55: ?null dereference
    //#    net/sourceforge/pebble/index/ResponseIndex.__Descendant_Table[getResponseIndex(...).__Tag] != null
    //#    severity: SUPPRESSED
    //#    class: net.sourceforge.pebble.index.ResponseIndexListener
    //#    method: void commentRejected(CommentEvent)
    //#    basic block: Entry_BB_1
    //#    assertion: net/sourceforge/pebble/index/ResponseIndex.__Descendant_Table[getResponseIndex(...).__Tag] != null
    //#    VN: net/sourceforge/pebble/index/ResponseIndex.__Descendant_Table[getResponseIndex(...).__Tag]
    //#    Expected: Inverse{null}
    //#    Bad: Addr_Set{null}
    //#    Attribs:  Ptr  null in Bad
    comment.getBlogEntry().getBlog().getResponseIndex().index(comment);
    //#responseindexlistener.java:56: ?null dereference
    //#    net/sourceforge/pebble/index/ResponseIndex.__Descendant_Table[getResponseIndex(...).__Tag] != null
    //#    severity: SUPPRESSED
    //#    class: net.sourceforge.pebble.index.ResponseIndexListener
    //#    method: void commentRejected(CommentEvent)
    //#    basic block: Entry_BB_1
    //#    assertion: net/sourceforge/pebble/index/ResponseIndex.__Descendant_Table[getResponseIndex(...).__Tag] != null
    //#    VN: net/sourceforge/pebble/index/ResponseIndex.__Descendant_Table[getResponseIndex(...).__Tag]
    //#    Expected: Inverse{null}
    //#    Bad: Addr_Set{null}
    //#    Attribs:  Ptr  null in Bad
  }
    //#responseindexlistener.java:57: end of method: void net.sourceforge.pebble.index.ResponseIndexListener.commentRejected(CommentEvent)

  /**
   * Called when a TrackBack has been added.
   *
   * @param event a TrackBackEvent instance
   */
  public void trackBackAdded(TrackBackEvent event) {
    TrackBack trackBack = event.getTrackBack();
    //#responseindexlistener.java:65: method: void net.sourceforge.pebble.index.ResponseIndexListener.trackBackAdded(TrackBackEvent)
    //#input(void trackBackAdded(TrackBackEvent)): event
    //#input(void trackBackAdded(TrackBackEvent)): event.__Tag
    //#input(void trackBackAdded(TrackBackEvent)): net.sourceforge.pebble.domain.State__static_init.new State(State__static_init#1).__Tag
    //#input(void trackBackAdded(TrackBackEvent)): net.sourceforge.pebble.domain.State__static_init.new State(State__static_init#1).name
    //#input(void trackBackAdded(TrackBackEvent)): net.sourceforge.pebble.domain.State__static_init.new State(State__static_init#2).__Tag
    //#input(void trackBackAdded(TrackBackEvent)): net.sourceforge.pebble.domain.State__static_init.new State(State__static_init#2).name
    //#input(void trackBackAdded(TrackBackEvent)): net.sourceforge.pebble.domain.State__static_init.new State(State__static_init#3).__Tag
    //#input(void trackBackAdded(TrackBackEvent)): net.sourceforge.pebble.domain.State__static_init.new State(State__static_init#3).name
    //#input(void trackBackAdded(TrackBackEvent)): net/sourceforge/pebble/api/event/trackback/TrackBackEvent.__Descendant_Table[net/sourceforge/pebble/api/event/trackback/TrackBackEvent]
    //#input(void trackBackAdded(TrackBackEvent)): net/sourceforge/pebble/api/event/trackback/TrackBackEvent.__Descendant_Table[others]
    //#input(void trackBackAdded(TrackBackEvent)): net/sourceforge/pebble/api/event/trackback/TrackBackEvent.__Dispatch_Table.getTrackBack()Lnet/sourceforge/pebble/domain/TrackBack;
    //#input(void trackBackAdded(TrackBackEvent)): net/sourceforge/pebble/domain/Blog.__Descendant_Table[net/sourceforge/pebble/domain/Blog]
    //#input(void trackBackAdded(TrackBackEvent)): net/sourceforge/pebble/domain/Blog.__Descendant_Table[others]
    //#input(void trackBackAdded(TrackBackEvent)): net/sourceforge/pebble/domain/Blog.__Dispatch_Table.getResponseIndex()Lnet/sourceforge/pebble/index/ResponseIndex;
    //#input(void trackBackAdded(TrackBackEvent)): net/sourceforge/pebble/domain/BlogEntry.__Descendant_Table[net/sourceforge/pebble/domain/BlogEntry]
    //#input(void trackBackAdded(TrackBackEvent)): net/sourceforge/pebble/domain/BlogEntry.__Descendant_Table[others]
    //#input(void trackBackAdded(TrackBackEvent)): net/sourceforge/pebble/domain/BlogEntry.__Dispatch_Table.getBlog()Lnet/sourceforge/pebble/domain/Blog;
    //#input(void trackBackAdded(TrackBackEvent)): net/sourceforge/pebble/domain/Comment.__Descendant_Table[net/sourceforge/pebble/domain/Comment]
    //#input(void trackBackAdded(TrackBackEvent)): net/sourceforge/pebble/domain/Comment.__Descendant_Table[others]
    //#input(void trackBackAdded(TrackBackEvent)): net/sourceforge/pebble/domain/Comment.__Dispatch_Table.getBlogEntry()Lnet/sourceforge/pebble/domain/BlogEntry;
    //#input(void trackBackAdded(TrackBackEvent)): net/sourceforge/pebble/domain/Comment.__Dispatch_Table.getGuid()Ljava/lang/String;
    //#input(void trackBackAdded(TrackBackEvent)): net/sourceforge/pebble/domain/Comment.__Dispatch_Table.getId()J
    //#input(void trackBackAdded(TrackBackEvent)): net/sourceforge/pebble/domain/Comment.__Dispatch_Table.getState()Lnet/sourceforge/pebble/domain/State;
    //#input(void trackBackAdded(TrackBackEvent)): net/sourceforge/pebble/domain/Comment.__Dispatch_Table.isApproved()Z
    //#input(void trackBackAdded(TrackBackEvent)): net/sourceforge/pebble/domain/Comment.__Dispatch_Table.isPending()Z
    //#input(void trackBackAdded(TrackBackEvent)): net/sourceforge/pebble/domain/Comment.__Dispatch_Table.isRejected()Z
    //#input(void trackBackAdded(TrackBackEvent)): net/sourceforge/pebble/domain/Response.__Descendant_Table[net/sourceforge/pebble/domain/Comment]
    //#input(void trackBackAdded(TrackBackEvent)): net/sourceforge/pebble/domain/Response.__Descendant_Table[net/sourceforge/pebble/domain/Response]
    //#input(void trackBackAdded(TrackBackEvent)): net/sourceforge/pebble/domain/Response.__Descendant_Table[net/sourceforge/pebble/domain/TrackBack]
    //#input(void trackBackAdded(TrackBackEvent)): net/sourceforge/pebble/domain/Response.__Descendant_Table[others]
    //#input(void trackBackAdded(TrackBackEvent)): net/sourceforge/pebble/domain/Response.__Dispatch_Table.getBlogEntry()Lnet/sourceforge/pebble/domain/BlogEntry;
    //#input(void trackBackAdded(TrackBackEvent)): net/sourceforge/pebble/domain/Response.__Dispatch_Table.getGuid()Ljava/lang/String;
    //#input(void trackBackAdded(TrackBackEvent)): net/sourceforge/pebble/domain/Response.__Dispatch_Table.getId()J
    //#input(void trackBackAdded(TrackBackEvent)): net/sourceforge/pebble/domain/Response.__Dispatch_Table.getState()Lnet/sourceforge/pebble/domain/State;
    //#input(void trackBackAdded(TrackBackEvent)): net/sourceforge/pebble/domain/Response.__Dispatch_Table.isApproved()Z
    //#input(void trackBackAdded(TrackBackEvent)): net/sourceforge/pebble/domain/Response.__Dispatch_Table.isPending()Z
    //#input(void trackBackAdded(TrackBackEvent)): net/sourceforge/pebble/domain/Response.__Dispatch_Table.isRejected()Z
    //#input(void trackBackAdded(TrackBackEvent)): net/sourceforge/pebble/domain/State.APPROVED
    //#input(void trackBackAdded(TrackBackEvent)): net/sourceforge/pebble/domain/State.PENDING
    //#input(void trackBackAdded(TrackBackEvent)): net/sourceforge/pebble/domain/State.REJECTED
    //#input(void trackBackAdded(TrackBackEvent)): net/sourceforge/pebble/domain/State.__Descendant_Table[net/sourceforge/pebble/domain/State]
    //#input(void trackBackAdded(TrackBackEvent)): net/sourceforge/pebble/domain/State.__Descendant_Table[others]
    //#input(void trackBackAdded(TrackBackEvent)): net/sourceforge/pebble/domain/State.__Dispatch_Table.equals(Ljava/lang/Object;)Z
    //#input(void trackBackAdded(TrackBackEvent)): net/sourceforge/pebble/domain/State.__Dispatch_Table.getName()Ljava/lang/String;
    //#input(void trackBackAdded(TrackBackEvent)): net/sourceforge/pebble/domain/TrackBack.__Descendant_Table[net/sourceforge/pebble/domain/TrackBack]
    //#input(void trackBackAdded(TrackBackEvent)): net/sourceforge/pebble/domain/TrackBack.__Descendant_Table[others]
    //#input(void trackBackAdded(TrackBackEvent)): net/sourceforge/pebble/domain/TrackBack.__Dispatch_Table.getBlogEntry()Lnet/sourceforge/pebble/domain/BlogEntry;
    //#input(void trackBackAdded(TrackBackEvent)): net/sourceforge/pebble/domain/TrackBack.__Dispatch_Table.getGuid()Ljava/lang/String;
    //#input(void trackBackAdded(TrackBackEvent)): net/sourceforge/pebble/domain/TrackBack.__Dispatch_Table.getId()J
    //#input(void trackBackAdded(TrackBackEvent)): net/sourceforge/pebble/domain/TrackBack.__Dispatch_Table.getState()Lnet/sourceforge/pebble/domain/State;
    //#input(void trackBackAdded(TrackBackEvent)): net/sourceforge/pebble/domain/TrackBack.__Dispatch_Table.isApproved()Z
    //#input(void trackBackAdded(TrackBackEvent)): net/sourceforge/pebble/domain/TrackBack.__Dispatch_Table.isPending()Z
    //#input(void trackBackAdded(TrackBackEvent)): net/sourceforge/pebble/domain/TrackBack.__Dispatch_Table.isRejected()Z
    //#input(void trackBackAdded(TrackBackEvent)): net/sourceforge/pebble/index/ResponseIndex.__Descendant_Table[net/sourceforge/pebble/index/ResponseIndex]
    //#input(void trackBackAdded(TrackBackEvent)): net/sourceforge/pebble/index/ResponseIndex.__Descendant_Table[others]
    //#input(void trackBackAdded(TrackBackEvent)): net/sourceforge/pebble/index/ResponseIndex.__Dispatch_Table.index(Lnet/sourceforge/pebble/domain/Response;)V
    //#input(void trackBackAdded(TrackBackEvent)): net/sourceforge/pebble/index/ResponseIndex.log
    //#pre[1] (void trackBackAdded(TrackBackEvent)): event != null
    //#pre[2] (void trackBackAdded(TrackBackEvent)): event.__Tag == net/sourceforge/pebble/api/event/trackback/TrackBackEvent
    //#pre[3] (void trackBackAdded(TrackBackEvent)): (soft) net.sourceforge.pebble.domain.State__static_init.new State(State__static_init#1).name != null
    //#pre[4] (void trackBackAdded(TrackBackEvent)): (soft) net.sourceforge.pebble.domain.State__static_init.new State(State__static_init#2).name != null
    //#pre[5] (void trackBackAdded(TrackBackEvent)): (soft) net.sourceforge.pebble.domain.State__static_init.new State(State__static_init#3).name != null
    //#presumption(void trackBackAdded(TrackBackEvent)): getBlog(...).responseIndex@65 != null
    //#presumption(void trackBackAdded(TrackBackEvent)): getBlogEntry(...).blog@65 != null
    //#presumption(void trackBackAdded(TrackBackEvent)): getResponseIndex(...).approvedResponses@65 != null
    //#presumption(void trackBackAdded(TrackBackEvent)): getResponseIndex(...).blog@65 != null
    //#presumption(void trackBackAdded(TrackBackEvent)): getResponseIndex(...).pendingResponses@65 != null
    //#presumption(void trackBackAdded(TrackBackEvent)): getResponseIndex(...).rejectedResponses@65 != null
    //#presumption(void trackBackAdded(TrackBackEvent)): net.sourceforge.pebble.api.event.trackback.TrackBackEvent:getSource(...)@72 != null
    //#presumption(void trackBackAdded(TrackBackEvent)): trackBack.blogEntry@65 != null
    //#presumption(void trackBackAdded(TrackBackEvent)): trackBack.date@65 != null
    //#presumption(void trackBackAdded(TrackBackEvent)): trackBack.state.__Tag@65 == net/sourceforge/pebble/domain/State
    //#presumption(void trackBackAdded(TrackBackEvent)): trackBack.state@65 != null
    //#unanalyzed(void trackBackAdded(TrackBackEvent)): Effects-of-calling:net.sourceforge.pebble.api.event.trackback.TrackBackEvent:getSource
    //#unanalyzed(void trackBackAdded(TrackBackEvent)): Effects-of-calling:net.sourceforge.pebble.domain.Blog:getIndexesDirectory
    //#unanalyzed(void trackBackAdded(TrackBackEvent)): Effects-of-calling:java.io.File
    //#unanalyzed(void trackBackAdded(TrackBackEvent)): Effects-of-calling:org.apache.commons.logging.Log:error
    //#unanalyzed(void trackBackAdded(TrackBackEvent)): Effects-of-calling:java.io.FileWriter
    //#unanalyzed(void trackBackAdded(TrackBackEvent)): Effects-of-calling:java.io.BufferedWriter
    //#unanalyzed(void trackBackAdded(TrackBackEvent)): Effects-of-calling:java.util.List:iterator
    //#unanalyzed(void trackBackAdded(TrackBackEvent)): Effects-of-calling:java.util.Iterator:hasNext
    //#unanalyzed(void trackBackAdded(TrackBackEvent)): Effects-of-calling:java.util.Iterator:next
    //#unanalyzed(void trackBackAdded(TrackBackEvent)): Effects-of-calling:java.io.BufferedWriter:write
    //#unanalyzed(void trackBackAdded(TrackBackEvent)): Effects-of-calling:java.io.BufferedWriter:newLine
    //#unanalyzed(void trackBackAdded(TrackBackEvent)): Effects-of-calling:java.io.BufferedWriter:flush
    //#unanalyzed(void trackBackAdded(TrackBackEvent)): Effects-of-calling:java.io.BufferedWriter:close
    //#unanalyzed(void trackBackAdded(TrackBackEvent)): Effects-of-calling:getGuid
    //#unanalyzed(void trackBackAdded(TrackBackEvent)): Effects-of-calling:java.util.List:add
    //#unanalyzed(void trackBackAdded(TrackBackEvent)): Effects-of-calling:java.util.Collections:sort
    //#unanalyzed(void trackBackAdded(TrackBackEvent)): Effects-of-calling:isApproved
    //#unanalyzed(void trackBackAdded(TrackBackEvent)): Effects-of-calling:isPending
    //#unanalyzed(void trackBackAdded(TrackBackEvent)): Effects-of-calling:isRejected
    //#unanalyzed(void trackBackAdded(TrackBackEvent)): Effects-of-calling:java.util.Date:getTime
    //#unanalyzed(void trackBackAdded(TrackBackEvent)): Effects-of-calling:java.lang.String:valueOf
    //#unanalyzed(void trackBackAdded(TrackBackEvent)): Effects-of-calling:java.lang.StringBuilder
    //#unanalyzed(void trackBackAdded(TrackBackEvent)): Effects-of-calling:net.sourceforge.pebble.domain.BlogEntry:getId
    //#unanalyzed(void trackBackAdded(TrackBackEvent)): Effects-of-calling:java.lang.StringBuilder:append
    //#unanalyzed(void trackBackAdded(TrackBackEvent)): Effects-of-calling:java.lang.StringBuilder:toString
    //#unanalyzed(void trackBackAdded(TrackBackEvent)): Effects-of-calling:getState
    //#unanalyzed(void trackBackAdded(TrackBackEvent)): Effects-of-calling:java.lang.String:equals
    trackBack.getBlogEntry().getBlog().getResponseIndex().index(trackBack);
    //#responseindexlistener.java:66: ?null dereference
    //#    net/sourceforge/pebble/domain/TrackBack.__Descendant_Table[trackBack.__Tag] != null
    //#    severity: SUPPRESSED
    //#    class: net.sourceforge.pebble.index.ResponseIndexListener
    //#    method: void trackBackAdded(TrackBackEvent)
    //#    basic block: Entry_BB_1
    //#    assertion: net/sourceforge/pebble/domain/TrackBack.__Descendant_Table[trackBack.__Tag] != null
    //#    VN: net/sourceforge/pebble/domain/TrackBack.__Descendant_Table[trackBack.__Tag]
    //#    Expected: Inverse{null}
    //#    Bad: Addr_Set{null}
    //#    Attribs:  Ptr  null in Bad
    //#responseindexlistener.java:66: ?null dereference
    //#    net/sourceforge/pebble/domain/BlogEntry.__Descendant_Table[getBlogEntry(...).__Tag] != null
    //#    severity: SUPPRESSED
    //#    class: net.sourceforge.pebble.index.ResponseIndexListener
    //#    method: void trackBackAdded(TrackBackEvent)
    //#    basic block: Entry_BB_1
    //#    assertion: net/sourceforge/pebble/domain/BlogEntry.__Descendant_Table[getBlogEntry(...).__Tag] != null
    //#    VN: net/sourceforge/pebble/domain/BlogEntry.__Descendant_Table[getBlogEntry(...).__Tag]
    //#    Expected: Inverse{null}
    //#    Bad: Addr_Set{null}
    //#    Attribs:  Ptr  null in Bad
    //#responseindexlistener.java:66: ?null dereference
    //#    net/sourceforge/pebble/domain/Blog.__Descendant_Table[getBlog(...).__Tag] != null
    //#    severity: SUPPRESSED
    //#    class: net.sourceforge.pebble.index.ResponseIndexListener
    //#    method: void trackBackAdded(TrackBackEvent)
    //#    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
    //#responseindexlistener.java:66: ?null dereference
    //#    net/sourceforge/pebble/index/ResponseIndex.__Descendant_Table[getResponseIndex(...).__Tag] != null
    //#    severity: SUPPRESSED
    //#    class: net.sourceforge.pebble.index.ResponseIndexListener
    //#    method: void trackBackAdded(TrackBackEvent)
    //#    basic block: Entry_BB_1
    //#    assertion: net/sourceforge/pebble/index/ResponseIndex.__Descendant_Table[getResponseIndex(...).__Tag] != null
    //#    VN: net/sourceforge/pebble/index/ResponseIndex.__Descendant_Table[getResponseIndex(...).__Tag]
    //#    Expected: Inverse{null}
    //#    Bad: Addr_Set{null}
    //#    Attribs:  Ptr  null in Bad
  }
    //#responseindexlistener.java:67: end of method: void net.sourceforge.pebble.index.ResponseIndexListener.trackBackAdded(TrackBackEvent)

  /**
   * Called when a TrackBack has been removed.
   *
   * @param event a TrackBackEvent instance
   */
  public void trackBackRemoved(TrackBackEvent event) {
    TrackBack trackBack = event.getTrackBack();
    //#responseindexlistener.java:75: method: void net.sourceforge.pebble.index.ResponseIndexListener.trackBackRemoved(TrackBackEvent)
    //#input(void trackBackRemoved(TrackBackEvent)): event
    //#input(void trackBackRemoved(TrackBackEvent)): event.__Tag
    //#input(void trackBackRemoved(TrackBackEvent)): net/sourceforge/pebble/api/event/trackback/TrackBackEvent.__Descendant_Table[net/sourceforge/pebble/api/event/trackback/TrackBackEvent]
    //#input(void trackBackRemoved(TrackBackEvent)): net/sourceforge/pebble/api/event/trackback/TrackBackEvent.__Descendant_Table[others]
    //#input(void trackBackRemoved(TrackBackEvent)): net/sourceforge/pebble/api/event/trackback/TrackBackEvent.__Dispatch_Table.getTrackBack()Lnet/sourceforge/pebble/domain/TrackBack;
    //#input(void trackBackRemoved(TrackBackEvent)): net/sourceforge/pebble/domain/Blog.__Descendant_Table[net/sourceforge/pebble/domain/Blog]
    //#input(void trackBackRemoved(TrackBackEvent)): net/sourceforge/pebble/domain/Blog.__Descendant_Table[others]
    //#input(void trackBackRemoved(TrackBackEvent)): net/sourceforge/pebble/domain/Blog.__Dispatch_Table.getResponseIndex()Lnet/sourceforge/pebble/index/ResponseIndex;
    //#input(void trackBackRemoved(TrackBackEvent)): net/sourceforge/pebble/domain/BlogEntry.__Descendant_Table[net/sourceforge/pebble/domain/BlogEntry]
    //#input(void trackBackRemoved(TrackBackEvent)): net/sourceforge/pebble/domain/BlogEntry.__Descendant_Table[others]
    //#input(void trackBackRemoved(TrackBackEvent)): net/sourceforge/pebble/domain/BlogEntry.__Dispatch_Table.getBlog()Lnet/sourceforge/pebble/domain/Blog;
    //#input(void trackBackRemoved(TrackBackEvent)): net/sourceforge/pebble/domain/Comment.__Descendant_Table[net/sourceforge/pebble/domain/Comment]
    //#input(void trackBackRemoved(TrackBackEvent)): net/sourceforge/pebble/domain/Comment.__Descendant_Table[others]
    //#input(void trackBackRemoved(TrackBackEvent)): net/sourceforge/pebble/domain/Comment.__Dispatch_Table.getBlogEntry()Lnet/sourceforge/pebble/domain/BlogEntry;
    //#input(void trackBackRemoved(TrackBackEvent)): net/sourceforge/pebble/domain/Comment.__Dispatch_Table.getGuid()Ljava/lang/String;
    //#input(void trackBackRemoved(TrackBackEvent)): net/sourceforge/pebble/domain/Comment.__Dispatch_Table.getId()J
    //#input(void trackBackRemoved(TrackBackEvent)): net/sourceforge/pebble/domain/Response.__Descendant_Table[net/sourceforge/pebble/domain/Comment]
    //#input(void trackBackRemoved(TrackBackEvent)): net/sourceforge/pebble/domain/Response.__Descendant_Table[net/sourceforge/pebble/domain/Response]
    //#input(void trackBackRemoved(TrackBackEvent)): net/sourceforge/pebble/domain/Response.__Descendant_Table[net/sourceforge/pebble/domain/TrackBack]
    //#input(void trackBackRemoved(TrackBackEvent)): net/sourceforge/pebble/domain/Response.__Descendant_Table[others]
    //#input(void trackBackRemoved(TrackBackEvent)): net/sourceforge/pebble/domain/Response.__Dispatch_Table.getBlogEntry()Lnet/sourceforge/pebble/domain/BlogEntry;
    //#input(void trackBackRemoved(TrackBackEvent)): net/sourceforge/pebble/domain/Response.__Dispatch_Table.getGuid()Ljava/lang/String;
    //#input(void trackBackRemoved(TrackBackEvent)): net/sourceforge/pebble/domain/Response.__Dispatch_Table.getId()J
    //#input(void trackBackRemoved(TrackBackEvent)): net/sourceforge/pebble/domain/State.APPROVED
    //#input(void trackBackRemoved(TrackBackEvent)): net/sourceforge/pebble/domain/State.PENDING
    //#input(void trackBackRemoved(TrackBackEvent)): net/sourceforge/pebble/domain/State.REJECTED
    //#input(void trackBackRemoved(TrackBackEvent)): net/sourceforge/pebble/domain/TrackBack.__Descendant_Table[net/sourceforge/pebble/domain/TrackBack]
    //#input(void trackBackRemoved(TrackBackEvent)): net/sourceforge/pebble/domain/TrackBack.__Descendant_Table[others]
    //#input(void trackBackRemoved(TrackBackEvent)): net/sourceforge/pebble/domain/TrackBack.__Dispatch_Table.getBlogEntry()Lnet/sourceforge/pebble/domain/BlogEntry;
    //#input(void trackBackRemoved(TrackBackEvent)): net/sourceforge/pebble/domain/TrackBack.__Dispatch_Table.getGuid()Ljava/lang/String;
    //#input(void trackBackRemoved(TrackBackEvent)): net/sourceforge/pebble/domain/TrackBack.__Dispatch_Table.getId()J
    //#input(void trackBackRemoved(TrackBackEvent)): net/sourceforge/pebble/index/ResponseIndex.__Descendant_Table[net/sourceforge/pebble/index/ResponseIndex]
    //#input(void trackBackRemoved(TrackBackEvent)): net/sourceforge/pebble/index/ResponseIndex.__Descendant_Table[others]
    //#input(void trackBackRemoved(TrackBackEvent)): net/sourceforge/pebble/index/ResponseIndex.__Dispatch_Table.unindex(Lnet/sourceforge/pebble/domain/Response;)V
    //#input(void trackBackRemoved(TrackBackEvent)): net/sourceforge/pebble/index/ResponseIndex.log
    //#pre[1] (void trackBackRemoved(TrackBackEvent)): event != null
    //#pre[2] (void trackBackRemoved(TrackBackEvent)): event.__Tag == net/sourceforge/pebble/api/event/trackback/TrackBackEvent
    //#presumption(void trackBackRemoved(TrackBackEvent)): getBlog(...).__Tag@75 == net/sourceforge/pebble/domain/Blog
    //#presumption(void trackBackRemoved(TrackBackEvent)): getBlog(...).responseIndex@75 != null
    //#presumption(void trackBackRemoved(TrackBackEvent)): getBlogEntry(...).__Tag@75 == net/sourceforge/pebble/domain/BlogEntry
    //#presumption(void trackBackRemoved(TrackBackEvent)): getBlogEntry(...).blog@75 != null
    //#presumption(void trackBackRemoved(TrackBackEvent)): getResponseIndex(...).__Tag@75 == net/sourceforge/pebble/index/ResponseIndex
    //#presumption(void trackBackRemoved(TrackBackEvent)): getResponseIndex(...).approvedResponses@75 != null
    //#presumption(void trackBackRemoved(TrackBackEvent)): getResponseIndex(...).blog@75 != null
    //#presumption(void trackBackRemoved(TrackBackEvent)): getResponseIndex(...).pendingResponses@75 != null
    //#presumption(void trackBackRemoved(TrackBackEvent)): getResponseIndex(...).rejectedResponses@75 != null
    //#presumption(void trackBackRemoved(TrackBackEvent)): net.sourceforge.pebble.api.event.trackback.TrackBackEvent:getSource(...)@72 != null
    //#presumption(void trackBackRemoved(TrackBackEvent)): net.sourceforge.pebble.api.event.trackback.TrackBackEvent:getSource(...)@72.__Tag == net/sourceforge/pebble/domain/TrackBack
    //#presumption(void trackBackRemoved(TrackBackEvent)): trackBack.blogEntry@75 != null
    //#presumption(void trackBackRemoved(TrackBackEvent)): trackBack.date@75 != null
    //#unanalyzed(void trackBackRemoved(TrackBackEvent)): Effects-of-calling:net.sourceforge.pebble.api.event.trackback.TrackBackEvent:getSource
    //#unanalyzed(void trackBackRemoved(TrackBackEvent)): Effects-of-calling:net.sourceforge.pebble.domain.Blog:getIndexesDirectory
    //#unanalyzed(void trackBackRemoved(TrackBackEvent)): Effects-of-calling:java.io.File
    //#unanalyzed(void trackBackRemoved(TrackBackEvent)): Effects-of-calling:org.apache.commons.logging.Log:error
    //#unanalyzed(void trackBackRemoved(TrackBackEvent)): Effects-of-calling:java.io.FileWriter
    //#unanalyzed(void trackBackRemoved(TrackBackEvent)): Effects-of-calling:java.io.BufferedWriter
    //#unanalyzed(void trackBackRemoved(TrackBackEvent)): Effects-of-calling:java.util.List:iterator
    //#unanalyzed(void trackBackRemoved(TrackBackEvent)): Effects-of-calling:java.util.Iterator:hasNext
    //#unanalyzed(void trackBackRemoved(TrackBackEvent)): Effects-of-calling:java.util.Iterator:next
    //#unanalyzed(void trackBackRemoved(TrackBackEvent)): Effects-of-calling:java.io.BufferedWriter:write
    //#unanalyzed(void trackBackRemoved(TrackBackEvent)): Effects-of-calling:java.io.BufferedWriter:newLine
    //#unanalyzed(void trackBackRemoved(TrackBackEvent)): Effects-of-calling:java.io.BufferedWriter:flush
    //#unanalyzed(void trackBackRemoved(TrackBackEvent)): Effects-of-calling:java.io.BufferedWriter:close
    //#unanalyzed(void trackBackRemoved(TrackBackEvent)): Effects-of-calling:getGuid
    //#unanalyzed(void trackBackRemoved(TrackBackEvent)): Effects-of-calling:java.util.List:contains
    //#unanalyzed(void trackBackRemoved(TrackBackEvent)): Effects-of-calling:java.util.List:remove
    //#unanalyzed(void trackBackRemoved(TrackBackEvent)): Effects-of-calling:java.util.Date:getTime
    //#unanalyzed(void trackBackRemoved(TrackBackEvent)): Effects-of-calling:java.lang.String:valueOf
    //#unanalyzed(void trackBackRemoved(TrackBackEvent)): Effects-of-calling:java.lang.StringBuilder
    //#unanalyzed(void trackBackRemoved(TrackBackEvent)): Effects-of-calling:net.sourceforge.pebble.domain.BlogEntry:getId
    //#unanalyzed(void trackBackRemoved(TrackBackEvent)): Effects-of-calling:java.lang.StringBuilder:append
    //#unanalyzed(void trackBackRemoved(TrackBackEvent)): Effects-of-calling:java.lang.StringBuilder:toString
    trackBack.getBlogEntry().getBlog().getResponseIndex().unindex(trackBack);
    //#responseindexlistener.java:76: ?null dereference
    //#    net/sourceforge/pebble/domain/BlogEntry.__Descendant_Table[getBlogEntry(...).__Tag] != null
    //#    severity: SUPPRESSED
    //#    class: net.sourceforge.pebble.index.ResponseIndexListener
    //#    method: void trackBackRemoved(TrackBackEvent)
    //#    basic block: Entry_BB_1
    //#    assertion: net/sourceforge/pebble/domain/BlogEntry.__Descendant_Table[getBlogEntry(...).__Tag] != null
    //#    VN: net/sourceforge/pebble/domain/BlogEntry.__Descendant_Table[getBlogEntry(...).__Tag]
    //#    Expected: Inverse{null}
    //#    Bad: Addr_Set{null}
    //#    Attribs:  Ptr  null in Bad
    //#responseindexlistener.java:76: ?null dereference
    //#    net/sourceforge/pebble/domain/Blog.__Descendant_Table[getBlog(...).__Tag] != null
    //#    severity: SUPPRESSED
    //#    class: net.sourceforge.pebble.index.ResponseIndexListener
    //#    method: void trackBackRemoved(TrackBackEvent)
    //#    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
    //#responseindexlistener.java:76: ?null dereference
    //#    net/sourceforge/pebble/index/ResponseIndex.__Descendant_Table[getResponseIndex(...).__Tag] != null
    //#    severity: SUPPRESSED
    //#    class: net.sourceforge.pebble.index.ResponseIndexListener
    //#    method: void trackBackRemoved(TrackBackEvent)
    //#    basic block: Entry_BB_1
    //#    assertion: net/sourceforge/pebble/index/ResponseIndex.__Descendant_Table[getResponseIndex(...).__Tag] != null
    //#    VN: net/sourceforge/pebble/index/ResponseIndex.__Descendant_Table[getResponseIndex(...).__Tag]
    //#    Expected: Inverse{null}
    //#    Bad: Addr_Set{null}
    //#    Attribs:  Ptr  null in Bad
  }
    //#responseindexlistener.java:77: end of method: void net.sourceforge.pebble.index.ResponseIndexListener.trackBackRemoved(TrackBackEvent)

  /**
   * Called when a TrackBack has been approved.
   *
   * @param event a TrackBackEvent instance
   */
  public void trackBackApproved(TrackBackEvent event) {
    TrackBack trackBack = event.getTrackBack();
    //#responseindexlistener.java:85: method: void net.sourceforge.pebble.index.ResponseIndexListener.trackBackApproved(TrackBackEvent)
    //#input(void trackBackApproved(TrackBackEvent)): event
    //#input(void trackBackApproved(TrackBackEvent)): event.__Tag
    //#input(void trackBackApproved(TrackBackEvent)): net.sourceforge.pebble.domain.State__static_init.new State(State__static_init#1).__Tag
    //#input(void trackBackApproved(TrackBackEvent)): net.sourceforge.pebble.domain.State__static_init.new State(State__static_init#1).name
    //#input(void trackBackApproved(TrackBackEvent)): net.sourceforge.pebble.domain.State__static_init.new State(State__static_init#2).__Tag
    //#input(void trackBackApproved(TrackBackEvent)): net.sourceforge.pebble.domain.State__static_init.new State(State__static_init#2).name
    //#input(void trackBackApproved(TrackBackEvent)): net.sourceforge.pebble.domain.State__static_init.new State(State__static_init#3).__Tag
    //#input(void trackBackApproved(TrackBackEvent)): net.sourceforge.pebble.domain.State__static_init.new State(State__static_init#3).name
    //#input(void trackBackApproved(TrackBackEvent)): net/sourceforge/pebble/api/event/trackback/TrackBackEvent.__Descendant_Table[net/sourceforge/pebble/api/event/trackback/TrackBackEvent]
    //#input(void trackBackApproved(TrackBackEvent)): net/sourceforge/pebble/api/event/trackback/TrackBackEvent.__Descendant_Table[others]
    //#input(void trackBackApproved(TrackBackEvent)): net/sourceforge/pebble/api/event/trackback/TrackBackEvent.__Dispatch_Table.getTrackBack()Lnet/sourceforge/pebble/domain/TrackBack;
    //#input(void trackBackApproved(TrackBackEvent)): net/sourceforge/pebble/domain/Blog.__Descendant_Table[net/sourceforge/pebble/domain/Blog]
    //#input(void trackBackApproved(TrackBackEvent)): net/sourceforge/pebble/domain/Blog.__Descendant_Table[others]
    //#input(void trackBackApproved(TrackBackEvent)): net/sourceforge/pebble/domain/Blog.__Dispatch_Table.getResponseIndex()Lnet/sourceforge/pebble/index/ResponseIndex;
    //#input(void trackBackApproved(TrackBackEvent)): net/sourceforge/pebble/domain/BlogEntry.__Descendant_Table[net/sourceforge/pebble/domain/BlogEntry]
    //#input(void trackBackApproved(TrackBackEvent)): net/sourceforge/pebble/domain/BlogEntry.__Descendant_Table[others]
    //#input(void trackBackApproved(TrackBackEvent)): net/sourceforge/pebble/domain/BlogEntry.__Dispatch_Table.getBlog()Lnet/sourceforge/pebble/domain/Blog;
    //#input(void trackBackApproved(TrackBackEvent)): net/sourceforge/pebble/domain/Comment.__Descendant_Table[net/sourceforge/pebble/domain/Comment]
    //#input(void trackBackApproved(TrackBackEvent)): net/sourceforge/pebble/domain/Comment.__Descendant_Table[others]
    //#input(void trackBackApproved(TrackBackEvent)): net/sourceforge/pebble/domain/Comment.__Dispatch_Table.getBlogEntry()Lnet/sourceforge/pebble/domain/BlogEntry;
    //#input(void trackBackApproved(TrackBackEvent)): net/sourceforge/pebble/domain/Comment.__Dispatch_Table.getGuid()Ljava/lang/String;
    //#input(void trackBackApproved(TrackBackEvent)): net/sourceforge/pebble/domain/Comment.__Dispatch_Table.getId()J
    //#input(void trackBackApproved(TrackBackEvent)): net/sourceforge/pebble/domain/Comment.__Dispatch_Table.getState()Lnet/sourceforge/pebble/domain/State;
    //#input(void trackBackApproved(TrackBackEvent)): net/sourceforge/pebble/domain/Comment.__Dispatch_Table.isApproved()Z
    //#input(void trackBackApproved(TrackBackEvent)): net/sourceforge/pebble/domain/Comment.__Dispatch_Table.isPending()Z
    //#input(void trackBackApproved(TrackBackEvent)): net/sourceforge/pebble/domain/Comment.__Dispatch_Table.isRejected()Z
    //#input(void trackBackApproved(TrackBackEvent)): net/sourceforge/pebble/domain/Response.__Descendant_Table[net/sourceforge/pebble/domain/Comment]
    //#input(void trackBackApproved(TrackBackEvent)): net/sourceforge/pebble/domain/Response.__Descendant_Table[net/sourceforge/pebble/domain/Response]
    //#input(void trackBackApproved(TrackBackEvent)): net/sourceforge/pebble/domain/Response.__Descendant_Table[net/sourceforge/pebble/domain/TrackBack]
    //#input(void trackBackApproved(TrackBackEvent)): net/sourceforge/pebble/domain/Response.__Descendant_Table[others]
    //#input(void trackBackApproved(TrackBackEvent)): net/sourceforge/pebble/domain/Response.__Dispatch_Table.getBlogEntry()Lnet/sourceforge/pebble/domain/BlogEntry;
    //#input(void trackBackApproved(TrackBackEvent)): net/sourceforge/pebble/domain/Response.__Dispatch_Table.getGuid()Ljava/lang/String;
    //#input(void trackBackApproved(TrackBackEvent)): net/sourceforge/pebble/domain/Response.__Dispatch_Table.getId()J
    //#input(void trackBackApproved(TrackBackEvent)): net/sourceforge/pebble/domain/Response.__Dispatch_Table.getState()Lnet/sourceforge/pebble/domain/State;
    //#input(void trackBackApproved(TrackBackEvent)): net/sourceforge/pebble/domain/Response.__Dispatch_Table.isApproved()Z
    //#input(void trackBackApproved(TrackBackEvent)): net/sourceforge/pebble/domain/Response.__Dispatch_Table.isPending()Z
    //#input(void trackBackApproved(TrackBackEvent)): net/sourceforge/pebble/domain/Response.__Dispatch_Table.isRejected()Z
    //#input(void trackBackApproved(TrackBackEvent)): net/sourceforge/pebble/domain/State.APPROVED
    //#input(void trackBackApproved(TrackBackEvent)): net/sourceforge/pebble/domain/State.PENDING
    //#input(void trackBackApproved(TrackBackEvent)): net/sourceforge/pebble/domain/State.REJECTED
    //#input(void trackBackApproved(TrackBackEvent)): net/sourceforge/pebble/domain/State.__Descendant_Table[net/sourceforge/pebble/domain/State]
    //#input(void trackBackApproved(TrackBackEvent)): net/sourceforge/pebble/domain/State.__Descendant_Table[others]
    //#input(void trackBackApproved(TrackBackEvent)): net/sourceforge/pebble/domain/State.__Dispatch_Table.equals(Ljava/lang/Object;)Z
    //#input(void trackBackApproved(TrackBackEvent)): net/sourceforge/pebble/domain/State.__Dispatch_Table.getName()Ljava/lang/String;
    //#input(void trackBackApproved(TrackBackEvent)): net/sourceforge/pebble/domain/TrackBack.__Descendant_Table[net/sourceforge/pebble/domain/TrackBack]
    //#input(void trackBackApproved(TrackBackEvent)): net/sourceforge/pebble/domain/TrackBack.__Descendant_Table[others]
    //#input(void trackBackApproved(TrackBackEvent)): net/sourceforge/pebble/domain/TrackBack.__Dispatch_Table.getBlogEntry()Lnet/sourceforge/pebble/domain/BlogEntry;
    //#input(void trackBackApproved(TrackBackEvent)): net/sourceforge/pebble/domain/TrackBack.__Dispatch_Table.getGuid()Ljava/lang/String;
    //#input(void trackBackApproved(TrackBackEvent)): net/sourceforge/pebble/domain/TrackBack.__Dispatch_Table.getId()J
    //#input(void trackBackApproved(TrackBackEvent)): net/sourceforge/pebble/domain/TrackBack.__Dispatch_Table.getState()Lnet/sourceforge/pebble/domain/State;
    //#input(void trackBackApproved(TrackBackEvent)): net/sourceforge/pebble/domain/TrackBack.__Dispatch_Table.isApproved()Z
    //#input(void trackBackApproved(TrackBackEvent)): net/sourceforge/pebble/domain/TrackBack.__Dispatch_Table.isPending()Z
    //#input(void trackBackApproved(TrackBackEvent)): net/sourceforge/pebble/domain/TrackBack.__Dispatch_Table.isRejected()Z
    //#input(void trackBackApproved(TrackBackEvent)): net/sourceforge/pebble/index/ResponseIndex.__Descendant_Table[net/sourceforge/pebble/index/ResponseIndex]
    //#input(void trackBackApproved(TrackBackEvent)): net/sourceforge/pebble/index/ResponseIndex.__Descendant_Table[others]
    //#input(void trackBackApproved(TrackBackEvent)): net/sourceforge/pebble/index/ResponseIndex.__Dispatch_Table.index(Lnet/sourceforge/pebble/domain/Response;)V
    //#input(void trackBackApproved(TrackBackEvent)): net/sourceforge/pebble/index/ResponseIndex.__Dispatch_Table.unindex(Lnet/sourceforge/pebble/domain/Response;)V
    //#input(void trackBackApproved(TrackBackEvent)): net/sourceforge/pebble/index/ResponseIndex.log
    //#pre[1] (void trackBackApproved(TrackBackEvent)): event != null
    //#pre[2] (void trackBackApproved(TrackBackEvent)): event.__Tag == net/sourceforge/pebble/api/event/trackback/TrackBackEvent
    //#pre[3] (void trackBackApproved(TrackBackEvent)): (soft) net.sourceforge.pebble.domain.State__static_init.new State(State__static_init#1).name != null
    //#pre[4] (void trackBackApproved(TrackBackEvent)): (soft) net.sourceforge.pebble.domain.State__static_init.new State(State__static_init#2).name != null
    //#pre[5] (void trackBackApproved(TrackBackEvent)): (soft) net.sourceforge.pebble.domain.State__static_init.new State(State__static_init#3).name != null
    //#presumption(void trackBackApproved(TrackBackEvent)): getBlog(...).__Tag@85 is init'ed
    //#presumption(void trackBackApproved(TrackBackEvent)): getBlog(...).__Tag@86 == net/sourceforge/pebble/domain/Blog
    //#presumption(void trackBackApproved(TrackBackEvent)): getBlog(...).responseIndex@85 != null
    //#presumption(void trackBackApproved(TrackBackEvent)): getBlog(...).responseIndex@86 != null
    //#presumption(void trackBackApproved(TrackBackEvent)): getBlogEntry(...).__Tag@85 is init'ed
    //#presumption(void trackBackApproved(TrackBackEvent)): getBlogEntry(...).__Tag@86 == net/sourceforge/pebble/domain/BlogEntry
    //#presumption(void trackBackApproved(TrackBackEvent)): getBlogEntry(...).blog@85 != null
    //#presumption(void trackBackApproved(TrackBackEvent)): getBlogEntry(...).blog@86 != null
    //#presumption(void trackBackApproved(TrackBackEvent)): getResponseIndex(...).__Tag@85 is init'ed
    //#presumption(void trackBackApproved(TrackBackEvent)): getResponseIndex(...).approvedResponses@85 != null
    //#presumption(void trackBackApproved(TrackBackEvent)): getResponseIndex(...).approvedResponses@86 != null
    //#presumption(void trackBackApproved(TrackBackEvent)): getResponseIndex(...).blog@85 != null
    //#presumption(void trackBackApproved(TrackBackEvent)): getResponseIndex(...).blog@86 != null
    //#presumption(void trackBackApproved(TrackBackEvent)): getResponseIndex(...).pendingResponses@85 != null
    //#presumption(void trackBackApproved(TrackBackEvent)): getResponseIndex(...).pendingResponses@86 != null
    //#presumption(void trackBackApproved(TrackBackEvent)): getResponseIndex(...).rejectedResponses@85 != null
    //#presumption(void trackBackApproved(TrackBackEvent)): getResponseIndex(...).rejectedResponses@86 != null
    //#presumption(void trackBackApproved(TrackBackEvent)): net.sourceforge.pebble.api.event.trackback.TrackBackEvent:getSource(...)@72 != null
    //#presumption(void trackBackApproved(TrackBackEvent)): net.sourceforge.pebble.api.event.trackback.TrackBackEvent:getSource(...)@72.__Tag is init'ed
    //#presumption(void trackBackApproved(TrackBackEvent)): trackBack.blogEntry@85 != null
    //#presumption(void trackBackApproved(TrackBackEvent)): trackBack.blogEntry@86 != null
    //#presumption(void trackBackApproved(TrackBackEvent)): trackBack.date@85 != null
    //#presumption(void trackBackApproved(TrackBackEvent)): trackBack.date@86 != null
    //#presumption(void trackBackApproved(TrackBackEvent)): trackBack.state.__Tag@86 == net/sourceforge/pebble/domain/State
    //#presumption(void trackBackApproved(TrackBackEvent)): trackBack.state@86 != null
    //#unanalyzed(void trackBackApproved(TrackBackEvent)): Effects-of-calling:net.sourceforge.pebble.api.event.trackback.TrackBackEvent:getSource
    //#unanalyzed(void trackBackApproved(TrackBackEvent)): Effects-of-calling:net.sourceforge.pebble.domain.Blog:getIndexesDirectory
    //#unanalyzed(void trackBackApproved(TrackBackEvent)): Effects-of-calling:java.io.File
    //#unanalyzed(void trackBackApproved(TrackBackEvent)): Effects-of-calling:org.apache.commons.logging.Log:error
    //#unanalyzed(void trackBackApproved(TrackBackEvent)): Effects-of-calling:java.io.FileWriter
    //#unanalyzed(void trackBackApproved(TrackBackEvent)): Effects-of-calling:java.io.BufferedWriter
    //#unanalyzed(void trackBackApproved(TrackBackEvent)): Effects-of-calling:java.util.List:iterator
    //#unanalyzed(void trackBackApproved(TrackBackEvent)): Effects-of-calling:java.util.Iterator:hasNext
    //#unanalyzed(void trackBackApproved(TrackBackEvent)): Effects-of-calling:java.util.Iterator:next
    //#unanalyzed(void trackBackApproved(TrackBackEvent)): Effects-of-calling:java.io.BufferedWriter:write
    //#unanalyzed(void trackBackApproved(TrackBackEvent)): Effects-of-calling:java.io.BufferedWriter:newLine
    //#unanalyzed(void trackBackApproved(TrackBackEvent)): Effects-of-calling:java.io.BufferedWriter:flush
    //#unanalyzed(void trackBackApproved(TrackBackEvent)): Effects-of-calling:java.io.BufferedWriter:close
    //#unanalyzed(void trackBackApproved(TrackBackEvent)): Effects-of-calling:getGuid
    //#unanalyzed(void trackBackApproved(TrackBackEvent)): Effects-of-calling:java.util.List:contains
    //#unanalyzed(void trackBackApproved(TrackBackEvent)): Effects-of-calling:java.util.List:remove
    //#unanalyzed(void trackBackApproved(TrackBackEvent)): Effects-of-calling:java.util.List:add
    //#unanalyzed(void trackBackApproved(TrackBackEvent)): Effects-of-calling:java.util.Collections:sort
    //#unanalyzed(void trackBackApproved(TrackBackEvent)): Effects-of-calling:isApproved
    //#unanalyzed(void trackBackApproved(TrackBackEvent)): Effects-of-calling:isPending
    //#unanalyzed(void trackBackApproved(TrackBackEvent)): Effects-of-calling:isRejected
    //#unanalyzed(void trackBackApproved(TrackBackEvent)): Effects-of-calling:java.util.Date:getTime
    //#unanalyzed(void trackBackApproved(TrackBackEvent)): Effects-of-calling:java.lang.String:valueOf
    //#unanalyzed(void trackBackApproved(TrackBackEvent)): Effects-of-calling:java.lang.StringBuilder
    //#unanalyzed(void trackBackApproved(TrackBackEvent)): Effects-of-calling:net.sourceforge.pebble.domain.BlogEntry:getId
    //#unanalyzed(void trackBackApproved(TrackBackEvent)): Effects-of-calling:java.lang.StringBuilder:append
    //#unanalyzed(void trackBackApproved(TrackBackEvent)): Effects-of-calling:java.lang.StringBuilder:toString
    //#unanalyzed(void trackBackApproved(TrackBackEvent)): Effects-of-calling:getState
    //#unanalyzed(void trackBackApproved(TrackBackEvent)): Effects-of-calling:java.lang.String:equals
    trackBack.getBlogEntry().getBlog().getResponseIndex().unindex(trackBack);
    //#responseindexlistener.java:86: ?null dereference
    //#    net/sourceforge/pebble/domain/TrackBack.__Descendant_Table[trackBack.__Tag] != null
    //#    severity: SUPPRESSED
    //#    class: net.sourceforge.pebble.index.ResponseIndexListener
    //#    method: void trackBackApproved(TrackBackEvent)
    //#    basic block: Entry_BB_1
    //#    assertion: net/sourceforge/pebble/domain/TrackBack.__Descendant_Table[trackBack.__Tag] != null
    //#    VN: net/sourceforge/pebble/domain/TrackBack.__Descendant_Table[trackBack.__Tag]
    //#    Expected: Inverse{null}
    //#    Bad: Addr_Set{null}
    //#    Attribs:  Ptr  null in Bad
    //#responseindexlistener.java:86: ?null dereference
    //#    net/sourceforge/pebble/domain/BlogEntry.__Descendant_Table[getBlogEntry(...).__Tag] != null
    //#    severity: SUPPRESSED
    //#    class: net.sourceforge.pebble.index.ResponseIndexListener
    //#    method: void trackBackApproved(TrackBackEvent)
    //#    basic block: Entry_BB_1
    //#    assertion: net/sourceforge/pebble/domain/BlogEntry.__Descendant_Table[getBlogEntry(...).__Tag] != null
    //#    VN: net/sourceforge/pebble/domain/BlogEntry.__Descendant_Table[getBlogEntry(...).__Tag]
    //#    Expected: Inverse{null}
    //#    Bad: Addr_Set{null}
    //#    Attribs:  Ptr  null in Bad
    //#responseindexlistener.java:86: ?null dereference
    //#    net/sourceforge/pebble/domain/Blog.__Descendant_Table[getBlog(...).__Tag] != null
    //#    severity: SUPPRESSED
    //#    class: net.sourceforge.pebble.index.ResponseIndexListener
    //#    method: void trackBackApproved(TrackBackEvent)
    //#    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
    //#responseindexlistener.java:86: ?null dereference
    //#    net/sourceforge/pebble/index/ResponseIndex.__Descendant_Table[getResponseIndex(...).__Tag] != null
    //#    severity: SUPPRESSED
    //#    class: net.sourceforge.pebble.index.ResponseIndexListener
    //#    method: void trackBackApproved(TrackBackEvent)
    //#    basic block: Entry_BB_1
    //#    assertion: net/sourceforge/pebble/index/ResponseIndex.__Descendant_Table[getResponseIndex(...).__Tag] != null
    //#    VN: net/sourceforge/pebble/index/ResponseIndex.__Descendant_Table[getResponseIndex(...).__Tag]
    //#    Expected: Inverse{null}
    //#    Bad: Addr_Set{null}
    //#    Attribs:  Ptr  null in Bad
    trackBack.getBlogEntry().getBlog().getResponseIndex().index(trackBack);
    //#responseindexlistener.java:87: ?null dereference
    //#    net/sourceforge/pebble/index/ResponseIndex.__Descendant_Table[getResponseIndex(...).__Tag] != null
    //#    severity: SUPPRESSED
    //#    class: net.sourceforge.pebble.index.ResponseIndexListener
    //#    method: void trackBackApproved(TrackBackEvent)
    //#    basic block: Entry_BB_1
    //#    assertion: net/sourceforge/pebble/index/ResponseIndex.__Descendant_Table[getResponseIndex(...).__Tag] != null
    //#    VN: net/sourceforge/pebble/index/ResponseIndex.__Descendant_Table[getResponseIndex(...).__Tag]
    //#    Expected: Inverse{null}
    //#    Bad: Addr_Set{null}
    //#    Attribs:  Ptr  null in Bad
  }
    //#responseindexlistener.java:88: end of method: void net.sourceforge.pebble.index.ResponseIndexListener.trackBackApproved(TrackBackEvent)

  /**
   * Called when a TrackBack has been rejected.
   *
   * @param event a TrackBackEvent instance
   */
  public void trackBackRejected(TrackBackEvent event) {
    TrackBack trackBack = event.getTrackBack();
    //#responseindexlistener.java:96: method: void net.sourceforge.pebble.index.ResponseIndexListener.trackBackRejected(TrackBackEvent)
    //#input(void trackBackRejected(TrackBackEvent)): event
    //#input(void trackBackRejected(TrackBackEvent)): event.__Tag
    //#input(void trackBackRejected(TrackBackEvent)): net.sourceforge.pebble.domain.State__static_init.new State(State__static_init#1).__Tag
    //#input(void trackBackRejected(TrackBackEvent)): net.sourceforge.pebble.domain.State__static_init.new State(State__static_init#1).name
    //#input(void trackBackRejected(TrackBackEvent)): net.sourceforge.pebble.domain.State__static_init.new State(State__static_init#2).__Tag
    //#input(void trackBackRejected(TrackBackEvent)): net.sourceforge.pebble.domain.State__static_init.new State(State__static_init#2).name
    //#input(void trackBackRejected(TrackBackEvent)): net.sourceforge.pebble.domain.State__static_init.new State(State__static_init#3).__Tag
    //#input(void trackBackRejected(TrackBackEvent)): net.sourceforge.pebble.domain.State__static_init.new State(State__static_init#3).name
    //#input(void trackBackRejected(TrackBackEvent)): net/sourceforge/pebble/api/event/trackback/TrackBackEvent.__Descendant_Table[net/sourceforge/pebble/api/event/trackback/TrackBackEvent]
    //#input(void trackBackRejected(TrackBackEvent)): net/sourceforge/pebble/api/event/trackback/TrackBackEvent.__Descendant_Table[others]
    //#input(void trackBackRejected(TrackBackEvent)): net/sourceforge/pebble/api/event/trackback/TrackBackEvent.__Dispatch_Table.getTrackBack()Lnet/sourceforge/pebble/domain/TrackBack;
    //#input(void trackBackRejected(TrackBackEvent)): net/sourceforge/pebble/domain/Blog.__Descendant_Table[net/sourceforge/pebble/domain/Blog]
    //#input(void trackBackRejected(TrackBackEvent)): net/sourceforge/pebble/domain/Blog.__Descendant_Table[others]
    //#input(void trackBackRejected(TrackBackEvent)): net/sourceforge/pebble/domain/Blog.__Dispatch_Table.getResponseIndex()Lnet/sourceforge/pebble/index/ResponseIndex;
    //#input(void trackBackRejected(TrackBackEvent)): net/sourceforge/pebble/domain/BlogEntry.__Descendant_Table[net/sourceforge/pebble/domain/BlogEntry]
    //#input(void trackBackRejected(TrackBackEvent)): net/sourceforge/pebble/domain/BlogEntry.__Descendant_Table[others]
    //#input(void trackBackRejected(TrackBackEvent)): net/sourceforge/pebble/domain/BlogEntry.__Dispatch_Table.getBlog()Lnet/sourceforge/pebble/domain/Blog;
    //#input(void trackBackRejected(TrackBackEvent)): net/sourceforge/pebble/domain/Comment.__Descendant_Table[net/sourceforge/pebble/domain/Comment]
    //#input(void trackBackRejected(TrackBackEvent)): net/sourceforge/pebble/domain/Comment.__Descendant_Table[others]
    //#input(void trackBackRejected(TrackBackEvent)): net/sourceforge/pebble/domain/Comment.__Dispatch_Table.getBlogEntry()Lnet/sourceforge/pebble/domain/BlogEntry;
    //#input(void trackBackRejected(TrackBackEvent)): net/sourceforge/pebble/domain/Comment.__Dispatch_Table.getGuid()Ljava/lang/String;
    //#input(void trackBackRejected(TrackBackEvent)): net/sourceforge/pebble/domain/Comment.__Dispatch_Table.getId()J
    //#input(void trackBackRejected(TrackBackEvent)): net/sourceforge/pebble/domain/Comment.__Dispatch_Table.getState()Lnet/sourceforge/pebble/domain/State;
    //#input(void trackBackRejected(TrackBackEvent)): net/sourceforge/pebble/domain/Comment.__Dispatch_Table.isApproved()Z
    //#input(void trackBackRejected(TrackBackEvent)): net/sourceforge/pebble/domain/Comment.__Dispatch_Table.isPending()Z
    //#input(void trackBackRejected(TrackBackEvent)): net/sourceforge/pebble/domain/Comment.__Dispatch_Table.isRejected()Z
    //#input(void trackBackRejected(TrackBackEvent)): net/sourceforge/pebble/domain/Response.__Descendant_Table[net/sourceforge/pebble/domain/Comment]
    //#input(void trackBackRejected(TrackBackEvent)): net/sourceforge/pebble/domain/Response.__Descendant_Table[net/sourceforge/pebble/domain/Response]
    //#input(void trackBackRejected(TrackBackEvent)): net/sourceforge/pebble/domain/Response.__Descendant_Table[net/sourceforge/pebble/domain/TrackBack]
    //#input(void trackBackRejected(TrackBackEvent)): net/sourceforge/pebble/domain/Response.__Descendant_Table[others]
    //#input(void trackBackRejected(TrackBackEvent)): net/sourceforge/pebble/domain/Response.__Dispatch_Table.getBlogEntry()Lnet/sourceforge/pebble/domain/BlogEntry;
    //#input(void trackBackRejected(TrackBackEvent)): net/sourceforge/pebble/domain/Response.__Dispatch_Table.getGuid()Ljava/lang/String;
    //#input(void trackBackRejected(TrackBackEvent)): net/sourceforge/pebble/domain/Response.__Dispatch_Table.getId()J
    //#input(void trackBackRejected(TrackBackEvent)): net/sourceforge/pebble/domain/Response.__Dispatch_Table.getState()Lnet/sourceforge/pebble/domain/State;
    //#input(void trackBackRejected(TrackBackEvent)): net/sourceforge/pebble/domain/Response.__Dispatch_Table.isApproved()Z
    //#input(void trackBackRejected(TrackBackEvent)): net/sourceforge/pebble/domain/Response.__Dispatch_Table.isPending()Z
    //#input(void trackBackRejected(TrackBackEvent)): net/sourceforge/pebble/domain/Response.__Dispatch_Table.isRejected()Z
    //#input(void trackBackRejected(TrackBackEvent)): net/sourceforge/pebble/domain/State.APPROVED
    //#input(void trackBackRejected(TrackBackEvent)): net/sourceforge/pebble/domain/State.PENDING
    //#input(void trackBackRejected(TrackBackEvent)): net/sourceforge/pebble/domain/State.REJECTED
    //#input(void trackBackRejected(TrackBackEvent)): net/sourceforge/pebble/domain/State.__Descendant_Table[net/sourceforge/pebble/domain/State]
    //#input(void trackBackRejected(TrackBackEvent)): net/sourceforge/pebble/domain/State.__Descendant_Table[others]
    //#input(void trackBackRejected(TrackBackEvent)): net/sourceforge/pebble/domain/State.__Dispatch_Table.equals(Ljava/lang/Object;)Z
    //#input(void trackBackRejected(TrackBackEvent)): net/sourceforge/pebble/domain/State.__Dispatch_Table.getName()Ljava/lang/String;
    //#input(void trackBackRejected(TrackBackEvent)): net/sourceforge/pebble/domain/TrackBack.__Descendant_Table[net/sourceforge/pebble/domain/TrackBack]
    //#input(void trackBackRejected(TrackBackEvent)): net/sourceforge/pebble/domain/TrackBack.__Descendant_Table[others]
    //#input(void trackBackRejected(TrackBackEvent)): net/sourceforge/pebble/domain/TrackBack.__Dispatch_Table.getBlogEntry()Lnet/sourceforge/pebble/domain/BlogEntry;
    //#input(void trackBackRejected(TrackBackEvent)): net/sourceforge/pebble/domain/TrackBack.__Dispatch_Table.getGuid()Ljava/lang/String;
    //#input(void trackBackRejected(TrackBackEvent)): net/sourceforge/pebble/domain/TrackBack.__Dispatch_Table.getId()J
    //#input(void trackBackRejected(TrackBackEvent)): net/sourceforge/pebble/domain/TrackBack.__Dispatch_Table.getState()Lnet/sourceforge/pebble/domain/State;
    //#input(void trackBackRejected(TrackBackEvent)): net/sourceforge/pebble/domain/TrackBack.__Dispatch_Table.isApproved()Z
    //#input(void trackBackRejected(TrackBackEvent)): net/sourceforge/pebble/domain/TrackBack.__Dispatch_Table.isPending()Z
    //#input(void trackBackRejected(TrackBackEvent)): net/sourceforge/pebble/domain/TrackBack.__Dispatch_Table.isRejected()Z
    //#input(void trackBackRejected(TrackBackEvent)): net/sourceforge/pebble/index/ResponseIndex.__Descendant_Table[net/sourceforge/pebble/index/ResponseIndex]
    //#input(void trackBackRejected(TrackBackEvent)): net/sourceforge/pebble/index/ResponseIndex.__Descendant_Table[others]
    //#input(void trackBackRejected(TrackBackEvent)): net/sourceforge/pebble/index/ResponseIndex.__Dispatch_Table.index(Lnet/sourceforge/pebble/domain/Response;)V
    //#input(void trackBackRejected(TrackBackEvent)): net/sourceforge/pebble/index/ResponseIndex.__Dispatch_Table.unindex(Lnet/sourceforge/pebble/domain/Response;)V
    //#input(void trackBackRejected(TrackBackEvent)): net/sourceforge/pebble/index/ResponseIndex.log
    //#pre[1] (void trackBackRejected(TrackBackEvent)): event != null
    //#pre[2] (void trackBackRejected(TrackBackEvent)): event.__Tag == net/sourceforge/pebble/api/event/trackback/TrackBackEvent
    //#pre[3] (void trackBackRejected(TrackBackEvent)): (soft) net.sourceforge.pebble.domain.State__static_init.new State(State__static_init#1).name != null
    //#pre[4] (void trackBackRejected(TrackBackEvent)): (soft) net.sourceforge.pebble.domain.State__static_init.new State(State__static_init#2).name != null
    //#pre[5] (void trackBackRejected(TrackBackEvent)): (soft) net.sourceforge.pebble.domain.State__static_init.new State(State__static_init#3).name != null
    //#presumption(void trackBackRejected(TrackBackEvent)): getBlog(...).__Tag@96 is init'ed
    //#presumption(void trackBackRejected(TrackBackEvent)): getBlog(...).__Tag@97 == net/sourceforge/pebble/domain/Blog
    //#presumption(void trackBackRejected(TrackBackEvent)): getBlog(...).responseIndex@96 != null
    //#presumption(void trackBackRejected(TrackBackEvent)): getBlog(...).responseIndex@97 != null
    //#presumption(void trackBackRejected(TrackBackEvent)): getBlogEntry(...).__Tag@96 is init'ed
    //#presumption(void trackBackRejected(TrackBackEvent)): getBlogEntry(...).__Tag@97 == net/sourceforge/pebble/domain/BlogEntry
    //#presumption(void trackBackRejected(TrackBackEvent)): getBlogEntry(...).blog@96 != null
    //#presumption(void trackBackRejected(TrackBackEvent)): getBlogEntry(...).blog@97 != null
    //#presumption(void trackBackRejected(TrackBackEvent)): getResponseIndex(...).__Tag@96 is init'ed
    //#presumption(void trackBackRejected(TrackBackEvent)): getResponseIndex(...).approvedResponses@96 != null
    //#presumption(void trackBackRejected(TrackBackEvent)): getResponseIndex(...).approvedResponses@97 != null
    //#presumption(void trackBackRejected(TrackBackEvent)): getResponseIndex(...).blog@96 != null
    //#presumption(void trackBackRejected(TrackBackEvent)): getResponseIndex(...).blog@97 != null
    //#presumption(void trackBackRejected(TrackBackEvent)): getResponseIndex(...).pendingResponses@96 != null
    //#presumption(void trackBackRejected(TrackBackEvent)): getResponseIndex(...).pendingResponses@97 != null
    //#presumption(void trackBackRejected(TrackBackEvent)): getResponseIndex(...).rejectedResponses@96 != null
    //#presumption(void trackBackRejected(TrackBackEvent)): getResponseIndex(...).rejectedResponses@97 != null
    //#presumption(void trackBackRejected(TrackBackEvent)): net.sourceforge.pebble.api.event.trackback.TrackBackEvent:getSource(...)@72 != null
    //#presumption(void trackBackRejected(TrackBackEvent)): net.sourceforge.pebble.api.event.trackback.TrackBackEvent:getSource(...)@72.__Tag is init'ed
    //#presumption(void trackBackRejected(TrackBackEvent)): trackBack.blogEntry@96 != null
    //#presumption(void trackBackRejected(TrackBackEvent)): trackBack.blogEntry@97 != null
    //#presumption(void trackBackRejected(TrackBackEvent)): trackBack.date@96 != null
    //#presumption(void trackBackRejected(TrackBackEvent)): trackBack.date@97 != null
    //#presumption(void trackBackRejected(TrackBackEvent)): trackBack.state.__Tag@97 == net/sourceforge/pebble/domain/State
    //#presumption(void trackBackRejected(TrackBackEvent)): trackBack.state@97 != null
    //#unanalyzed(void trackBackRejected(TrackBackEvent)): Effects-of-calling:net.sourceforge.pebble.api.event.trackback.TrackBackEvent:getSource
    //#unanalyzed(void trackBackRejected(TrackBackEvent)): Effects-of-calling:net.sourceforge.pebble.domain.Blog:getIndexesDirectory
    //#unanalyzed(void trackBackRejected(TrackBackEvent)): Effects-of-calling:java.io.File
    //#unanalyzed(void trackBackRejected(TrackBackEvent)): Effects-of-calling:org.apache.commons.logging.Log:error
    //#unanalyzed(void trackBackRejected(TrackBackEvent)): Effects-of-calling:java.io.FileWriter
    //#unanalyzed(void trackBackRejected(TrackBackEvent)): Effects-of-calling:java.io.BufferedWriter
    //#unanalyzed(void trackBackRejected(TrackBackEvent)): Effects-of-calling:java.util.List:iterator
    //#unanalyzed(void trackBackRejected(TrackBackEvent)): Effects-of-calling:java.util.Iterator:hasNext
    //#unanalyzed(void trackBackRejected(TrackBackEvent)): Effects-of-calling:java.util.Iterator:next
    //#unanalyzed(void trackBackRejected(TrackBackEvent)): Effects-of-calling:java.io.BufferedWriter:write
    //#unanalyzed(void trackBackRejected(TrackBackEvent)): Effects-of-calling:java.io.BufferedWriter:newLine
    //#unanalyzed(void trackBackRejected(TrackBackEvent)): Effects-of-calling:java.io.BufferedWriter:flush
    //#unanalyzed(void trackBackRejected(TrackBackEvent)): Effects-of-calling:java.io.BufferedWriter:close
    //#unanalyzed(void trackBackRejected(TrackBackEvent)): Effects-of-calling:getGuid
    //#unanalyzed(void trackBackRejected(TrackBackEvent)): Effects-of-calling:java.util.List:contains
    //#unanalyzed(void trackBackRejected(TrackBackEvent)): Effects-of-calling:java.util.List:remove
    //#unanalyzed(void trackBackRejected(TrackBackEvent)): Effects-of-calling:java.util.List:add
    //#unanalyzed(void trackBackRejected(TrackBackEvent)): Effects-of-calling:java.util.Collections:sort
    //#unanalyzed(void trackBackRejected(TrackBackEvent)): Effects-of-calling:isApproved
    //#unanalyzed(void trackBackRejected(TrackBackEvent)): Effects-of-calling:isPending
    //#unanalyzed(void trackBackRejected(TrackBackEvent)): Effects-of-calling:isRejected
    //#unanalyzed(void trackBackRejected(TrackBackEvent)): Effects-of-calling:java.util.Date:getTime
    //#unanalyzed(void trackBackRejected(TrackBackEvent)): Effects-of-calling:java.lang.String:valueOf
    //#unanalyzed(void trackBackRejected(TrackBackEvent)): Effects-of-calling:java.lang.StringBuilder
    //#unanalyzed(void trackBackRejected(TrackBackEvent)): Effects-of-calling:net.sourceforge.pebble.domain.BlogEntry:getId
    //#unanalyzed(void trackBackRejected(TrackBackEvent)): Effects-of-calling:java.lang.StringBuilder:append
    //#unanalyzed(void trackBackRejected(TrackBackEvent)): Effects-of-calling:java.lang.StringBuilder:toString
    //#unanalyzed(void trackBackRejected(TrackBackEvent)): Effects-of-calling:getState
    //#unanalyzed(void trackBackRejected(TrackBackEvent)): Effects-of-calling:java.lang.String:equals
    trackBack.getBlogEntry().getBlog().getResponseIndex().unindex(trackBack);
    //#responseindexlistener.java:97: ?null dereference
    //#    net/sourceforge/pebble/domain/TrackBack.__Descendant_Table[trackBack.__Tag] != null
    //#    severity: SUPPRESSED
    //#    class: net.sourceforge.pebble.index.ResponseIndexListener
    //#    method: void trackBackRejected(TrackBackEvent)
    //#    basic block: Entry_BB_1
    //#    assertion: net/sourceforge/pebble/domain/TrackBack.__Descendant_Table[trackBack.__Tag] != null
    //#    VN: net/sourceforge/pebble/domain/TrackBack.__Descendant_Table[trackBack.__Tag]
    //#    Expected: Inverse{null}
    //#    Bad: Addr_Set{null}
    //#    Attribs:  Ptr  null in Bad
    //#responseindexlistener.java:97: ?null dereference
    //#    net/sourceforge/pebble/domain/BlogEntry.__Descendant_Table[getBlogEntry(...).__Tag] != null
    //#    severity: SUPPRESSED
    //#    class: net.sourceforge.pebble.index.ResponseIndexListener
    //#    method: void trackBackRejected(TrackBackEvent)
    //#    basic block: Entry_BB_1
    //#    assertion: net/sourceforge/pebble/domain/BlogEntry.__Descendant_Table[getBlogEntry(...).__Tag] != null
    //#    VN: net/sourceforge/pebble/domain/BlogEntry.__Descendant_Table[getBlogEntry(...).__Tag]
    //#    Expected: Inverse{null}
    //#    Bad: Addr_Set{null}
    //#    Attribs:  Ptr  null in Bad
    //#responseindexlistener.java:97: ?null dereference
    //#    net/sourceforge/pebble/domain/Blog.__Descendant_Table[getBlog(...).__Tag] != null
    //#    severity: SUPPRESSED
    //#    class: net.sourceforge.pebble.index.ResponseIndexListener
    //#    method: void trackBackRejected(TrackBackEvent)
    //#    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
    //#responseindexlistener.java:97: ?null dereference
    //#    net/sourceforge/pebble/index/ResponseIndex.__Descendant_Table[getResponseIndex(...).__Tag] != null
    //#    severity: SUPPRESSED
    //#    class: net.sourceforge.pebble.index.ResponseIndexListener
    //#    method: void trackBackRejected(TrackBackEvent)
    //#    basic block: Entry_BB_1
    //#    assertion: net/sourceforge/pebble/index/ResponseIndex.__Descendant_Table[getResponseIndex(...).__Tag] != null
    //#    VN: net/sourceforge/pebble/index/ResponseIndex.__Descendant_Table[getResponseIndex(...).__Tag]
    //#    Expected: Inverse{null}
    //#    Bad: Addr_Set{null}
    //#    Attribs:  Ptr  null in Bad
    trackBack.getBlogEntry().getBlog().getResponseIndex().index(trackBack);
    //#responseindexlistener.java:98: ?null dereference
    //#    net/sourceforge/pebble/index/ResponseIndex.__Descendant_Table[getResponseIndex(...).__Tag] != null
    //#    severity: SUPPRESSED
    //#    class: net.sourceforge.pebble.index.ResponseIndexListener
    //#    method: void trackBackRejected(TrackBackEvent)
    //#    basic block: Entry_BB_1
    //#    assertion: net/sourceforge/pebble/index/ResponseIndex.__Descendant_Table[getResponseIndex(...).__Tag] != null
    //#    VN: net/sourceforge/pebble/index/ResponseIndex.__Descendant_Table[getResponseIndex(...).__Tag]
    //#    Expected: Inverse{null}
    //#    Bad: Addr_Set{null}
    //#    Attribs:  Ptr  null in Bad
  }
    //#responseindexlistener.java:99: end of method: void net.sourceforge.pebble.index.ResponseIndexListener.trackBackRejected(TrackBackEvent)

}
    //#output(net.sourceforge.pebble.index.ResponseIndexListener__static_init): __Descendant_Table[net/sourceforge/pebble/index/ResponseIndexListener]
    //#output(net.sourceforge.pebble.index.ResponseIndexListener__static_init): __Dispatch_Table.commentAdded(Lnet/sourceforge/pebble/api/event/comment/CommentEvent;)V
    //#output(net.sourceforge.pebble.index.ResponseIndexListener__static_init): __Dispatch_Table.commentApproved(Lnet/sourceforge/pebble/api/event/comment/CommentEvent;)V
    //#output(net.sourceforge.pebble.index.ResponseIndexListener__static_init): __Dispatch_Table.commentRejected(Lnet/sourceforge/pebble/api/event/comment/CommentEvent;)V
    //#output(net.sourceforge.pebble.index.ResponseIndexListener__static_init): __Dispatch_Table.commentRemoved(Lnet/sourceforge/pebble/api/event/comment/CommentEvent;)V
    //#output(net.sourceforge.pebble.index.ResponseIndexListener__static_init): __Dispatch_Table.trackBackAdded(Lnet/sourceforge/pebble/api/event/trackback/TrackBackEvent;)V
    //#output(net.sourceforge.pebble.index.ResponseIndexListener__static_init): __Dispatch_Table.trackBackApproved(Lnet/sourceforge/pebble/api/event/trackback/TrackBackEvent;)V
    //#output(net.sourceforge.pebble.index.ResponseIndexListener__static_init): __Dispatch_Table.trackBackRejected(Lnet/sourceforge/pebble/api/event/trackback/TrackBackEvent;)V
    //#output(net.sourceforge.pebble.index.ResponseIndexListener__static_init): __Dispatch_Table.trackBackRemoved(Lnet/sourceforge/pebble/api/event/trackback/TrackBackEvent;)V
    //#output(net.sourceforge.pebble.index.ResponseIndexListener__static_init): net/sourceforge/pebble/api/event/comment/CommentListener.__Descendant_Table[net/sourceforge/pebble/index/ResponseIndexListener]
    //#output(net.sourceforge.pebble.index.ResponseIndexListener__static_init): net/sourceforge/pebble/api/event/trackback/TrackBackListener.__Descendant_Table[net/sourceforge/pebble/index/ResponseIndexListener]
    //#post(net.sourceforge.pebble.index.ResponseIndexListener__static_init): __Descendant_Table[net/sourceforge/pebble/index/ResponseIndexListener] == &__Dispatch_Table
    //#post(net.sourceforge.pebble.index.ResponseIndexListener__static_init): net/sourceforge/pebble/api/event/comment/CommentListener.__Descendant_Table[net/sourceforge/pebble/index/ResponseIndexListener] == &__Dispatch_Table
    //#post(net.sourceforge.pebble.index.ResponseIndexListener__static_init): net/sourceforge/pebble/api/event/trackback/TrackBackListener.__Descendant_Table[net/sourceforge/pebble/index/ResponseIndexListener] == &__Dispatch_Table
    //#post(net.sourceforge.pebble.index.ResponseIndexListener__static_init): __Dispatch_Table.commentAdded(Lnet/sourceforge/pebble/api/event/comment/CommentEvent;)V == &commentAdded
    //#post(net.sourceforge.pebble.index.ResponseIndexListener__static_init): __Dispatch_Table.commentApproved(Lnet/sourceforge/pebble/api/event/comment/CommentEvent;)V == &commentApproved
    //#post(net.sourceforge.pebble.index.ResponseIndexListener__static_init): __Dispatch_Table.commentRejected(Lnet/sourceforge/pebble/api/event/comment/CommentEvent;)V == &commentRejected
    //#post(net.sourceforge.pebble.index.ResponseIndexListener__static_init): __Dispatch_Table.commentRemoved(Lnet/sourceforge/pebble/api/event/comment/CommentEvent;)V == &commentRemoved
    //#post(net.sourceforge.pebble.index.ResponseIndexListener__static_init): __Dispatch_Table.trackBackAdded(Lnet/sourceforge/pebble/api/event/trackback/TrackBackEvent;)V == &trackBackAdded
    //#post(net.sourceforge.pebble.index.ResponseIndexListener__static_init): __Dispatch_Table.trackBackApproved(Lnet/sourceforge/pebble/api/event/trackback/TrackBackEvent;)V == &trackBackApproved
    //#post(net.sourceforge.pebble.index.ResponseIndexListener__static_init): __Dispatch_Table.trackBackRejected(Lnet/sourceforge/pebble/api/event/trackback/TrackBackEvent;)V == &trackBackRejected
    //#post(net.sourceforge.pebble.index.ResponseIndexListener__static_init): __Dispatch_Table.trackBackRemoved(Lnet/sourceforge/pebble/api/event/trackback/TrackBackEvent;)V == &trackBackRemoved
    //#responseindexlistener.java:: end of method: net.sourceforge.pebble.index.ResponseIndexListener.net.sourceforge.pebble.index.ResponseIndexListener__static_init
    //#responseindexlistener.java:: end of class: net.sourceforge.pebble.index.ResponseIndexListener
