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

import java.util.Calendar;
import java.util.Date;

import net.sourceforge.pebble.util.StringUtils;

/**
 * Represents a response to a blog entry - either a comment or a TrackBack.
 *
 * @author    Simon Brown
 */
public abstract class Response extends Content {

  /** the title */
  protected String title;

  /** the ip address of the author */
  protected String ipAddress;

  /** the date that the trackback was received */
  protected Date date;

  /** the parent blog entry */
  protected BlogEntry blogEntry;

  /** a score used to help identify spam when repsonses are added */
  private int spamScore = 0;

  /**
   * Default, no args constructor.
   */
  public Response() {
    //#response.java:64: method: void net.sourceforge.pebble.domain.Response.net.sourceforge.pebble.domain.Response()
    //#input(void net.sourceforge.pebble.domain.Response()): this
    //#output(void net.sourceforge.pebble.domain.Response()): new ArrayList(Content#1) num objects
    //#output(void net.sourceforge.pebble.domain.Response()): new ArrayList(Content#3) num objects
    //#output(void net.sourceforge.pebble.domain.Response()): new PropertyChangeSupport(Content#2) num objects
    //#output(void net.sourceforge.pebble.domain.Response()): this.events
    //#output(void net.sourceforge.pebble.domain.Response()): this.eventsEnabled
    //#output(void net.sourceforge.pebble.domain.Response()): this.propertyChangeEvents
    //#output(void net.sourceforge.pebble.domain.Response()): this.propertyChangeSupport
    //#output(void net.sourceforge.pebble.domain.Response()): this.spamScore
    //#new obj(void net.sourceforge.pebble.domain.Response()): new ArrayList(Content#1)
    //#new obj(void net.sourceforge.pebble.domain.Response()): new ArrayList(Content#3)
    //#new obj(void net.sourceforge.pebble.domain.Response()): new PropertyChangeSupport(Content#2)
    //#post(void net.sourceforge.pebble.domain.Response()): this.events == &new ArrayList(Content#1)
    //#post(void net.sourceforge.pebble.domain.Response()): init'ed(this.eventsEnabled)
    //#post(void net.sourceforge.pebble.domain.Response()): this.propertyChangeEvents == &new ArrayList(Content#3)
    //#post(void net.sourceforge.pebble.domain.Response()): this.propertyChangeSupport == &new PropertyChangeSupport(Content#2)
    //#post(void net.sourceforge.pebble.domain.Response()): this.spamScore == 0
    //#post(void net.sourceforge.pebble.domain.Response()): new ArrayList(Content#1) num objects == 1
    //#post(void net.sourceforge.pebble.domain.Response()): new ArrayList(Content#3) num objects == 1
    //#post(void net.sourceforge.pebble.domain.Response()): new PropertyChangeSupport(Content#2) num objects == 1
    //#unanalyzed(void net.sourceforge.pebble.domain.Response()): Effects-of-calling:java.util.ArrayList
    //#unanalyzed(void net.sourceforge.pebble.domain.Response()): Effects-of-calling:java.beans.PropertyChangeSupport
    //#unanalyzed(void net.sourceforge.pebble.domain.Response()): Effects-of-calling:java.beans.PropertyChangeSupport:addPropertyChangeListener
  }
    //#response.java:65: end of method: void net.sourceforge.pebble.domain.Response.net.sourceforge.pebble.domain.Response()

  /**
   * Creates a new instance with the specified properties.
   *
   * @param title       the title of the entry
   * @param ipAddress   the IP address of the author
   * @param date        the date that this comment was left
   * @param state       the state of the comment
   * @param blogEntry   the owning blog entry
   */
  Response(String title, String ipAddress, Date date, State state, BlogEntry blogEntry) {
    //#response.java:76: method: void net.sourceforge.pebble.domain.Response.net.sourceforge.pebble.domain.Response(String, String, Date, State, BlogEntry)
    //#response.java:76: Warning: suspicious precondition
    //#    the precondition for this.__Tag is not a contiguous range of values
    //#    severity: SUPPRESSED
    //#    class: net.sourceforge.pebble.domain.Response
    //#    method: void net.sourceforge.pebble.domain.Response(String, String, Date, State, BlogEntry)
    //#    suspicious precondition index: [6]
    //#input(void net.sourceforge.pebble.domain.Response(String, String, Date, State, BlogEntry)): __Descendant_Table[net/sourceforge/pebble/domain/Comment]
    //#input(void net.sourceforge.pebble.domain.Response(String, String, Date, State, BlogEntry)): __Descendant_Table[net/sourceforge/pebble/domain/Response]
    //#input(void net.sourceforge.pebble.domain.Response(String, String, Date, State, BlogEntry)): __Descendant_Table[net/sourceforge/pebble/domain/TrackBack]
    //#input(void net.sourceforge.pebble.domain.Response(String, String, Date, State, BlogEntry)): __Descendant_Table[others]
    //#input(void net.sourceforge.pebble.domain.Response(String, String, Date, State, BlogEntry)): __Dispatch_Table.getState()Lnet/sourceforge/pebble/domain/State;
    //#input(void net.sourceforge.pebble.domain.Response(String, String, Date, State, BlogEntry)): __Dispatch_Table.setDate(Ljava/util/Date;)V
    //#input(void net.sourceforge.pebble.domain.Response(String, String, Date, State, BlogEntry)): __Dispatch_Table.setIpAddress(Ljava/lang/String;)V
    //#input(void net.sourceforge.pebble.domain.Response(String, String, Date, State, BlogEntry)): __Dispatch_Table.setState(Lnet/sourceforge/pebble/domain/State;)V
    //#input(void net.sourceforge.pebble.domain.Response(String, String, Date, State, BlogEntry)): __Dispatch_Table.setTitle(Ljava/lang/String;)V
    //#input(void net.sourceforge.pebble.domain.Response(String, String, Date, State, BlogEntry)): blogEntry
    //#input(void net.sourceforge.pebble.domain.Response(String, String, Date, State, BlogEntry)): date
    //#input(void net.sourceforge.pebble.domain.Response(String, String, Date, State, BlogEntry)): ipAddress
    //#input(void net.sourceforge.pebble.domain.Response(String, String, Date, State, BlogEntry)): net.sourceforge.pebble.domain.State__static_init.new State(State__static_init#1).__Tag
    //#input(void net.sourceforge.pebble.domain.Response(String, String, Date, State, BlogEntry)): net.sourceforge.pebble.domain.State__static_init.new State(State__static_init#2).__Tag
    //#input(void net.sourceforge.pebble.domain.Response(String, String, Date, State, BlogEntry)): net/sourceforge/pebble/domain/Comment.__Descendant_Table[net/sourceforge/pebble/domain/Comment]
    //#input(void net.sourceforge.pebble.domain.Response(String, String, Date, State, BlogEntry)): net/sourceforge/pebble/domain/Comment.__Descendant_Table[others]
    //#input(void net.sourceforge.pebble.domain.Response(String, String, Date, State, BlogEntry)): net/sourceforge/pebble/domain/Comment.__Dispatch_Table.areEventsEnabled()Z
    //#input(void net.sourceforge.pebble.domain.Response(String, String, Date, State, BlogEntry)): net/sourceforge/pebble/domain/Comment.__Dispatch_Table.getBlogEntry()Lnet/sourceforge/pebble/domain/BlogEntry;
    //#input(void net.sourceforge.pebble.domain.Response(String, String, Date, State, BlogEntry)): net/sourceforge/pebble/domain/Comment.__Dispatch_Table.getState()Lnet/sourceforge/pebble/domain/State;
    //#input(void net.sourceforge.pebble.domain.Response(String, String, Date, State, BlogEntry)): net/sourceforge/pebble/domain/Comment.__Dispatch_Table.isApproved()Z
    //#input(void net.sourceforge.pebble.domain.Response(String, String, Date, State, BlogEntry)): net/sourceforge/pebble/domain/Comment.__Dispatch_Table.isRejected()Z
    //#input(void net.sourceforge.pebble.domain.Response(String, String, Date, State, BlogEntry)): net/sourceforge/pebble/domain/Comment.__Dispatch_Table.setDate(Ljava/util/Date;)V
    //#input(void net.sourceforge.pebble.domain.Response(String, String, Date, State, BlogEntry)): net/sourceforge/pebble/domain/Comment.__Dispatch_Table.setIpAddress(Ljava/lang/String;)V
    //#input(void net.sourceforge.pebble.domain.Response(String, String, Date, State, BlogEntry)): net/sourceforge/pebble/domain/Comment.__Dispatch_Table.setState(Lnet/sourceforge/pebble/domain/State;)V
    //#input(void net.sourceforge.pebble.domain.Response(String, String, Date, State, BlogEntry)): net/sourceforge/pebble/domain/Comment.__Dispatch_Table.setTitle(Ljava/lang/String;)V
    //#input(void net.sourceforge.pebble.domain.Response(String, String, Date, State, BlogEntry)): net/sourceforge/pebble/domain/State.APPROVED
    //#input(void net.sourceforge.pebble.domain.Response(String, String, Date, State, BlogEntry)): net/sourceforge/pebble/domain/State.REJECTED
    //#input(void net.sourceforge.pebble.domain.Response(String, String, Date, State, BlogEntry)): net/sourceforge/pebble/domain/State.__Descendant_Table[net/sourceforge/pebble/domain/State]
    //#input(void net.sourceforge.pebble.domain.Response(String, String, Date, State, BlogEntry)): net/sourceforge/pebble/domain/State.__Descendant_Table[others]
    //#input(void net.sourceforge.pebble.domain.Response(String, String, Date, State, BlogEntry)): net/sourceforge/pebble/domain/State.__Dispatch_Table.equals(Ljava/lang/Object;)Z
    //#input(void net.sourceforge.pebble.domain.Response(String, String, Date, State, BlogEntry)): net/sourceforge/pebble/domain/State.__Dispatch_Table.getName()Ljava/lang/String;
    //#input(void net.sourceforge.pebble.domain.Response(String, String, Date, State, BlogEntry)): net/sourceforge/pebble/domain/TrackBack.__Descendant_Table[net/sourceforge/pebble/domain/TrackBack]
    //#input(void net.sourceforge.pebble.domain.Response(String, String, Date, State, BlogEntry)): net/sourceforge/pebble/domain/TrackBack.__Descendant_Table[others]
    //#input(void net.sourceforge.pebble.domain.Response(String, String, Date, State, BlogEntry)): net/sourceforge/pebble/domain/TrackBack.__Dispatch_Table.areEventsEnabled()Z
    //#input(void net.sourceforge.pebble.domain.Response(String, String, Date, State, BlogEntry)): net/sourceforge/pebble/domain/TrackBack.__Dispatch_Table.getState()Lnet/sourceforge/pebble/domain/State;
    //#input(void net.sourceforge.pebble.domain.Response(String, String, Date, State, BlogEntry)): net/sourceforge/pebble/domain/TrackBack.__Dispatch_Table.isApproved()Z
    //#input(void net.sourceforge.pebble.domain.Response(String, String, Date, State, BlogEntry)): net/sourceforge/pebble/domain/TrackBack.__Dispatch_Table.isRejected()Z
    //#input(void net.sourceforge.pebble.domain.Response(String, String, Date, State, BlogEntry)): net/sourceforge/pebble/domain/TrackBack.__Dispatch_Table.setDate(Ljava/util/Date;)V
    //#input(void net.sourceforge.pebble.domain.Response(String, String, Date, State, BlogEntry)): net/sourceforge/pebble/domain/TrackBack.__Dispatch_Table.setIpAddress(Ljava/lang/String;)V
    //#input(void net.sourceforge.pebble.domain.Response(String, String, Date, State, BlogEntry)): net/sourceforge/pebble/domain/TrackBack.__Dispatch_Table.setState(Lnet/sourceforge/pebble/domain/State;)V
    //#input(void net.sourceforge.pebble.domain.Response(String, String, Date, State, BlogEntry)): net/sourceforge/pebble/domain/TrackBack.__Dispatch_Table.setTitle(Ljava/lang/String;)V
    //#input(void net.sourceforge.pebble.domain.Response(String, String, Date, State, BlogEntry)): state
    //#input(void net.sourceforge.pebble.domain.Response(String, String, Date, State, BlogEntry)): state.__Tag
    //#input(void net.sourceforge.pebble.domain.Response(String, String, Date, State, BlogEntry)): this
    //#input(void net.sourceforge.pebble.domain.Response(String, String, Date, State, BlogEntry)): this.__Tag
    //#input(void net.sourceforge.pebble.domain.Response(String, String, Date, State, BlogEntry)): title
    //#output(void net.sourceforge.pebble.domain.Response(String, String, Date, State, BlogEntry)): new ArrayList(Content#1) num objects
    //#output(void net.sourceforge.pebble.domain.Response(String, String, Date, State, BlogEntry)): new ArrayList(Content#3) num objects
    //#output(void net.sourceforge.pebble.domain.Response(String, String, Date, State, BlogEntry)): new PropertyChangeSupport(Content#2) num objects
    //#output(void net.sourceforge.pebble.domain.Response(String, String, Date, State, BlogEntry)): this.__Tag
    //#output(void net.sourceforge.pebble.domain.Response(String, String, Date, State, BlogEntry)): this.blogEntry
    //#output(void net.sourceforge.pebble.domain.Response(String, String, Date, State, BlogEntry)): this.date
    //#output(void net.sourceforge.pebble.domain.Response(String, String, Date, State, BlogEntry)): this.events
    //#output(void net.sourceforge.pebble.domain.Response(String, String, Date, State, BlogEntry)): this.eventsEnabled
    //#output(void net.sourceforge.pebble.domain.Response(String, String, Date, State, BlogEntry)): this.ipAddress
    //#output(void net.sourceforge.pebble.domain.Response(String, String, Date, State, BlogEntry)): this.propertyChangeEvents
    //#output(void net.sourceforge.pebble.domain.Response(String, String, Date, State, BlogEntry)): this.propertyChangeSupport
    //#output(void net.sourceforge.pebble.domain.Response(String, String, Date, State, BlogEntry)): this.spamScore
    //#output(void net.sourceforge.pebble.domain.Response(String, String, Date, State, BlogEntry)): this.state
    //#output(void net.sourceforge.pebble.domain.Response(String, String, Date, State, BlogEntry)): this.title
    //#new obj(void net.sourceforge.pebble.domain.Response(String, String, Date, State, BlogEntry)): new ArrayList(Content#1)
    //#new obj(void net.sourceforge.pebble.domain.Response(String, String, Date, State, BlogEntry)): new ArrayList(Content#3)
    //#new obj(void net.sourceforge.pebble.domain.Response(String, String, Date, State, BlogEntry)): new PropertyChangeSupport(Content#2)
    //#pre[1] (void net.sourceforge.pebble.domain.Response(String, String, Date, State, BlogEntry)): blogEntry != null
    //#pre[6] (void net.sourceforge.pebble.domain.Response(String, String, Date, State, BlogEntry)): this.__Tag in {net/sourceforge/pebble/domain/Comment, net/sourceforge/pebble/domain/Response, net/sourceforge/pebble/domain/TrackBack}
    //#post(void net.sourceforge.pebble.domain.Response(String, String, Date, State, BlogEntry)): this.__Tag == old this.__Tag
    //#post(void net.sourceforge.pebble.domain.Response(String, String, Date, State, BlogEntry)): this.__Tag in {net/sourceforge/pebble/domain/Comment, net/sourceforge/pebble/domain/Response, net/sourceforge/pebble/domain/TrackBack}
    //#post(void net.sourceforge.pebble.domain.Response(String, String, Date, State, BlogEntry)): this.blogEntry == blogEntry
    //#post(void net.sourceforge.pebble.domain.Response(String, String, Date, State, BlogEntry)): this.blogEntry != null
    //#post(void net.sourceforge.pebble.domain.Response(String, String, Date, State, BlogEntry)): init'ed(this.date)
    //#post(void net.sourceforge.pebble.domain.Response(String, String, Date, State, BlogEntry)): this.events == &new ArrayList(Content#1)
    //#post(void net.sourceforge.pebble.domain.Response(String, String, Date, State, BlogEntry)): init'ed(this.eventsEnabled)
    //#post(void net.sourceforge.pebble.domain.Response(String, String, Date, State, BlogEntry)): this.ipAddress == One-of{null, ipAddress}
    //#post(void net.sourceforge.pebble.domain.Response(String, String, Date, State, BlogEntry)): init'ed(this.ipAddress)
    //#post(void net.sourceforge.pebble.domain.Response(String, String, Date, State, BlogEntry)): this.propertyChangeEvents == &new ArrayList(Content#3)
    //#post(void net.sourceforge.pebble.domain.Response(String, String, Date, State, BlogEntry)): this.propertyChangeSupport == &new PropertyChangeSupport(Content#2)
    //#post(void net.sourceforge.pebble.domain.Response(String, String, Date, State, BlogEntry)): init'ed(this.spamScore)
    //#post(void net.sourceforge.pebble.domain.Response(String, String, Date, State, BlogEntry)): possibly_updated(this.state)
    //#post(void net.sourceforge.pebble.domain.Response(String, String, Date, State, BlogEntry)): possibly_updated(this.title)
    //#post(void net.sourceforge.pebble.domain.Response(String, String, Date, State, BlogEntry)): new ArrayList(Content#1) num objects == 1
    //#post(void net.sourceforge.pebble.domain.Response(String, String, Date, State, BlogEntry)): new ArrayList(Content#3) num objects == 1
    //#post(void net.sourceforge.pebble.domain.Response(String, String, Date, State, BlogEntry)): new PropertyChangeSupport(Content#2) num objects == 1
    //#unanalyzed(void net.sourceforge.pebble.domain.Response(String, String, Date, State, BlogEntry)): Effects-of-calling:net.sourceforge.pebble.util.StringUtils:transformHTML
    //#unanalyzed(void net.sourceforge.pebble.domain.Response(String, String, Date, State, BlogEntry)): Effects-of-calling:java.util.Date
    //#unanalyzed(void net.sourceforge.pebble.domain.Response(String, String, Date, State, BlogEntry)): Effects-of-calling:net.sourceforge.pebble.domain.BlogEntry:getBlog
    //#unanalyzed(void net.sourceforge.pebble.domain.Response(String, String, Date, State, BlogEntry)): Effects-of-calling:net.sourceforge.pebble.domain.Blog:getCalendar
    //#unanalyzed(void net.sourceforge.pebble.domain.Response(String, String, Date, State, BlogEntry)): Effects-of-calling:java.util.Calendar:setTime
    //#unanalyzed(void net.sourceforge.pebble.domain.Response(String, String, Date, State, BlogEntry)): Effects-of-calling:java.util.Calendar:getTime
    //#unanalyzed(void net.sourceforge.pebble.domain.Response(String, String, Date, State, BlogEntry)): Effects-of-calling:java.lang.String:length
    //#unanalyzed(void net.sourceforge.pebble.domain.Response(String, String, Date, State, BlogEntry)): Effects-of-calling:setState
    //#unanalyzed(void net.sourceforge.pebble.domain.Response(String, String, Date, State, BlogEntry)): Effects-of-calling:areEventsEnabled
    //#unanalyzed(void net.sourceforge.pebble.domain.Response(String, String, Date, State, BlogEntry)): Effects-of-calling:getBlogEntry
    //#unanalyzed(void net.sourceforge.pebble.domain.Response(String, String, Date, State, BlogEntry)): Effects-of-calling:java.util.EventObject
    //#unanalyzed(void net.sourceforge.pebble.domain.Response(String, String, Date, State, BlogEntry)): Effects-of-calling:net.sourceforge.pebble.api.event.PebbleEvent
    //#unanalyzed(void net.sourceforge.pebble.domain.Response(String, String, Date, State, BlogEntry)): Effects-of-calling:net.sourceforge.pebble.domain.BlogEntry:addEvent
    //#unanalyzed(void net.sourceforge.pebble.domain.Response(String, String, Date, State, BlogEntry)): Effects-of-calling:getState
    //#unanalyzed(void net.sourceforge.pebble.domain.Response(String, String, Date, State, BlogEntry)): Effects-of-calling:isApproved
    //#unanalyzed(void net.sourceforge.pebble.domain.Response(String, String, Date, State, BlogEntry)): Effects-of-calling:isRejected
    //#unanalyzed(void net.sourceforge.pebble.domain.Response(String, String, Date, State, BlogEntry)): Effects-of-calling:java.lang.String:equals
    //#unanalyzed(void net.sourceforge.pebble.domain.Response(String, String, Date, State, BlogEntry)): Effects-of-calling:java.lang.StringBuilder
    //#unanalyzed(void net.sourceforge.pebble.domain.Response(String, String, Date, State, BlogEntry)): Effects-of-calling:net.sourceforge.pebble.domain.BlogEntry:getTitle
    //#unanalyzed(void net.sourceforge.pebble.domain.Response(String, String, Date, State, BlogEntry)): Effects-of-calling:java.lang.StringBuilder:append
    //#unanalyzed(void net.sourceforge.pebble.domain.Response(String, String, Date, State, BlogEntry)): Effects-of-calling:java.lang.StringBuilder:toString
    //#unanalyzed(void net.sourceforge.pebble.domain.Response(String, String, Date, State, BlogEntry)): Effects-of-calling:java.util.ArrayList
    //#unanalyzed(void net.sourceforge.pebble.domain.Response(String, String, Date, State, BlogEntry)): Effects-of-calling:java.beans.PropertyChangeSupport
    //#unanalyzed(void net.sourceforge.pebble.domain.Response(String, String, Date, State, BlogEntry)): Effects-of-calling:java.beans.PropertyChangeSupport:addPropertyChangeListener
    //#unanalyzed(void net.sourceforge.pebble.domain.Response(String, String, Date, State, BlogEntry)): Effects-of-calling:net.sourceforge.pebble.domain.Response:setState
    this.blogEntry = blogEntry;

    setTitle(title);
    setIpAddress(ipAddress);
    setDate(date);
    setState(state);
  }
    //#response.java:83: end of method: void net.sourceforge.pebble.domain.Response.net.sourceforge.pebble.domain.Response(String, String, Date, State, BlogEntry)

  /**
   * Gets the id of this comment.
   *
   * @return    the id as a primitive long
   */
  public long getId() {
    return date.getTime();
    //#response.java:91: method: long net.sourceforge.pebble.domain.Response.getId()
    //#input(long getId()): this
    //#input(long getId()): this.date
    //#output(long getId()): return_value
    //#pre[2] (long getId()): this.date != null
    //#post(long getId()): init'ed(return_value)
    //#response.java:91: end of method: long net.sourceforge.pebble.domain.Response.getId()
  }

  /**
   * Gets the globally unique id of this response.
   *
   * @return  a String of the form type/blogEntryId/responseId
   */
  public String getGuid() {
    String s = "";
    //#response.java:100: method: String net.sourceforge.pebble.domain.Response.getGuid()
    //#response.java:100: Warning: suspicious precondition
    //#    the precondition for this.__Tag is not a contiguous range of values
    //#    severity: SUPPRESSED
    //#    class: net.sourceforge.pebble.domain.Response
    //#    method: String getGuid()
    //#    suspicious precondition index: [2]
    //#input(String getGuid()): __Descendant_Table[net/sourceforge/pebble/domain/Comment]
    //#input(String getGuid()): __Descendant_Table[net/sourceforge/pebble/domain/Response]
    //#input(String getGuid()): __Descendant_Table[net/sourceforge/pebble/domain/TrackBack]
    //#input(String getGuid()): __Descendant_Table[others]
    //#input(String getGuid()): __Dispatch_Table.getBlogEntry()Lnet/sourceforge/pebble/domain/BlogEntry;
    //#input(String getGuid()): __Dispatch_Table.getId()J
    //#input(String getGuid()): net/sourceforge/pebble/domain/Comment.__Descendant_Table[net/sourceforge/pebble/domain/Comment]
    //#input(String getGuid()): net/sourceforge/pebble/domain/Comment.__Descendant_Table[others]
    //#input(String getGuid()): net/sourceforge/pebble/domain/Comment.__Dispatch_Table.getBlogEntry()Lnet/sourceforge/pebble/domain/BlogEntry;
    //#input(String getGuid()): net/sourceforge/pebble/domain/Comment.__Dispatch_Table.getId()J
    //#input(String getGuid()): net/sourceforge/pebble/domain/TrackBack.__Descendant_Table[net/sourceforge/pebble/domain/TrackBack]
    //#input(String getGuid()): net/sourceforge/pebble/domain/TrackBack.__Descendant_Table[others]
    //#input(String getGuid()): net/sourceforge/pebble/domain/TrackBack.__Dispatch_Table.getBlogEntry()Lnet/sourceforge/pebble/domain/BlogEntry;
    //#input(String getGuid()): net/sourceforge/pebble/domain/TrackBack.__Dispatch_Table.getId()J
    //#input(String getGuid()): this
    //#input(String getGuid()): this.__Tag
    //#input(String getGuid()): this.blogEntry
    //#input(String getGuid()): this.date
    //#output(String getGuid()): return_value
    //#pre[2] (String getGuid()): this.__Tag in {net/sourceforge/pebble/domain/Comment, net/sourceforge/pebble/domain/Response, net/sourceforge/pebble/domain/TrackBack}
    //#pre[3] (String getGuid()): this.blogEntry != null
    //#pre[4] (String getGuid()): this.date != null
    //#post(String getGuid()): return_value != null
    //#unanalyzed(String getGuid()): Effects-of-calling:java.util.Date:getTime
    //#test_vector(String getGuid()): this.__Tag: {800_768}, {793_344}, {804_352}
    if (this instanceof Comment) {
      s = "c/";
    } else if (this instanceof TrackBack) {
      s = "t/";
    }

    s+= getBlogEntry().getId() + "/" + getId();
    //#response.java:107: Warning: method not available
    //#    -- call on String net.sourceforge.pebble.domain.BlogEntry:getId()
    //#    severity: INFORMATIONAL
    //#    class: net.sourceforge.pebble.domain.Response
    //#    method: String getGuid()
    //#    unanalyzed callee: String net.sourceforge.pebble.domain.BlogEntry:getId()

    return s;
    //#response.java:109: end of method: String net.sourceforge.pebble.domain.Response.getGuid()
  }

  /**
   * Gets the title.
   *
   * @return  the title as a String
   */
  public String getTitle() {
    return this.title;
    //#response.java:118: method: String net.sourceforge.pebble.domain.Response.getTitle()
    //#input(String getTitle()): this
    //#input(String getTitle()): this.title
    //#output(String getTitle()): return_value
    //#pre[2] (String getTitle()): init'ed(this.title)
    //#post(String getTitle()): return_value == this.title
    //#post(String getTitle()): init'ed(return_value)
    //#response.java:118: end of method: String net.sourceforge.pebble.domain.Response.getTitle()
  }

  /**
   * Sets the title of the blog entry for this trackback.
   *
   * @param   title   the title as a String
   */
  public void setTitle(String title) {
    this.title = StringUtils.transformHTML(title);
    //#response.java:127: method: void net.sourceforge.pebble.domain.Response.setTitle(String)
    //#response.java:127: Warning: method not available
    //#    -- call on String net.sourceforge.pebble.util.StringUtils:transformHTML(String)
    //#    severity: INFORMATIONAL
    //#    class: net.sourceforge.pebble.domain.Response
    //#    method: void setTitle(String)
    //#    unanalyzed callee: String net.sourceforge.pebble.util.StringUtils:transformHTML(String)
    //#input(void setTitle(String)): this
    //#input(void setTitle(String)): title
    //#output(void setTitle(String)): this.title
    //#post(void setTitle(String)): init'ed(this.title)
  }
    //#response.java:128: end of method: void net.sourceforge.pebble.domain.Response.setTitle(String)

  /**
   * Gets the name of the source of this response.
   *
   * @return  a String
   */
  public abstract String getSourceName();

  /**
   * Gets the link to the source of this response.
   *
   * @return  a String
   */
  public abstract String getSourceLink();

  /**
   * Gets the IP address.
   *
   * @return  the IP address as a String
   */
  public String getIpAddress() {
    return ipAddress;
    //#response.java:150: method: String net.sourceforge.pebble.domain.Response.getIpAddress()
    //#input(String getIpAddress()): this
    //#input(String getIpAddress()): this.ipAddress
    //#output(String getIpAddress()): return_value
    //#pre[2] (String getIpAddress()): init'ed(this.ipAddress)
    //#post(String getIpAddress()): return_value == this.ipAddress
    //#post(String getIpAddress()): init'ed(return_value)
    //#response.java:150: end of method: String net.sourceforge.pebble.domain.Response.getIpAddress()
  }

  /**
   * Sets the IP address.
   *
   * @param ipAddress   the IP address of the responder
   */
  public void setIpAddress(String ipAddress) {
    if (ipAddress == null || ipAddress.length() == 0) {
    //#response.java:159: method: void net.sourceforge.pebble.domain.Response.setIpAddress(String)
    //#input(void setIpAddress(String)): ipAddress
    //#input(void setIpAddress(String)): this
    //#output(void setIpAddress(String)): this.ipAddress
    //#post(void setIpAddress(String)): this.ipAddress == One-of{null, ipAddress}
    //#post(void setIpAddress(String)): init'ed(this.ipAddress)
    //#test_vector(void setIpAddress(String)): ipAddress: Addr_Set{null}, Inverse{null}
    //#test_vector(void setIpAddress(String)): java.lang.String:length(...)@159: {1..4_294_967_295}, {0}
      this.ipAddress = null;
    } else {
      this.ipAddress = ipAddress;
    }
  }
    //#response.java:164: end of method: void net.sourceforge.pebble.domain.Response.setIpAddress(String)

  /**
   * Gets the date that this response was received.
   *
   * @return    the date as a java.util.Date instance.
   */
  public Date getDate() {
    return date;
    //#response.java:172: method: Date net.sourceforge.pebble.domain.Response.getDate()
    //#input(Date getDate()): this
    //#input(Date getDate()): this.date
    //#output(Date getDate()): return_value
    //#pre[2] (Date getDate()): init'ed(this.date)
    //#post(Date getDate()): return_value == this.date
    //#post(Date getDate()): init'ed(return_value)
    //#response.java:172: end of method: Date net.sourceforge.pebble.domain.Response.getDate()
  }

  /**
   * Sets the date that this response was received.
   *
   * @param   date    the date as a java.util.Date instance.
   */
  public void setDate(Date date) {
    if (date == null) {
    //#response.java:181: method: void net.sourceforge.pebble.domain.Response.setDate(Date)
    //#input(void setDate(Date)): date
    //#input(void setDate(Date)): this
    //#input(void setDate(Date)): this.blogEntry
    //#output(void setDate(Date)): this.date
    //#pre[3] (void setDate(Date)): this.blogEntry != null
    //#presumption(void setDate(Date)): net.sourceforge.pebble.domain.Blog:getCalendar(...)@185 != null
    //#presumption(void setDate(Date)): net.sourceforge.pebble.domain.BlogEntry:getBlog(...)@185 != null
    //#post(void setDate(Date)): init'ed(this.date)
    //#test_vector(void setDate(Date)): date: Inverse{null}, Addr_Set{null}
      date = new Date();
    }

    Calendar cal = blogEntry.getBlog().getCalendar();
    //#response.java:185: Warning: method not available
    //#    -- call on Blog net.sourceforge.pebble.domain.BlogEntry:getBlog()
    //#    severity: INFORMATIONAL
    //#    class: net.sourceforge.pebble.domain.Response
    //#    method: void setDate(Date)
    //#    unanalyzed callee: Blog net.sourceforge.pebble.domain.BlogEntry:getBlog()
    //#response.java:185: Warning: method not available
    //#    -- call on Calendar net.sourceforge.pebble.domain.Blog:getCalendar()
    //#    severity: INFORMATIONAL
    //#    class: net.sourceforge.pebble.domain.Response
    //#    method: void setDate(Date)
    //#    unanalyzed callee: Calendar net.sourceforge.pebble.domain.Blog:getCalendar()
    cal.setTime(date);
    this.date = cal.getTime();
  }
    //#response.java:188: end of method: void net.sourceforge.pebble.domain.Response.setDate(Date)

  /**
   * Gets the owning blog entry.
   *
   * @return    the owning BlogEntry instance
   */
  public BlogEntry getBlogEntry() {
    return blogEntry;
    //#response.java:196: method: BlogEntry net.sourceforge.pebble.domain.Response.getBlogEntry()
    //#input(BlogEntry getBlogEntry()): this
    //#input(BlogEntry getBlogEntry()): this.blogEntry
    //#output(BlogEntry getBlogEntry()): return_value
    //#pre[2] (BlogEntry getBlogEntry()): init'ed(this.blogEntry)
    //#post(BlogEntry getBlogEntry()): return_value == this.blogEntry
    //#post(BlogEntry getBlogEntry()): init'ed(return_value)
    //#response.java:196: end of method: BlogEntry net.sourceforge.pebble.domain.Response.getBlogEntry()
  }

  /**
   * Sets the owning blog entry.
   *
   * @param blogEntry   the owning BlogEntry instance
   */
  void setBlogEntry(BlogEntry blogEntry) {
    this.blogEntry = blogEntry;
    //#response.java:205: method: void net.sourceforge.pebble.domain.Response.setBlogEntry(BlogEntry)
    //#input(void setBlogEntry(BlogEntry)): blogEntry
    //#input(void setBlogEntry(BlogEntry)): this
    //#output(void setBlogEntry(BlogEntry)): this.blogEntry
    //#post(void setBlogEntry(BlogEntry)): this.blogEntry == blogEntry
    //#post(void setBlogEntry(BlogEntry)): init'ed(this.blogEntry)
  }
    //#response.java:206: end of method: void net.sourceforge.pebble.domain.Response.setBlogEntry(BlogEntry)

  /**
   * Gets the spam score.
   *
   * @return  an int
   */
  public int getSpamScore() {
    return this.spamScore;
    //#response.java:214: method: int net.sourceforge.pebble.domain.Response.getSpamScore()
    //#input(int getSpamScore()): this
    //#input(int getSpamScore()): this.spamScore
    //#output(int getSpamScore()): return_value
    //#pre[2] (int getSpamScore()): init'ed(this.spamScore)
    //#post(int getSpamScore()): return_value == this.spamScore
    //#post(int getSpamScore()): init'ed(return_value)
    //#response.java:214: end of method: int net.sourceforge.pebble.domain.Response.getSpamScore()
  }

  /**
   * Increments the spam score by 1.
   */
  public void incrementSpamScore() {
    this.spamScore++;
    //#response.java:221: method: void net.sourceforge.pebble.domain.Response.incrementSpamScore()
    //#input(void incrementSpamScore()): this
    //#input(void incrementSpamScore()): this.spamScore
    //#output(void incrementSpamScore()): this.spamScore
    //#pre[1] (void incrementSpamScore()): this.spamScore <= 4_294_967_294
    //#post(void incrementSpamScore()): this.spamScore == old this.spamScore + 1
    //#post(void incrementSpamScore()): this.spamScore >= -2_147_483_647
  }
    //#response.java:222: end of method: void net.sourceforge.pebble.domain.Response.incrementSpamScore()

  /**
   * Sets the state of this response to rejected.
   */
  public void setRejected() {
    setState(State.REJECTED);
    //#response.java:228: method: void net.sourceforge.pebble.domain.Response.setRejected()
    //#response.java:228: Warning: suspicious precondition
    //#    the precondition for this.__Tag is not a contiguous range of values
    //#    severity: SUPPRESSED
    //#    class: net.sourceforge.pebble.domain.Response
    //#    method: void setRejected()
    //#    suspicious precondition index: [5]
    //#input(void setRejected()): __Descendant_Table[net/sourceforge/pebble/domain/Comment]
    //#input(void setRejected()): __Descendant_Table[net/sourceforge/pebble/domain/Response]
    //#input(void setRejected()): __Descendant_Table[net/sourceforge/pebble/domain/TrackBack]
    //#input(void setRejected()): __Descendant_Table[others]
    //#input(void setRejected()): __Dispatch_Table.getState()Lnet/sourceforge/pebble/domain/State;
    //#input(void setRejected()): __Dispatch_Table.setState(Lnet/sourceforge/pebble/domain/State;)V
    //#input(void setRejected()): net.sourceforge.pebble.domain.State__static_init.new State(State__static_init#1).__Tag
    //#input(void setRejected()): net.sourceforge.pebble.domain.State__static_init.new State(State__static_init#2).__Tag
    //#input(void setRejected()): net/sourceforge/pebble/domain/Comment.__Descendant_Table[net/sourceforge/pebble/domain/Comment]
    //#input(void setRejected()): net/sourceforge/pebble/domain/Comment.__Descendant_Table[others]
    //#input(void setRejected()): net/sourceforge/pebble/domain/Comment.__Dispatch_Table.areEventsEnabled()Z
    //#input(void setRejected()): net/sourceforge/pebble/domain/Comment.__Dispatch_Table.getBlogEntry()Lnet/sourceforge/pebble/domain/BlogEntry;
    //#input(void setRejected()): net/sourceforge/pebble/domain/Comment.__Dispatch_Table.getState()Lnet/sourceforge/pebble/domain/State;
    //#input(void setRejected()): net/sourceforge/pebble/domain/Comment.__Dispatch_Table.isApproved()Z
    //#input(void setRejected()): net/sourceforge/pebble/domain/Comment.__Dispatch_Table.isRejected()Z
    //#input(void setRejected()): net/sourceforge/pebble/domain/Comment.__Dispatch_Table.setState(Lnet/sourceforge/pebble/domain/State;)V
    //#input(void setRejected()): net/sourceforge/pebble/domain/State.APPROVED
    //#input(void setRejected()): net/sourceforge/pebble/domain/State.REJECTED
    //#input(void setRejected()): net/sourceforge/pebble/domain/State.__Descendant_Table[net/sourceforge/pebble/domain/State]
    //#input(void setRejected()): net/sourceforge/pebble/domain/State.__Descendant_Table[others]
    //#input(void setRejected()): net/sourceforge/pebble/domain/State.__Dispatch_Table.equals(Ljava/lang/Object;)Z
    //#input(void setRejected()): net/sourceforge/pebble/domain/State.__Dispatch_Table.getName()Ljava/lang/String;
    //#input(void setRejected()): net/sourceforge/pebble/domain/TrackBack.__Descendant_Table[net/sourceforge/pebble/domain/TrackBack]
    //#input(void setRejected()): net/sourceforge/pebble/domain/TrackBack.__Descendant_Table[others]
    //#input(void setRejected()): net/sourceforge/pebble/domain/TrackBack.__Dispatch_Table.areEventsEnabled()Z
    //#input(void setRejected()): net/sourceforge/pebble/domain/TrackBack.__Dispatch_Table.getState()Lnet/sourceforge/pebble/domain/State;
    //#input(void setRejected()): net/sourceforge/pebble/domain/TrackBack.__Dispatch_Table.isApproved()Z
    //#input(void setRejected()): net/sourceforge/pebble/domain/TrackBack.__Dispatch_Table.isRejected()Z
    //#input(void setRejected()): net/sourceforge/pebble/domain/TrackBack.__Dispatch_Table.setState(Lnet/sourceforge/pebble/domain/State;)V
    //#input(void setRejected()): this
    //#input(void setRejected()): this.__Tag
    //#input(void setRejected()): this.state.__Tag
    //#output(void setRejected()): this.state
    //#pre[5] (void setRejected()): this.__Tag in {net/sourceforge/pebble/domain/Comment, net/sourceforge/pebble/domain/Response, net/sourceforge/pebble/domain/TrackBack}
    //#post(void setRejected()): this.state == One-of{&net.sourceforge.pebble.domain.State__static_init.new State(State__static_init#2), old this.state}
    //#unanalyzed(void setRejected()): Effects-of-calling:setState
    //#unanalyzed(void setRejected()): Effects-of-calling:areEventsEnabled
    //#unanalyzed(void setRejected()): Effects-of-calling:getBlogEntry
    //#unanalyzed(void setRejected()): Effects-of-calling:java.util.EventObject
    //#unanalyzed(void setRejected()): Effects-of-calling:net.sourceforge.pebble.api.event.PebbleEvent
    //#unanalyzed(void setRejected()): Effects-of-calling:net.sourceforge.pebble.domain.BlogEntry:addEvent
    //#unanalyzed(void setRejected()): Effects-of-calling:getState
    //#unanalyzed(void setRejected()): Effects-of-calling:isApproved
    //#unanalyzed(void setRejected()): Effects-of-calling:isRejected
    //#unanalyzed(void setRejected()): Effects-of-calling:java.lang.String:equals
    //#unanalyzed(void setRejected()): Effects-of-calling:net.sourceforge.pebble.domain.Response:setState
  }
    //#response.java:229: end of method: void net.sourceforge.pebble.domain.Response.setRejected()

  /**
   * Determines whether this response is rejected.
   *
   * @return  true if the state is rejected, false otherwise
   */
  public boolean isRejected() {
    return getState().equals(State.REJECTED);
    //#response.java:237: method: bool net.sourceforge.pebble.domain.Response.isRejected()
    //#response.java:237: Warning: suspicious precondition
    //#    the precondition for this.__Tag is not a contiguous range of values
    //#    severity: SUPPRESSED
    //#    class: net.sourceforge.pebble.domain.Response
    //#    method: bool isRejected()
    //#    suspicious precondition index: [3]
    //#input(bool isRejected()): __Descendant_Table[net/sourceforge/pebble/domain/Comment]
    //#input(bool isRejected()): __Descendant_Table[net/sourceforge/pebble/domain/Response]
    //#input(bool isRejected()): __Descendant_Table[net/sourceforge/pebble/domain/TrackBack]
    //#input(bool isRejected()): __Descendant_Table[others]
    //#input(bool isRejected()): __Dispatch_Table.getState()Lnet/sourceforge/pebble/domain/State;
    //#input(bool isRejected()): net.sourceforge.pebble.domain.State__static_init.new State(State__static_init#2).__Tag
    //#input(bool isRejected()): net.sourceforge.pebble.domain.State__static_init.new State(State__static_init#2).name
    //#input(bool isRejected()): net/sourceforge/pebble/domain/Comment.__Dispatch_Table.getState()Lnet/sourceforge/pebble/domain/State;
    //#input(bool isRejected()): net/sourceforge/pebble/domain/State.REJECTED
    //#input(bool isRejected()): net/sourceforge/pebble/domain/State.__Descendant_Table[net/sourceforge/pebble/domain/State]
    //#input(bool isRejected()): net/sourceforge/pebble/domain/State.__Descendant_Table[others]
    //#input(bool isRejected()): net/sourceforge/pebble/domain/State.__Dispatch_Table.equals(Ljava/lang/Object;)Z
    //#input(bool isRejected()): net/sourceforge/pebble/domain/State.__Dispatch_Table.getName()Ljava/lang/String;
    //#input(bool isRejected()): net/sourceforge/pebble/domain/TrackBack.__Dispatch_Table.getState()Lnet/sourceforge/pebble/domain/State;
    //#input(bool isRejected()): this
    //#input(bool isRejected()): this.__Tag
    //#input(bool isRejected()): this.state
    //#input(bool isRejected()): this.state.__Tag
    //#input(bool isRejected()): this.state.name
    //#output(bool isRejected()): return_value
    //#pre[3] (bool isRejected()): this.__Tag in {net/sourceforge/pebble/domain/Comment, net/sourceforge/pebble/domain/Response, net/sourceforge/pebble/domain/TrackBack}
    //#pre[4] (bool isRejected()): this.state != null
    //#pre[5] (bool isRejected()): this.state.__Tag == net/sourceforge/pebble/domain/State
    //#pre[1] (bool isRejected()): (soft) net.sourceforge.pebble.domain.State__static_init.new State(State__static_init#2).name != null
    //#pre[6] (bool isRejected()): (soft) init'ed(this.state.name)
    //#post(bool isRejected()): init'ed(return_value)
    //#unanalyzed(bool isRejected()): Effects-of-calling:java.lang.String:equals
    //#response.java:237: end of method: bool net.sourceforge.pebble.domain.Response.isRejected()
  }

  /**
   * Sets the state of this response to approved.
   */
  public void setApproved() {
    setState(State.APPROVED);
    //#response.java:244: method: void net.sourceforge.pebble.domain.Response.setApproved()
    //#response.java:244: Warning: suspicious precondition
    //#    the precondition for this.__Tag is not a contiguous range of values
    //#    severity: SUPPRESSED
    //#    class: net.sourceforge.pebble.domain.Response
    //#    method: void setApproved()
    //#    suspicious precondition index: [5]
    //#input(void setApproved()): __Descendant_Table[net/sourceforge/pebble/domain/Comment]
    //#input(void setApproved()): __Descendant_Table[net/sourceforge/pebble/domain/Response]
    //#input(void setApproved()): __Descendant_Table[net/sourceforge/pebble/domain/TrackBack]
    //#input(void setApproved()): __Descendant_Table[others]
    //#input(void setApproved()): __Dispatch_Table.getState()Lnet/sourceforge/pebble/domain/State;
    //#input(void setApproved()): __Dispatch_Table.setState(Lnet/sourceforge/pebble/domain/State;)V
    //#input(void setApproved()): net.sourceforge.pebble.domain.State__static_init.new State(State__static_init#1).__Tag
    //#input(void setApproved()): net.sourceforge.pebble.domain.State__static_init.new State(State__static_init#2).__Tag
    //#input(void setApproved()): net/sourceforge/pebble/domain/Comment.__Descendant_Table[net/sourceforge/pebble/domain/Comment]
    //#input(void setApproved()): net/sourceforge/pebble/domain/Comment.__Descendant_Table[others]
    //#input(void setApproved()): net/sourceforge/pebble/domain/Comment.__Dispatch_Table.areEventsEnabled()Z
    //#input(void setApproved()): net/sourceforge/pebble/domain/Comment.__Dispatch_Table.getBlogEntry()Lnet/sourceforge/pebble/domain/BlogEntry;
    //#input(void setApproved()): net/sourceforge/pebble/domain/Comment.__Dispatch_Table.getState()Lnet/sourceforge/pebble/domain/State;
    //#input(void setApproved()): net/sourceforge/pebble/domain/Comment.__Dispatch_Table.isApproved()Z
    //#input(void setApproved()): net/sourceforge/pebble/domain/Comment.__Dispatch_Table.isRejected()Z
    //#input(void setApproved()): net/sourceforge/pebble/domain/Comment.__Dispatch_Table.setState(Lnet/sourceforge/pebble/domain/State;)V
    //#input(void setApproved()): net/sourceforge/pebble/domain/State.APPROVED
    //#input(void setApproved()): net/sourceforge/pebble/domain/State.REJECTED
    //#input(void setApproved()): net/sourceforge/pebble/domain/State.__Descendant_Table[net/sourceforge/pebble/domain/State]
    //#input(void setApproved()): net/sourceforge/pebble/domain/State.__Descendant_Table[others]
    //#input(void setApproved()): net/sourceforge/pebble/domain/State.__Dispatch_Table.equals(Ljava/lang/Object;)Z
    //#input(void setApproved()): net/sourceforge/pebble/domain/State.__Dispatch_Table.getName()Ljava/lang/String;
    //#input(void setApproved()): net/sourceforge/pebble/domain/TrackBack.__Descendant_Table[net/sourceforge/pebble/domain/TrackBack]
    //#input(void setApproved()): net/sourceforge/pebble/domain/TrackBack.__Descendant_Table[others]
    //#input(void setApproved()): net/sourceforge/pebble/domain/TrackBack.__Dispatch_Table.areEventsEnabled()Z
    //#input(void setApproved()): net/sourceforge/pebble/domain/TrackBack.__Dispatch_Table.getState()Lnet/sourceforge/pebble/domain/State;
    //#input(void setApproved()): net/sourceforge/pebble/domain/TrackBack.__Dispatch_Table.isApproved()Z
    //#input(void setApproved()): net/sourceforge/pebble/domain/TrackBack.__Dispatch_Table.isRejected()Z
    //#input(void setApproved()): net/sourceforge/pebble/domain/TrackBack.__Dispatch_Table.setState(Lnet/sourceforge/pebble/domain/State;)V
    //#input(void setApproved()): this
    //#input(void setApproved()): this.__Tag
    //#input(void setApproved()): this.state.__Tag
    //#output(void setApproved()): this.state
    //#pre[5] (void setApproved()): this.__Tag in {net/sourceforge/pebble/domain/Comment, net/sourceforge/pebble/domain/Response, net/sourceforge/pebble/domain/TrackBack}
    //#post(void setApproved()): this.state == One-of{&net.sourceforge.pebble.domain.State__static_init.new State(State__static_init#1), old this.state}
    //#unanalyzed(void setApproved()): Effects-of-calling:setState
    //#unanalyzed(void setApproved()): Effects-of-calling:areEventsEnabled
    //#unanalyzed(void setApproved()): Effects-of-calling:getBlogEntry
    //#unanalyzed(void setApproved()): Effects-of-calling:java.util.EventObject
    //#unanalyzed(void setApproved()): Effects-of-calling:net.sourceforge.pebble.api.event.PebbleEvent
    //#unanalyzed(void setApproved()): Effects-of-calling:net.sourceforge.pebble.domain.BlogEntry:addEvent
    //#unanalyzed(void setApproved()): Effects-of-calling:getState
    //#unanalyzed(void setApproved()): Effects-of-calling:isApproved
    //#unanalyzed(void setApproved()): Effects-of-calling:isRejected
    //#unanalyzed(void setApproved()): Effects-of-calling:java.lang.String:equals
    //#unanalyzed(void setApproved()): Effects-of-calling:net.sourceforge.pebble.domain.Response:setState
  }
    //#response.java:245: end of method: void net.sourceforge.pebble.domain.Response.setApproved()

  /**
   * Determines whether this response is approved.
   *
   * @return  true if the state is approved, false otherwise
   */
  public boolean isApproved() {
    return getState().equals(State.APPROVED);
    //#response.java:253: method: bool net.sourceforge.pebble.domain.Response.isApproved()
    //#response.java:253: Warning: suspicious precondition
    //#    the precondition for this.__Tag is not a contiguous range of values
    //#    severity: SUPPRESSED
    //#    class: net.sourceforge.pebble.domain.Response
    //#    method: bool isApproved()
    //#    suspicious precondition index: [3]
    //#input(bool isApproved()): __Descendant_Table[net/sourceforge/pebble/domain/Comment]
    //#input(bool isApproved()): __Descendant_Table[net/sourceforge/pebble/domain/Response]
    //#input(bool isApproved()): __Descendant_Table[net/sourceforge/pebble/domain/TrackBack]
    //#input(bool isApproved()): __Descendant_Table[others]
    //#input(bool isApproved()): __Dispatch_Table.getState()Lnet/sourceforge/pebble/domain/State;
    //#input(bool isApproved()): net.sourceforge.pebble.domain.State__static_init.new State(State__static_init#1).__Tag
    //#input(bool isApproved()): net.sourceforge.pebble.domain.State__static_init.new State(State__static_init#1).name
    //#input(bool isApproved()): net/sourceforge/pebble/domain/Comment.__Dispatch_Table.getState()Lnet/sourceforge/pebble/domain/State;
    //#input(bool isApproved()): net/sourceforge/pebble/domain/State.APPROVED
    //#input(bool isApproved()): net/sourceforge/pebble/domain/State.__Descendant_Table[net/sourceforge/pebble/domain/State]
    //#input(bool isApproved()): net/sourceforge/pebble/domain/State.__Descendant_Table[others]
    //#input(bool isApproved()): net/sourceforge/pebble/domain/State.__Dispatch_Table.equals(Ljava/lang/Object;)Z
    //#input(bool isApproved()): net/sourceforge/pebble/domain/State.__Dispatch_Table.getName()Ljava/lang/String;
    //#input(bool isApproved()): net/sourceforge/pebble/domain/TrackBack.__Dispatch_Table.getState()Lnet/sourceforge/pebble/domain/State;
    //#input(bool isApproved()): this
    //#input(bool isApproved()): this.__Tag
    //#input(bool isApproved()): this.state
    //#input(bool isApproved()): this.state.__Tag
    //#input(bool isApproved()): this.state.name
    //#output(bool isApproved()): return_value
    //#pre[3] (bool isApproved()): this.__Tag in {net/sourceforge/pebble/domain/Comment, net/sourceforge/pebble/domain/Response, net/sourceforge/pebble/domain/TrackBack}
    //#pre[4] (bool isApproved()): this.state != null
    //#pre[5] (bool isApproved()): this.state.__Tag == net/sourceforge/pebble/domain/State
    //#pre[1] (bool isApproved()): (soft) net.sourceforge.pebble.domain.State__static_init.new State(State__static_init#1).name != null
    //#pre[6] (bool isApproved()): (soft) init'ed(this.state.name)
    //#post(bool isApproved()): init'ed(return_value)
    //#unanalyzed(bool isApproved()): Effects-of-calling:java.lang.String:equals
    //#response.java:253: end of method: bool net.sourceforge.pebble.domain.Response.isApproved()
  }

  /**
   * Sets the state of this response to pending.
   */
  public void setPending() {
    setState(State.PENDING);
    //#response.java:260: method: void net.sourceforge.pebble.domain.Response.setPending()
    //#response.java:260: Warning: suspicious precondition
    //#    the precondition for this.__Tag is not a contiguous range of values
    //#    severity: SUPPRESSED
    //#    class: net.sourceforge.pebble.domain.Response
    //#    method: void setPending()
    //#    suspicious precondition index: [6]
    //#input(void setPending()): __Descendant_Table[net/sourceforge/pebble/domain/Comment]
    //#input(void setPending()): __Descendant_Table[net/sourceforge/pebble/domain/Response]
    //#input(void setPending()): __Descendant_Table[net/sourceforge/pebble/domain/TrackBack]
    //#input(void setPending()): __Descendant_Table[others]
    //#input(void setPending()): __Dispatch_Table.getState()Lnet/sourceforge/pebble/domain/State;
    //#input(void setPending()): __Dispatch_Table.setState(Lnet/sourceforge/pebble/domain/State;)V
    //#input(void setPending()): net.sourceforge.pebble.domain.State__static_init.new State(State__static_init#1).__Tag
    //#input(void setPending()): net.sourceforge.pebble.domain.State__static_init.new State(State__static_init#2).__Tag
    //#input(void setPending()): net.sourceforge.pebble.domain.State__static_init.new State(State__static_init#3).__Tag
    //#input(void setPending()): net/sourceforge/pebble/domain/Comment.__Descendant_Table[net/sourceforge/pebble/domain/Comment]
    //#input(void setPending()): net/sourceforge/pebble/domain/Comment.__Descendant_Table[others]
    //#input(void setPending()): net/sourceforge/pebble/domain/Comment.__Dispatch_Table.areEventsEnabled()Z
    //#input(void setPending()): net/sourceforge/pebble/domain/Comment.__Dispatch_Table.getBlogEntry()Lnet/sourceforge/pebble/domain/BlogEntry;
    //#input(void setPending()): net/sourceforge/pebble/domain/Comment.__Dispatch_Table.getState()Lnet/sourceforge/pebble/domain/State;
    //#input(void setPending()): net/sourceforge/pebble/domain/Comment.__Dispatch_Table.isApproved()Z
    //#input(void setPending()): net/sourceforge/pebble/domain/Comment.__Dispatch_Table.isRejected()Z
    //#input(void setPending()): net/sourceforge/pebble/domain/Comment.__Dispatch_Table.setState(Lnet/sourceforge/pebble/domain/State;)V
    //#input(void setPending()): net/sourceforge/pebble/domain/State.APPROVED
    //#input(void setPending()): net/sourceforge/pebble/domain/State.PENDING
    //#input(void setPending()): net/sourceforge/pebble/domain/State.REJECTED
    //#input(void setPending()): net/sourceforge/pebble/domain/State.__Descendant_Table[net/sourceforge/pebble/domain/State]
    //#input(void setPending()): net/sourceforge/pebble/domain/State.__Descendant_Table[others]
    //#input(void setPending()): net/sourceforge/pebble/domain/State.__Dispatch_Table.equals(Ljava/lang/Object;)Z
    //#input(void setPending()): net/sourceforge/pebble/domain/State.__Dispatch_Table.getName()Ljava/lang/String;
    //#input(void setPending()): net/sourceforge/pebble/domain/TrackBack.__Descendant_Table[net/sourceforge/pebble/domain/TrackBack]
    //#input(void setPending()): net/sourceforge/pebble/domain/TrackBack.__Descendant_Table[others]
    //#input(void setPending()): net/sourceforge/pebble/domain/TrackBack.__Dispatch_Table.areEventsEnabled()Z
    //#input(void setPending()): net/sourceforge/pebble/domain/TrackBack.__Dispatch_Table.getState()Lnet/sourceforge/pebble/domain/State;
    //#input(void setPending()): net/sourceforge/pebble/domain/TrackBack.__Dispatch_Table.isApproved()Z
    //#input(void setPending()): net/sourceforge/pebble/domain/TrackBack.__Dispatch_Table.isRejected()Z
    //#input(void setPending()): net/sourceforge/pebble/domain/TrackBack.__Dispatch_Table.setState(Lnet/sourceforge/pebble/domain/State;)V
    //#input(void setPending()): this
    //#input(void setPending()): this.__Tag
    //#input(void setPending()): this.state.__Tag
    //#output(void setPending()): this.state
    //#pre[6] (void setPending()): this.__Tag in {net/sourceforge/pebble/domain/Comment, net/sourceforge/pebble/domain/Response, net/sourceforge/pebble/domain/TrackBack}
    //#post(void setPending()): this.state == One-of{&net.sourceforge.pebble.domain.State__static_init.new State(State__static_init#3), old this.state}
    //#unanalyzed(void setPending()): Effects-of-calling:setState
    //#unanalyzed(void setPending()): Effects-of-calling:areEventsEnabled
    //#unanalyzed(void setPending()): Effects-of-calling:getBlogEntry
    //#unanalyzed(void setPending()): Effects-of-calling:java.util.EventObject
    //#unanalyzed(void setPending()): Effects-of-calling:net.sourceforge.pebble.api.event.PebbleEvent
    //#unanalyzed(void setPending()): Effects-of-calling:net.sourceforge.pebble.domain.BlogEntry:addEvent
    //#unanalyzed(void setPending()): Effects-of-calling:getState
    //#unanalyzed(void setPending()): Effects-of-calling:isApproved
    //#unanalyzed(void setPending()): Effects-of-calling:isRejected
    //#unanalyzed(void setPending()): Effects-of-calling:java.lang.String:equals
    //#unanalyzed(void setPending()): Effects-of-calling:net.sourceforge.pebble.domain.Response:setState
  }
    //#response.java:261: end of method: void net.sourceforge.pebble.domain.Response.setPending()

  /**
   * Determines whether this response is pending.
   *
   * @return  true if the state is pending, false otherwise
   */
  public boolean isPending() {
    return getState().equals(State.PENDING);
    //#response.java:269: method: bool net.sourceforge.pebble.domain.Response.isPending()
    //#response.java:269: Warning: suspicious precondition
    //#    the precondition for this.__Tag is not a contiguous range of values
    //#    severity: SUPPRESSED
    //#    class: net.sourceforge.pebble.domain.Response
    //#    method: bool isPending()
    //#    suspicious precondition index: [3]
    //#input(bool isPending()): __Descendant_Table[net/sourceforge/pebble/domain/Comment]
    //#input(bool isPending()): __Descendant_Table[net/sourceforge/pebble/domain/Response]
    //#input(bool isPending()): __Descendant_Table[net/sourceforge/pebble/domain/TrackBack]
    //#input(bool isPending()): __Descendant_Table[others]
    //#input(bool isPending()): __Dispatch_Table.getState()Lnet/sourceforge/pebble/domain/State;
    //#input(bool isPending()): net.sourceforge.pebble.domain.State__static_init.new State(State__static_init#3).__Tag
    //#input(bool isPending()): net.sourceforge.pebble.domain.State__static_init.new State(State__static_init#3).name
    //#input(bool isPending()): net/sourceforge/pebble/domain/Comment.__Dispatch_Table.getState()Lnet/sourceforge/pebble/domain/State;
    //#input(bool isPending()): net/sourceforge/pebble/domain/State.PENDING
    //#input(bool isPending()): net/sourceforge/pebble/domain/State.__Descendant_Table[net/sourceforge/pebble/domain/State]
    //#input(bool isPending()): net/sourceforge/pebble/domain/State.__Descendant_Table[others]
    //#input(bool isPending()): net/sourceforge/pebble/domain/State.__Dispatch_Table.equals(Ljava/lang/Object;)Z
    //#input(bool isPending()): net/sourceforge/pebble/domain/State.__Dispatch_Table.getName()Ljava/lang/String;
    //#input(bool isPending()): net/sourceforge/pebble/domain/TrackBack.__Dispatch_Table.getState()Lnet/sourceforge/pebble/domain/State;
    //#input(bool isPending()): this
    //#input(bool isPending()): this.__Tag
    //#input(bool isPending()): this.state
    //#input(bool isPending()): this.state.__Tag
    //#input(bool isPending()): this.state.name
    //#output(bool isPending()): return_value
    //#pre[3] (bool isPending()): this.__Tag in {net/sourceforge/pebble/domain/Comment, net/sourceforge/pebble/domain/Response, net/sourceforge/pebble/domain/TrackBack}
    //#pre[4] (bool isPending()): this.state != null
    //#pre[5] (bool isPending()): this.state.__Tag == net/sourceforge/pebble/domain/State
    //#pre[1] (bool isPending()): (soft) net.sourceforge.pebble.domain.State__static_init.new State(State__static_init#3).name != null
    //#pre[6] (bool isPending()): (soft) init'ed(this.state.name)
    //#post(bool isPending()): init'ed(return_value)
    //#unanalyzed(bool isPending()): Effects-of-calling:java.lang.String:equals
    //#response.java:269: end of method: bool net.sourceforge.pebble.domain.Response.isPending()
  }

}
    //#output(net.sourceforge.pebble.domain.Response__static_init): __Descendant_Table[net/sourceforge/pebble/domain/Response]
    //#output(net.sourceforge.pebble.domain.Response__static_init): __Dispatch_Table.addEvent(Lnet/sourceforge/pebble/api/event/PebbleEvent;)V
    //#output(net.sourceforge.pebble.domain.Response__static_init): __Dispatch_Table.areEventsEnabled()Z
    //#output(net.sourceforge.pebble.domain.Response__static_init): __Dispatch_Table.clearEvents()V
    //#output(net.sourceforge.pebble.domain.Response__static_init): __Dispatch_Table.clearPropertyChangeEvents()V
    //#output(net.sourceforge.pebble.domain.Response__static_init): __Dispatch_Table.getBlogEntry()Lnet/sourceforge/pebble/domain/BlogEntry;
    //#output(net.sourceforge.pebble.domain.Response__static_init): __Dispatch_Table.getContent()Ljava/lang/String;
    //#output(net.sourceforge.pebble.domain.Response__static_init): __Dispatch_Table.getDate()Ljava/util/Date;
    //#output(net.sourceforge.pebble.domain.Response__static_init): __Dispatch_Table.getEvents()Ljava/util/List;
    //#output(net.sourceforge.pebble.domain.Response__static_init): __Dispatch_Table.getGuid()Ljava/lang/String;
    //#output(net.sourceforge.pebble.domain.Response__static_init): __Dispatch_Table.getId()J
    //#output(net.sourceforge.pebble.domain.Response__static_init): __Dispatch_Table.getIpAddress()Ljava/lang/String;
    //#output(net.sourceforge.pebble.domain.Response__static_init): __Dispatch_Table.getPropertyChangeEvents()Ljava/util/List;
    //#output(net.sourceforge.pebble.domain.Response__static_init): __Dispatch_Table.getSourceLink()Ljava/lang/String;
    //#output(net.sourceforge.pebble.domain.Response__static_init): __Dispatch_Table.getSourceName()Ljava/lang/String;
    //#output(net.sourceforge.pebble.domain.Response__static_init): __Dispatch_Table.getSpamScore()I
    //#output(net.sourceforge.pebble.domain.Response__static_init): __Dispatch_Table.getState()Lnet/sourceforge/pebble/domain/State;
    //#output(net.sourceforge.pebble.domain.Response__static_init): __Dispatch_Table.getTitle()Ljava/lang/String;
    //#output(net.sourceforge.pebble.domain.Response__static_init): __Dispatch_Table.getTruncatedContent()Ljava/lang/String;
    //#output(net.sourceforge.pebble.domain.Response__static_init): __Dispatch_Table.hasEvents()Z
    //#output(net.sourceforge.pebble.domain.Response__static_init): __Dispatch_Table.incrementSpamScore()V
    //#output(net.sourceforge.pebble.domain.Response__static_init): __Dispatch_Table.insertEvent(Lnet/sourceforge/pebble/api/event/PebbleEvent;)V
    //#output(net.sourceforge.pebble.domain.Response__static_init): __Dispatch_Table.isApproved()Z
    //#output(net.sourceforge.pebble.domain.Response__static_init): __Dispatch_Table.isDirty()Z
    //#output(net.sourceforge.pebble.domain.Response__static_init): __Dispatch_Table.isPending()Z
    //#output(net.sourceforge.pebble.domain.Response__static_init): __Dispatch_Table.isRejected()Z
    //#output(net.sourceforge.pebble.domain.Response__static_init): __Dispatch_Table.nextEvent()Lnet/sourceforge/pebble/api/event/PebbleEvent;
    //#output(net.sourceforge.pebble.domain.Response__static_init): __Dispatch_Table.setApproved()V
    //#output(net.sourceforge.pebble.domain.Response__static_init): __Dispatch_Table.setBlogEntry(Lnet/sourceforge/pebble/domain/BlogEntry;)V
    //#output(net.sourceforge.pebble.domain.Response__static_init): __Dispatch_Table.setDate(Ljava/util/Date;)V
    //#output(net.sourceforge.pebble.domain.Response__static_init): __Dispatch_Table.setEventsEnabled(Z)V
    //#output(net.sourceforge.pebble.domain.Response__static_init): __Dispatch_Table.setIpAddress(Ljava/lang/String;)V
    //#output(net.sourceforge.pebble.domain.Response__static_init): __Dispatch_Table.setPending()V
    //#output(net.sourceforge.pebble.domain.Response__static_init): __Dispatch_Table.setRejected()V
    //#output(net.sourceforge.pebble.domain.Response__static_init): __Dispatch_Table.setState(Lnet/sourceforge/pebble/domain/State;)V
    //#output(net.sourceforge.pebble.domain.Response__static_init): __Dispatch_Table.setTitle(Ljava/lang/String;)V
    //#output(net.sourceforge.pebble.domain.Response__static_init): net/sourceforge/pebble/domain/Content.__Descendant_Table[net/sourceforge/pebble/domain/Response]
    //#output(net.sourceforge.pebble.domain.Response__static_init): net/sourceforge/pebble/domain/Permalinkable.__Descendant_Table[net/sourceforge/pebble/domain/Response]
    //#post(net.sourceforge.pebble.domain.Response__static_init): __Descendant_Table[net/sourceforge/pebble/domain/Response] == &__Dispatch_Table
    //#post(net.sourceforge.pebble.domain.Response__static_init): net/sourceforge/pebble/domain/Content.__Descendant_Table[net/sourceforge/pebble/domain/Response] == &__Dispatch_Table
    //#post(net.sourceforge.pebble.domain.Response__static_init): net/sourceforge/pebble/domain/Permalinkable.__Descendant_Table[net/sourceforge/pebble/domain/Response] == &__Dispatch_Table
    //#post(net.sourceforge.pebble.domain.Response__static_init): __Dispatch_Table.addEvent(Lnet/sourceforge/pebble/api/event/PebbleEvent;)V == &net/sourceforge/pebble/domain/Content.addEvent
    //#post(net.sourceforge.pebble.domain.Response__static_init): __Dispatch_Table.areEventsEnabled()Z == &net/sourceforge/pebble/domain/Content.areEventsEnabled
    //#post(net.sourceforge.pebble.domain.Response__static_init): __Dispatch_Table.clearEvents()V == &net/sourceforge/pebble/domain/Content.clearEvents
    //#post(net.sourceforge.pebble.domain.Response__static_init): __Dispatch_Table.clearPropertyChangeEvents()V == &net/sourceforge/pebble/domain/Content.clearPropertyChangeEvents
    //#post(net.sourceforge.pebble.domain.Response__static_init): __Dispatch_Table.getBlogEntry()Lnet/sourceforge/pebble/domain/BlogEntry; == &getBlogEntry
    //#post(net.sourceforge.pebble.domain.Response__static_init): __Dispatch_Table.getContent()Ljava/lang/String; == &net/sourceforge/pebble/domain/Content.getContent
    //#post(net.sourceforge.pebble.domain.Response__static_init): __Dispatch_Table.getDate()Ljava/util/Date; == &getDate
    //#post(net.sourceforge.pebble.domain.Response__static_init): __Dispatch_Table.getEvents()Ljava/util/List; == &net/sourceforge/pebble/domain/Content.getEvents
    //#post(net.sourceforge.pebble.domain.Response__static_init): __Dispatch_Table.getGuid()Ljava/lang/String; == &getGuid
    //#post(net.sourceforge.pebble.domain.Response__static_init): __Dispatch_Table.getId()J == &getId
    //#post(net.sourceforge.pebble.domain.Response__static_init): __Dispatch_Table.getIpAddress()Ljava/lang/String; == &getIpAddress
    //#post(net.sourceforge.pebble.domain.Response__static_init): __Dispatch_Table.getPropertyChangeEvents()Ljava/util/List; == &net/sourceforge/pebble/domain/Content.getPropertyChangeEvents
    //#post(net.sourceforge.pebble.domain.Response__static_init): __Dispatch_Table.getSourceLink()Ljava/lang/String; == &getSourceLink
    //#post(net.sourceforge.pebble.domain.Response__static_init): __Dispatch_Table.getSourceName()Ljava/lang/String; == &getSourceName
    //#post(net.sourceforge.pebble.domain.Response__static_init): __Dispatch_Table.getSpamScore()I == &getSpamScore
    //#post(net.sourceforge.pebble.domain.Response__static_init): __Dispatch_Table.getState()Lnet/sourceforge/pebble/domain/State; == &net/sourceforge/pebble/domain/Content.getState
    //#post(net.sourceforge.pebble.domain.Response__static_init): __Dispatch_Table.getTitle()Ljava/lang/String; == &getTitle
    //#post(net.sourceforge.pebble.domain.Response__static_init): __Dispatch_Table.getTruncatedContent()Ljava/lang/String; == &net/sourceforge/pebble/domain/Content.getTruncatedContent
    //#post(net.sourceforge.pebble.domain.Response__static_init): __Dispatch_Table.hasEvents()Z == &net/sourceforge/pebble/domain/Content.hasEvents
    //#post(net.sourceforge.pebble.domain.Response__static_init): __Dispatch_Table.incrementSpamScore()V == &incrementSpamScore
    //#post(net.sourceforge.pebble.domain.Response__static_init): __Dispatch_Table.insertEvent(Lnet/sourceforge/pebble/api/event/PebbleEvent;)V == &net/sourceforge/pebble/domain/Content.insertEvent
    //#post(net.sourceforge.pebble.domain.Response__static_init): __Dispatch_Table.isApproved()Z == &isApproved
    //#post(net.sourceforge.pebble.domain.Response__static_init): __Dispatch_Table.isDirty()Z == &net/sourceforge/pebble/domain/Content.isDirty
    //#post(net.sourceforge.pebble.domain.Response__static_init): __Dispatch_Table.isPending()Z == &isPending
    //#post(net.sourceforge.pebble.domain.Response__static_init): __Dispatch_Table.isRejected()Z == &isRejected
    //#post(net.sourceforge.pebble.domain.Response__static_init): __Dispatch_Table.nextEvent()Lnet/sourceforge/pebble/api/event/PebbleEvent; == &net/sourceforge/pebble/domain/Content.nextEvent
    //#post(net.sourceforge.pebble.domain.Response__static_init): __Dispatch_Table.setApproved()V == &setApproved
    //#post(net.sourceforge.pebble.domain.Response__static_init): __Dispatch_Table.setBlogEntry(Lnet/sourceforge/pebble/domain/BlogEntry;)V == &setBlogEntry
    //#post(net.sourceforge.pebble.domain.Response__static_init): __Dispatch_Table.setDate(Ljava/util/Date;)V == &setDate
    //#post(net.sourceforge.pebble.domain.Response__static_init): __Dispatch_Table.setEventsEnabled(Z)V == &net/sourceforge/pebble/domain/Content.setEventsEnabled
    //#post(net.sourceforge.pebble.domain.Response__static_init): __Dispatch_Table.setIpAddress(Ljava/lang/String;)V == &setIpAddress
    //#post(net.sourceforge.pebble.domain.Response__static_init): __Dispatch_Table.setPending()V == &setPending
    //#post(net.sourceforge.pebble.domain.Response__static_init): __Dispatch_Table.setRejected()V == &setRejected
    //#post(net.sourceforge.pebble.domain.Response__static_init): __Dispatch_Table.setState(Lnet/sourceforge/pebble/domain/State;)V == &net/sourceforge/pebble/domain/Content.setState
    //#post(net.sourceforge.pebble.domain.Response__static_init): __Dispatch_Table.setTitle(Ljava/lang/String;)V == &setTitle
    //#response.java:: end of method: net.sourceforge.pebble.domain.Response.net.sourceforge.pebble.domain.Response__static_init
    //#response.java:: end of class: net.sourceforge.pebble.domain.Response
