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


  • + String getMemberType()

  • -/+ Kind Annotation Text Date
    +preinit'ed(this.memberType)2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +postreturn_value == this.memberType2009-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 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 getType()

  • -/+ Kind Annotation Text Date
    +postreturn_value == &"service"2009-09-04 18:33:31

  • + String getType()

  • -/+ Kind Annotation Text Date
    +postreturn_value == &"workspace"2009-09-04 18:33:31

  • + String getType()

  • -/+ Kind Annotation Text Date
    +postreturn_value == &"collection"2009-09-04 18:33:31

  • + org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service$Workspace$Attributes__static_init

  • -/+ Kind Annotation Text Date

  • + org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service$Workspace$Collection$Attributes__static_init

  • -/+ Kind Annotation Text Date

  • + org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service$Workspace$Collection$Tags__static_init

  • -/+ Kind Annotation Text Date

  • + void org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service$Workspace$Collection()

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

  • + org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service$Workspace$Collection__static_init

  • -/+ Kind Annotation Text Date

  • + void org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service$Workspace()

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

  • + org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service$Workspace__static_init

  • -/+ Kind Annotation Text Date

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

  • -/+ Kind Annotation Text Date
    +presumptionorg.jdom.input.SAXBuilder:build(...)@57 != null2009-09-04 18:33:31
    +postinit'ed(this.entries)2009-09-04 18:33:31
    +postinit'ed(this.href)2009-09-04 18:33:31
    +unanalyzedcall on java.util.ArrayList2009-09-04 18:33:31
    +unanalyzedcall on java.util.Arrays:asList2009-09-04 18:33:31
    +unanalyzedcall on java.util.List:add2009-09-04 18:33:31
    +unanalyzedcall on java.util.List:iterator2009-09-04 18:33:31
    +unanalyzedcall on java.util.List:toArray2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.webservices. adminprotocol.sdk.Entry2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.webservices. adminprotocol.sdk.EntrySet2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.webservices. adminprotocol.sdk.Service$Workspace2009-09-04 18:33:31
    +unanalyzedcall on org.jdom.Document:getRootElement2009-09-04 18:33:31
    +unanalyzedcall on org.jdom.Element:getAttributeValue2009-09-04 18:33:31
    +unanalyzedcall on org.jdom.Element:getChild2009-09-04 18:33:31
    +unanalyzedcall on org.jdom.Element:getChildren2009-09-04 18:33:31
    +unanalyzedcall on org.jdom.Element:getText2009-09-04 18:33:31
    +unanalyzedcall on populate2009-09-04 18:33:31
    +unanalyzedcall on setEntries2009-09-04 18:33:31
    +unanalyzedcall on setHref2009-09-04 18:33:31

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

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

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

  • -/+ Kind Annotation Text Date
    +pred != null2009-09-04 18:33:31
    +postinit'ed(this.entries)2009-09-04 18:33:31
    +postinit'ed(this.href)2009-09-04 18:33:31
    +unanalyzedcall on java.util.ArrayList2009-09-04 18:33:31
    +unanalyzedcall on java.util.Arrays:asList2009-09-04 18:33:31
    +unanalyzedcall on java.util.List:add2009-09-04 18:33:31
    +unanalyzedcall on java.util.List:iterator2009-09-04 18:33:31
    +unanalyzedcall on java.util.List:toArray2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.webservices. adminprotocol.sdk.Entry2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.webservices. adminprotocol.sdk.EntrySet2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.webservices. adminprotocol.sdk.Service$Workspace2009-09-04 18:33:31
    +unanalyzedcall on org.jdom.Document:getRootElement2009-09-04 18:33:31
    +unanalyzedcall on org.jdom.Element:getAttributeValue2009-09-04 18:33:31
    +unanalyzedcall on org.jdom.Element:getChild2009-09-04 18:33:31
    +unanalyzedcall on org.jdom.Element:getChildren2009-09-04 18:33:31
    +unanalyzedcall on org.jdom.Element:getText2009-09-04 18:33:31
    +unanalyzedcall on populate2009-09-04 18:33:31
    +unanalyzedcall on setEntries2009-09-04 18:33:31
    +unanalyzedcall on setHref2009-09-04 18:33:31

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

  • -/+ Kind Annotation Text Date

  • + void populate(Document)

  • -/+ Kind Annotation Text Date
    +predoc != null2009-09-04 18:33:31
    +presumptionjava.util.Iterator:next(...)@84 != null2009-09-04 18:33:31
    +presumptionorg.jdom.Document:getRootElement(...)@79 != null2009-09-04 18:33:31
    +presumptionorg.jdom.Element:getChildren(...)@81 != null2009-09-04 18:33:31
    +postinit'ed(this.entries)2009-09-04 18:33:31
    +unanalyzedcall on java.util.ArrayList2009-09-04 18:33:31
    +unanalyzedcall on java.util.Arrays:asList2009-09-04 18:33:31
    +unanalyzedcall on java.util.List:add2009-09-04 18:33:31
    +unanalyzedcall on java.util.List:iterator2009-09-04 18:33:31
    +unanalyzedcall on java.util.List:toArray2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.webservices. adminprotocol.sdk.Entry2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.webservices. adminprotocol.sdk.EntrySet2009-09-04 18:33:31
    +unanalyzedcall on org.jdom.Element:getAttributeValue2009-09-04 18:33:31
    +unanalyzedcall on org.jdom.Element:getChild2009-09-04 18:33:31
    +unanalyzedcall on org.jdom.Element:getChildren2009-09-04 18:33:31
    +unanalyzedcall on org.jdom.Element:getText2009-09-04 18:33:31
    +unanalyzedcall on setEntries2009-09-04 18:33:31
    +unanalyzedcall on setHref2009-09-04 18:33:31
    +test_vectorjava.util.Iterator:hasNext(...)@83: {0}, {1}2009-09-04 18:33:31

  • + void populate(Element)

  • -/+ Kind Annotation Text Date
    +preelem != null2009-09-04 18:33:31
    +presumptionjava.util.Iterator:next(...)@137 != null2009-09-04 18:33:31
    +presumptionorg.jdom.Element:getChildren(...)@134 != null2009-09-04 18:33:31
    +postinit'ed(this.entries)2009-09-04 18:33:31
    +postinit'ed(this.title)2009-09-04 18:33:31
    +unanalyzedcall on java.util.Arrays:asList2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.webservices. adminprotocol.sdk.Entry2009-09-04 18:33:31
    +unanalyzedcall on org.jdom.Element:getAttributeValue2009-09-04 18:33:31
    +unanalyzedcall on org.jdom.Element:getChild2009-09-04 18:33:31
    +unanalyzedcall on org.jdom.Element:getText2009-09-04 18:33:31
    +unanalyzedcall on setHref2009-09-04 18:33:31
    +test_vectorjava.util.Iterator:hasNext(...)@136: {0}, {1}2009-09-04 18:33:31

  • + void populate(Element)

  • -/+ Kind Annotation Text Date
    +preelem != null2009-09-04 18:33:31
    +presumptionorg.jdom.Element:getChild(...)@196 != null2009-09-04 18:33:31
    +postinit'ed(this.href)2009-09-04 18:33:31
    +postinit'ed(this.memberType)2009-09-04 18:33:31
    +postinit'ed(this.title)2009-09-04 18:33:31

  • + void setMemberType(String)

  • -/+ Kind Annotation Text Date
    +postinit'ed(this.memberType)2009-09-04 18:33:31
    +postthis.memberType == memberType2009-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 setTitle(String)

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

  • + Document toDocument()

  • -/+ Kind Annotation Text Date
    +preinit'ed(this.href)2009-09-04 18:33:31
    +preinit'ed(this.memberType)2009-09-04 18:33:31
    +preinit'ed(this.title)2009-09-04 18:33:31
    +postnew Document(toDocument#1) num objects == 12009-09-04 18:33:31
    +postreturn_value == &new Document(toDocument#1)2009-09-04 18:33:31

  • + Document toDocument()

  • -/+ Kind Annotation Text Date
    +prethis.entries != null2009-09-04 18:33:31
    +presumptiongetEntries(...).length@70 <= 232-12009-09-04 18:33:31
    +presumptiongetEntries(...).length@70 <= getEntries(...). length@712009-09-04 18:33:31
    +presumptiongetEntries(...).length@71 >= 12009-09-04 18:33:31
    +presumptionjava.util.List:toArray(...)@72 != null2009-09-04 18:33:31
    +presumptiontoDocument(...)@72 != null2009-09-04 18:33:31
    +postnew Document(toDocument#1) num objects == 12009-09-04 18:33:31
    +postreturn_value == &new Document(toDocument#1)2009-09-04 18:33:31
    +unanalyzedcall on java.util.List:toArray2009-09-04 18:33:31

  • + Document toDocument()

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