Profile.java

current inspection = 2009-09-03 21:56:13 (id #1)


Filter Options
Annotation Kind:
pre
presumption
post
unanalyzed
test_vector


  • void addNickname(String)

    • Kind Annotation Text
    prethis.nicknames != null
    postpossibly_updated(this.modified)
    test_vectorjava.util.List:contains(...)@179: {1}, {0}

  • void addNickname(String, int)

    • Kind Annotation Text
    prethis.nicknames != null
    postpossibly_updated(this.modified)
    test_vectorjava.util.List:contains(...)@192: {1}, {0}

  • Object clone()

    • Kind Annotation Text

  • void com.dmdirc.addons.ui_swing.dialogs.profiles.Profile()

    • Kind Annotation Text
    postinit'ed(this.nicknames)
    postthis.ident == &""
    postthis.modified == 1
    postthis.name == &""
    postthis.oldName == &""
    postthis.realname == &""
    unanalyzedcall on java.util.Arrays:asList

  • void com.dmdirc.addons.ui_swing.dialogs.profiles.Profile(String)

    • Kind Annotation Text
    postinit'ed(this.name)
    postinit'ed(this.nicknames)
    postthis.ident == &""
    postthis.modified == 1
    postthis.name == name
    postthis.oldName == this.name
    postthis.realname == &""
    unanalyzedcall on java.util.Arrays:asList

  • void com.dmdirc.addons.ui_swing.dialogs.profiles.Profile(String, String)

    • Kind Annotation Text
    postinit'ed(this.name)
    postinit'ed(this.nicknames)
    postthis.ident == &""
    postthis.modified == 1
    postthis.name == name
    postthis.oldName == this.name
    postthis.realname == &""
    unanalyzedcall on java.util.Arrays:asList

  • void com.dmdirc.addons.ui_swing.dialogs.profiles.Profile(String, String, String)

    • Kind Annotation Text
    postinit'ed(this.name)
    postinit'ed(this.nicknames)
    postinit'ed(this.realname)
    postthis.ident == &""
    postthis.modified == 1
    postthis.name == name
    postthis.oldName == this.name
    postthis.realname == realname
    unanalyzedcall on java.util.Arrays:asList

  • void com.dmdirc.addons.ui_swing.dialogs.profiles.Profile(String, String, String, String)

    • Kind Annotation Text
    postinit'ed(this.ident)
    postinit'ed(this.name)
    postinit'ed(this.nicknames)
    postinit'ed(this.realname)
    postthis.ident == ident
    postthis.modified == 1
    postthis.name == name
    postthis.oldName == this.name
    postthis.realname == realname

  • void com.dmdirc.addons.ui_swing.dialogs.profiles.Profile(String, List, String, String)

    • Kind Annotation Text
    postinit'ed(this.ident)
    postinit'ed(this.name)
    postinit'ed(this.nicknames)
    postinit'ed(this.realname)
    postthis.ident == ident
    postthis.modified == 1
    postthis.name == name
    postthis.nicknames == nicknames
    postthis.oldName == this.name
    postthis.realname == realname

  • void com.dmdirc.addons.ui_swing.dialogs.profiles.Profile(String, List, String, String, bool)

    • Kind Annotation Text
    postinit'ed(this.ident)
    postinit'ed(this.modified)
    postinit'ed(this.name)
    postinit'ed(this.nicknames)
    postinit'ed(this.realname)
    postthis.ident == ident
    postthis.modified == modified
    postthis.name == name
    postthis.nicknames == nicknames
    postthis.oldName == this.name
    postthis.realname == realname

  • com.dmdirc.addons.ui_swing.dialogs.profiles.Profile__static_init

    • Kind Annotation Text

  • void delNickname(String)

    • Kind Annotation Text
    prethis.nicknames != null
    postpossibly_updated(this.modified)
    test_vectorjava.util.List:remove(...)@204: {0}, {1}

  • void delete()

    • Kind Annotation Text
    pre(soft) init'ed(this.name)
    presumptioncom.dmdirc.config.Identity:getName(...)@317 != null
    presumptioncom.dmdirc.config.IdentityManager:getProfiles(... )@313 != null
    presumptionjava.util.Iterator:next(...)@316 != null
    test_vectorjava.lang.String:equals(...)@317: {0}, {1}
    test_vectorjava.util.Iterator:hasNext(...)@316: {0}, {1}

  • bool equals(Object)

    • Kind Annotation Text
    pre(soft) init'ed(obj.ident)
    pre(soft) init'ed(obj.name)
    pre(soft) init'ed(obj.nicknames)
    pre(soft) init'ed(obj.realname)
    pre(soft) init'ed(this.ident)
    pre(soft) this.name != null
    pre(soft) this.nicknames != null
    pre(soft) this.realname != null
    postinit'ed(return_value)
    test_vectorjava.lang.Object:equals(...)@344: {1}, {0}
    test_vectorjava.lang.String:equals(...)@341: {1}, {0}
    test_vectorjava.lang.String:equals(...)@347: {1}, {0}
    test_vectorjava.lang.String:equals(...)@353: {1}, {0}
    test_vectorobj.ident: Addr_Set{null}, Inverse{null}
    test_vectorobj: Inverse{null}, Addr_Set{null}
    test_vectorthis.ident: Inverse{null}, Addr_Set{null}

  • String getIdent()

    • Kind Annotation Text
    preinit'ed(this.ident)
    postinit'ed(return_value)
    postreturn_value == this.ident

  • String getName()

    • Kind Annotation Text
    preinit'ed(this.name)
    postinit'ed(return_value)
    postreturn_value == this.name

  • String getNickname(int)

    • Kind Annotation Text
    prethis.nicknames != null
    postinit'ed(return_value)

  • List getNicknames()

    • Kind Annotation Text
    preinit'ed(this.nicknames)
    postinit'ed(return_value)
    postreturn_value == this.nicknames

  • String getRealname()

    • Kind Annotation Text
    preinit'ed(this.realname)
    postinit'ed(return_value)
    postreturn_value == this.realname

  • int hashCode()

    • Kind Annotation Text
    preinit'ed(this.ident)
    preinit'ed(this.name)
    preinit'ed(this.nicknames)
    preinit'ed(this.realname)
    presumptionjava.lang.String:hashCode(...)@364 in {-55_068_322..27_540_102}
    postinit'ed(return_value)

  • bool isModified()

    • Kind Annotation Text
    preinit'ed(this.modified)
    postinit'ed(return_value)
    postreturn_value == this.modified

  • void save()

    • Kind Annotation Text
    pre(soft) init'ed(this.ident)
    pre(soft) init'ed(this.name)
    pre(soft) init'ed(this.nicknames)
    pre(soft) init'ed(this.oldName)
    pre(soft) init'ed(this.realname)
    preinit'ed(this.modified)
    presumptioncom.dmdirc.config.Identity:getName(...)@288 != null
    presumptioncom.dmdirc.config.IdentityManager:getProfiles(... )@284 != null
    presumptionjava.util.Iterator:next(...)@287 != null
    postinit'ed(this.oldName)
    postthis.modified == 0
    postthis.oldName == One-of{old this.oldName, this.name}
    test_vectorjava.lang.String:equalsIgnoreCase(...)@288: {0}, {1}
    test_vectorjava.util.Iterator:hasNext(...)@287: {0}, {1}
    test_vectorthis.modified: {0}, {1}

  • void setIdent(String)

    • Kind Annotation Text
    preinit'ed(this.ident)
    postinit'ed(this.ident)
    postpossibly_updated(this.modified)
    postthis.ident == One-of{old this.ident, ident}
    test_vectorjava.lang.String:equals(...)@256: {1}, {0}
    test_vectorthis.ident: Addr_Set{null}, Inverse{null}

  • void setModified(bool)

    • Kind Annotation Text
    postinit'ed(this.modified)
    postthis.modified == modified

  • void setName(String)

    • Kind Annotation Text
    prethis.name != null
    postinit'ed(this.name)
    postpossibly_updated(this.modified)
    postthis.name == One-of{old this.name, name}
    postthis.oldName == One-of{old this.oldName, old this.name}
    test_vectorjava.lang.String:equals(...)@145: {1}, {0}

  • void setNicknames(List)

    • Kind Annotation Text
    prethis.nicknames != null
    postinit'ed(this.nicknames)
    postpossibly_updated(this.modified)
    postthis.nicknames == One-of{old this.nicknames, nicknames}
    test_vectorjava.lang.Object:equals(...)@167: {1}, {0}

  • void setRealname(String)

    • Kind Annotation Text
    prethis.realname != null
    postinit'ed(this.realname)
    postpossibly_updated(this.modified)
    postthis.realname == One-of{old this.realname, realname}
    test_vectorjava.lang.String:equals(...)@235: {1}, {0}

  • String toString()

    • Kind Annotation Text
    preinit'ed(this.ident)
    preinit'ed(this.modified)
    preinit'ed(this.name)
    preinit'ed(this.nicknames)
    preinit'ed(this.realname)
    postinit'ed(java.lang.StringBuilder:toString(...)._ tainted)
    postreturn_value == &java.lang.StringBuilder:toStri ng(...)