Messages

method

com.dmdirc.addons.ui_swing.dialogs.actioneditor. ActionConditionsPanel__static_init

method	void com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionConditionsPanel()
presumption	this.list != null
presumption	this.tree != null
post	init'ed(this.add)
post	this.list != null
post	this.listValidates == 1
post	this.treeValidates == 1
post	this.tree != null
post	this.trigger == 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
unanalyzed	call on javax.swing.JButton:addActionListener
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionConditionsTreePanel:addPropertyC hangeListener
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionConditionsListPanel:addPropertyC hangeListener
unanalyzed	call on net.miginfocom.swing.MigLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionConditionsPanel:setLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionConditionsPanel:getBorder
unanalyzed	call on javax.swing.BorderFactory:createTitledBorde r
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionConditionsPanel:setBorder
unanalyzed	call on javax.swing.JScrollPane
unanalyzed	call on javax.swing.JScrollPane:setHorizontalScroll BarPolicy
unanalyzed	call on javax.swing.JScrollPane:getVerticalScrollBa r
unanalyzed	call on javax.swing.JScrollBar:setUnitIncrement
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionConditionsPanel:add
unanalyzed	call on javax.swing.JSeparator
unanalyzed	call on javax.swing.JRadioButton:setEnabled
unanalyzed	call on javax.swing.JButton:setEnabled
unanalyzed	call on javax.swing.JPanel
unanalyzed	call on initComponents

method	void com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionConditionsPanel(ActionType)
presumption	this.add != null
presumption	this.add@89 != null
presumption	this.list != null
presumption	this.list.conditions != null
presumption	this.tree != null
presumption	this.tree.allButton != null
presumption	this.tree.customButton != null
presumption	this.tree.oneButton != null
post	init'ed(this.add)
post	this.list != null
post	this.listValidates == 1
post	this.treeValidates == 1
post	this.tree != null
post	this.trigger == trigger
post	init'ed(this.trigger)
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
unanalyzed	call on javax.swing.JButton:addActionListener
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionConditionsTreePanel:addPropertyC hangeListener
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionConditionsListPanel:addPropertyC hangeListener
unanalyzed	call on net.miginfocom.swing.MigLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionConditionsPanel:setLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionConditionsPanel:getBorder
unanalyzed	call on javax.swing.BorderFactory:createTitledBorde r
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionConditionsPanel:setBorder
unanalyzed	call on javax.swing.JScrollPane
unanalyzed	call on javax.swing.JScrollPane:setHorizontalScroll BarPolicy
unanalyzed	call on javax.swing.JScrollPane:getVerticalScrollBa r
unanalyzed	call on javax.swing.JScrollBar:setUnitIncrement
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionConditionsPanel:add
unanalyzed	call on javax.swing.JSeparator
unanalyzed	call on javax.swing.JRadioButton:setEnabled
test_vector	trigger: Inverse{null}, Addr_Set{null}

call too complex - analysis skipped Info call on void initComponents()

method	void validateConditions()
pre	init'ed(this.tree.treeFactory)
pre	this.tree != null
pre	this.tree.group != null
pre	this.tree.rule != null
pre	this.tree.rule.errorIcon != null
pre	this.tree.rule.textField != null
pre	(soft) init'ed(com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionConditionsTreePanel$1__static_ init.new int[](ActionConditionsTreePanel$1__static_ init#1)[...])
pre	(soft) init'ed(this.tree.validates)
pre	(soft) this.tree.allButton != null
pre	(soft) init'ed(this.tree.conditionCount)
pre	(soft) this.tree.customButton != null
pre	(soft) this.tree.oneButton != null
pre	(soft) this.tree.rule.validator != null
presumption	com.dmdirc.actions.ConditionTreeFactory$ConditionTr eeFactoryType:values(...).length >= 1
post	this.tree.treeFactory == One-of{&new ConditionTreeFactory$ConjunctionFactory(sortTreeFa ctory#1), &new ConditionTreeFactory$Disjunction Factory(sortTreeFactory#2), &new ConditionTreeFactory$CustomFactory(sortTreeFactory #3)}
post	this.tree.treeFactory in Addr_Set{&new ConditionTreeFactory$ConjunctionFactory(sortTreeFa ctory#1),&new ConditionTreeFactory$DisjunctionF actory(sortTreeFactory#2),&new ConditionTreeFac tory$CustomFactory(sortTreeFactory#3)}
post	init'ed(this.tree.validates)
post	new ConditionTreeFactory$ConjunctionFactory(sortTre eFactory#1) num objects <= 1
post	new ConditionTreeFactory$CustomFactory(sortTreeFact ory#3) num objects <= 1
post	new ConditionTreeFactory$DisjunctionFactory(sortTre eFactory#2) num objects <= 1
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.actions.ConditionTreeFactory:get Type
unanalyzed	call on com.dmdirc.actions.ConditionTreeFactory:get ConditionTree
unanalyzed	call on selectTreeButton
unanalyzed	call on java.lang.Object:equals
unanalyzed	call on javax.swing.JTextField:setEnabled
unanalyzed	call on sortTreeFactory
unanalyzed	call on javax.swing.ButtonGroup:clearSelection
unanalyzed	call on com.dmdirc.actions.ConditionTreeFactory$Con ditionTreeFactoryType:ordinal
unanalyzed	call on javax.swing.JRadioButton:setSelected
unanalyzed	call on javax.swing.JTextField:setText
unanalyzed	call on com.dmdirc.actions.ConditionTree:toString
unanalyzed	call on javax.swing.ButtonGroup:getSelection
unanalyzed	call on javax.swing.JRadioButton:getModel
unanalyzed	call on com.dmdirc.actions.ConditionTreeFactory$Con junctionFactory
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionConditionsTreePanel:fireProperty Change
unanalyzed	call on com.dmdirc.actions.ConditionTreeFactory$Dis junctionFactory
unanalyzed	call on com.dmdirc.actions.ConditionTree:parseStrin g
unanalyzed	call on com.dmdirc.actions.ConditionTreeFactory$Cus tomFactory

method	void initComponents()
pre	(soft) init'ed(com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionConditionsTreePanel$1__static_ init.new int[](ActionConditionsTreePanel$1__static_ init#1)[...])
presumption	com.dmdirc.actions.ConditionTreeFactory$ConditionTr eeFactoryType:values(...).length >= 1
post	this.add == &new JButton(initComponents#3)
post	this.list == &new ActionConditionsListPanel(ini tComponents#2)
post	this.tree == &new ActionConditionsTreePanel(ini tComponents#1)
post	this.list.treePanel == &new ActionConditionsTre ePanel(initComponents#1)
post	new ActionConditionsListPanel(initComponents#2) num objects == 1
post	this.list.validates == 1
post	new ActionConditionsTreePanel(initComponents#1) num objects == 1
post	this.tree.validates == 1
post	new ArrayList(ActionConditionsListPanel#2) num objects == 1
post	new ButtonGroup(initComponents#1) num objects == 1
post	new ConditionRuleValidator(initComponents#5) num objects == 1
post	new HashMap(ActionConditionsListPanel#1) num objects == 1
post	new JButton(initComponents#3) num objects == 1
post	new JLabel(ValidatingJTextField#1) num objects == 1
post	new JRadioButton(initComponents#2) num objects == 1
post	new JRadioButton(initComponents#3) num objects == 1
post	new JRadioButton(initComponents#4) num objects == 1
post	new JTextField(ValidatingJTextField#1) num objects == 1
post	new ValidatingJTextField(initComponents#6) num objects == 1
post	this.list.conditions == &new ArrayList(ActionCo nditionsListPanel#2)
post	this.list.trigger == null
post	this.list.validations == &new HashMap(ActionCon ditionsListPanel#1)
post	this.tree.allButton == &new JRadioButton(initCo mponents#2)
post	init'ed(this.tree.conditionCount)
post	this.tree.customButton == &new JRadioButton(ini tComponents#4)
post	this.tree.group == &new ButtonGroup(initCompone nts#1)
post	this.tree.oneButton == &new JRadioButton(initCo mponents#3)
post	this.tree.rule == &new ValidatingJTextField(ini tComponents#6)
post	this.tree.treeFactory == One-of{&new ConditionTreeFactory$ConjunctionFactory(sortTreeFa ctory#1), &new ConditionTreeFactory$Disjunction Factory(sortTreeFactory#2), &new ConditionTreeFactory$CustomFactory(sortTreeFactory #3)}
post	this.tree.treeFactory in Addr_Set{&new ConditionTreeFactory$ConjunctionFactory(sortTreeFa ctory#1),&new ConditionTreeFactory$DisjunctionF actory(sortTreeFactory#2),&new ConditionTreeFac tory$CustomFactory(sortTreeFactory#3)}
post	this.tree.treeValidator == &new ConditionRuleValidator(initComponents#5)
post	new ValidatingJTextField(initComponents#6). validator == &new ConditionRuleValidator(initCo mponents#5)
post	new ConditionTreeFactory$ConjunctionFactory(sortTre eFactory#1) num objects <= 1
post	new ConditionTreeFactory$CustomFactory(sortTreeFact ory#3) num objects <= 1
post	new ConditionTreeFactory$DisjunctionFactory(sortTre eFactory#2) num objects <= 1
post	new ValidatingJTextField(initComponents#6). errorIcon == &new JLabel(ValidatingJTextField#1 )
post	new ValidatingJTextField(initComponents#6). textField == &new JTextField(ValidatingJTextFie ld#1)
unanalyzed	call on javax.swing.ButtonGroup
unanalyzed	call on javax.swing.JRadioButton
unanalyzed	call on com.dmdirc.config.prefs.validator. ConditionRuleValidator
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 javax.swing.JTextField:getDocument
unanalyzed	call on javax.swing.JComponent
unanalyzed	call on com.dmdirc.ui.IconManager:getIconManager
unanalyzed	call on com.dmdirc.ui.IconManager:getIcon
unanalyzed	call on javax.swing.JLabel
unanalyzed	call on net.miginfocom.swing.MigLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.components. validating.ValidatingJTextField:setLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.components. validating.ValidatingJTextField:add
unanalyzed	call on javax.swing.text.Document:addDocumentListen er
unanalyzed	call on javax.swing.JTextField
unanalyzed	call on javax.swing.ButtonGroup:add
unanalyzed	call on com.dmdirc.actions.ConditionTreeFactory:get Type
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionConditionsTreePanel:setLayout
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.ActionConditionsTreePanel:add
unanalyzed	call on com.dmdirc.actions.ConditionTreeFactory:get ConditionTree
unanalyzed	call on java.lang.Object:equals
unanalyzed	call on javax.swing.JTextField:setEnabled
unanalyzed	call on sortTreeFactory
unanalyzed	call on javax.swing.ButtonGroup:clearSelection
unanalyzed	call on com.dmdirc.actions.ConditionTreeFactory$Con ditionTreeFactoryType:ordinal
unanalyzed	call on javax.swing.JRadioButton:setSelected
unanalyzed	call on javax.swing.JTextField:setText
unanalyzed	call on com.dmdirc.actions.ConditionTree:toString
unanalyzed	call on javax.swing.ButtonGroup:getSelection
unanalyzed	call on javax.swing.JRadioButton:getModel
unanalyzed	call on com.dmdirc.actions.ConditionTreeFactory$Con junctionFactory
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionConditionsTreePanel:fireProperty Change
unanalyzed	call on com.dmdirc.actions.ConditionTreeFactory$Dis junctionFactory
unanalyzed	call on com.dmdirc.actions.ConditionTree:parseStrin g
unanalyzed	call on com.dmdirc.actions.ConditionTreeFactory$Cus tomFactory
unanalyzed	call on javax.swing.JRadioButton:addActionListener
unanalyzed	call on com.dmdirc.addons.ui_swing.components. validating.ValidatingJTextField:addPropertyChangeLi stener
unanalyzed	call on javax.swing.JPanel
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 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 java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.ArrayList
unanalyzed	call on addConditionListener
unanalyzed	call on setEnabled
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionConditionsListPanel:setLayout
unanalyzed	call on java.util.HashMap
unanalyzed	call on com.dmdirc.util.ListenerList:add
unanalyzed	call on javax.swing.JComboBox: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 addListeners()
pre	this.add != null
pre	this.list != null
pre	this.tree != null

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionConditionsTreePanel:addPropertyC hangeListener(String, PropertyChangeListener)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionConditionsListPanel:addPropertyC hangeListener(String, PropertyChangeListener)

method	void layoutComponents()
pre	init'ed(this.add)
pre	init'ed(this.list)
pre	init'ed(this.tree)
presumption	javax.swing.JScrollPane:getVerticalScrollBar(... )@121 != 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.ActionConditionsPanel:setLayout(Layout Manager)

method not available - call not analyzed Info call on Border com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionConditionsPanel:getBorder()

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionConditionsPanel:setBorder(Border )

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

method	void setActionTrigger(ActionType)
pre	init'ed(this.list.trigger)
pre	this.add != null
pre	this.list != null
pre	this.list.conditions != null
presumption	com.dmdirc.actions.interfaces.ActionMetaType:getArg Names(...)@138 != null
presumption	com.dmdirc.actions.interfaces.ActionType:getType(.. .)@138 != null
post	this.list.trigger == trigger
post	init'ed(this.list.trigger)
post	this.trigger == this.list.trigger
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:setVisible
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionConditionsListPanel:removeAll
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: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
unanalyzed	call on java.util.List:clear
unanalyzed	call on setTrigger
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 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

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	void setEnabled(bool)
pre	this.list != null
pre	this.list.conditions != null
pre	this.tree != null
pre	this.tree.allButton != null
pre	this.tree.customButton != null
pre	this.tree.oneButton != 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
unanalyzed	call on javax.swing.JRadioButton:setEnabled

method	void actionPerformed(ActionEvent)
pre	this.list != null

method not available - call not analyzed Info call on void com.dmdirc.actions.ActionCondition(int , ActionComponent, ActionComparison, String)

call too complex - analysis skipped Info call on void addCondition(ActionCondition)

method	void setConditions(List)
pre	conditions != null
pre	this.list != null
pre	this.list.conditions != null
pre	(soft) init'ed(this.list.validates)
pre	(soft) this.list.treePanel != null
pre	(soft) this.list.treePanel.rule != null
pre	(soft) this.list.treePanel.rule.errorIcon != null
pre	(soft) this.list.treePanel.rule.textField != null
pre	(soft) this.list.treePanel.rule.validator != null
pre	(soft) this.list.treePanel.treeValidator != null
pre	(soft) init'ed(this.list.trigger)
pre	(soft) this.list.validations != null
post	possibly_updated(this.list.treePanel. conditionCount)
post	init'ed(this.list.validates)
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 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:setVisible
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionConditionsListPanel:removeAll
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 delCondition
unanalyzed	call on com.dmdirc.actions.ActionCondition:equals
unanalyzed	call on java.util.List:size
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(...)@166: {0}, {1}

call too complex - analysis skipped Info call on void addCondition(ActionCondition)

method	void setConditionTree(ConditionTree)
pre	this.list != null
pre	this.list.conditions != null
pre	this.tree != null
pre	(soft) init'ed(com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionConditionsTreePanel$1__static_ init.new int[](ActionConditionsTreePanel$1__static_ init#1)[...])
pre	(soft) init'ed(this.tree.validates)
pre	(soft) this.tree.allButton != null
pre	(soft) this.tree.customButton != null
pre	(soft) this.tree.group != null
pre	(soft) this.tree.oneButton != null
pre	(soft) this.tree.rule != null
pre	(soft) this.tree.rule.errorIcon != null
pre	(soft) this.tree.rule.textField != null
pre	(soft) this.tree.rule.validator != null
presumption	com.dmdirc.actions.ConditionTreeFactory$ConditionTr eeFactoryType:values(...).length >= 1
post	possibly_updated(this.tree.conditionCount)
post	this.tree.treeFactory == One-of{old this.tree.treeFactory, &new ConditionTreeFacto ry$ConjunctionFactory(sortTreeFactory#1), &new ConditionTreeFactory$DisjunctionFactory(sortTreeFa ctory#2), &new ConditionTreeFactory$CustomFacto ry(sortTr...
post	init'ed(this.tree.validates)
post	new ConditionTreeFactory$ConjunctionFactory(sortTre eFactory#1) num objects <= 1
post	new ConditionTreeFactory$CustomFactory(sortTreeFact ory#3) num objects <= 1
post	new ConditionTreeFactory$DisjunctionFactory(sortTre eFactory#2) num objects <= 1
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.actions.ConditionTreeFactory:get Type
unanalyzed	call on com.dmdirc.actions.ConditionTreeFactory:get ConditionTree
unanalyzed	call on java.lang.Object:equals
unanalyzed	call on javax.swing.JTextField:setEnabled
unanalyzed	call on sortTreeFactory
unanalyzed	call on javax.swing.ButtonGroup:clearSelection
unanalyzed	call on com.dmdirc.actions.ConditionTreeFactory$Con ditionTreeFactoryType:ordinal
unanalyzed	call on javax.swing.JRadioButton:setSelected
unanalyzed	call on javax.swing.JTextField:setText
unanalyzed	call on com.dmdirc.actions.ConditionTree:toString
unanalyzed	call on javax.swing.ButtonGroup:getSelection
unanalyzed	call on javax.swing.JRadioButton:getModel
unanalyzed	call on com.dmdirc.actions.ConditionTreeFactory$Con junctionFactory
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionConditionsTreePanel:fireProperty Change
unanalyzed	call on com.dmdirc.actions.ConditionTreeFactory$Dis junctionFactory
unanalyzed	call on com.dmdirc.actions.ConditionTree:parseStrin g
unanalyzed	call on com.dmdirc.actions.ConditionTreeFactory$Cus tomFactory
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.ArrayList
unanalyzed	call on getCondition
unanalyzed	call on java.util.List:add
unanalyzed	call on com.dmdirc.actions.ConditionTreeFactory:get Factory

method	ConditionTreeFactory$ConditionTreeFactoryType getConditionTreeType()
pre	this.list != null
pre	this.list.conditions != null
pre	this.tree != null
pre	(soft) this.tree.treeFactory != null
post	init'ed(return_value)
unanalyzed	call on com.dmdirc.actions.ConditionTreeFactory:get Type
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.ArrayList
unanalyzed	call on getCondition
unanalyzed	call on java.util.List:add

method	ConditionTree getConditionTree()
pre	this.list != null
pre	this.list.conditions != null
pre	this.tree != null
pre	this.tree.treeFactory != null
post	init'ed(return_value)
unanalyzed	call on com.dmdirc.actions.ConditionTreeFactory:get ConditionTree
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.ArrayList
unanalyzed	call on getCondition
unanalyzed	call on java.util.List:add

method	List getConditions()
pre	this.list != null
pre	this.list.conditions != null
post	return_value == &new ArrayList(getConditions#1* )
post	new ArrayList(getConditions#1*) num objects == 1
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.ArrayList
unanalyzed	call on getCondition
unanalyzed	call on java.util.List:add

method	void propertyChange(PropertyChangeEvent)
pre	evt != null
pre	init'ed(this.listValidates)
pre	init'ed(this.list)
pre	(soft) init'ed(this.treeValidates)
presumption	java.beans.PropertyChangeEvent:getNewValue(... )@212 != null
presumption	java.beans.PropertyChangeEvent:getNewValue(... )@214 != null
post	init'ed(this.listValidates)
post	init'ed(this.treeValidates)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionConditionsPanel:firePropertyChan ge(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.ActionConditionsPanel:setLayout(Layout Manager)

	method not available - call not analyzed	Info	call on Border com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionConditionsPanel:getBorder()
	method not available - call not analyzed	Info	call on void com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionConditionsPanel:setBorder(Border )

	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.actions.ActionCondition(int , ActionComponent, ActionComparison, String)
	call too complex - analysis skipped	Info	call on void addCondition(ActionCondition)