Messages

method

com.dmdirc.addons.ui_swing.dialogs.profiles. ProfileListModel__static_init

method	Object remove(int)
pre	this.profiles != null
post	init'ed(return_value)
unanalyzed	call on java.util.List:remove
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. profiles.ProfileListModel:fireIntervalRemoved

method	Object get(int)
pre	this.profiles != null
post	init'ed(return_value)
unanalyzed	call on java.util.List:get

method	Object getElementAt(int)
pre	this.profiles != null
post	init'ed(return_value)
unanalyzed	call on java.util.List:get

method	void com.dmdirc.addons.ui_swing.dialogs.profiles. ProfileListModel()
post	this.profiles == &new ArrayList(ProfileListMode l#1)
post	new ArrayList(ProfileListModel#1) num objects == 1
unanalyzed	call on javax.swing.DefaultListModel

method	void com.dmdirc.addons.ui_swing.dialogs.profiles. ProfileListModel(List)
post	this.profiles == profiles
post	init'ed(this.profiles)

method	int getSize()
pre	this.profiles != null
post	init'ed(return_value)

method	Profile getElementAt(int)
pre	this.profiles != null
post	init'ed(return_value)

method	Profile remove(int)
pre	this.profiles != null
post	init'ed(return_value)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. profiles.ProfileListModel:fireIntervalRemoved(Objec t, int, int)

method	bool remove(Profile)
pre	this.profiles != null
post	init'ed(return_value)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. profiles.ProfileListModel:fireIntervalRemoved(Objec t, int, int)

method	bool isEmpty()
pre	this.profiles != null
post	init'ed(return_value)

method	int indexOf(Profile)
pre	this.profiles != null
post	init'ed(return_value)

method	Profile get(int)
pre	this.profiles != null
post	init'ed(return_value)

method	List getProfiles()
post	return_value == &new ArrayList(getProfiles#1)
post	new ArrayList(getProfiles#1) num objects == 1

method	bool contains(Profile)
pre	this.profiles != null
post	init'ed(return_value)

method	bool contains(String)
pre	this.profiles != null
presumption	java.util.Iterator:next(...)@165 != null
presumption	profile.name@165 != null
post	init'ed(return_value)
test_vector	java.lang.String:equals(...)@166: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@165: {0}, {1}

method	void clear()
pre	this.profiles != null

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. profiles.ProfileListModel:fireIntervalRemoved(Objec t, int, int)

method	void add(int, Profile)
pre	this.profiles != null

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. profiles.ProfileListModel:fireIntervalAdded(Object, int, int)

method	bool add(Profile)
pre	this.profiles != null
post	init'ed(return_value)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. profiles.ProfileListModel:fireIntervalAdded(Object, int, int)

method	Iterator iterator()
pre	this.profiles != null
post	return_value != null

method	bool equals(Object)
pre	this.profiles != null
post	init'ed(return_value)

method	int hashCode()
pre	this.profiles != null
post	init'ed(return_value)

method	String toString()
pre	this.profiles != null
post	java.lang.Object:toString(...)._tainted == this.profiles._tainted
post	init'ed(java.lang.Object:toString(...)._tainted)
post	return_value == &java.lang.Object:toString(... )