ActionConditionDisplayPanel.java

ActionConditionDisplayPanel.java

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

Filter Options

Annotation Kind:

pre

presumption

post

unanalyzed

test_vector

void actionPerformed(ActionEvent)

Kind	Annotation Text
pre	(soft) this.editButton != null
pre	(soft) this.editPanel != null
pre	(soft) this.listeners != null
pre	e != null
pre	init'ed(this.deleteButton)
presumption	java.awt.event.ActionEvent:getSource(...)@155 != null
presumption	java.awt.event.ActionEvent:getSource(...)@157 != null
presumption	javax.swing.JToggleButton:getModel(...)@158 != null
unanalyzed	call on com.dmdirc.actions.interfaces. ActionMetaType:getArgNames
unanalyzed	call on com.dmdirc.actions.interfaces. ActionType:getType
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setEditable
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setEditorKit
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setHighlighter
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setMargin
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setOpaque
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setUI
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionConditionsListPanel:add
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionConditionsListPanel:fireProperty Change
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionConditionsListPanel:removeAll
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionConditionsListPanel:setVisible
unanalyzed	call on com.dmdirc.util.ListenerList:get
unanalyzed	call on conditionRemoved
unanalyzed	call on java.awt.Font:getFamily
unanalyzed	call on java.awt.Font:getSize
unanalyzed	call on java.awt.Insets
unanalyzed	call on java.beans.PropertyChangeEvent:getNewValue
unanalyzed	call on java.beans.PropertyChangeEvent:getSource
unanalyzed	call on java.lang.Boolean:booleanValue
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.Collection:iterator
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.util.List:remove
unanalyzed	call on java.util.Map:put
unanalyzed	call on java.util.Map:remove
unanalyzed	call on java.util.Map:values
unanalyzed	call on javax.swing.JLabel
unanalyzed	call on javax.swing.JTextPane
unanalyzed	call on javax.swing.JTextPane:getDocument
unanalyzed	call on javax.swing.JTextPane:setText
unanalyzed	call on javax.swing.UIManager:getFont
unanalyzed	call on javax.swing.plaf.basic.BasicTextPaneUI
unanalyzed	call on javax.swing.text.DefaultStyledDocument
unanalyzed	call on javax.swing.text.SimpleAttributeSet
unanalyzed	call on javax.swing.text.StyleConstants:setAlignmen t
unanalyzed	call on javax.swing.text.StyledDocument:setParagrap hAttributes
unanalyzed	call on javax.swing.text.html.HTMLDocument:getStyle Sheet
unanalyzed	call on javax.swing.text.html.HTMLEditorKit
unanalyzed	call on javax.swing.text.html.StyleSheet:addRule
test_vector	java.lang.Object:equals(...)@155: {0}, {1}
test_vector	java.lang.Object:equals(...)@157: {0}, {1}

void addConditionListener(ActionConditionRemovalListener)

Kind	Annotation Text
pre	(soft) this.listeners != null
test_vector	listener: Inverse{null}, Addr_Set{null}

void addListeners()

Kind	Annotation Text
pre	this.deleteButton != null
pre	this.editButton != null
pre	this.editPanel != null

bool checkError()

Kind	Annotation Text
pre	this.editPanel != null
pre	this.editPanel.target != null
post	init'ed(return_value)
unanalyzed	call on javax.swing.JTextField:isEnabled

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

Kind	Annotation Text
pre	condition != null
presumption	com.dmdirc.actions.ActionCondition:getTarget(... )@91 != null
post	init'ed(this.trigger)
post	new ActionCondition(ActionConditionDisplayPanel#1) num objects == 1
post	new ActionConditionEditorPanel$1(initComponents#7) num objects == 1
post	new ActionConditionEditorPanel(initComponents#4) num objects == 1
post	new ActionConditionEditorPanel(initComponents#4). arguments == &new JComboBox(initComponents#1)
post	new ActionConditionEditorPanel(initComponents#4). comparisons == &new JComboBox(initComponents#5)
post	new ActionConditionEditorPanel(initComponents#4). components == &new JComboBox(initComponents#3)
post	new ActionConditionEditorPanel(initComponents#4). condition == &new ActionCondition(ActionConditi onDisplayPanel#1)
post	new ActionConditionEditorPanel(initComponents#4). target == &new ActionConditionEditorPanel$1(ini tComponents#7)
post	new ActionConditionEditorPanel(initComponents#4). trigger == this.trigger
post	new ImageButton(initComponents#3) num objects == 1
post	new ImageToggleButton(initComponents#2) 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	new ListenerList(initComponents#5) num objects == 1
post	new SimpleAttributeSet(TextLabel#6) num objects == 1
post	new TextLabel(initComponents#1) num objects == 1
post	new TextLabel(initComponents#1).sas == &new SimpleAttributeSet(TextLabel#6)
post	this.condition == &new ActionCondition(ActionCo nditionDisplayPanel#1)
post	this.deleteButton == &new ImageButton(initCompo nents#3)
post	this.editButton == &new ImageToggleButton(initC omponents#2)
post	this.editPanel == &new ActionConditionEditorPan el(initComponents#4)
post	this.label == &new TextLabel(initComponents#1)
post	this.listeners == &new ListenerList(initCompone nts#5)
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.components. ImageButton
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ImageButton:addActionListener
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ImageToggleButton
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setEditable
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setEditorKit
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setHighlighter
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setMargin
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setOpaque
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setUI
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionConditionDisplayPanel:add
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionConditionDisplayPanel:setLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionConditionEditorPanel:add
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionConditionEditorPanel:addProperty ChangeListener
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionConditionEditorPanel:firePropert yChange
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionConditionEditorPanel:setLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionConditionEditorPanel:setVisible
unanalyzed	call on com.dmdirc.ui.IconManager:getIcon
unanalyzed	call on com.dmdirc.ui.IconManager:getIconManager
unanalyzed	call on com.dmdirc.util.ListenerList
unanalyzed	call on java.awt.Font:getFamily
unanalyzed	call on java.awt.Font:getSize
unanalyzed	call on java.awt.Insets
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on java.lang.String:length
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
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.JTextPane
unanalyzed	call on javax.swing.JTextPane:getDocument
unanalyzed	call on javax.swing.JTextPane:setText
unanalyzed	call on javax.swing.JToggleButton:addActionListener
unanalyzed	call on javax.swing.JToggleButton:setSelected
unanalyzed	call on javax.swing.UIManager:getFont
unanalyzed	call on javax.swing.plaf.basic.BasicTextPaneUI
unanalyzed	call on javax.swing.text.DefaultStyledDocument
unanalyzed	call on javax.swing.text.Document:addDocumentListen er
unanalyzed	call on javax.swing.text.SimpleAttributeSet
unanalyzed	call on javax.swing.text.StyleConstants:setAlignmen t
unanalyzed	call on javax.swing.text.StyledDocument:setParagrap hAttributes
unanalyzed	call on javax.swing.text.html.HTMLDocument:getStyle Sheet
unanalyzed	call on javax.swing.text.html.HTMLEditorKit
unanalyzed	call on javax.swing.text.html.StyleSheet:addRule
unanalyzed	call on net.miginfocom.swing.MigLayout
test_vector	com.dmdirc.actions.ActionCondition:getArg(...)@91: {-2³¹..-2, 0..2³²-1}, {-1}
test_vector	com.dmdirc.actions.ActionCondition:getComparison(.. .)@91: Inverse{null}, Addr_Set{null}
test_vector	com.dmdirc.actions.ActionCondition:getComponent(... )@91: Inverse{null}, Addr_Set{null}
test_vector	java.lang.String:isEmpty(...)@91: {0}, {1}

com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionDisplayPanel__static_init

Kind	Annotation Text

void fireConditionRemoved(ActionConditionDisplayPanel)

Kind	Annotation Text
pre	this.listeners != null
presumption	com.dmdirc.util.ListenerList:get(...)@190 != null
presumption	java.util.Iterator:next(...)@190 != null
presumption	listener.conditions@190 != null
presumption	listener.validations@190 != null
unanalyzed	call on com.dmdirc.actions.interfaces. ActionMetaType:getArgNames
unanalyzed	call on com.dmdirc.actions.interfaces. ActionType:getType
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setEditable
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setEditorKit
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setHighlighter
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setMargin
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setOpaque
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setUI
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionConditionsListPanel:add
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionConditionsListPanel:fireProperty Change
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionConditionsListPanel:removeAll
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionConditionsListPanel:setVisible
unanalyzed	call on java.awt.Font:getFamily
unanalyzed	call on java.awt.Font:getSize
unanalyzed	call on java.awt.Insets
unanalyzed	call on java.beans.PropertyChangeEvent:getNewValue
unanalyzed	call on java.beans.PropertyChangeEvent:getSource
unanalyzed	call on java.lang.Boolean:booleanValue
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.Collection:iterator
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.util.List:remove
unanalyzed	call on java.util.Map:put
unanalyzed	call on java.util.Map:remove
unanalyzed	call on java.util.Map:values
unanalyzed	call on javax.swing.JLabel
unanalyzed	call on javax.swing.JTextPane
unanalyzed	call on javax.swing.JTextPane:getDocument
unanalyzed	call on javax.swing.JTextPane:setText
unanalyzed	call on javax.swing.UIManager:getFont
unanalyzed	call on javax.swing.plaf.basic.BasicTextPaneUI
unanalyzed	call on javax.swing.text.DefaultStyledDocument
unanalyzed	call on javax.swing.text.SimpleAttributeSet
unanalyzed	call on javax.swing.text.StyleConstants:setAlignmen t
unanalyzed	call on javax.swing.text.StyledDocument:setParagrap hAttributes
unanalyzed	call on javax.swing.text.html.HTMLDocument:getStyle Sheet
unanalyzed	call on javax.swing.text.html.HTMLEditorKit
unanalyzed	call on javax.swing.text.html.StyleSheet:addRule
test_vector	java.util.Iterator:hasNext(...)@190: {0}, {1}

ActionCondition getCondition()

Kind	Annotation Text
pre	init'ed(this.condition)
post	init'ed(return_value)
post	return_value == this.condition

void initComponents()

Kind	Annotation Text
pre	(soft) this.condition != null
pre	init'ed(this.trigger)
presumption	com.dmdirc.ui.IconManager:getIconManager(...)@116 != null
presumption	com.dmdirc.ui.IconManager:getIconManager(...)@119 != null
post	init'ed(this.editPanel.trigger)
post	new ActionConditionEditorPanel$1(initComponents#7) num objects == 1
post	new ActionConditionEditorPanel(initComponents#4) num objects == 1
post	new ImageButton(initComponents#3) num objects == 1
post	new ImageToggleButton(initComponents#2) 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	new ListenerList(initComponents#5) num objects == 1
post	new SimpleAttributeSet(TextLabel#6) num objects == 1
post	new TextLabel(initComponents#1) num objects == 1
post	this.deleteButton == &new ImageButton(initCompo nents#3)
post	this.editButton == &new ImageToggleButton(initC omponents#2)
post	this.editPanel == &new ActionConditionEditorPan el(initComponents#4)
post	this.editPanel.arguments == &new JComboBox(initComponents#1)
post	this.editPanel.comparisons == &new JComboBox(initComponents#5)
post	this.editPanel.components == &new JComboBox(initComponents#3)
post	this.editPanel.condition != null
post	this.editPanel.condition == this.condition
post	this.editPanel.target == &new ActionConditionEd itorPanel$1(initComponents#7)
post	this.editPanel.trigger == this.trigger
post	this.label == &new TextLabel(initComponents#1)
post	this.label.sas == &new SimpleAttributeSet(TextL abel#6)
post	this.listeners == &new ListenerList(initCompone nts#5)
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.components.text. TextLabel:setEditable
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setEditorKit
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setHighlighter
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setMargin
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setOpaque
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setUI
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionConditionEditorPanel:add
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionConditionEditorPanel:firePropert yChange
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionConditionEditorPanel:setLayout
unanalyzed	call on java.awt.Font:getFamily
unanalyzed	call on java.awt.Font:getSize
unanalyzed	call on java.awt.Insets
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on java.lang.String:length
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
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.JTextPane
unanalyzed	call on javax.swing.JTextPane:getDocument
unanalyzed	call on javax.swing.JTextPane:setText
unanalyzed	call on javax.swing.UIManager:getFont
unanalyzed	call on javax.swing.plaf.basic.BasicTextPaneUI
unanalyzed	call on javax.swing.text.DefaultStyledDocument
unanalyzed	call on javax.swing.text.Document:addDocumentListen er
unanalyzed	call on javax.swing.text.SimpleAttributeSet
unanalyzed	call on javax.swing.text.StyleConstants:setAlignmen t
unanalyzed	call on javax.swing.text.StyledDocument:setParagrap hAttributes
unanalyzed	call on javax.swing.text.html.HTMLDocument:getStyle Sheet
unanalyzed	call on javax.swing.text.html.HTMLEditorKit
unanalyzed	call on javax.swing.text.html.StyleSheet:addRule
unanalyzed	call on net.miginfocom.swing.MigLayout

void layoutComponents()

Kind	Annotation Text
pre	init'ed(this.deleteButton)
pre	init'ed(this.editButton)
pre	init'ed(this.editPanel)
pre	init'ed(this.label)

void propertyChange(PropertyChangeEvent)

Kind	Annotation Text
pre	(soft) init'ed(this.label.sas)
pre	(soft) init'ed(this.trigger)
pre	(soft) this.condition != null
pre	(soft) this.label != null
pre	evt != 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.interfaces. ActionComparison:getName
unanalyzed	call on com.dmdirc.actions.interfaces. ActionComponent:getName
unanalyzed	call on com.dmdirc.actions.interfaces. ActionMetaType:getArgNames
unanalyzed	call on com.dmdirc.actions.interfaces. ActionType:getType
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on java.lang.String:length
unanalyzed	call on javax.swing.JTextPane:getDocument
unanalyzed	call on javax.swing.JTextPane:setText
unanalyzed	call on javax.swing.text.StyledDocument:setParagrap hAttributes
test_vector	java.lang.String:equals(...)@258: {0}, {1}

void removeConditionListener(ActionConditionRemovalListener)

Kind	Annotation Text
pre	this.listeners != null

void setEnabled(bool)

Kind	Annotation Text
pre	this.deleteButton != null
pre	this.editButton != null
pre	this.editPanel != null
pre	this.editPanel.arguments != null
pre	this.editPanel.comparisons != null
pre	this.editPanel.components != null
pre	this.editPanel.target != null
unanalyzed	call on javax.swing.JComboBox:getSelectedIndex
unanalyzed	call on javax.swing.JComboBox:setEnabled
unanalyzed	call on javax.swing.JPanel:setEnabled
unanalyzed	call on javax.swing.JTextField:setEnabled

void setTrigger(ActionType)

Kind	Annotation Text
pre	(soft) init'ed(this.label.sas)
pre	(soft) this.condition != null
pre	(soft) this.editPanel.condition != null
pre	this.editButton != null
pre	this.editPanel != null
pre	this.editPanel.arguments != null
pre	this.editPanel.comparisons != null
pre	this.editPanel.components != null
pre	this.editPanel.target != null
pre	this.label != null
post	init'ed(this.editPanel.trigger)
post	this.editPanel.trigger == trigger
post	this.trigger == this.editPanel.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.interfaces. ActionComparison:getName
unanalyzed	call on com.dmdirc.actions.interfaces. ActionComponent:getName
unanalyzed	call on com.dmdirc.actions.interfaces. ActionMetaType:getArgNames
unanalyzed	call on com.dmdirc.actions.interfaces. ActionType:getType
unanalyzed	call on java.lang.Object:equals
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on java.lang.String:length
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
unanalyzed	call on javax.swing.JTextPane:getDocument
unanalyzed	call on javax.swing.JTextPane:setText
unanalyzed	call on javax.swing.text.StyledDocument:setParagrap hAttributes

String updateSentence()

Kind	Annotation Text
pre	(soft) this.condition != null
pre	init'ed(this.trigger)
presumption	com.dmdirc.actions.ActionCondition:getArg(...)@215 < com.dmdirc.actions.interfaces.ActionMetaType:get ArgNames(...).length@215
presumption	com.dmdirc.actions.ActionCondition:getArg(...)@215 >= 0
presumption	com.dmdirc.actions.ActionCondition:getComparison(.. .)@229 != null
presumption	com.dmdirc.actions.ActionCondition:getComponent(... )@222 != null
presumption	com.dmdirc.actions.interfaces.ActionMetaType:getArg Names(...).length@215 >= 1
presumption	com.dmdirc.actions.interfaces.ActionMetaType:getArg Names(...)@215 != null
presumption	com.dmdirc.actions.interfaces.ActionType:getType(.. .)@215 != null
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	return_value in Addr_Set{&java.lang. StringBuilder:toString(...),&java.lang. StringBuilder:toString(...),&java.lang. StringBuilder:toString(...),&java.lang. StringBuilder:toString(...),&java.lang. StringBuilder:toString(...),&"....
test_vector	com.dmdirc.actions.ActionCondition:getArg(... )@214: {-1}, {-2³¹..-2, 0.. 2³²-1}
test_vector	com.dmdirc.actions.ActionCondition:getComparison(.. .)@228: Addr_Set{null}, Inverse{null}
test_vector	com.dmdirc.actions.ActionCondition:getComponent(... )@221: Addr_Set{null}, Inverse{null}
test_vector	com.dmdirc.actions.ActionCondition:getTarget(... )@235: Addr_Set{null}, Inverse{null}
test_vector	this.trigger: Inverse{null}, Addr_Set{null}