Messages

Last Msg First Msg

method

com.dmdirc.addons.ui_swing.dialogs.actioneditor. ActionConditionsTreePanel__static_init

method	void com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionConditionsTreePanel()
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.allButton == &new JRadioButton(initCompone nts#2)
post	init'ed(this.conditionCount)
post	this.customButton == &new JRadioButton(initComp onents#4)
post	this.group == &new ButtonGroup(initComponents#1 )
post	this.oneButton == &new JRadioButton(initCompone nts#3)
post	this.rule == &new ValidatingJTextField(initComp onents#6)
post	this.treeFactory == One-of{&new ConditionTreeFactory$ConjunctionFactory(sortTreeFa ctory#1), &new ConditionTreeFactory$Disjunction Factory(sortTreeFactory#2), &new ConditionTreeFactory$CustomFactory(sortTreeFactory #3)}
post	this.treeFactory in Addr_Set{&new ConditionTreeFactory$ConjunctionFactory(sortTreeFa ctory#1),&new ConditionTreeFactory$DisjunctionF actory(sortTreeFactory#2),&new ConditionTreeFac tory$CustomFactory(sortTreeFactory#3)}
post	this.treeValidator == &new ConditionRuleValidat or(initComponents#5)
post	new ValidatingJTextField(initComponents#6). validator == &new ConditionRuleValidator(initCo mponents#5)
post	this.validates == 1
post	new ButtonGroup(initComponents#1) num objects == 1
post	new ConditionRuleValidator(initComponents#5) 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	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

method	void initComponents()
pre	init'ed(this.conditionCount)
post	this.allButton == &new JRadioButton(initCompone nts#2)
post	this.customButton == &new JRadioButton(initComp onents#4)
post	this.group == &new ButtonGroup(initComponents#1 )
post	this.oneButton == &new JRadioButton(initCompone nts#3)
post	this.rule == &new ValidatingJTextField(initComp onents#6)
post	this.treeValidator == &new ConditionRuleValidat or(initComponents#5)
post	this.rule.validator == &new ConditionRuleValida tor(initComponents#5)
post	new ButtonGroup(initComponents#1) num objects == 1
post	new ConditionRuleValidator(initComponents#5) 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.rule.errorIcon == &new JLabel(ValidatingJT extField#1)
post	this.rule.textField == &new JTextField(Validati ngJTextField#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 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

method not available - call not analyzed Info call on void com.dmdirc.config.prefs.validator. ConditionRuleValidator(int)

method	void addListeners()
pre	this.allButton != null
pre	this.customButton != null
pre	this.oneButton != null
pre	this.rule != null
pre	this.rule.textField != null
presumption	javax.swing.JTextField:getDocument(...)@332 != null
unanalyzed	call on javax.swing.JTextField:getDocument

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. validating.ValidatingJTextField:addPropertyChangeLi stener(String, PropertyChangeListener)

method	void layoutComponents()
pre	init'ed(this.allButton)
pre	init'ed(this.customButton)
pre	init'ed(this.oneButton)
pre	init'ed(this.rule)
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

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

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

method	void selectTreeButton()
pre	init'ed(this.treeFactory)
pre	this.group != null
pre	this.rule != null
pre	this.rule.errorIcon != null
pre	this.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.validates)
pre	(soft) this.allButton != null
pre	(soft) init'ed(this.conditionCount)
pre	(soft) this.customButton != null
pre	(soft) this.oneButton != null
pre	(soft) this.rule.validator != null
presumption	com.dmdirc.actions.ConditionTreeFactory$ConditionTr eeFactoryType.CONJUNCTION != null
presumption	com.dmdirc.actions.ConditionTreeFactory$ConditionTr eeFactoryType:values(...).length >= 1
presumption	com.dmdirc.actions.ConditionTreeFactory_ ConditionTreeFactoryType:ordinal(...)@135 < com.dmdirc.actions.ConditionTreeFactory$ConditionT reeFactoryType:values(...).length
presumption	com.dmdirc.actions.ConditionTreeFactory:getConditio nTree(...)@143 != null
presumption	com.dmdirc.actions.ConditionTreeFactory:getType(... )@132 != null
presumption	com.dmdirc.actions.ConditionTreeFactory_ ConditionTreeFactoryType:ordinal(...)@135 >= 0
post	this.treeFactory == One-of{&new ConditionTreeFactory$ConjunctionFactory(sortTreeFa ctory#1), &new ConditionTreeFactory$Disjunction Factory(sortTreeFactory#2), &new ConditionTreeFactory$CustomFactory(sortTreeFactory #3)}
post	this.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.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 java.lang.Object:equals
unanalyzed	call on javax.swing.JTextField:setEnabled
unanalyzed	call on javax.swing.JTextField:setText
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
test_vector	com.dmdirc.addons.ui_swing.dialogs.actioneditor. ActionConditionsTreePanel$1__static_init.new int[](ActionConditionsTreePanel$1__static_ init#1)[...]: {1}, {2}, {-2³¹..0, 3..2³²-1}
test_vector	this.treeFactory: Inverse{null}, Addr_Set{null}

method not available - call not analyzed Info call on ConditionTreeFactory$ConditionTreeFactoryTy pe com.dmdirc.actions.ConditionTreeFactory:getType( )

method	com.dmdirc.addons.ui_swing.dialogs.actioneditor. ActionConditionsTreePanel$1__static_init
presumption	com.dmdirc.actions.ConditionTreeFactory$ConditionTr eeFactoryType.CUSTOM != null
presumption	com.dmdirc.actions.ConditionTreeFactory$ConditionTr eeFactoryType.DISJUNCTION != null
presumption	com.dmdirc.actions.ConditionTreeFactory$ConditionTr eeFactoryType:values(...).length@135 >= 1
presumption	com.dmdirc.actions.ConditionTreeFactory_ ConditionTreeFactoryType:ordinal(...)@135 >= 0
presumption	com.dmdirc.actions.ConditionTreeFactory_ ConditionTreeFactoryType:ordinal(...)@135 < com.dmdirc.actions.ConditionTreeFactory$ConditionT reeFactoryType:values(...).length@135
presumption	com.dmdirc.actions.ConditionTreeFactory_ ConditionTreeFactoryType:values(...)@135 != null
post	new int[](ActionConditionsTreePanel$1__static_ init#1) num objects == 1

method not available - call not analyzed Info call on ConditionTreeFactory$ConditionTreeFactoryTy pe[] com.dmdirc.actions.ConditionTreeFactory$Condit ionTreeFactoryType:values()

method not available - call not analyzed Info call on int com.dmdirc.actions.ConditionTreeFactory $ConditionTreeFactoryType:ordinal()

method not available - call not analyzed Info call on int com.dmdirc.actions.ConditionTreeFactory $ConditionTreeFactoryType:ordinal()

Prev Msg Next Msg

null dereference

click for all messages in this file Medium Prob.

check that this.treeFactory != null

method not available - call not analyzed Info call on ConditionTree com.dmdirc.actions. ConditionTreeFactory:getConditionTree(int)

method not available - call not analyzed Info call on String com.dmdirc.actions.ConditionTree:toS tring()

Prev Msg Next Msg

method	void sortTreeFactory()
pre	this.allButton != null
pre	this.group != null
pre	(soft) init'ed(this.validates)
pre	(soft) this.oneButton != null
pre	(soft) this.rule != null
pre	(soft) this.rule.errorIcon != null
pre	(soft) this.rule.textField != null
pre	(soft) this.rule.validator != null
presumption	javax.swing.ButtonGroup:getSelection(...)@159 != null
presumption	javax.swing.ButtonGroup:getSelection(...)@162 != null
post	this.treeFactory in Addr_Set{&new ConditionTreeFactory$CustomFactory(sortTreeFactory #3),&new ConditionTreeFactory$DisjunctionFactor y(sortTreeFactory#2),&new ConditionTreeFactory$ ConjunctionFactory(sortTreeFactory#1)}
post	init'ed(this.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
test_vector	java.lang.Object:equals(...)@159: {0}, {1}
test_vector	java.lang.Object:equals(...)@162: {0}, {1}

method not available - call not analyzed Info call on void com.dmdirc.actions.ConditionTreeFactor y$ConjunctionFactory()

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

method not available - call not analyzed Info call on void com.dmdirc.actions.ConditionTreeFactor y$DisjunctionFactory()

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

method not available - call not analyzed Info call on ConditionTree com.dmdirc.actions. ConditionTree:parseString(String)

method not available - call not analyzed Info call on void com.dmdirc.actions.ConditionTreeFactor y$CustomFactory(ConditionTree)

method	void actionPerformed(ActionEvent)
pre	e != null
pre	this.allButton != null
pre	init'ed(this.customButton)
pre	this.group != null
pre	this.rule != null
pre	this.rule.errorIcon != null
pre	this.rule.textField != null
pre	(soft) init'ed(this.validates)
pre	(soft) this.oneButton != null
pre	(soft) this.rule.validator != null
presumption	java.awt.event.ActionEvent:getSource(...)@181 != null
post	this.treeFactory == One-of{&new ConditionTreeFactory$ConjunctionFactory(sortTreeFa ctory#1), &new ConditionTreeFactory$Disjunction Factory(sortTreeFactory#2), &new ConditionTreeFactory$CustomFactory(sortTreeFactory #3)}
post	this.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.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 java.lang.Object:equals
unanalyzed	call on javax.swing.JTextField:setEnabled
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 setEnabled(bool)
pre	this.allButton != null
pre	this.customButton != null
pre	this.oneButton != null

method	ConditionTreeFactory$ConditionTreeFactoryType getRuleType(int)
pre	(soft) this.treeFactory != null
presumption	init'ed(com.dmdirc.actions.ConditionTreeFactory$Con ditionTreeFactoryType.CONJUNCTION)
post	init'ed(return_value)
test_vector	conditionCount: {-2³¹..1}, {2..2³²-1}

method not available - call not analyzed Info call on ConditionTreeFactory$ConditionTreeFactoryTy pe com.dmdirc.actions.ConditionTreeFactory:getType( )

method	ConditionTree getRule(int)
pre	this.treeFactory != null
post	init'ed(return_value)

method not available - call not analyzed Info call on ConditionTree com.dmdirc.actions. ConditionTreeFactory:getConditionTree(int)

method	void setRule(int, ConditionTree)
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.validates)
pre	(soft) this.allButton != null
pre	(soft) this.customButton != null
pre	(soft) this.group != null
pre	(soft) this.oneButton != null
pre	(soft) this.rule != null
pre	(soft) this.rule.errorIcon != null
pre	(soft) this.rule.textField != null
pre	(soft) this.rule.validator != null
presumption	com.dmdirc.actions.ConditionTreeFactory$ConditionTr eeFactoryType:values(...).length >= 1
post	this.conditionCount == One-of{old this. conditionCount, conditionCount}
post	this.treeFactory == One-of{old this.treeFactory, &new ConditionTreeFactory$ConjunctionFactory(s ortTreeFactory#1), &new ConditionTreeFactory$Di sjunctionFactory(sortTreeFactory#2), &new ConditionTreeFactory$CustomFactory(sortTreeFactory #3)}
post	init'ed(this.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
test_vector	conditionCount: {-2³¹..1}, {2..2³²-1}
test_vector	tree: Addr_Set{null}, Inverse{null}

method not available - call not analyzed Info call on ConditionTreeFactory com.dmdirc.actions. ConditionTreeFactory:getFactory(ConditionTree, int)

method	void setConditionCount(int)
pre	this.rule != null
pre	this.rule.errorIcon != null
pre	this.rule.textField != null
pre	this.treeValidator != null
pre	(soft) this.rule.validator != null
post	this.conditionCount == conditionCount
post	init'ed(this.conditionCount)
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

method not available - call not analyzed Info call on void com.dmdirc.config.prefs.validator. ConditionRuleValidator:setArgs(int)

method	void propertyChange(PropertyChangeEvent)
pre	evt != null
pre	init'ed(this.validates)
presumption	java.beans.PropertyChangeEvent:getNewValue(... )@249 != null
post	init'ed(this.validates)

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

method	void validateConditions()
pre	init'ed(this.treeFactory)
pre	this.group != null
pre	this.rule != null
pre	this.rule.errorIcon != null
pre	this.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.validates)
pre	(soft) this.allButton != null
pre	(soft) init'ed(this.conditionCount)
pre	(soft) this.customButton != null
pre	(soft) this.oneButton != null
pre	(soft) this.rule.validator != null
presumption	com.dmdirc.actions.ConditionTreeFactory$ConditionTr eeFactoryType:values(...).length >= 1
post	this.treeFactory == One-of{&new ConditionTreeFactory$ConjunctionFactory(sortTreeFa ctory#1), &new ConditionTreeFactory$Disjunction Factory(sortTreeFactory#2), &new ConditionTreeFactory$CustomFactory(sortTreeFactory #3)}
post	this.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.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

method	void insertUpdate(DocumentEvent)
pre	this.rule != null
pre	this.rule.textField != null
post	this.treeFactory == &new ConditionTreeFactory$C ustomFactory(insertUpdate#1)
post	new ConditionTreeFactory$CustomFactory(insertUpdate #1) num objects == 1
unanalyzed	call on javax.swing.JTextField:getText

method	void removeUpdate(DocumentEvent)
pre	this.rule != null
pre	this.rule.textField != null
post	this.treeFactory == &new ConditionTreeFactory$C ustomFactory(removeUpdate#1)
post	new ConditionTreeFactory$CustomFactory(removeUpdate #1) num objects == 1
unanalyzed	call on javax.swing.JTextField:getText

method

void changedUpdate(DocumentEvent)

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

method not available - call not analyzed	Info	call on ConditionTreeFactory$ConditionTreeFactoryTy pe[] com.dmdirc.actions.ConditionTreeFactory$Condit ionTreeFactoryType:values()
method not available - call not analyzed	Info	call on int com.dmdirc.actions.ConditionTreeFactory $ConditionTreeFactoryType:ordinal()
method not available - call not analyzed	Info	call on int com.dmdirc.actions.ConditionTreeFactory $ConditionTreeFactoryType:ordinal()

	method not available - call not analyzed	Info	call on ConditionTree com.dmdirc.actions. ConditionTree:parseString(String)
	method not available - call not analyzed	Info	call on void com.dmdirc.actions.ConditionTreeFactor y$CustomFactory(ConditionTree)