Last Msg First Msg
























method org.apache.roller.weblogger.webservices. adminprotocol.sdk.EntrySet$Types__static_init

method org.apache.roller.weblogger.webservices. adminprotocol.sdk.EntrySet__static_init










method void org.apache.roller.weblogger.webservices. adminprotocol.sdk.EntrySet()
postthis.entries == null
postthis.href == null










method Entry[] getEntries()
prethis.entries != null
postinit'ed(return_value)










method void setEntries(Entry[])
postinit'ed(this.entries)










method bool isEmpty()
preinit'ed(this.entries)
postinit'ed(return_value)










method Document toDocument()
prethis.entries != null
preinit'ed(this.href)
presumptiongetEntries(...).length@94 <= 232-1
presumptiongetEntries(...).length@95 >= 1
presumptiongetEntries(...).length@94 <= getEntries(...). length@95
presumptionjava.util.List:toArray(...)@72 != null
presumptiontoDocument(...)@95 != null
postreturn_value == &new Document(toDocument#2)
postnew Document(toDocument#2) num objects == 1
unanalyzedcall on java.util.List:toArray









  infomethod not available-- call on void org.jdom.Element(String, Namespace)










  infomethod not available-- call on void org.jdom.Document(Element)










  infomethod not available-- call on Element org.jdom.Element:setAttribute(St ring, String)










Prev Msg Next Msg
+
high
null dereferencecheck fails here: requires getEntries(...)[i] != null
+
medium
null dereferencecheck might fail: requires not_init'ed(getEntries(. ..)[i])
  infocall too complex - analysis skipped-- call on Document toDocument()
  infomethod not available-- call on Element org.jdom.Document:detachRootElem ent()
  infomethod not available-- call on Element org.jdom.Element:addContent(Cont ent)
Prev Msg Next Msg











method bool equals(Object)
pre(soft) o.entries != null
pre(soft) init'ed(o.href)
pre(soft) this.entries != null
pre(soft) init'ed(this.href)
postinit'ed(return_value)
unanalyzedcall on java.util.List:toArray
test_vectoro: Addr_Set{null}, Inverse{null}
test_vectororg.apache.roller.weblogger.webservices. adminprotocol.sdk.EntrySet:areEqual(...)@108: {1}, {0}
test_vectororg.apache.roller.weblogger.webservices. adminprotocol.sdk.EntrySet:areEqual(...)@111: {1}, {0}
test_vectororg.apache.roller.weblogger.webservices. adminprotocol.sdk.EntrySet:areEqual(...)@114: {1}, {0}









  infomethod not available-- call on bool org.apache.roller.weblogger. webservices.adminprotocol.sdk.EntrySet:areEqual(Obj ect, Object)










  infomethod not available-- call on bool org.apache.roller.weblogger. webservices.adminprotocol.sdk.EntrySet:areEqual(Obj ect, Object)










  infomethod not available-- call on bool org.apache.roller.weblogger. webservices.adminprotocol.sdk.EntrySet:areEqual(Obj ect[], Object[])