Collection.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 accepts(String)

    • -/+ Kind Annotation Text Date
    +pre(soft) ct != null2009-09-04 18:33:31
    +pre(soft) this.accepts != null2009-09-04 18:33:31
    +preinit'ed(this.accept)2009-09-04 18:33:31
    +presumptionjava.lang.String:indexOf(...)@128 <= 232-22009-09-04 18:33:31
    +presumptionjava.util.List:size(...)@124 >= 02009-09-04 18:33:31
    +presumptionjava.util.List:toArray(...)@124 != null2009-09-04 18:33:31
    +presumptionrules.length@124 <= 232-12009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +test_vectorjava.lang.String:equals(...)@114: {0}, {1}2009-09-04 18:33:31
    +test_vectorjava.lang.String:equals(...)@116: {0}, {1}2009-09-04 18:33:31
    +test_vectorjava.lang.String:equals(...)@119: {0}, {1}2009-09-04 18:33:31
    +test_vectorjava.lang.String:equals(...)@121: {0}, {1}2009-09-04 18:33:31
    +test_vectorjava.lang.String:equals(...)@127: {0}, {1}2009-09-04 18:33:31
    +test_vectorjava.lang.String:indexOf(...)@128: {-231. .0}, {1..232-2}2009-09-04 18:33:31
    +test_vectorjava.lang.String:startsWith(...)@131: {0}, {1}2009-09-04 18:33:31
    +test_vectorthis.accept: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31

  • + void addAccept(String)

    • -/+ Kind Annotation Text Date
    +prethis.accepts != null2009-09-04 18:33:31

  • + void addCategories(Categories)

    • -/+ Kind Annotation Text Date
    +prethis.categories != null2009-09-04 18:33:31

  • + Element collectionToElement(Collection)

    • -/+ Kind Annotation Text Date
    +precollection != null2009-09-04 18:33:31
    +precollection.accepts != null2009-09-04 18:33:31
    +precollection.categories != null2009-09-04 18:33:31
    +preinit'ed(collection.href)2009-09-04 18:33:31
    +preinit'ed(collection.title)2009-09-04 18:33:31
    +preinit'ed(collection.titleType)2009-09-04 18:33:31
    +preinit'ed(org/apache/roller/weblogger/webservices/ato mprotocol/AtomService.ATOM_FORMAT)2009-09-04 18:33:31
    +preinit'ed(org/apache/roller/weblogger/webservices/ato mprotocol/AtomService.ATOM_PROTOCOL)2009-09-04 18:33:31
    +presumptioncats.categories@154 != null2009-09-04 18:33:31
    +presumptionjava.util.Iterator:next(...)@154 != null2009-09-04 18:33:31
    +presumptionjava.util.Iterator:next(...)@162 != null2009-09-04 18:33:31
    +postnew Element(collectionToElement#1) num objects == 12009-09-04 18:33:31
    +postreturn_value == &new Element(collectionToElemen t#1)2009-09-04 18:33:31
    +test_vectorcats.scheme@154: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31
    +test_vectorcollection.titleType: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31
    +test_vectorcom.sun.syndication.feed.atom.Category:getLabel(... )@168: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31
    +test_vectorcom.sun.syndication.feed.atom.Category:getScheme(.. .)@165: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31
    +test_vectorjava.lang.String:equals(...)@148: {1}, {0}2009-09-04 18:33:31
    +test_vectorjava.util.Iterator:hasNext(...)@153: {0}, {1}2009-09-04 18:33:31
    +test_vectorjava.util.Iterator:hasNext(...)@161: {0}, {1}2009-09-04 18:33:31
    +test_vectorjava.util.Iterator:hasNext(...)@176: {0}, {1}2009-09-04 18:33:31

  • + Collection elementToCollection(Element)

    • -/+ Kind Annotation Text Date
    +preelement != null2009-09-04 18:33:31
    +preinit'ed(org/apache/roller/weblogger/webservices/ato mprotocol/AtomService.ATOM_FORMAT)2009-09-04 18:33:31
    +preinit'ed(org/apache/roller/weblogger/webservices/ato mprotocol/AtomService.ATOM_PROTOCOL)2009-09-04 18:33:31
    +presumptionjava.util.Iterator:next(...)@200 != null2009-09-04 18:33:31
    +presumptionjava.util.Iterator:next(...)@208 != null2009-09-04 18:33:31
    +presumptionjava.util.Iterator:next(...)@216 != null2009-09-04 18:33:31
    +presumptionorg.jdom.Element:getAttribute(...)@188 != null2009-09-04 18:33:31
    +presumptionorg.jdom.Element:getAttribute(...)@193 != null2009-09-04 18:33:31
    +presumptionorg.jdom.Element:getChild(...)@189 != null2009-09-04 18:33:31
    +presumptionorg.jdom.Element:getChildren(...)@206 != null2009-09-04 18:33:31
    +presumptionorg.jdom.Element:getChildren(...)@214 != null2009-09-04 18:33:31
    +postinit'ed(return_value.href)2009-09-04 18:33:31
    +postinit'ed(return_value.title)2009-09-04 18:33:31
    +postinit'ed(return_value.titleType)2009-09-04 18:33:31
    +postnew ArrayList(Collection#1) num objects == 12009-09-04 18:33:31
    +postnew ArrayList(Collection#2) num objects == 12009-09-04 18:33:31
    +postnew Collection(elementToCollection#1) num objects == 12009-09-04 18:33:31
    +postreturn_value == &new Collection(elementToCollec tion#1)2009-09-04 18:33:31
    +postreturn_value.accept == &"entry"2009-09-04 18:33:31
    +postreturn_value.accepts == &new ArrayList(Collecti on#2)2009-09-04 18:33:31
    +postreturn_value.categories == &new ArrayList(Collection#1)2009-09-04 18:33:31
    +postreturn_value.listTemplate == null2009-09-04 18:33:31
    +unanalyzedcall on java.util.ArrayList2009-09-04 18:33:31
    +unanalyzedcall on java.util.List:add2009-09-04 18:33:31
    +test_vectorjava.lang.String:equals(...)@210: {0}, {1}2009-09-04 18:33:31
    +test_vectorjava.util.Iterator:hasNext(...)@199: {0}, {1}2009-09-04 18:33:31
    +test_vectorjava.util.Iterator:hasNext(...)@207: {0}, {1}2009-09-04 18:33:31
    +test_vectorjava.util.Iterator:hasNext(...)@215: {0}, {1}2009-09-04 18:33:31
    +test_vectorjava.util.List:size(...)@198: {-231..0}, {1..232-1}2009-09-04 18:33:31
    +test_vectororg.jdom.Element:getAttribute(...)@192: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31
    +test_vectororg.jdom.Element:getChildren(...)@197: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31

  • + List getAccepts()

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

  • + List getCategories()

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

  • + String getHref()

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

  • + String getTitle()

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

  • + String getTitleType()

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

  • + void org.apache.roller.weblogger.webservices.atomprotocol.Collection(String, String, String)

    • -/+ Kind Annotation Text Date
    +postinit'ed(this.href)2009-09-04 18:33:31
    +postinit'ed(this.title)2009-09-04 18:33:31
    +postinit'ed(this.titleType)2009-09-04 18:33:31
    +postnew ArrayList(Collection#1) num objects == 12009-09-04 18:33:31
    +postnew ArrayList(Collection#2) num objects == 12009-09-04 18:33:31
    +postthis.accept == &"entry"2009-09-04 18:33:31
    +postthis.accepts == &new ArrayList(Collection#2)2009-09-04 18:33:31
    +postthis.categories == &new ArrayList(Collection#1) 2009-09-04 18:33:31
    +postthis.href == href2009-09-04 18:33:31
    +postthis.listTemplate == null2009-09-04 18:33:31
    +postthis.title == title2009-09-04 18:33:31
    +postthis.titleType == titleType2009-09-04 18:33:31

  • + org.apache.roller.weblogger.webservices.atomprotocol.Collection__static_init

    • -/+ Kind Annotation Text Date

  • + void setAccepts(List)

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

  • + void setHref(String)

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

  • + void setTitle(String)

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

  • + void setTitleType(String)

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