Messages

Last Msg First Msg

method

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

method	void com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionConditionsListPanel(ActionCondit ionsTreePanel)
post	this.conditions == &new ArrayList(ActionConditi onsListPanel#2)
post	this.treePanel == treePanel
post	init'ed(this.treePanel)
post	this.trigger == null
post	this.validates == 1
post	new ArrayList(ActionConditionsListPanel#2) num objects == 1
post	new HashMap(ActionConditionsListPanel#1) num objects == 1
post	this.validations == &new HashMap(ActionConditio nsListPanel#1)
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionConditionsListPanel:setVisible
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionConditionsListPanel:removeAll
unanalyzed	call on javax.swing.JTextPane:getDocument
unanalyzed	call on javax.swing.JTextPane:setText
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on java.lang.String:length
unanalyzed	call on javax.swing.text.StyledDocument:setParagrap hAttributes
unanalyzed	call on javax.swing.text.DefaultStyledDocument
unanalyzed	call on javax.swing.JTextPane
unanalyzed	call on javax.swing.text.html.HTMLEditorKit
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setEditorKit
unanalyzed	call on javax.swing.plaf.basic.BasicTextPaneUI
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setUI
unanalyzed	call on javax.swing.UIManager:getFont
unanalyzed	call on javax.swing.text.html.HTMLDocument:getStyle Sheet
unanalyzed	call on java.awt.Font:getFamily
unanalyzed	call on java.awt.Font:getSize
unanalyzed	call on javax.swing.text.html.StyleSheet:addRule
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setOpaque
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setEditable
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setHighlighter
unanalyzed	call on java.awt.Insets
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setMargin
unanalyzed	call on javax.swing.text.SimpleAttributeSet
unanalyzed	call on javax.swing.text.StyleConstants:setAlignmen t
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionConditionsListPanel:add
unanalyzed	call on com.dmdirc.actions.interfaces. ActionType:getType
unanalyzed	call on com.dmdirc.actions.interfaces. ActionMetaType:getArgNames
unanalyzed	call on java.util.List:iterator
unanalyzed	call on javax.swing.JLabel
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on addConditionListener
unanalyzed	call on setEnabled
unanalyzed	call on net.miginfocom.swing.MigLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionConditionsListPanel:setLayout
unanalyzed	call on javax.swing.JPanel
unanalyzed	call on java.util.HashMap
unanalyzed	call on java.util.ArrayList
unanalyzed	call on com.dmdirc.util.ListenerList:add
unanalyzed	call on javax.swing.JComboBox:setEnabled
unanalyzed	call on javax.swing.JTextField:setEnabled
unanalyzed	call on javax.swing.JComboBox:getSelectedIndex
unanalyzed	call on javax.swing.JPanel:setEnabled
unanalyzed	call on javax.swing.JToggleButton:setEnabled
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ImageButton:setEnabled

method	void com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionConditionsListPanel(ActionType, ActionConditionsTreePanel)
post	this.conditions == &new ArrayList(ActionConditi onsListPanel#2)
post	this.treePanel == treePanel
post	init'ed(this.treePanel)
post	this.trigger == trigger
post	init'ed(this.trigger)
post	this.validates == 1
post	new ArrayList(ActionConditionsListPanel#2) num objects == 1
post	new HashMap(ActionConditionsListPanel#1) num objects == 1
post	this.validations == &new HashMap(ActionConditio nsListPanel#1)
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionConditionsListPanel:setVisible
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionConditionsListPanel:removeAll
unanalyzed	call on javax.swing.JTextPane:getDocument
unanalyzed	call on javax.swing.JTextPane:setText
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on java.lang.String:length
unanalyzed	call on javax.swing.text.StyledDocument:setParagrap hAttributes
unanalyzed	call on javax.swing.text.DefaultStyledDocument
unanalyzed	call on javax.swing.JTextPane
unanalyzed	call on javax.swing.text.html.HTMLEditorKit
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setEditorKit
unanalyzed	call on javax.swing.plaf.basic.BasicTextPaneUI
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setUI
unanalyzed	call on javax.swing.UIManager:getFont
unanalyzed	call on javax.swing.text.html.HTMLDocument:getStyle Sheet
unanalyzed	call on java.awt.Font:getFamily
unanalyzed	call on java.awt.Font:getSize
unanalyzed	call on javax.swing.text.html.StyleSheet:addRule
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setOpaque
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setEditable
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setHighlighter
unanalyzed	call on java.awt.Insets
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setMargin
unanalyzed	call on javax.swing.text.SimpleAttributeSet
unanalyzed	call on javax.swing.text.StyleConstants:setAlignmen t
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionConditionsListPanel:add
unanalyzed	call on com.dmdirc.actions.interfaces. ActionType:getType
unanalyzed	call on com.dmdirc.actions.interfaces. ActionMetaType:getArgNames
unanalyzed	call on java.util.List:iterator
unanalyzed	call on javax.swing.JLabel
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on addConditionListener
unanalyzed	call on setEnabled
unanalyzed	call on net.miginfocom.swing.MigLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionConditionsListPanel:setLayout
unanalyzed	call on javax.swing.JPanel
unanalyzed	call on java.util.HashMap
unanalyzed	call on java.util.ArrayList
unanalyzed	call on com.dmdirc.util.ListenerList:add
unanalyzed	call on javax.swing.JComboBox:setEnabled
unanalyzed	call on javax.swing.JTextField:setEnabled
unanalyzed	call on javax.swing.JComboBox:getSelectedIndex
unanalyzed	call on javax.swing.JPanel:setEnabled
unanalyzed	call on javax.swing.JToggleButton:setEnabled
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ImageButton:setEnabled

method	void com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionConditionsListPanel(ActionType, List, ActionConditionsTreePanel)
post	this.conditions == &new ArrayList(ActionConditi onsListPanel#2)
post	this.treePanel == treePanel
post	init'ed(this.treePanel)
post	this.trigger == trigger
post	init'ed(this.trigger)
post	this.validates == 1
post	new ArrayList(ActionConditionsListPanel#2) num objects == 1
post	new HashMap(ActionConditionsListPanel#1) num objects == 1
post	this.validations == &new HashMap(ActionConditio nsListPanel#1)
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionConditionsListPanel:setVisible
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionConditionsListPanel:removeAll
unanalyzed	call on javax.swing.JTextPane:getDocument
unanalyzed	call on javax.swing.JTextPane:setText
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on java.lang.String:length
unanalyzed	call on javax.swing.text.StyledDocument:setParagrap hAttributes
unanalyzed	call on javax.swing.text.DefaultStyledDocument
unanalyzed	call on javax.swing.JTextPane
unanalyzed	call on javax.swing.text.html.HTMLEditorKit
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setEditorKit
unanalyzed	call on javax.swing.plaf.basic.BasicTextPaneUI
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setUI
unanalyzed	call on javax.swing.UIManager:getFont
unanalyzed	call on javax.swing.text.html.HTMLDocument:getStyle Sheet
unanalyzed	call on java.awt.Font:getFamily
unanalyzed	call on java.awt.Font:getSize
unanalyzed	call on javax.swing.text.html.StyleSheet:addRule
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setOpaque
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setEditable
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setHighlighter
unanalyzed	call on java.awt.Insets
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setMargin
unanalyzed	call on javax.swing.text.SimpleAttributeSet
unanalyzed	call on javax.swing.text.StyleConstants:setAlignmen t
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionConditionsListPanel:add
unanalyzed	call on com.dmdirc.actions.interfaces. ActionType:getType
unanalyzed	call on com.dmdirc.actions.interfaces. ActionMetaType:getArgNames
unanalyzed	call on java.util.List:iterator
unanalyzed	call on javax.swing.JLabel
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on addConditionListener
unanalyzed	call on setEnabled
unanalyzed	call on net.miginfocom.swing.MigLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionConditionsListPanel:setLayout
unanalyzed	call on com.dmdirc.util.ListenerList:add
unanalyzed	call on javax.swing.JComboBox:setEnabled
unanalyzed	call on javax.swing.JTextField:setEnabled
unanalyzed	call on javax.swing.JComboBox:getSelectedIndex
unanalyzed	call on javax.swing.JPanel:setEnabled
unanalyzed	call on javax.swing.JToggleButton:setEnabled
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ImageButton:setEnabled

method	void initComponents()
pre	init'ed(this.trigger)
pre	(soft) this.conditions != null
unanalyzed	call on java.util.List:iterator
unanalyzed	call on setEnabled
unanalyzed	call on javax.swing.JComboBox:setEnabled
unanalyzed	call on javax.swing.JTextField:setEnabled
unanalyzed	call on javax.swing.JComboBox:getSelectedIndex
unanalyzed	call on javax.swing.JPanel:setEnabled
unanalyzed	call on javax.swing.JToggleButton:setEnabled
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ImageButton:setEnabled
test_vector	this.trigger: Inverse{null}, Addr_Set{null}

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.ActionConditionsListPanel:setLayout(La youtManager)

method	void addListeners()
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}

method	void layoutComponents()
pre	init'ed(this.trigger)
pre	(soft) this.conditions != null
presumption	com.dmdirc.actions.interfaces.ActionMetaType:getArg Names(...)@131 != null
presumption	com.dmdirc.actions.interfaces.ActionType:getType(.. .)@131 != null
unanalyzed	call on javax.swing.JTextPane:getDocument
unanalyzed	call on javax.swing.JTextPane:setText
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on java.lang.String:length
unanalyzed	call on javax.swing.text.StyledDocument:setParagrap hAttributes
unanalyzed	call on javax.swing.text.DefaultStyledDocument
unanalyzed	call on javax.swing.JTextPane
unanalyzed	call on javax.swing.text.html.HTMLEditorKit
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setEditorKit
unanalyzed	call on javax.swing.plaf.basic.BasicTextPaneUI
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setUI
unanalyzed	call on javax.swing.UIManager:getFont
unanalyzed	call on javax.swing.text.html.HTMLDocument:getStyle Sheet
unanalyzed	call on java.awt.Font:getFamily
unanalyzed	call on java.awt.Font:getSize
unanalyzed	call on javax.swing.text.html.StyleSheet:addRule
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setOpaque
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setEditable
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setHighlighter
unanalyzed	call on java.awt.Insets
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setMargin
unanalyzed	call on javax.swing.text.SimpleAttributeSet
unanalyzed	call on javax.swing.text.StyleConstants:setAlignmen t
test_vector	this.trigger: Inverse{null}, Addr_Set{null}
test_vector	com.dmdirc.actions.interfaces.ActionMetaType:getArg Names(...).length@131: {1..+Inf}, {0}
test_vector	java.util.Iterator:hasNext(...)@136: {1}, {0}

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionConditionsListPanel:setVisible(b ool)

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

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionConditionsListPanel:add(Componen t, Object)

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 void com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionConditionsListPanel:add(Componen t, Object)

Prev Msg Next Msg

overflow

click for all messages in this file Low Prob.

check that index in {-2³¹-1.. 2³²-2}

Prev Msg Next Msg

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionConditionsListPanel:add(Componen t, Object)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionConditionsListPanel:setVisible(b ool)

method	void addCondition(ActionCondition)
pre	condition != null
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	init'ed(this.trigger)
pre	this.validations != null
pre	(soft) this.treePanel.rule.validator != null
post	init'ed(this.treePanel.conditionCount)
post	init'ed(this.validates)
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionConditionsListPanel:setVisible
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionConditionsListPanel:removeAll
unanalyzed	call on javax.swing.JTextPane:getDocument
unanalyzed	call on javax.swing.JTextPane:setText
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on java.lang.String:length
unanalyzed	call on javax.swing.text.StyledDocument:setParagrap hAttributes
unanalyzed	call on javax.swing.text.DefaultStyledDocument
unanalyzed	call on javax.swing.JTextPane
unanalyzed	call on javax.swing.text.html.HTMLEditorKit
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setEditorKit
unanalyzed	call on javax.swing.plaf.basic.BasicTextPaneUI
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setUI
unanalyzed	call on javax.swing.UIManager:getFont
unanalyzed	call on javax.swing.text.html.HTMLDocument:getStyle Sheet
unanalyzed	call on java.awt.Font:getFamily
unanalyzed	call on java.awt.Font:getSize
unanalyzed	call on javax.swing.text.html.StyleSheet:addRule
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setOpaque
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setEditable
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setHighlighter
unanalyzed	call on java.awt.Insets
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setMargin
unanalyzed	call on javax.swing.text.SimpleAttributeSet
unanalyzed	call on javax.swing.text.StyleConstants:setAlignmen t
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionConditionsListPanel:add
unanalyzed	call on com.dmdirc.actions.interfaces. ActionType:getType
unanalyzed	call on com.dmdirc.actions.interfaces. ActionMetaType:getArgNames
unanalyzed	call on java.util.List:iterator
unanalyzed	call on javax.swing.JLabel
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.beans.PropertyChangeEvent:getSource
unanalyzed	call on java.beans.PropertyChangeEvent:getNewValue
unanalyzed	call on java.util.Map:put
unanalyzed	call on java.util.Map:values
unanalyzed	call on java.util.Collection:iterator
unanalyzed	call on java.lang.Boolean:booleanValue
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionConditionsListPanel:fireProperty Change
unanalyzed	call on javax.swing.JTextField:isEnabled
unanalyzed	call on javax.swing.JTextField:getText
unanalyzed	call on com.dmdirc.config.prefs.validator. Validator:validate
unanalyzed	call on com.dmdirc.config.prefs.validator. ValidationResponse:getFailureReason
unanalyzed	call on javax.swing.JLabel:setToolTipText
unanalyzed	call on javax.swing.JLabel:isVisible
unanalyzed	call on com.dmdirc.config.prefs.validator. ValidationResponse:isFailure
unanalyzed	call on com.dmdirc.addons.ui_swing.components. validating.ValidatingJTextField:firePropertyChange
unanalyzed	call on javax.swing.JLabel:setVisible
unanalyzed	call on com.dmdirc.config.prefs.validator. ConditionRuleValidator:setArgs
unanalyzed	call on com.dmdirc.util.ListenerList:add
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 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
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionConditionEditorPanel:setVisible
unanalyzed	call on javax.swing.JToggleButton:setSelected
unanalyzed	call on com.dmdirc.actions.ActionCondition:getCompo nent
unanalyzed	call on com.dmdirc.actions.ActionCondition:getCompa rison
unanalyzed	call on com.dmdirc.actions.ActionCondition:getTarge t
unanalyzed	call on com.dmdirc.ui.IconManager:getIconManager
unanalyzed	call on com.dmdirc.ui.IconManager:getIcon
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ImageToggleButton
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ImageButton
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 com.dmdirc.actions.interfaces. ActionMetaType:getArgTypes
unanalyzed	call on com.dmdirc.actions.ActionManager:getCompati bleComponents
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 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 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 javax.swing.JPanel
unanalyzed	call on com.dmdirc.util.ListenerList
unanalyzed	call on javax.swing.JToggleButton:addActionListener
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ImageButton:addActionListener
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionConditionEditorPanel:addProperty ChangeListener
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionConditionDisplayPanel:setLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionConditionDisplayPanel:add
unanalyzed	call on com.dmdirc.actions.ActionCondition
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionConditionDisplayPanel:validate

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionConditionDisplayPanel:addPropert yChangeListener(String, PropertyChangeListener)

method	void delCondition(ActionCondition)
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	(soft) init'ed(this.validates)
pre	(soft) this.treePanel.rule.validator != null
pre	(soft) init'ed(this.trigger)
pre	(soft) this.validations != 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.addons.ui_swing.dialogs. actioneditor.ActionConditionsListPanel:setVisible
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionConditionsListPanel:removeAll
unanalyzed	call on javax.swing.JTextPane:getDocument
unanalyzed	call on javax.swing.JTextPane:setText
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on java.lang.String:length
unanalyzed	call on javax.swing.text.StyledDocument:setParagrap hAttributes
unanalyzed	call on javax.swing.text.DefaultStyledDocument
unanalyzed	call on javax.swing.JTextPane
unanalyzed	call on javax.swing.text.html.HTMLEditorKit
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setEditorKit
unanalyzed	call on javax.swing.plaf.basic.BasicTextPaneUI
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setUI
unanalyzed	call on javax.swing.UIManager:getFont
unanalyzed	call on javax.swing.text.html.HTMLDocument:getStyle Sheet
unanalyzed	call on java.awt.Font:getFamily
unanalyzed	call on java.awt.Font:getSize
unanalyzed	call on javax.swing.text.html.StyleSheet:addRule
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setOpaque
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setEditable
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setHighlighter
unanalyzed	call on java.awt.Insets
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setMargin
unanalyzed	call on javax.swing.text.SimpleAttributeSet
unanalyzed	call on javax.swing.text.StyleConstants:setAlignmen t
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionConditionsListPanel:add
unanalyzed	call on com.dmdirc.actions.interfaces. ActionType:getType
unanalyzed	call on com.dmdirc.actions.interfaces. ActionMetaType:getArgNames
unanalyzed	call on java.util.List:iterator
unanalyzed	call on javax.swing.JLabel
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.beans.PropertyChangeEvent:getSource
unanalyzed	call on java.beans.PropertyChangeEvent:getNewValue
unanalyzed	call on java.util.Map:put
unanalyzed	call on java.util.Map:values
unanalyzed	call on java.util.Collection:iterator
unanalyzed	call on java.lang.Boolean:booleanValue
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionConditionsListPanel:fireProperty Change
unanalyzed	call on javax.swing.JTextField:isEnabled
unanalyzed	call on javax.swing.JTextField:getText
unanalyzed	call on com.dmdirc.config.prefs.validator. Validator:validate
unanalyzed	call on com.dmdirc.config.prefs.validator. ValidationResponse:getFailureReason
unanalyzed	call on javax.swing.JLabel:setToolTipText
unanalyzed	call on javax.swing.JLabel:isVisible
unanalyzed	call on com.dmdirc.config.prefs.validator. ValidationResponse:isFailure
unanalyzed	call on com.dmdirc.addons.ui_swing.components. validating.ValidatingJTextField:firePropertyChange
unanalyzed	call on javax.swing.JLabel:setVisible
unanalyzed	call on com.dmdirc.config.prefs.validator. ConditionRuleValidator:setArgs
unanalyzed	call on java.util.List:remove
unanalyzed	call on java.util.Map:remove
test_vector	com.dmdirc.actions.ActionCondition:equals(... )@180: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@179: {1}, {0}

method not available - call not analyzed Info call on bool com.dmdirc.actions.ActionCondition:equ als(Object)

method	void clearConditions()
pre	this.conditions != null
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) init'ed(this.trigger)
pre	(soft) this.validations != null
presumption	java.util.Iterator:next(...)@198 != null
post	possibly_updated(this.treePanel.conditionCount)
post	init'ed(this.validates)
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionConditionsListPanel:setVisible
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionConditionsListPanel:removeAll
unanalyzed	call on javax.swing.JTextPane:getDocument
unanalyzed	call on javax.swing.JTextPane:setText
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on java.lang.String:length
unanalyzed	call on javax.swing.text.StyledDocument:setParagrap hAttributes
unanalyzed	call on javax.swing.text.DefaultStyledDocument
unanalyzed	call on javax.swing.JTextPane
unanalyzed	call on javax.swing.text.html.HTMLEditorKit
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setEditorKit
unanalyzed	call on javax.swing.plaf.basic.BasicTextPaneUI
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setUI
unanalyzed	call on javax.swing.UIManager:getFont
unanalyzed	call on javax.swing.text.html.HTMLDocument:getStyle Sheet
unanalyzed	call on java.awt.Font:getFamily
unanalyzed	call on java.awt.Font:getSize
unanalyzed	call on javax.swing.text.html.StyleSheet:addRule
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setOpaque
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setEditable
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setHighlighter
unanalyzed	call on java.awt.Insets
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setMargin
unanalyzed	call on javax.swing.text.SimpleAttributeSet
unanalyzed	call on javax.swing.text.StyleConstants:setAlignmen t
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionConditionsListPanel:add
unanalyzed	call on com.dmdirc.actions.interfaces. ActionType:getType
unanalyzed	call on com.dmdirc.actions.interfaces. ActionMetaType:getArgNames
unanalyzed	call on java.util.List:iterator
unanalyzed	call on javax.swing.JLabel
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.beans.PropertyChangeEvent:getSource
unanalyzed	call on java.beans.PropertyChangeEvent:getNewValue
unanalyzed	call on java.util.Map:put
unanalyzed	call on java.util.Map:values
unanalyzed	call on java.util.Collection:iterator
unanalyzed	call on java.lang.Boolean:booleanValue
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionConditionsListPanel:fireProperty Change
unanalyzed	call on getCondition
unanalyzed	call on com.dmdirc.actions.ActionCondition:equals
unanalyzed	call on java.util.List:size
unanalyzed	call on javax.swing.JTextField:isEnabled
unanalyzed	call on javax.swing.JTextField:getText
unanalyzed	call on com.dmdirc.config.prefs.validator. Validator:validate
unanalyzed	call on com.dmdirc.config.prefs.validator. ValidationResponse:getFailureReason
unanalyzed	call on javax.swing.JLabel:setToolTipText
unanalyzed	call on javax.swing.JLabel:isVisible
unanalyzed	call on com.dmdirc.config.prefs.validator. ValidationResponse:isFailure
unanalyzed	call on com.dmdirc.addons.ui_swing.components. validating.ValidatingJTextField:firePropertyChange
unanalyzed	call on javax.swing.JLabel:setVisible
unanalyzed	call on com.dmdirc.config.prefs.validator. ConditionRuleValidator:setArgs
unanalyzed	call on conditionRemoved
unanalyzed	call on java.util.List:remove
unanalyzed	call on java.util.Map:remove
test_vector	java.util.Iterator:hasNext(...)@198: {0}, {1}

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

method	void setTrigger(ActionType)
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	this.trigger == trigger
post	init'ed(this.trigger)
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionConditionsListPanel:setVisible
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionConditionsListPanel:removeAll
unanalyzed	call on javax.swing.JTextPane:getDocument
unanalyzed	call on javax.swing.JTextPane:setText
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on java.lang.String:length
unanalyzed	call on javax.swing.text.StyledDocument:setParagrap hAttributes
unanalyzed	call on javax.swing.text.DefaultStyledDocument
unanalyzed	call on javax.swing.JTextPane
unanalyzed	call on javax.swing.text.html.HTMLEditorKit
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setEditorKit
unanalyzed	call on javax.swing.plaf.basic.BasicTextPaneUI
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setUI
unanalyzed	call on javax.swing.UIManager:getFont
unanalyzed	call on javax.swing.text.html.HTMLDocument:getStyle Sheet
unanalyzed	call on java.awt.Font:getFamily
unanalyzed	call on java.awt.Font:getSize
unanalyzed	call on javax.swing.text.html.StyleSheet:addRule
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setOpaque
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setEditable
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setHighlighter
unanalyzed	call on java.awt.Insets
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setMargin
unanalyzed	call on javax.swing.text.SimpleAttributeSet
unanalyzed	call on javax.swing.text.StyleConstants:setAlignmen t
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionConditionsListPanel:add
unanalyzed	call on com.dmdirc.actions.interfaces. ActionType:getType
unanalyzed	call on com.dmdirc.actions.interfaces. ActionMetaType:getArgNames
unanalyzed	call on java.util.List:iterator
unanalyzed	call on javax.swing.JLabel
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on setEnabled
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 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
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionConditionEditorPanel:setVisible
unanalyzed	call on javax.swing.JToggleButton:setSelected
unanalyzed	call on com.dmdirc.actions.ActionCondition:getCompo nent
unanalyzed	call on com.dmdirc.actions.ActionCondition:getCompa rison
unanalyzed	call on com.dmdirc.actions.ActionCondition:getTarge t
unanalyzed	call on com.dmdirc.actions.interfaces. ActionComponent:getName
unanalyzed	call on com.dmdirc.actions.interfaces. ActionComparison:getName
unanalyzed	call on java.lang.Object:equals
unanalyzed	call on javax.swing.JToggleButton:setEnabled
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ImageButton:setEnabled
test_vector	this.trigger: Inverse{null}, Addr_Set{null}
test_vector	java.util.Iterator:hasNext(...)@231: {0}, {1}

method	void conditionRemoved(ActionConditionDisplayPanel)
pre	init'ed(this.validates)
pre	this.conditions != null
pre	init'ed(this.trigger)
pre	this.validations != null
post	init'ed(this.validates)
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionConditionsListPanel:setVisible
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionConditionsListPanel:removeAll
unanalyzed	call on javax.swing.JTextPane:getDocument
unanalyzed	call on javax.swing.JTextPane:setText
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on java.lang.String:length
unanalyzed	call on javax.swing.text.StyledDocument:setParagrap hAttributes
unanalyzed	call on javax.swing.text.DefaultStyledDocument
unanalyzed	call on javax.swing.JTextPane
unanalyzed	call on javax.swing.text.html.HTMLEditorKit
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setEditorKit
unanalyzed	call on javax.swing.plaf.basic.BasicTextPaneUI
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setUI
unanalyzed	call on javax.swing.UIManager:getFont
unanalyzed	call on javax.swing.text.html.HTMLDocument:getStyle Sheet
unanalyzed	call on java.awt.Font:getFamily
unanalyzed	call on java.awt.Font:getSize
unanalyzed	call on javax.swing.text.html.StyleSheet:addRule
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setOpaque
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setEditable
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setHighlighter
unanalyzed	call on java.awt.Insets
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setMargin
unanalyzed	call on javax.swing.text.SimpleAttributeSet
unanalyzed	call on javax.swing.text.StyleConstants:setAlignmen t
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionConditionsListPanel:add
unanalyzed	call on com.dmdirc.actions.interfaces. ActionType:getType
unanalyzed	call on com.dmdirc.actions.interfaces. ActionMetaType:getArgNames
unanalyzed	call on java.util.List:iterator
unanalyzed	call on javax.swing.JLabel
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.beans.PropertyChangeEvent:getSource
unanalyzed	call on java.beans.PropertyChangeEvent:getNewValue
unanalyzed	call on java.util.Map:put
unanalyzed	call on java.util.Map:values
unanalyzed	call on java.util.Collection:iterator
unanalyzed	call on java.lang.Boolean:booleanValue
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionConditionsListPanel:fireProperty Change

method	void setEnabled(bool)
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 javax.swing.JComboBox:setEnabled
unanalyzed	call on javax.swing.JTextField:setEnabled
unanalyzed	call on javax.swing.JComboBox:getSelectedIndex
unanalyzed	call on javax.swing.JPanel:setEnabled
unanalyzed	call on javax.swing.JToggleButton:setEnabled
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ImageButton:setEnabled
test_vector	java.util.Iterator:hasNext(...)@253: {0}, {1}

method	void propertyChange(PropertyChangeEvent)
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}

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionConditionsListPanel:fireProperty Change(String, bool, bool)

	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.ActionConditionsListPanel:setLayout(La youtManager)

	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()