ActionConditionsListPanel.java

ActionConditionsListPanel.java

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

Filter Options

Annotation Kind:

pre

presumption

post

unanalyzed

test_vector

void addCondition(ActionCondition)

Kind	Annotation Text
pre	(soft) this.treePanel.rule.validator != null
pre	condition != null
pre	init'ed(this.trigger)
pre	init'ed(this.validates)
pre	this.conditions != null
pre	this.treePanel != null
pre	this.treePanel.rule != null
pre	this.treePanel.rule.errorIcon != null
pre	this.treePanel.rule.textField != null
pre	this.treePanel.treeValidator != null
pre	this.validations != null
post	init'ed(this.treePanel.conditionCount)
post	init'ed(this.validates)
unanalyzed	call on com.dmdirc.actions.ActionCondition
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.components. validating.ValidatingJTextField:firePropertyChange
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.ActionConditionDisplayPanel:validate
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.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.config.prefs.validator. ConditionRuleValidator:setArgs
unanalyzed	call on com.dmdirc.config.prefs.validator. ValidationResponse:getFailureReason
unanalyzed	call on com.dmdirc.config.prefs.validator. ValidationResponse:isFailure
unanalyzed	call on com.dmdirc.config.prefs.validator. Validator:validate
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 com.dmdirc.util.ListenerList:add
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.Map:put
unanalyzed	call on java.util.Map:values
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.JLabel:isVisible
unanalyzed	call on javax.swing.JLabel:setToolTipText
unanalyzed	call on javax.swing.JLabel:setVisible
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:getText
unanalyzed	call on javax.swing.JTextField:isEnabled
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

void addListeners()

Kind	Annotation Text
pre	this.conditions != null
presumption	condition.listeners@118 != null
presumption	java.util.Iterator:next(...)@118 != null
unanalyzed	call on com.dmdirc.util.ListenerList:add
test_vector	java.util.Iterator:hasNext(...)@118: {0}, {1}

void clearConditions()

Kind	Annotation Text
pre	(soft) init'ed(this.trigger)
pre	(soft) init'ed(this.validates)
pre	(soft) this.treePanel != null
pre	(soft) this.treePanel.rule != null
pre	(soft) this.treePanel.rule.errorIcon != null
pre	(soft) this.treePanel.rule.textField != null
pre	(soft) this.treePanel.rule.validator != null
pre	(soft) this.treePanel.treeValidator != null
pre	(soft) this.validations != null
pre	this.conditions != null
presumption	java.util.Iterator:next(...)@198 != null
post	init'ed(this.validates)
post	possibly_updated(this.treePanel.conditionCount)
unanalyzed	call on com.dmdirc.actions.ActionCondition:equals
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.components. validating.ValidatingJTextField:firePropertyChange
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.config.prefs.validator. ConditionRuleValidator:setArgs
unanalyzed	call on com.dmdirc.config.prefs.validator. ValidationResponse:getFailureReason
unanalyzed	call on com.dmdirc.config.prefs.validator. ValidationResponse:isFailure
unanalyzed	call on com.dmdirc.config.prefs.validator. Validator:validate
unanalyzed	call on conditionRemoved
unanalyzed	call on getCondition
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.List:size
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.JLabel:isVisible
unanalyzed	call on javax.swing.JLabel:setToolTipText
unanalyzed	call on javax.swing.JLabel:setVisible
unanalyzed	call on javax.swing.JTextField:getText
unanalyzed	call on javax.swing.JTextField:isEnabled
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(...)@198: {0}, {1}

void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, ActionConditionsTreePanel)

Kind	Annotation Text
post	init'ed(this.treePanel)
post	init'ed(this.trigger)
post	new ArrayList(ActionConditionsListPanel#2) num objects == 1
post	new HashMap(ActionConditionsListPanel#1) num objects == 1
post	this.conditions == &new ArrayList(ActionConditi onsListPanel#2)
post	this.treePanel == treePanel
post	this.trigger == trigger
post	this.validates == 1
post	this.validations == &new HashMap(ActionConditio nsListPanel#1)
unanalyzed	call on addConditionListener
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. ImageButton:setEnabled
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:removeAll
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionConditionsListPanel:setLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionConditionsListPanel:setVisible
unanalyzed	call on com.dmdirc.util.ListenerList:add
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.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.HashMap
unanalyzed	call on java.util.List:iterator
unanalyzed	call on javax.swing.JComboBox:getSelectedIndex
unanalyzed	call on javax.swing.JComboBox:setEnabled
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:setEnabled
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:setEnabled
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
unanalyzed	call on net.miginfocom.swing.MigLayout
unanalyzed	call on setEnabled

void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, List, ActionConditionsTreePanel)

Kind	Annotation Text
post	init'ed(this.treePanel)
post	init'ed(this.trigger)
post	new ArrayList(ActionConditionsListPanel#2) num objects == 1
post	new HashMap(ActionConditionsListPanel#1) num objects == 1
post	this.conditions == &new ArrayList(ActionConditi onsListPanel#2)
post	this.treePanel == treePanel
post	this.trigger == trigger
post	this.validates == 1
post	this.validations == &new HashMap(ActionConditio nsListPanel#1)
unanalyzed	call on addConditionListener
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. ImageButton:setEnabled
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:removeAll
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionConditionsListPanel:setLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionConditionsListPanel:setVisible
unanalyzed	call on com.dmdirc.util.ListenerList:add
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.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.List:iterator
unanalyzed	call on javax.swing.JComboBox:getSelectedIndex
unanalyzed	call on javax.swing.JComboBox:setEnabled
unanalyzed	call on javax.swing.JLabel
unanalyzed	call on javax.swing.JPanel:setEnabled
unanalyzed	call on javax.swing.JTextField:setEnabled
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:setEnabled
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
unanalyzed	call on net.miginfocom.swing.MigLayout
unanalyzed	call on setEnabled

void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionConditionsTreePanel)

Kind	Annotation Text
post	init'ed(this.treePanel)
post	new ArrayList(ActionConditionsListPanel#2) num objects == 1
post	new HashMap(ActionConditionsListPanel#1) num objects == 1
post	this.conditions == &new ArrayList(ActionConditi onsListPanel#2)
post	this.treePanel == treePanel
post	this.trigger == null
post	this.validates == 1
post	this.validations == &new HashMap(ActionConditio nsListPanel#1)
unanalyzed	call on addConditionListener
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. ImageButton:setEnabled
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:removeAll
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionConditionsListPanel:setLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionConditionsListPanel:setVisible
unanalyzed	call on com.dmdirc.util.ListenerList:add
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.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.HashMap
unanalyzed	call on java.util.List:iterator
unanalyzed	call on javax.swing.JComboBox:getSelectedIndex
unanalyzed	call on javax.swing.JComboBox:setEnabled
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:setEnabled
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:setEnabled
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
unanalyzed	call on net.miginfocom.swing.MigLayout
unanalyzed	call on setEnabled

com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel__static_init

Kind	Annotation Text

void conditionRemoved(ActionConditionDisplayPanel)

Kind	Annotation Text
pre	init'ed(this.trigger)
pre	init'ed(this.validates)
pre	this.conditions != null
pre	this.validations != null
post	init'ed(this.validates)
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.Map:put
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

void delCondition(ActionCondition)

Kind	Annotation Text
pre	(soft) init'ed(this.trigger)
pre	(soft) init'ed(this.validates)
pre	(soft) this.treePanel.rule.validator != null
pre	(soft) this.validations != null
pre	this.conditions != null
pre	this.treePanel != null
pre	this.treePanel.rule != null
pre	this.treePanel.rule.errorIcon != null
pre	this.treePanel.rule.textField != null
pre	this.treePanel.treeValidator != null
presumption	java.util.Iterator:next(...)@179 != null
presumption	localCondition.condition@179 != null
post	init'ed(this.treePanel.conditionCount)
post	init'ed(this.validates)
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.components. validating.ValidatingJTextField:firePropertyChange
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.config.prefs.validator. ConditionRuleValidator:setArgs
unanalyzed	call on com.dmdirc.config.prefs.validator. ValidationResponse:getFailureReason
unanalyzed	call on com.dmdirc.config.prefs.validator. ValidationResponse:isFailure
unanalyzed	call on com.dmdirc.config.prefs.validator. Validator:validate
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.JLabel:isVisible
unanalyzed	call on javax.swing.JLabel:setToolTipText
unanalyzed	call on javax.swing.JLabel:setVisible
unanalyzed	call on javax.swing.JTextField:getText
unanalyzed	call on javax.swing.JTextField:isEnabled
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	com.dmdirc.actions.ActionCondition:equals(... )@180: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@179: {1}, {0}

List getConditions()

Kind	Annotation Text
pre	this.conditions != null
presumption	java.util.Iterator:next(...)@213 != null
post	new ArrayList(getConditions#1) num objects == 1
post	return_value == &new ArrayList(getConditions#1)
test_vector	java.util.Iterator:hasNext(...)@213: {1}, {0}

void initComponents()

Kind	Annotation Text
pre	(soft) this.conditions != null
pre	init'ed(this.trigger)
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ImageButton:setEnabled
unanalyzed	call on java.util.List:iterator
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
unanalyzed	call on javax.swing.JToggleButton:setEnabled
unanalyzed	call on setEnabled
test_vector	this.trigger: Inverse{null}, Addr_Set{null}

void layoutComponents()

Kind	Annotation Text
pre	(soft) this.conditions != null
pre	init'ed(this.trigger)
presumption	com.dmdirc.actions.interfaces.ActionMetaType:getArg Names(...)@131 != null
presumption	com.dmdirc.actions.interfaces.ActionType:getType(.. .)@131 != null
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 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 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	com.dmdirc.actions.interfaces.ActionMetaType:getArg Names(...).length@131: {1..+Inf}, {0}
test_vector	java.util.Iterator:hasNext(...)@136: {1}, {0}
test_vector	this.trigger: Inverse{null}, Addr_Set{null}

void propertyChange(PropertyChangeEvent)

Kind	Annotation Text
pre	init'ed(this.validates)
pre	this.validations != null
presumption	java.util.Iterator:next(...)@267 != null
presumption	java.util.Map:values(...)@267 != null
post	init'ed(this.validates)
test_vector	evt: Addr_Set{null}, Inverse{null}
test_vector	java.lang.Boolean:booleanValue(...)@267: {1}, {0}
test_vector	java.util.Iterator:hasNext(...)@267: {0}, {1}

void setEnabled(bool)

Kind	Annotation Text
pre	this.conditions != null
presumption	condition.deleteButton@253 != null
presumption	condition.editButton@253 != null
presumption	condition.editPanel.arguments@253 != null
presumption	condition.editPanel.comparisons@253 != null
presumption	condition.editPanel.components@253 != null
presumption	condition.editPanel.target@253 != null
presumption	condition.editPanel@253 != null
presumption	java.util.Iterator:next(...)@253 != null
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ImageButton:setEnabled
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
unanalyzed	call on javax.swing.JToggleButton:setEnabled
test_vector	java.util.Iterator:hasNext(...)@253: {0}, {1}

void setTrigger(ActionType)

Kind	Annotation Text
pre	init'ed(this.trigger)
pre	this.conditions != null
presumption	java.util.Iterator:next(...)@231 != null
presumption	panel.condition@231 != null
presumption	panel.editButton@231 != null
presumption	panel.editPanel.arguments@231 != null
presumption	panel.editPanel.comparisons@231 != null
presumption	panel.editPanel.components@231 != null
presumption	panel.editPanel.condition@231 != null
presumption	panel.editPanel.target@231 != null
presumption	panel.editPanel@231 != null
presumption	panel.label@231 != null
post	init'ed(this.trigger)
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.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 com.dmdirc.addons.ui_swing.components. ImageButton:setEnabled
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:setVisible
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionConditionsListPanel:add
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.lang.Object:equals
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.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:setEnabled
unanalyzed	call on javax.swing.JComboBox:setSelectedIndex
unanalyzed	call on javax.swing.JLabel
unanalyzed	call on javax.swing.JPanel:setEnabled
unanalyzed	call on javax.swing.JTextField:setEnabled
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:setEnabled
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.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 setEnabled
test_vector	java.util.Iterator:hasNext(...)@231: {0}, {1}
test_vector	this.trigger: Inverse{null}, Addr_Set{null}