ActionConditionEditorPanel.java

ActionConditionEditorPanel.java

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

Filter Options

Annotation Kind:

pre

presumption

post

unanalyzed

test_vector

JTextField access$000(ActionConditionEditorPanel)

Kind	Annotation Text
pre	init'ed(x0.target)
pre	x0 != null
post	init'ed(return_value)
post	return_value == x0.target

void actionPerformed(ActionEvent)

Kind	Annotation Text
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
pre	e != null
unanalyzed	call on com.dmdirc.actions.ActionCondition:getArg
unanalyzed	call on com.dmdirc.actions.ActionCondition:getCompa rison
unanalyzed	call on com.dmdirc.actions.ActionCondition:getCompo nent
unanalyzed	call on com.dmdirc.actions.ActionCondition:getTarge t
unanalyzed	call on com.dmdirc.actions.ActionCondition:setArg
unanalyzed	call on com.dmdirc.actions.ActionCondition:setCompa rison
unanalyzed	call on com.dmdirc.actions.ActionCondition:setCompo nent
unanalyzed	call on com.dmdirc.actions.ActionManager:getCompati bleComparisons
unanalyzed	call on com.dmdirc.actions.ActionManager:getCompati bleComponents
unanalyzed	call on com.dmdirc.actions.interfaces. ActionComponent:getType
unanalyzed	call on com.dmdirc.actions.interfaces. ActionMetaType:getArgTypes
unanalyzed	call on com.dmdirc.actions.interfaces. ActionType:getType
unanalyzed	call on java.util.List:iterator
unanalyzed	call on javax.swing.DefaultComboBoxModel:addElement
unanalyzed	call on javax.swing.DefaultComboBoxModel:removeAllE lements
unanalyzed	call on javax.swing.JComboBox:getModel
unanalyzed	call on javax.swing.JComboBox:getSelectedIndex
unanalyzed	call on javax.swing.JComboBox:getSelectedItem
unanalyzed	call on javax.swing.JComboBox:setEnabled
unanalyzed	call on javax.swing.JComboBox:setSelectedItem
unanalyzed	call on javax.swing.JTextField:setEnabled
unanalyzed	call on javax.swing.JTextField:setText

void addListeners()

Kind	Annotation Text
pre	this.arguments != null
pre	this.comparisons != null
pre	this.components != null
pre	this.target != null
presumption	javax.swing.JTextField:getDocument(...)@213 != null

void changedUpdate(DocumentEvent)

Kind	Annotation Text

bool checkError()

Kind	Annotation Text
pre	this.target != null
post	init'ed(return_value)

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

Kind	Annotation Text

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

Kind	Annotation Text

void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionEditorPanel(ActionCondition, ActionType)

Kind	Annotation Text
pre	(soft) condition != null
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
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 != null
post	this.condition == condition
post	this.target == &new ActionConditionEditorPanel$ 1(initComponents#7)
post	this.trigger == trigger
unanalyzed	call on com.dmdirc.actions.ActionCondition:getArg
unanalyzed	call on com.dmdirc.actions.ActionCondition:getCompa rison
unanalyzed	call on com.dmdirc.actions.ActionCondition:getCompo nent
unanalyzed	call on com.dmdirc.actions.ActionCondition:getTarge t
unanalyzed	call on com.dmdirc.actions.ActionManager:getCompati bleComparisons
unanalyzed	call on com.dmdirc.actions.ActionManager:getCompati bleComponents
unanalyzed	call on com.dmdirc.actions.interfaces. ActionComponent:getType
unanalyzed	call on com.dmdirc.actions.interfaces. ActionMetaType:getArgNames
unanalyzed	call on com.dmdirc.actions.interfaces. ActionMetaType:getArgTypes
unanalyzed	call on com.dmdirc.actions.interfaces. ActionType:getType
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionConditionEditorPanel:add
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionConditionEditorPanel:setLayout
unanalyzed	call on java.util.List:iterator
unanalyzed	call on javax.swing.DefaultComboBoxModel
unanalyzed	call on javax.swing.DefaultComboBoxModel:addElement
unanalyzed	call on javax.swing.DefaultComboBoxModel:removeAllE lements
unanalyzed	call on javax.swing.DefaultListCellRenderer
unanalyzed	call on javax.swing.JComboBox
unanalyzed	call on javax.swing.JComboBox:addActionListener
unanalyzed	call on javax.swing.JComboBox:getModel
unanalyzed	call on javax.swing.JComboBox:getSelectedIndex
unanalyzed	call on javax.swing.JComboBox:putClientProperty
unanalyzed	call on javax.swing.JComboBox:setEnabled
unanalyzed	call on javax.swing.JComboBox:setName
unanalyzed	call on javax.swing.JComboBox:setRenderer
unanalyzed	call on javax.swing.JComboBox:setSelectedIndex
unanalyzed	call on javax.swing.JComboBox:setSelectedItem
unanalyzed	call on javax.swing.JLabel
unanalyzed	call on javax.swing.JPanel:setEnabled
unanalyzed	call on javax.swing.JTextField
unanalyzed	call on javax.swing.JTextField:addPropertyChangeLis tener
unanalyzed	call on javax.swing.JTextField:getDocument
unanalyzed	call on javax.swing.JTextField:setEnabled
unanalyzed	call on javax.swing.JTextField:setText
unanalyzed	call on javax.swing.text.Document:addDocumentListen er
unanalyzed	call on net.miginfocom.swing.MigLayout
test_vector	trigger: Inverse{null}, Addr_Set{null}

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

Kind	Annotation Text

void handleArgumentChange()

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

void handleComparisonChange()

Kind	Annotation Text
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

void handleComponentChange()

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

void initComponents()

Kind	Annotation Text
presumption	init'ed(java.lang.Boolean.TRUE)
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
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)
unanalyzed	call on javax.swing.DefaultListCellRenderer
unanalyzed	call on javax.swing.JTextField

void insertUpdate(DocumentEvent)

Kind	Annotation Text
pre	this.condition != null
pre	this.target != null

void layoutComponents()

Kind	Annotation Text
pre	init'ed(this.arguments)
pre	init'ed(this.comparisons)
pre	init'ed(this.components)
pre	init'ed(this.target)

void populateArguments()

Kind	Annotation Text
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

void populateComparisons()

Kind	Annotation Text
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}

void populateComponents()

Kind	Annotation Text
pre	(soft) this.trigger != null
pre	this.components != null
pre	this.condition != null
presumption	com.dmdirc.actions.ActionCondition:getArg(...)@153 < com.dmdirc.actions.interfaces.ActionMetaType:get ArgTypes(...).length@153
presumption	com.dmdirc.actions.ActionCondition:getArg(...)@153 >= 0
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}

void populateTarget()

Kind	Annotation Text
pre	this.condition != null
pre	this.target != null

void propertyChange(PropertyChangeEvent)

Kind	Annotation Text
pre	evt != null

void removeUpdate(DocumentEvent)

Kind	Annotation Text
pre	this.condition != null
pre	this.target != null

void setEnabled(bool)

Kind	Annotation Text
pre	this.target != null

void setEnabled(bool)

Kind	Annotation Text
pre	this.arguments != null
pre	this.comparisons != null
pre	this.components != null
pre	this.target != null
test_vector	enabled: {0}, {1}

void setTrigger(ActionType)

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