content.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


  • ArrayList access$0(Content)

    • -/+ Kind Annotation Text Date
    U preParam_0 != null2010-07-16 16:14:15
    U preinit'ed(Param_0.propertyChangeEvents)2010-07-16 16:14:15
    U postinit'ed(return_value)2010-07-16 16:14:15
    U postreturn_value == Param_0.propertyChangeEvents2010-07-16 16:14:15

  • void addEvent(PebbleEvent)

    • -/+ Kind Annotation Text Date
    U prethis.events != null2010-07-16 16:14:15

  • bool areEventsEnabled()

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

  • void clearEvents()

    • -/+ Kind Annotation Text Date
    U postnew ArrayList(clearEvents#1) num objects == 12010-07-16 16:14:15
    U postthis.events == &new ArrayList(clearEvents#1)2010-07-16 16:14:15

  • void clearPropertyChangeEvents()

    • -/+ Kind Annotation Text Date
    U postnew ArrayList(clearPropertyChangeEvents#1) num objects == 12010-07-16 16:14:15
    U postthis.propertyChangeEvents == &new ArrayList(clearPropertyChangeEvents#1)2010-07-16 16:14:15

  • List getEvents()

    • -/+ Kind Annotation Text Date
    U preinit'ed(this.events)2010-07-16 16:14:15
    U postnew ArrayList(getEvents#1) num objects == 12010-07-16 16:14:15
    U postreturn_value == &new ArrayList(getEvents#1)2010-07-16 16:14:15

  • List getPropertyChangeEvents()

    • -/+ Kind Annotation Text Date
    U prethis.propertyChangeEvents != null2010-07-16 16:14:15
    U postreturn_value != null2010-07-16 16:14:15

  • State getState()

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

  • String getTruncatedContent()

    • -/+ Kind Annotation Text Date
    U pre(soft) init'ed(this.body)2010-07-16 16:14:15
    U pre(soft) init'ed(this.excerpt)2010-07-16 16:14:15
    U postinit'ed(return_value)2010-07-16 16:14:15
    U unanalyzedcall on java.lang.String:length2010-07-16 16:14:15

  • bool hasEvents()

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

  • void insertEvent(PebbleEvent)

    • -/+ Kind Annotation Text Date
    U prethis.events != null2010-07-16 16:14:15

  • bool isDirty()

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

  • void net.sourceforge.pebble.domain.Content$1(Content)

    • -/+ Kind Annotation Text Date

  • net.sourceforge.pebble.domain.Content$1__static_init

    • -/+ Kind Annotation Text Date

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

    • -/+ 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

  • net.sourceforge.pebble.domain.Content__static_init

    • -/+ Kind Annotation Text Date

  • PebbleEvent nextEvent()

    • -/+ Kind Annotation Text Date
    U prethis.events != null2010-07-16 16:14:15
    U postinit'ed(return_value)2010-07-16 16:14:15
    U unanalyzedcall on java.util.List:isEmpty2010-07-16 16:14:15

  • void propertyChange(PropertyChangeEvent)

    • -/+ Kind Annotation Text Date
    U pre(soft) event != null2010-07-16 16:14:15
    U pre(soft) this.propertyChangeEvents != null2010-07-16 16:14:15
    U preinit'ed(this.eventsEnabled)2010-07-16 16:14:15
    U test_vectorjava.beans.PropertyChangeEvent:getNewValue(... )@76: Addr_Set{null}, Inverse{null}2010-07-16 16:14:15
    U test_vectorjava.beans.PropertyChangeEvent:getOldValue(... )@75: Addr_Set{null}, Inverse{null}2010-07-16 16:14:15
    U test_vectorjava.lang.Object:equals(...)@78: {0}, {1}2010-07-16 16:14:15
    U test_vectorthis.eventsEnabled: {0}, {1}2010-07-16 16:14:15

  • void setEventsEnabled(bool)

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

  • void setState(State)

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