Messages

method

com.dmdirc.addons.ui_swing.dialogs.actioneditor. ActionTypeModel__static_init

method	void com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionTypeModel(FontMetrics, MapList)
pre	typeGroups != null
presumption	com.dmdirc.util.MapList:entrySet(...)@65 != null
presumption	java.util.Iterator:next(...)@65 != null
presumption	java.util.Map_Entry:getValue(...)@68 != null
post	this.fm == fm
post	init'ed(this.fm)
post	init'ed(this.maxWidth)
unanalyzed	call on javax.swing.DefaultComboBoxModel:addElement
unanalyzed	call on java.lang.String:instanceof
unanalyzed	call on javax.swing.SwingUtilities:computeStringWid th
unanalyzed	call on com.dmdirc.actions.interfaces. ActionType:instanceof
unanalyzed	call on com.dmdirc.actions.interfaces. ActionType:getName
unanalyzed	call on java.lang.Math:max
test_vector	java.util.Iterator:hasNext(...)@65: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@71: {0}, {1}

method not available - call not analyzed Info call on Set com.dmdirc.util.MapList:entrySet()

method not available - call not analyzed Info call on void com.dmdirc.actions.ActionTypeComparato r()

method not available - call not analyzed Info call on String com.dmdirc.actions.interfaces. ActionType:getName()

method

void setSelectedItem(Object)

method	void setTypeGroup(MapList)
pre	typeGroup != null
pre	(soft) init'ed(this.maxWidth)
pre	(soft) init'ed(this.fm)
presumption	com.dmdirc.util.MapList:entrySet(...)@110 != null
presumption	java.util.Iterator:next(...)@110 != null
presumption	java.util.Map_Entry:getValue(...)@113 != null
post	init'ed(this.maxWidth)
unanalyzed	call on javax.swing.DefaultComboBoxModel:addElement
unanalyzed	call on java.lang.String:instanceof
unanalyzed	call on javax.swing.SwingUtilities:computeStringWid th
unanalyzed	call on com.dmdirc.actions.interfaces. ActionType:instanceof
unanalyzed	call on com.dmdirc.actions.interfaces. ActionType:getName
unanalyzed	call on java.lang.Math:max
test_vector	java.util.Iterator:hasNext(...)@110: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@116: {0}, {1}

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionTypeModel:removeAllElements()

method not available - call not analyzed Info call on Set com.dmdirc.util.MapList:entrySet()

method not available - call not analyzed Info call on void com.dmdirc.actions.ActionTypeComparato r()