method org.apache.roller.weblogger.webservices. adminprotocol.sdk.MemberEntry$Permissions__static_i nit

method org.apache.roller.weblogger.webservices. adminprotocol.sdk.MemberEntry$Tags__static_init

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










method void org.apache.roller.weblogger.webservices. adminprotocol.sdk.MemberEntry(Element, String)
pree != null
postinit'ed(java.lang.StringBuilder:toString(...)._ tainted)
postinit'ed(this.handle)
postthis.href == &java.lang.StringBuilder:toString( ...)
postinit'ed(this.name)
postpossibly_updated(this.permission)
unanalyzedcall on org.jdom.Element:getChild
unanalyzedcall on org.jdom.Element:getText










method void org.apache.roller.weblogger.webservices. adminprotocol.sdk.MemberEntry(String, String, String)
postjava.lang.StringBuilder:toString(...)._tainted == userName._tainted | urlPrefix._tainted | handle._tainted
postinit'ed(java.lang.StringBuilder:toString(...)._ tainted)
postthis.handle == handle
postinit'ed(this.handle)
postthis.href == &java.lang.StringBuilder:toString( ...)
postthis.name == userName
postinit'ed(this.name)










method void org.apache.roller.weblogger.webservices. adminprotocol.sdk.MemberEntry(InputStream, String)
presumptionorg.jdom.Document:detachRootElement(...)@69 != null
presumptionorg.jdom.input.SAXBuilder:build(...)@68 != null
postinit'ed(java.lang.StringBuilder:toString(...)._ tainted)
postinit'ed(this.handle)
postthis.href == &java.lang.StringBuilder:toString( ...)
postinit'ed(this.name)
postpossibly_updated(this.permission)
unanalyzedcall on org.jdom.Element:getChild
unanalyzedcall on org.jdom.Element:getText









  infomethod not available-- call on void org.jdom.input.SAXBuilder()










  infomethod not available-- call on Document org.jdom.input.SAXBuilder:build (InputStream)










  infomethod not available-- call on Element org.jdom.Document:detachRootElem ent()











method void populate(Element, String)
pree != null
pre(soft) init'ed(this.handle)
pre(soft) init'ed(this.name)
postinit'ed(java.lang.StringBuilder:toString(...)._ tainted)
postinit'ed(this.handle)
postthis.href == &java.lang.StringBuilder:toString( ...)
postinit'ed(this.name)
postpossibly_updated(this.permission)
test_vectororg.jdom.Element:getChild(...)@78: Addr_Set{null}, Inverse{null}
test_vectororg.jdom.Element:getChild(...)@84: Addr_Set{null}, Inverse{null}
test_vectororg.jdom.Element:getChild(...)@93: Addr_Set{null}, Inverse{null}









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










  infomethod not available-- call on String org.jdom.Element:getText()










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










  infomethod not available-- call on String org.jdom.Element:getText()










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










  infomethod not available-- call on String org.jdom.Element:getText()











method String getType()
postreturn_value == &"member"










method Document toDocument()
preinit'ed(this.handle)
preinit'ed(this.href)
preinit'ed(this.name)
preinit'ed(this.permission)
postreturn_value == &new Document(toDocument#2)
postnew Document(toDocument#2) num objects == 1
test_vectorthis.handle: Addr_Set{null}, Inverse{null}
test_vectorthis.name: Addr_Set{null}, Inverse{null}
test_vectorthis.permission: Addr_Set{null}, Inverse{null}









  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)










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










  infomethod not available-- call on void org.jdom.Text(String)










  infomethod not available-- call on Element org.jdom.Element:addContent(Cont ent)










  infomethod not available-- call on Element org.jdom.Element:addContent(Cont ent)










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










  infomethod not available-- call on void org.jdom.Text(String)










  infomethod not available-- call on Element org.jdom.Element:addContent(Cont ent)










  infomethod not available-- call on Element org.jdom.Element:addContent(Cont ent)










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










  infomethod not available-- call on void org.jdom.Text(String)










  infomethod not available-- call on Element org.jdom.Element:addContent(Cont ent)










  infomethod not available-- call on Element org.jdom.Element:addContent(Cont ent)











method bool equals(Object)
pre(soft) init'ed(o.handle)
pre(soft) init'ed(o.href)
pre(soft) init'ed(o.name)
pre(soft) init'ed(o.permission)
pre(soft) init'ed(this.handle)
pre(soft) init'ed(this.href)
pre(soft) init'ed(this.name)
pre(soft) init'ed(this.permission)
postinit'ed(return_value)
unanalyzedcall on java.lang.Object:equals
unanalyzedcall on java.lang.Object:getClass
unanalyzedcall on getType
test_vectoro: Addr_Set{null}, Inverse{null}
test_vectororg.apache.roller.weblogger.webservices. adminprotocol.sdk.MemberEntry:areEqual(...)@147: {1}, {0}
test_vectororg.apache.roller.weblogger.webservices. adminprotocol.sdk.MemberEntry:areEqual(...)@150: {1}, {0}
test_vectororg.apache.roller.weblogger.webservices. adminprotocol.sdk.MemberEntry:areEqual(...)@153: {1}, {0}









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










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










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











method String getName()
preinit'ed(this.name)
postreturn_value == this.name
postinit'ed(return_value)










method void setName(String)
postthis.name == name
postinit'ed(this.name)










method String getHandle()
preinit'ed(this.handle)
postreturn_value == this.handle
postinit'ed(return_value)










method void setHandle(String)
postthis.handle == handle
postinit'ed(this.handle)










method String getPermission()
preinit'ed(this.permission)
postreturn_value == this.permission
postinit'ed(return_value)










method void setPermission(String)
postthis.permission == permission
postinit'ed(this.permission)