Messages

Last Msg First Msg

method

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

method	void com.dmdirc.addons.ui_swing.dialogs.profiles. Profile()
post	this.ident == &""
post	this.name == &""
post	this.oldName == &""
post	this.realname == &""
post	this.modified == 1
post	init'ed(this.nicknames)
unanalyzed	call on java.util.Arrays:asList

method	void com.dmdirc.addons.ui_swing.dialogs.profiles. Profile(String)
post	this.ident == &""
post	this.realname == &""
post	this.modified == 1
post	this.name == name
post	init'ed(this.name)
post	this.oldName == this.name
post	init'ed(this.nicknames)
unanalyzed	call on java.util.Arrays:asList

method	void com.dmdirc.addons.ui_swing.dialogs.profiles. Profile(String, String)
post	this.ident == &""
post	this.realname == &""
post	this.modified == 1
post	this.name == name
post	init'ed(this.name)
post	this.oldName == this.name
post	init'ed(this.nicknames)
unanalyzed	call on java.util.Arrays:asList

method	void com.dmdirc.addons.ui_swing.dialogs.profiles. Profile(String, String, String)
post	this.ident == &""
post	this.modified == 1
post	this.name == name
post	init'ed(this.name)
post	this.oldName == this.name
post	init'ed(this.nicknames)
post	this.realname == realname
post	init'ed(this.realname)
unanalyzed	call on java.util.Arrays:asList

method	void com.dmdirc.addons.ui_swing.dialogs.profiles. Profile(String, String, String, String)
post	this.ident == ident
post	init'ed(this.ident)
post	this.modified == 1
post	this.name == name
post	init'ed(this.name)
post	this.oldName == this.name
post	init'ed(this.nicknames)
post	this.realname == realname
post	init'ed(this.realname)

method	void com.dmdirc.addons.ui_swing.dialogs.profiles. Profile(String, List, String, String)
post	this.ident == ident
post	init'ed(this.ident)
post	this.modified == 1
post	this.name == name
post	init'ed(this.name)
post	this.oldName == this.name
post	this.nicknames == nicknames
post	init'ed(this.nicknames)
post	this.realname == realname
post	init'ed(this.realname)

method	void com.dmdirc.addons.ui_swing.dialogs.profiles. Profile(String, List, String, String, bool)
post	this.ident == ident
post	init'ed(this.ident)
post	this.modified == modified
post	init'ed(this.modified)
post	this.name == name
post	init'ed(this.name)
post	this.oldName == this.name
post	this.nicknames == nicknames
post	init'ed(this.nicknames)
post	this.realname == realname
post	init'ed(this.realname)

method	void setName(String)
pre	this.name != null
post	possibly_updated(this.modified)
post	this.name == One-of{old this.name, name}
post	init'ed(this.name)
post	this.oldName == One-of{old this.oldName, old this.name}
test_vector	java.lang.String:equals(...)@145: {1}, {0}

method	void setNicknames(List)
pre	this.nicknames != null
post	possibly_updated(this.modified)
post	this.nicknames == One-of{old this.nicknames, nicknames}
post	init'ed(this.nicknames)
test_vector	java.lang.Object:equals(...)@167: {1}, {0}

method	void addNickname(String)
pre	this.nicknames != null
post	possibly_updated(this.modified)
test_vector	java.util.List:contains(...)@179: {1}, {0}

method	void addNickname(String, int)
pre	this.nicknames != null
post	possibly_updated(this.modified)
test_vector	java.util.List:contains(...)@192: {1}, {0}

method	void delNickname(String)
pre	this.nicknames != null
post	possibly_updated(this.modified)
test_vector	java.util.List:remove(...)@204: {0}, {1}

method	void setRealname(String)
pre	this.realname != null
post	possibly_updated(this.modified)
post	this.realname == One-of{old this.realname, realname}
post	init'ed(this.realname)
test_vector	java.lang.String:equals(...)@235: {1}, {0}

method	void setIdent(String)
pre	init'ed(this.ident)
post	this.ident == One-of{old this.ident, ident}
post	init'ed(this.ident)
post	possibly_updated(this.modified)
test_vector	this.ident: Addr_Set{null}, Inverse{null}
test_vector	java.lang.String:equals(...)@256: {1}, {0}

method	void save()
pre	init'ed(this.modified)
pre	(soft) init'ed(this.oldName)
pre	(soft) init'ed(this.ident)
pre	(soft) init'ed(this.name)
pre	(soft) init'ed(this.nicknames)
pre	(soft) init'ed(this.realname)
presumption	com.dmdirc.config.Identity:getName(...)@288 != null
presumption	com.dmdirc.config.IdentityManager:getProfiles(... )@284 != null
presumption	java.util.Iterator:next(...)@287 != null
post	this.modified == 0
post	this.oldName == One-of{old this.oldName, this.name}
post	init'ed(this.oldName)
test_vector	this.modified: {0}, {1}
test_vector	java.lang.String:equalsIgnoreCase(...)@288: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@287: {0}, {1}

Prev Msg Next Msg

unused assignment

click for all messages in this file Low Prob.

Unused assignment into profileString

Prev Msg Next Msg

method not available - call not analyzed Info call on List com.dmdirc.config.IdentityManager:getP rofiles()

method not available - call not analyzed Info call on String com.dmdirc.config.Identity:getName()

method not available - call not analyzed Info call on Identity com.dmdirc.config.Identity:buildPr ofile(String)

method not available - call not analyzed Info call on void com.dmdirc.config.Identity:setOption(S tring, String, String)

method not available - call not analyzed Info call on void com.dmdirc.config.Identity:setOption(S tring, String, List)

method not available - call not analyzed Info call on void com.dmdirc.config.Identity:setOption(S tring, String, String)

method	void delete()
pre	(soft) init'ed(this.name)
presumption	com.dmdirc.config.Identity:getName(...)@317 != null
presumption	com.dmdirc.config.IdentityManager:getProfiles(... )@313 != null
presumption	java.util.Iterator:next(...)@316 != null
test_vector	java.lang.String:equals(...)@317: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@316: {0}, {1}

method not available - call not analyzed Info call on List com.dmdirc.config.IdentityManager:getP rofiles()

method not available - call not analyzed Info call on String com.dmdirc.config.Identity:getName()

method not available - call not analyzed Info call on void com.dmdirc.config.Identity:delete()

method	bool equals(Object)
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
post	init'ed(return_value)
test_vector	obj: Inverse{null}, Addr_Set{null}
test_vector	obj.ident: Addr_Set{null}, Inverse{null}
test_vector	this.ident: Inverse{null}, Addr_Set{null}
test_vector	java.lang.Object:equals(...)@344: {1}, {0}
test_vector	java.lang.String:equals(...)@341: {1}, {0}
test_vector	java.lang.String:equals(...)@347: {1}, {0}
test_vector	java.lang.String:equals(...)@353: {1}, {0}

method

Object clone()

method	String toString()
pre	init'ed(this.ident)
pre	init'ed(this.modified)
pre	init'ed(this.name)
pre	init'ed(this.nicknames)
pre	init'ed(this.realname)
post	init'ed(java.lang.StringBuilder:toString(...)._ tainted)
post	return_value == &java.lang.StringBuilder:toStri ng(...)