response.java

current inspection = 2010-07-22 15:04:21 (id #4) base = 2010-07-16 16:14:15 (id #1)

Filter Options
History:
+ added
- dropped
U unchanged
Annotation Kind:
pre
presumption
post
unanalyzed
test


  • BlogEntry getBlogEntry()

    • -/+ Kind Annotation Text Date
    U preinit'ed(this.blogEntry)2010-07-16 16:14:15
    U postinit'ed(return_value)2010-07-16 16:14:15
    U postreturn_value == this.blogEntry2010-07-16 16:14:15

  • Date getDate()

    • -/+ Kind Annotation Text Date
    U preinit'ed(this.date)2010-07-16 16:14:15
    U postinit'ed(return_value)2010-07-16 16:14:15
    U postreturn_value == this.date2010-07-16 16:14:15

  • String getGuid()

    • -/+ Kind Annotation Text Date
    U prethis.blogEntry != null2010-07-16 16:14:15
    U prethis.date != null2010-07-16 16:14:15
    U postreturn_value != null2010-07-16 16:14:15
    U unanalyzedcall on java.util.Date:getTime2010-07-16 16:14:15

  • long getId()

    • -/+ Kind Annotation Text Date
    U prethis.date != null2010-07-16 16:14:15
    U postinit'ed(return_value)2010-07-16 16:14:15

  • String getIpAddress()

    • -/+ Kind Annotation Text Date
    U preinit'ed(this.ipAddress)2010-07-16 16:14:15
    U postinit'ed(return_value)2010-07-16 16:14:15
    U postreturn_value == this.ipAddress2010-07-16 16:14:15

  • int getSpamScore()

    • -/+ Kind Annotation Text Date
    U preinit'ed(this.spamScore)2010-07-16 16:14:15
    U postinit'ed(return_value)2010-07-16 16:14:15
    U postreturn_value == this.spamScore2010-07-16 16:14:15

  • String getTitle()

    • -/+ Kind Annotation Text Date
    U preinit'ed(this.title)2010-07-16 16:14:15
    U postinit'ed(return_value)2010-07-16 16:14:15
    U postreturn_value == this.title2010-07-16 16:14:15

  • void incrementSpamScore()

    • -/+ Kind Annotation Text Date
    U prethis.spamScore <= 232-22010-07-16 16:14:15
    U postthis.spamScore == old this.spamScore + 12010-07-16 16:14:15
    U postthis.spamScore >= -231+12010-07-16 16:14:15

  • bool isApproved()

    • -/+ Kind Annotation Text Date
    U pre(soft) init'ed(this.state.name)2010-07-16 16:14:15
    U pre(soft) net.sourceforge.pebble.domain.State__static_ init.new State(State__static_init#1).name != null2010-07-16 16:14:15
    U prethis.state != null2010-07-16 16:14:15
    U postinit'ed(return_value)2010-07-16 16:14:15
    U unanalyzedcall on java.lang.String:equals2010-07-16 16:14:15

  • bool isPending()

    • -/+ Kind Annotation Text Date
    U pre(soft) init'ed(this.state.name)2010-07-16 16:14:15
    U pre(soft) net.sourceforge.pebble.domain.State__static_ init.new State(State__static_init#3).name != null2010-07-16 16:14:15
    U prethis.state != null2010-07-16 16:14:15
    U postinit'ed(return_value)2010-07-16 16:14:15
    U unanalyzedcall on java.lang.String:equals2010-07-16 16:14:15

  • bool isRejected()

    • -/+ Kind Annotation Text Date
    U pre(soft) init'ed(this.state.name)2010-07-16 16:14:15
    U pre(soft) net.sourceforge.pebble.domain.State__static_ init.new State(State__static_init#2).name != null2010-07-16 16:14:15
    U prethis.state != null2010-07-16 16:14:15
    U postinit'ed(return_value)2010-07-16 16:14:15
    U unanalyzedcall on java.lang.String:equals2010-07-16 16:14:15

  • void net.sourceforge.pebble.domain.Response()

    • -/+ Kind Annotation Text Date
    U postinit'ed(this.eventsEnabled)2010-07-16 16:14:15
    U postnew ArrayList(Content#1) num objects == 12010-07-16 16:14:15
    U postnew ArrayList(Content#3) num objects == 12010-07-16 16:14:15
    U postnew PropertyChangeSupport(Content#2) num objects == 12010-07-16 16:14:15
    U postthis.events == &new ArrayList(Content#1)2010-07-16 16:14:15
    U postthis.propertyChangeEvents == &new ArrayList(Content#3)2010-07-16 16:14:15
    U postthis.propertyChangeSupport == &new PropertyChangeSupport(Content#2)2010-07-16 16:14:15
    U postthis.spamScore == 02010-07-16 16:14:15
    U unanalyzedcall on java.beans.PropertyChangeSupport2010-07-16 16:14:15
    U unanalyzedcall on java.beans.PropertyChangeSupport:addPropert yChangeListener2010-07-16 16:14:15
    U unanalyzedcall on java.util.ArrayList2010-07-16 16:14:15

  • void net.sourceforge.pebble.domain.Response(String, String, Date, State, BlogEntry)

    • -/+ Kind Annotation Text Date
    U preblogEntry != null2010-07-16 16:14:15
    U postinit'ed(this.date)2010-07-16 16:14:15
    U postinit'ed(this.eventsEnabled)2010-07-16 16:14:15
    U postinit'ed(this.ipAddress)2010-07-16 16:14:15
    U postinit'ed(this.spamScore)2010-07-16 16:14:15
    U postnew ArrayList(Content#1) num objects == 12010-07-16 16:14:15
    U postnew ArrayList(Content#3) num objects == 12010-07-16 16:14:15
    U postnew PropertyChangeSupport(Content#2) num objects == 12010-07-16 16:14:15
    U postpossibly_updated(this.state)2010-07-16 16:14:15
    U postpossibly_updated(this.title)2010-07-16 16:14:15
    U postthis.blogEntry != null2010-07-16 16:14:15
    U postthis.blogEntry == blogEntry2010-07-16 16:14:15
    U postthis.events == &new ArrayList(Content#1)2010-07-16 16:14:15
    U postthis.ipAddress == One-of{null, ipAddress}2010-07-16 16:14:15
    U postthis.propertyChangeEvents == &new ArrayList(Content#3)2010-07-16 16:14:15
    U postthis.propertyChangeSupport == &new PropertyChangeSupport(Content#2)2010-07-16 16:14:15
    +unanalyzedcall on areEventsEnabled2010-07-22 12:56:56
    +unanalyzedcall on getBlogEntry2010-07-22 12:56:56
    +unanalyzedcall on getState2010-07-22 12:56:56
    U unanalyzedcall on isApproved2010-07-16 16:14:15
    U unanalyzedcall on isRejected2010-07-16 16:14:15
    U unanalyzedcall on java.beans.PropertyChangeSupport2010-07-16 16:14:15
    U unanalyzedcall on java.beans.PropertyChangeSupport:addPropert yChangeListener2010-07-16 16:14:15
    U unanalyzedcall on java.lang.String:equals2010-07-16 16:14:15
    U unanalyzedcall on java.lang.String:length2010-07-16 16:14:15
    U unanalyzedcall on java.util.ArrayList2010-07-16 16:14:15
    U unanalyzedcall on java.util.Calendar:getTime2010-07-16 16:14:15
    U unanalyzedcall on java.util.Calendar:setTime2010-07-16 16:14:15
    U unanalyzedcall on java.util.Date2010-07-16 16:14:15
    U unanalyzedcall on java.util.EventObject2010-07-16 16:14:15
    U unanalyzedcall on net.sourceforge.pebble.api.event. PebbleEvent2010-07-16 16:14:15
    U unanalyzedcall on net.sourceforge.pebble.domain. Blog:getCalendar2010-07-16 16:14:15
    U unanalyzedcall on net.sourceforge.pebble.domain. BlogEntry:addEvent2010-07-16 16:14:15
    U unanalyzedcall on net.sourceforge.pebble.domain. BlogEntry:getBlog2010-07-16 16:14:15
    U unanalyzedcall on net.sourceforge.pebble.domain. BlogEntry:getTitle2010-07-16 16:14:15
    U unanalyzedcall on net.sourceforge.pebble.domain. Response:setState2010-07-16 16:14:15
    U unanalyzedcall on net.sourceforge.pebble.util. StringUtils:transformHTML2010-07-16 16:14:15
    +unanalyzedcall on setState2010-07-22 12:56:56

  • net.sourceforge.pebble.domain.Response__static_init

    • -/+ Kind Annotation Text Date

  • void setApproved()

    • -/+ Kind Annotation Text Date
    U postthis.state == One-of{&net.sourceforge.pebble. domain.State__static_init.new State(State__static_i nit#1), old this.state}2010-07-16 16:14:15
    +unanalyzedcall on areEventsEnabled2010-07-22 12:56:56
    +unanalyzedcall on getBlogEntry2010-07-22 12:56:56
    +unanalyzedcall on getState2010-07-22 12:56:56
    U unanalyzedcall on isApproved2010-07-16 16:14:15
    U unanalyzedcall on isRejected2010-07-16 16:14:15
    U unanalyzedcall on java.lang.String:equals2010-07-16 16:14:15
    U unanalyzedcall on java.util.EventObject2010-07-16 16:14:15
    U unanalyzedcall on net.sourceforge.pebble.api.event. PebbleEvent2010-07-16 16:14:15
    U unanalyzedcall on net.sourceforge.pebble.domain. BlogEntry:addEvent2010-07-16 16:14:15
    U unanalyzedcall on net.sourceforge.pebble.domain. Response:setState2010-07-16 16:14:15
    +unanalyzedcall on setState2010-07-22 12:56:56

  • void setBlogEntry(BlogEntry)

    • -/+ Kind Annotation Text Date
    U postinit'ed(this.blogEntry)2010-07-16 16:14:15
    U postthis.blogEntry == blogEntry2010-07-16 16:14:15

  • void setDate(Date)

    • -/+ Kind Annotation Text Date
    U prethis.blogEntry != null2010-07-16 16:14:15
    U presumptionnet.sourceforge.pebble.domain.Blog:getCalendar(... )@185 != null2010-07-16 16:14:15
    U presumptionnet.sourceforge.pebble.domain.BlogEntry:getBlog(... )@185 != null2010-07-16 16:14:15
    U postinit'ed(this.date)2010-07-16 16:14:15
    U test_vectordate: Inverse{null}, Addr_Set{null}2010-07-16 16:14:15

  • void setIpAddress(String)

    • -/+ Kind Annotation Text Date
    U postinit'ed(this.ipAddress)2010-07-16 16:14:15
    U postthis.ipAddress == One-of{null, ipAddress}2010-07-16 16:14:15
    U test_vectoripAddress: Addr_Set{null}, Inverse{null}2010-07-16 16:14:15
    U test_vectorjava.lang.String:length(...)@159: {1.. 232-1}, {0}2010-07-16 16:14:15

  • void setPending()

    • -/+ Kind Annotation Text Date
    U postthis.state == One-of{&net.sourceforge.pebble. domain.State__static_init.new State(State__static_i nit#3), old this.state}2010-07-16 16:14:15
    +unanalyzedcall on areEventsEnabled2010-07-22 12:56:56
    +unanalyzedcall on getBlogEntry2010-07-22 12:56:56
    +unanalyzedcall on getState2010-07-22 12:56:56
    U unanalyzedcall on isApproved2010-07-16 16:14:15
    U unanalyzedcall on isRejected2010-07-16 16:14:15
    U unanalyzedcall on java.lang.String:equals2010-07-16 16:14:15
    U unanalyzedcall on java.util.EventObject2010-07-16 16:14:15
    U unanalyzedcall on net.sourceforge.pebble.api.event. PebbleEvent2010-07-16 16:14:15
    U unanalyzedcall on net.sourceforge.pebble.domain. BlogEntry:addEvent2010-07-16 16:14:15
    U unanalyzedcall on net.sourceforge.pebble.domain. Response:setState2010-07-16 16:14:15
    +unanalyzedcall on setState2010-07-22 12:56:56

  • void setRejected()

    • -/+ Kind Annotation Text Date
    U postthis.state == One-of{&net.sourceforge.pebble. domain.State__static_init.new State(State__static_i nit#2), old this.state}2010-07-16 16:14:15
    +unanalyzedcall on areEventsEnabled2010-07-22 12:56:56
    +unanalyzedcall on getBlogEntry2010-07-22 12:56:56
    +unanalyzedcall on getState2010-07-22 12:56:56
    U unanalyzedcall on isApproved2010-07-16 16:14:15
    U unanalyzedcall on isRejected2010-07-16 16:14:15
    U unanalyzedcall on java.lang.String:equals2010-07-16 16:14:15
    U unanalyzedcall on java.util.EventObject2010-07-16 16:14:15
    U unanalyzedcall on net.sourceforge.pebble.api.event. PebbleEvent2010-07-16 16:14:15
    U unanalyzedcall on net.sourceforge.pebble.domain. BlogEntry:addEvent2010-07-16 16:14:15
    U unanalyzedcall on net.sourceforge.pebble.domain. Response:setState2010-07-16 16:14:15
    +unanalyzedcall on setState2010-07-22 12:56:56

  • void setTitle(String)

    • -/+ Kind Annotation Text Date
    U postinit'ed(this.title)2010-07-16 16:14:15