EntrySet.java

current inspection = 2009-09-04 18:33:31 (id #2) base = 2009-09-04 18:33:31 (id #1)

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


  • + bool equals(Object)

    • -/+ Kind Annotation Text Date
    +pre(soft) init'ed(o.href)2009-09-04 18:33:31
    +pre(soft) init'ed(this.href)2009-09-04 18:33:31
    +pre(soft) o.entries != null2009-09-04 18:33:31
    +pre(soft) this.entries != null2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +unanalyzedcall on java.util.List:toArray2009-09-04 18:33:31
    +test_vectoro: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31
    +test_vectororg.apache.roller.weblogger.webservices. adminprotocol.sdk.EntrySet:areEqual(...)@108: {1}, {0}2009-09-04 18:33:31
    +test_vectororg.apache.roller.weblogger.webservices. adminprotocol.sdk.EntrySet:areEqual(...)@111: {1}, {0}2009-09-04 18:33:31
    +test_vectororg.apache.roller.weblogger.webservices. adminprotocol.sdk.EntrySet:areEqual(...)@114: {1}, {0}2009-09-04 18:33:31

  • + Entry[] getEntries()

    • -/+ Kind Annotation Text Date
    +prethis.entries != null2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31

  • + bool isEmpty()

    • -/+ Kind Annotation Text Date
    +preinit'ed(this.entries)2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31

  • + org.apache.roller.weblogger.webservices.adminprotocol.sdk.EntrySet$Types__static_init

    • -/+ Kind Annotation Text Date

  • + void org.apache.roller.weblogger.webservices.adminprotocol.sdk.EntrySet()

    • -/+ Kind Annotation Text Date
    +postthis.entries == null2009-09-04 18:33:31
    +postthis.href == null2009-09-04 18:33:31

  • + org.apache.roller.weblogger.webservices.adminprotocol.sdk.EntrySet__static_init

    • -/+ Kind Annotation Text Date

  • + void setEntries(Entry[])

    • -/+ Kind Annotation Text Date
    +postinit'ed(this.entries)2009-09-04 18:33:31

  • + Document toDocument()

    • -/+ Kind Annotation Text Date
    +preinit'ed(this.href)2009-09-04 18:33:31
    +prethis.entries != null2009-09-04 18:33:31
    +presumptiongetEntries(...).length@94 <= 232-12009-09-04 18:33:31
    +presumptiongetEntries(...).length@94 <= getEntries(...). length@952009-09-04 18:33:31
    +presumptiongetEntries(...).length@95 >= 12009-09-04 18:33:31
    +presumptionjava.util.List:toArray(...)@72 != null2009-09-04 18:33:31
    +presumptiontoDocument(...)@95 != null2009-09-04 18:33:31
    +postnew Document(toDocument#2) num objects == 12009-09-04 18:33:31
    +postreturn_value == &new Document(toDocument#2)2009-09-04 18:33:31
    +unanalyzedcall on java.util.List:toArray2009-09-04 18:33:31