Messages

method

com.dmdirc.addons.ui_swing.dialogs.actioneditor. ActionConditionEditorPanel$1__static_init

method

com.dmdirc.addons.ui_swing.dialogs.actioneditor. ActionConditionEditorPanel__static_init

method	JTextField access$000(ActionConditionEditorPanel)
pre	x0 != null
pre	init'ed(x0.target)
post	return_value == x0.target
post	init'ed(return_value)

method	void com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionConditionEditorPanel(ActionCondi tion, ActionType)
pre	(soft) condition != null
post	this.arguments == &new JComboBox(initComponents #1)
post	this.comparisons == &new JComboBox(initComponen ts#5)
post	this.components == &new JComboBox(initComponent s#3)
post	this.condition == condition
post	this.condition != null
post	this.target == &new ActionConditionEditorPanel$ 1(initComponents#7)
post	this.trigger == trigger
post	init'ed(this.trigger)
post	new ActionConditionEditorPanel$1(initComponents#7) num objects == 1
post	new JComboBox(initComponents#1) num objects == 1
post	new JComboBox(initComponents#3) num objects == 1
post	new JComboBox(initComponents#5) num objects == 1
unanalyzed	call on javax.swing.DefaultComboBoxModel
unanalyzed	call on javax.swing.JComboBox
unanalyzed	call on javax.swing.JComboBox:putClientProperty
unanalyzed	call on javax.swing.JComboBox:setName
unanalyzed	call on javax.swing.JTextField
unanalyzed	call on javax.swing.DefaultListCellRenderer
unanalyzed	call on javax.swing.JComboBox:setRenderer
unanalyzed	call on javax.swing.JComboBox:setEnabled
unanalyzed	call on javax.swing.JTextField:setEnabled
unanalyzed	call on javax.swing.JComboBox:getModel
unanalyzed	call on javax.swing.DefaultComboBoxModel:removeAllE lements
unanalyzed	call on com.dmdirc.actions.interfaces. ActionType:getType
unanalyzed	call on com.dmdirc.actions.interfaces. ActionMetaType:getArgNames
unanalyzed	call on javax.swing.DefaultComboBoxModel:addElement
unanalyzed	call on com.dmdirc.actions.ActionCondition:getArg
unanalyzed	call on javax.swing.JComboBox:setSelectedIndex
unanalyzed	call on com.dmdirc.actions.interfaces. ActionMetaType:getArgTypes
unanalyzed	call on com.dmdirc.actions.ActionManager:getCompati bleComponents
unanalyzed	call on java.util.List:iterator
unanalyzed	call on com.dmdirc.actions.ActionCondition:getCompo nent
unanalyzed	call on javax.swing.JComboBox:setSelectedItem
unanalyzed	call on com.dmdirc.actions.interfaces. ActionComponent:getType
unanalyzed	call on com.dmdirc.actions.ActionManager:getCompati bleComparisons
unanalyzed	call on com.dmdirc.actions.ActionCondition:getCompa rison
unanalyzed	call on com.dmdirc.actions.ActionCondition:getTarge t
unanalyzed	call on javax.swing.JTextField:setText
unanalyzed	call on javax.swing.JComboBox:addActionListener
unanalyzed	call on javax.swing.JTextField:getDocument
unanalyzed	call on javax.swing.text.Document:addDocumentListen er
unanalyzed	call on javax.swing.JTextField:addPropertyChangeLis tener
unanalyzed	call on net.miginfocom.swing.MigLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionConditionEditorPanel:setLayout
unanalyzed	call on javax.swing.JLabel
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionConditionEditorPanel:add
unanalyzed	call on javax.swing.JComboBox:getSelectedIndex
unanalyzed	call on javax.swing.JPanel:setEnabled
test_vector	trigger: Inverse{null}, Addr_Set{null}

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionConditionEditorPanel:firePropert yChange(String, Object, Object)

method	void initComponents()
presumption	init'ed(java.lang.Boolean.TRUE)
post	this.arguments == &new JComboBox(initComponents #1)
post	this.comparisons == &new JComboBox(initComponen ts#5)
post	this.components == &new JComboBox(initComponent s#3)
post	this.target == &new ActionConditionEditorPanel$ 1(initComponents#7)
post	new ActionConditionEditorPanel$1(initComponents#7) num objects == 1
post	new JComboBox(initComponents#1) num objects == 1
post	new JComboBox(initComponents#3) num objects == 1
post	new JComboBox(initComponents#5) num objects == 1
unanalyzed	call on javax.swing.JTextField
unanalyzed	call on javax.swing.DefaultListCellRenderer

method

void com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionConditionEditorPanel$1(ActionCon ditionEditorPanel)

method	void setEnabled(bool)
pre	this.target != null

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionConditionEditorPanel$1:firePrope rtyChange(String, bool, bool)

method	void populateArguments()
pre	this.arguments != null
pre	this.condition != null
pre	this.trigger != null
presumption	arr$.length@142 <= 2³²-1
presumption	com.dmdirc.actions.interfaces.ActionMetaType:getArg Names(...)@142 != null
presumption	com.dmdirc.actions.interfaces.ActionType:getType(.. .)@142 != null
presumption	javax.swing.JComboBox:getModel(...)@140 != null
presumption	javax.swing.JComboBox:getModel(...)@143 != null

method not available - call not analyzed Info call on int com.dmdirc.actions.ActionCondition:getA rg()

method	void populateComponents()
pre	this.components != null
pre	this.condition != null
pre	(soft) this.trigger != null
presumption	com.dmdirc.actions.ActionCondition:getArg(...)@153 >= 0
presumption	com.dmdirc.actions.ActionCondition:getArg(...)@153 < com.dmdirc.actions.interfaces.ActionMetaType:get ArgTypes(...).length@153
presumption	com.dmdirc.actions.ActionManager:getCompatibleCompo nents(...)@153 != null
presumption	com.dmdirc.actions.interfaces.ActionMetaType:getArg Types(...).length@153 >= 1
presumption	com.dmdirc.actions.interfaces.ActionMetaType:getArg Types(...)@153 != null
presumption	com.dmdirc.actions.interfaces.ActionType:getType(.. .)@153 != null
presumption	javax.swing.JComboBox:getModel(...)@150 != null
presumption	javax.swing.JComboBox:getModel(...)@155 != null
test_vector	com.dmdirc.actions.ActionCondition:getArg(... )@152: {-1}, {-2³¹..-2, 0.. 2³²-1}
test_vector	java.util.Iterator:hasNext(...)@153: {0}, {1}

method not available - call not analyzed Info call on int com.dmdirc.actions.ActionCondition:getA rg()

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

method not available - call not analyzed Info call on Class[] com.dmdirc.actions.interfaces. ActionMetaType:getArgTypes()

method not available - call not analyzed Info call on int com.dmdirc.actions.ActionCondition:getA rg()

method not available - call not analyzed Info call on List com.dmdirc.actions.ActionManager:getCo mpatibleComponents(Class)

method not available - call not analyzed Info call on ActionComponent com.dmdirc.actions. ActionCondition:getComponent()

method	void populateComparisons()
pre	this.comparisons != null
pre	this.condition != null
presumption	com.dmdirc.actions.ActionCondition:getComponent(... )@166 != null
presumption	com.dmdirc.actions.ActionManager:getCompatibleCompa risons(...)@166 != null
presumption	javax.swing.JComboBox:getModel(...)@163 != null
presumption	javax.swing.JComboBox:getModel(...)@168 != null
test_vector	com.dmdirc.actions.ActionCondition:getComponent(... )@165: Addr_Set{null}, Inverse{null}
test_vector	java.util.Iterator:hasNext(...)@166: {0}, {1}

method not available - call not analyzed Info call on ActionComponent com.dmdirc.actions. ActionCondition:getComponent()

method not available - call not analyzed Info call on ActionComponent com.dmdirc.actions. ActionCondition:getComponent()

method not available - call not analyzed Info call on Class com.dmdirc.actions.interfaces. ActionComponent:getType()

method not available - call not analyzed Info call on List com.dmdirc.actions.ActionManager:getCo mpatibleComparisons(Class)

method not available - call not analyzed Info call on ActionComparison com.dmdirc.actions. ActionCondition:getComparison()

method	void populateTarget()
pre	this.condition != null
pre	this.target != null

method not available - call not analyzed Info call on String com.dmdirc.actions.ActionCondition:g etTarget()

method	void handleArgumentChange()
pre	this.arguments != null
pre	this.comparisons != null
pre	this.components != null
pre	this.condition != null
pre	this.target != null
pre	(soft) this.trigger != null
unanalyzed	call on javax.swing.JComboBox:getModel
unanalyzed	call on javax.swing.DefaultComboBoxModel:removeAllE lements
unanalyzed	call on com.dmdirc.actions.interfaces. ActionType:getType
unanalyzed	call on javax.swing.DefaultComboBoxModel:addElement
unanalyzed	call on com.dmdirc.actions.ActionCondition:getArg
unanalyzed	call on com.dmdirc.actions.interfaces. ActionMetaType:getArgTypes
unanalyzed	call on com.dmdirc.actions.ActionManager:getCompati bleComponents
unanalyzed	call on java.util.List:iterator
unanalyzed	call on com.dmdirc.actions.ActionCondition:getCompo nent
unanalyzed	call on javax.swing.JComboBox:setSelectedItem

method not available - call not analyzed Info call on void com.dmdirc.actions.ActionCondition:set Arg(int)

method	void handleComponentChange()
pre	this.comparisons != null
pre	this.components != null
pre	this.condition != null
pre	this.target != null
unanalyzed	call on javax.swing.JComboBox:getModel
unanalyzed	call on javax.swing.DefaultComboBoxModel:removeAllE lements
unanalyzed	call on javax.swing.DefaultComboBoxModel:addElement
unanalyzed	call on java.util.List:iterator
unanalyzed	call on com.dmdirc.actions.ActionCondition:getCompo nent
unanalyzed	call on javax.swing.JComboBox:setSelectedItem
unanalyzed	call on com.dmdirc.actions.interfaces. ActionComponent:getType
unanalyzed	call on com.dmdirc.actions.ActionManager:getCompati bleComparisons
unanalyzed	call on com.dmdirc.actions.ActionCondition:getCompa rison

method not available - call not analyzed Info call on void com.dmdirc.actions.ActionCondition:set Component(ActionComponent)

method	void handleComparisonChange()
pre	this.comparisons != null
pre	this.condition != null
pre	this.target != null
unanalyzed	call on com.dmdirc.actions.ActionCondition:getTarge t
unanalyzed	call on javax.swing.JTextField:setText

method not available - call not analyzed Info call on void com.dmdirc.actions.ActionCondition:set Comparison(ActionComparison)

method	void addListeners()
pre	this.arguments != null
pre	this.comparisons != null
pre	this.components != null
pre	this.target != null
presumption	javax.swing.JTextField:getDocument(...)@213 != null

method	void layoutComponents()
pre	init'ed(this.arguments)
pre	init'ed(this.comparisons)
pre	init'ed(this.components)
pre	init'ed(this.target)

method not available - call not analyzed Info call on void net.miginfocom.swing.MigLayout(String)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionConditionEditorPanel:setLayout(L ayoutManager)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionConditionEditorPanel:add(Compone nt, Object)

method	void actionPerformed(ActionEvent)
pre	e != null
pre	(soft) this.arguments != null
pre	(soft) this.comparisons != null
pre	(soft) this.components != null
pre	(soft) this.condition != null
pre	(soft) this.target != null
pre	(soft) this.trigger != null
unanalyzed	call on javax.swing.JComboBox:setEnabled
unanalyzed	call on javax.swing.JTextField:setEnabled
unanalyzed	call on javax.swing.JComboBox:getModel
unanalyzed	call on javax.swing.DefaultComboBoxModel:removeAllE lements
unanalyzed	call on com.dmdirc.actions.interfaces. ActionType:getType
unanalyzed	call on javax.swing.DefaultComboBoxModel:addElement
unanalyzed	call on com.dmdirc.actions.ActionCondition:getArg
unanalyzed	call on com.dmdirc.actions.interfaces. ActionMetaType:getArgTypes
unanalyzed	call on com.dmdirc.actions.ActionManager:getCompati bleComponents
unanalyzed	call on java.util.List:iterator
unanalyzed	call on com.dmdirc.actions.ActionCondition:getCompo nent
unanalyzed	call on javax.swing.JComboBox:setSelectedItem
unanalyzed	call on com.dmdirc.actions.interfaces. ActionComponent:getType
unanalyzed	call on com.dmdirc.actions.ActionManager:getCompati bleComparisons
unanalyzed	call on com.dmdirc.actions.ActionCondition:getCompa rison
unanalyzed	call on com.dmdirc.actions.ActionCondition:getTarge t
unanalyzed	call on javax.swing.JTextField:setText
unanalyzed	call on javax.swing.JComboBox:getSelectedIndex
unanalyzed	call on com.dmdirc.actions.ActionCondition:setArg
unanalyzed	call on javax.swing.JComboBox:getSelectedItem
unanalyzed	call on com.dmdirc.actions.ActionCondition:setCompo nent
unanalyzed	call on com.dmdirc.actions.ActionCondition:setCompa rison

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionConditionEditorPanel:firePropert yChange(String, Object, Object)

method	void insertUpdate(DocumentEvent)
pre	this.condition != null
pre	this.target != null

method not available - call not analyzed Info call on void com.dmdirc.actions.ActionCondition:set Target(String)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionConditionEditorPanel:firePropert yChange(String, Object, Object)

method	void removeUpdate(DocumentEvent)
pre	this.condition != null
pre	this.target != null

method not available - call not analyzed Info call on void com.dmdirc.actions.ActionCondition:set Target(String)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionConditionEditorPanel:firePropert yChange(String, Object, Object)

method

void changedUpdate(DocumentEvent)

method	void setEnabled(bool)
pre	this.arguments != null
pre	this.comparisons != null
pre	this.components != null
pre	this.target != null
test_vector	enabled: {0}, {1}

method	void setTrigger(ActionType)
pre	this.arguments != null
pre	this.comparisons != null
pre	this.components != null
pre	this.target != null
pre	(soft) this.condition != null
post	this.trigger == trigger
post	init'ed(this.trigger)
unanalyzed	call on javax.swing.JComboBox:setEnabled
unanalyzed	call on javax.swing.JTextField:setEnabled
unanalyzed	call on javax.swing.JComboBox:getModel
unanalyzed	call on javax.swing.DefaultComboBoxModel:removeAllE lements
unanalyzed	call on com.dmdirc.actions.interfaces. ActionType:getType
unanalyzed	call on com.dmdirc.actions.interfaces. ActionMetaType:getArgNames
unanalyzed	call on javax.swing.DefaultComboBoxModel:addElement
unanalyzed	call on com.dmdirc.actions.ActionCondition:getArg
unanalyzed	call on javax.swing.JComboBox:setSelectedIndex
unanalyzed	call on javax.swing.JComboBox:getSelectedIndex
unanalyzed	call on javax.swing.JPanel:setEnabled
test_vector	trigger: Addr_Set{null}, Inverse{null}
test_vector	java.lang.Object:equals(...)@297: {1}, {0}

method	void propertyChange(PropertyChangeEvent)
pre	evt != null

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionConditionEditorPanel:firePropert yChange(String, Object, Object)

method	bool checkError()
pre	this.target != null
post	init'ed(return_value)

	method not available - call not analyzed	Info	call on ActionMetaType com.dmdirc.actions. interfaces.ActionType:getType()
	method not available - call not analyzed	Info	call on String[] com.dmdirc.actions.interfaces. ActionMetaType:getArgNames()

method not available - call not analyzed	Info	call on ActionComponent com.dmdirc.actions. ActionCondition:getComponent()
method not available - call not analyzed	Info	call on Class com.dmdirc.actions.interfaces. ActionComponent:getType()
method not available - call not analyzed	Info	call on List com.dmdirc.actions.ActionManager:getCo mpatibleComparisons(Class)

	method not available - call not analyzed	Info	call on void net.miginfocom.swing.MigLayout(String)
	method not available - call not analyzed	Info	call on void com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionConditionEditorPanel:setLayout(L ayoutManager)