MemberEntry.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.handle)2009-09-04 18:33:31
    +pre(soft) init'ed(o.href)2009-09-04 18:33:31
    +pre(soft) init'ed(o.name)2009-09-04 18:33:31
    +pre(soft) init'ed(o.permission)2009-09-04 18:33:31
    +pre(soft) init'ed(this.handle)2009-09-04 18:33:31
    +pre(soft) init'ed(this.href)2009-09-04 18:33:31
    +pre(soft) init'ed(this.name)2009-09-04 18:33:31
    +pre(soft) init'ed(this.permission)2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +unanalyzedcall on getType2009-09-04 18:33:31
    +unanalyzedcall on java.lang.Object:equals2009-09-04 18:33:31
    +unanalyzedcall on java.lang.Object:getClass2009-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.MemberEntry:areEqual(...)@147: {1}, {0}2009-09-04 18:33:31
    +test_vectororg.apache.roller.weblogger.webservices. adminprotocol.sdk.MemberEntry:areEqual(...)@150: {1}, {0}2009-09-04 18:33:31
    +test_vectororg.apache.roller.weblogger.webservices. adminprotocol.sdk.MemberEntry:areEqual(...)@153: {1}, {0}2009-09-04 18:33:31

  • + String getHandle()

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

  • + String getName()

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

  • + String getPermission()

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

  • + String getType()

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

  • + org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry$Permissions__static_init

    • -/+ Kind Annotation Text Date

  • + org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry$Tags__static_init

    • -/+ Kind Annotation Text Date

  • + void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry(InputStream, String)

    • -/+ Kind Annotation Text Date
    +presumptionorg.jdom.Document:detachRootElement(...)@69 != null2009-09-04 18:33:31
    +presumptionorg.jdom.input.SAXBuilder:build(...)@68 != null2009-09-04 18:33:31
    +postinit'ed(java.lang.StringBuilder:toString(...)._ tainted)2009-09-04 18:33:31
    +postinit'ed(this.handle)2009-09-04 18:33:31
    +postinit'ed(this.name)2009-09-04 18:33:31
    +postpossibly_updated(this.permission)2009-09-04 18:33:31
    +postthis.href == &java.lang.StringBuilder:toString( ...)2009-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

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

    • -/+ Kind Annotation Text Date
    +postinit'ed(java.lang.StringBuilder:toString(...)._ tainted)2009-09-04 18:33:31
    +postinit'ed(this.handle)2009-09-04 18:33:31
    +postinit'ed(this.name)2009-09-04 18:33:31
    +postjava.lang.StringBuilder:toString(...)._tainted == userName._tainted | urlPrefix._tainted | handle._tainted2009-09-04 18:33:31
    +postthis.handle == handle2009-09-04 18:33:31
    +postthis.href == &java.lang.StringBuilder:toString( ...)2009-09-04 18:33:31
    +postthis.name == userName2009-09-04 18:33:31

  • + void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry(Element, String)

    • -/+ Kind Annotation Text Date
    +pree != null2009-09-04 18:33:31
    +postinit'ed(java.lang.StringBuilder:toString(...)._ tainted)2009-09-04 18:33:31
    +postinit'ed(this.handle)2009-09-04 18:33:31
    +postinit'ed(this.name)2009-09-04 18:33:31
    +postpossibly_updated(this.permission)2009-09-04 18:33:31
    +postthis.href == &java.lang.StringBuilder:toString( ...)2009-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

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

    • -/+ Kind Annotation Text Date

  • + void populate(Element, String)

    • -/+ Kind Annotation Text Date
    +pre(soft) init'ed(this.handle)2009-09-04 18:33:31
    +pre(soft) init'ed(this.name)2009-09-04 18:33:31
    +pree != null2009-09-04 18:33:31
    +postinit'ed(java.lang.StringBuilder:toString(...)._ tainted)2009-09-04 18:33:31
    +postinit'ed(this.handle)2009-09-04 18:33:31
    +postinit'ed(this.name)2009-09-04 18:33:31
    +postpossibly_updated(this.permission)2009-09-04 18:33:31
    +postthis.href == &java.lang.StringBuilder:toString( ...)2009-09-04 18:33:31
    +test_vectororg.jdom.Element:getChild(...)@78: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31
    +test_vectororg.jdom.Element:getChild(...)@84: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31
    +test_vectororg.jdom.Element:getChild(...)@93: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31

  • + void setHandle(String)

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

  • + void setName(String)

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

  • + void setPermission(String)

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

  • + Document toDocument()

    • -/+ Kind Annotation Text Date
    +preinit'ed(this.handle)2009-09-04 18:33:31
    +preinit'ed(this.href)2009-09-04 18:33:31
    +preinit'ed(this.name)2009-09-04 18:33:31
    +preinit'ed(this.permission)2009-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
    +test_vectorthis.handle: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31
    +test_vectorthis.name: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31
    +test_vectorthis.permission: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31