ActionConditionsTreePanel.java

ActionConditionsTreePanel.java

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

Filter Options

Annotation Kind:

pre

presumption

post

unanalyzed

test_vector

void actionPerformed(ActionEvent)

Kind	Annotation Text
pre	(soft) init'ed(this.validates)
pre	(soft) this.oneButton != null
pre	(soft) this.rule.validator != null
pre	e != null
pre	init'ed(this.customButton)
pre	this.allButton != null
pre	this.group != null
pre	this.rule != null
pre	this.rule.errorIcon != null
pre	this.rule.textField != null
presumption	java.awt.event.ActionEvent:getSource(...)@181 != null
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
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)}
unanalyzed	call on com.dmdirc.actions.ConditionTree:parseStrin g
unanalyzed	call on com.dmdirc.actions.ConditionTreeFactory$Con junctionFactory
unanalyzed	call on com.dmdirc.actions.ConditionTreeFactory$Cus tomFactory
unanalyzed	call on com.dmdirc.actions.ConditionTreeFactory$Dis junctionFactory
unanalyzed	call on com.dmdirc.addons.ui_swing.components. validating.ValidatingJTextField:firePropertyChange
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionConditionsTreePanel:fireProperty Change
unanalyzed	call on com.dmdirc.config.prefs.validator. ValidationResponse:getFailureReason
unanalyzed	call on com.dmdirc.config.prefs.validator. ValidationResponse:isFailure
unanalyzed	call on com.dmdirc.config.prefs.validator. Validator:validate
unanalyzed	call on java.lang.Object:equals
unanalyzed	call on javax.swing.ButtonGroup:getSelection
unanalyzed	call on javax.swing.JLabel:isVisible
unanalyzed	call on javax.swing.JLabel:setToolTipText
unanalyzed	call on javax.swing.JLabel:setVisible
unanalyzed	call on javax.swing.JRadioButton:getModel
unanalyzed	call on javax.swing.JTextField:getText
unanalyzed	call on javax.swing.JTextField:isEnabled
unanalyzed	call on javax.swing.JTextField:setEnabled

void addListeners()

Kind	Annotation Text
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

void changedUpdate(DocumentEvent)

Kind	Annotation Text

com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsTreePanel$1__static_init

Kind	Annotation Text
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 < com.dmdirc.actions.ConditionTreeFactory$ConditionT reeFactoryType:values(...).length@135
presumption	com.dmdirc.actions.ConditionTreeFactory_ ConditionTreeFactoryType:ordinal(...)@135 >= 0
presumption	com.dmdirc.actions.ConditionTreeFactory_ ConditionTreeFactoryType:values(...)@135 != null
post	new int[](ActionConditionsTreePanel$1__static_ init#1) num objects == 1

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

Kind	Annotation Text
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	init'ed(this.conditionCount)
post	new ButtonGroup(initComponents#1) num objects == 1
post	new ConditionRuleValidator(initComponents#5) 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 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 ValidatingJTextField(initComponents#6). errorIcon == &new JLabel(ValidatingJTextField#1 )
post	new ValidatingJTextField(initComponents#6). textField == &new JTextField(ValidatingJTextFie ld#1)
post	new ValidatingJTextField(initComponents#6). validator == &new ConditionRuleValidator(initCo mponents#5)
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.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	this.validates == 1
unanalyzed	call on com.dmdirc.actions.ConditionTree:parseStrin g
unanalyzed	call on com.dmdirc.actions.ConditionTree:toString
unanalyzed	call on com.dmdirc.actions.ConditionTreeFactory$Con ditionTreeFactoryType:ordinal
unanalyzed	call on com.dmdirc.actions.ConditionTreeFactory$Con junctionFactory
unanalyzed	call on com.dmdirc.actions.ConditionTreeFactory$Cus tomFactory
unanalyzed	call on com.dmdirc.actions.ConditionTreeFactory$Dis junctionFactory
unanalyzed	call on com.dmdirc.actions.ConditionTreeFactory:get ConditionTree
unanalyzed	call on com.dmdirc.actions.ConditionTreeFactory:get Type
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setEditable
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setEditorKit
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setHighlighter
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setMargin
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setOpaque
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setUI
unanalyzed	call on com.dmdirc.addons.ui_swing.components. validating.ValidatingJTextField:add
unanalyzed	call on com.dmdirc.addons.ui_swing.components. validating.ValidatingJTextField:addPropertyChangeLi stener
unanalyzed	call on com.dmdirc.addons.ui_swing.components. validating.ValidatingJTextField:firePropertyChange
unanalyzed	call on com.dmdirc.addons.ui_swing.components. validating.ValidatingJTextField:setLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionConditionsTreePanel:add
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionConditionsTreePanel:fireProperty Change
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionConditionsTreePanel:setLayout
unanalyzed	call on com.dmdirc.config.prefs.validator. ConditionRuleValidator
unanalyzed	call on com.dmdirc.config.prefs.validator. ValidationResponse:getFailureReason
unanalyzed	call on com.dmdirc.config.prefs.validator. ValidationResponse:isFailure
unanalyzed	call on com.dmdirc.config.prefs.validator. Validator:validate
unanalyzed	call on com.dmdirc.ui.IconManager:getIcon
unanalyzed	call on com.dmdirc.ui.IconManager:getIconManager
unanalyzed	call on java.awt.Font:getFamily
unanalyzed	call on java.awt.Font:getSize
unanalyzed	call on java.awt.Insets
unanalyzed	call on java.lang.Object:equals
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on java.lang.String:length
unanalyzed	call on javax.swing.ButtonGroup
unanalyzed	call on javax.swing.ButtonGroup:add
unanalyzed	call on javax.swing.ButtonGroup:clearSelection
unanalyzed	call on javax.swing.ButtonGroup:getSelection
unanalyzed	call on javax.swing.JComponent
unanalyzed	call on javax.swing.JLabel
unanalyzed	call on javax.swing.JLabel:isVisible
unanalyzed	call on javax.swing.JLabel:setToolTipText
unanalyzed	call on javax.swing.JLabel:setVisible
unanalyzed	call on javax.swing.JRadioButton
unanalyzed	call on javax.swing.JRadioButton:addActionListener
unanalyzed	call on javax.swing.JRadioButton:getModel
unanalyzed	call on javax.swing.JRadioButton:setSelected
unanalyzed	call on javax.swing.JTextField
unanalyzed	call on javax.swing.JTextField:getDocument
unanalyzed	call on javax.swing.JTextField:getText
unanalyzed	call on javax.swing.JTextField:isEnabled
unanalyzed	call on javax.swing.JTextField:setEnabled
unanalyzed	call on javax.swing.JTextField:setText
unanalyzed	call on javax.swing.JTextPane
unanalyzed	call on javax.swing.JTextPane:getDocument
unanalyzed	call on javax.swing.JTextPane:setText
unanalyzed	call on javax.swing.UIManager:getFont
unanalyzed	call on javax.swing.plaf.basic.BasicTextPaneUI
unanalyzed	call on javax.swing.text.DefaultStyledDocument
unanalyzed	call on javax.swing.text.Document:addDocumentListen er
unanalyzed	call on javax.swing.text.SimpleAttributeSet
unanalyzed	call on javax.swing.text.StyleConstants:setAlignmen t
unanalyzed	call on javax.swing.text.StyledDocument:setParagrap hAttributes
unanalyzed	call on javax.swing.text.html.HTMLDocument:getStyle Sheet
unanalyzed	call on javax.swing.text.html.HTMLEditorKit
unanalyzed	call on javax.swing.text.html.StyleSheet:addRule
unanalyzed	call on net.miginfocom.swing.MigLayout
unanalyzed	call on sortTreeFactory

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

Kind	Annotation Text

ConditionTree getRule(int)

Kind	Annotation Text
pre	this.treeFactory != null
post	init'ed(return_value)

ConditionTreeFactory$ConditionTreeFactoryType getRuleType(int)

Kind	Annotation Text
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}

void initComponents()

Kind	Annotation Text
pre	init'ed(this.conditionCount)
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.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.rule.errorIcon == &new JLabel(ValidatingJT extField#1)
post	this.rule.textField == &new JTextField(Validati ngJTextField#1)
post	this.rule.validator == &new ConditionRuleValida tor(initComponents#5)
post	this.treeValidator == &new ConditionRuleValidat or(initComponents#5)
unanalyzed	call on com.dmdirc.addons.ui_swing.components. validating.ValidatingJTextField:add
unanalyzed	call on com.dmdirc.addons.ui_swing.components. validating.ValidatingJTextField:firePropertyChange
unanalyzed	call on com.dmdirc.addons.ui_swing.components. validating.ValidatingJTextField:setLayout
unanalyzed	call on com.dmdirc.config.prefs.validator. ValidationResponse:getFailureReason
unanalyzed	call on com.dmdirc.config.prefs.validator. ValidationResponse:isFailure
unanalyzed	call on com.dmdirc.config.prefs.validator. Validator:validate
unanalyzed	call on com.dmdirc.ui.IconManager:getIcon
unanalyzed	call on com.dmdirc.ui.IconManager:getIconManager
unanalyzed	call on javax.swing.JComponent
unanalyzed	call on javax.swing.JLabel
unanalyzed	call on javax.swing.JLabel:isVisible
unanalyzed	call on javax.swing.JLabel:setToolTipText
unanalyzed	call on javax.swing.JLabel:setVisible
unanalyzed	call on javax.swing.JTextField
unanalyzed	call on javax.swing.JTextField:getDocument
unanalyzed	call on javax.swing.JTextField:getText
unanalyzed	call on javax.swing.JTextField:isEnabled
unanalyzed	call on javax.swing.text.Document:addDocumentListen er
unanalyzed	call on net.miginfocom.swing.MigLayout

void insertUpdate(DocumentEvent)

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

void layoutComponents()

Kind	Annotation Text
pre	init'ed(this.allButton)
pre	init'ed(this.customButton)
pre	init'ed(this.oneButton)
pre	init'ed(this.rule)
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setEditable
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setEditorKit
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setHighlighter
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setMargin
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setOpaque
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setUI
unanalyzed	call on java.awt.Font:getFamily
unanalyzed	call on java.awt.Font:getSize
unanalyzed	call on java.awt.Insets
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on java.lang.String:length
unanalyzed	call on javax.swing.JTextPane
unanalyzed	call on javax.swing.JTextPane:getDocument
unanalyzed	call on javax.swing.JTextPane:setText
unanalyzed	call on javax.swing.UIManager:getFont
unanalyzed	call on javax.swing.plaf.basic.BasicTextPaneUI
unanalyzed	call on javax.swing.text.DefaultStyledDocument
unanalyzed	call on javax.swing.text.SimpleAttributeSet
unanalyzed	call on javax.swing.text.StyleConstants:setAlignmen t
unanalyzed	call on javax.swing.text.StyledDocument:setParagrap hAttributes
unanalyzed	call on javax.swing.text.html.HTMLDocument:getStyle Sheet
unanalyzed	call on javax.swing.text.html.HTMLEditorKit
unanalyzed	call on javax.swing.text.html.StyleSheet:addRule

void propertyChange(PropertyChangeEvent)

Kind	Annotation Text
pre	evt != null
pre	init'ed(this.validates)
presumption	java.beans.PropertyChangeEvent:getNewValue(... )@249 != null
post	init'ed(this.validates)

void removeUpdate(DocumentEvent)

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

void selectTreeButton()

Kind	Annotation Text
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.conditionCount)
pre	(soft) init'ed(this.validates)
pre	(soft) this.allButton != null
pre	(soft) this.customButton != null
pre	(soft) this.oneButton != null
pre	(soft) this.rule.validator != null
pre	init'ed(this.treeFactory)
pre	this.group != null
pre	this.rule != null
pre	this.rule.errorIcon != null
pre	this.rule.textField != 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:getConditio nTree(...)@143 != null
presumption	com.dmdirc.actions.ConditionTreeFactory:getType(... )@132 != null
presumption	com.dmdirc.actions.ConditionTreeFactory_ ConditionTreeFactoryType:ordinal(...)@135 < com.dmdirc.actions.ConditionTreeFactory$ConditionT reeFactoryType:values(...).length
presumption	com.dmdirc.actions.ConditionTreeFactory_ ConditionTreeFactoryType:ordinal(...)@135 >= 0
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
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)}
unanalyzed	call on com.dmdirc.actions.ConditionTree:parseStrin g
unanalyzed	call on com.dmdirc.actions.ConditionTreeFactory$Con junctionFactory
unanalyzed	call on com.dmdirc.actions.ConditionTreeFactory$Cus tomFactory
unanalyzed	call on com.dmdirc.actions.ConditionTreeFactory$Dis junctionFactory
unanalyzed	call on com.dmdirc.addons.ui_swing.components. validating.ValidatingJTextField:firePropertyChange
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionConditionsTreePanel:fireProperty Change
unanalyzed	call on com.dmdirc.config.prefs.validator. ValidationResponse:getFailureReason
unanalyzed	call on com.dmdirc.config.prefs.validator. ValidationResponse:isFailure
unanalyzed	call on com.dmdirc.config.prefs.validator. Validator:validate
unanalyzed	call on java.lang.Object:equals
unanalyzed	call on javax.swing.ButtonGroup:getSelection
unanalyzed	call on javax.swing.JLabel:isVisible
unanalyzed	call on javax.swing.JLabel:setToolTipText
unanalyzed	call on javax.swing.JLabel:setVisible
unanalyzed	call on javax.swing.JRadioButton:getModel
unanalyzed	call on javax.swing.JTextField:getText
unanalyzed	call on javax.swing.JTextField:isEnabled
unanalyzed	call on javax.swing.JTextField:setEnabled
unanalyzed	call on javax.swing.JTextField:setText
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}

void setConditionCount(int)

Kind	Annotation Text
pre	(soft) this.rule.validator != null
pre	this.rule != null
pre	this.rule.errorIcon != null
pre	this.rule.textField != null
pre	this.treeValidator != null
post	init'ed(this.conditionCount)
post	this.conditionCount == conditionCount
unanalyzed	call on com.dmdirc.addons.ui_swing.components. validating.ValidatingJTextField:firePropertyChange
unanalyzed	call on com.dmdirc.config.prefs.validator. ValidationResponse:getFailureReason
unanalyzed	call on com.dmdirc.config.prefs.validator. ValidationResponse:isFailure
unanalyzed	call on com.dmdirc.config.prefs.validator. Validator:validate
unanalyzed	call on javax.swing.JLabel:isVisible
unanalyzed	call on javax.swing.JLabel:setToolTipText
unanalyzed	call on javax.swing.JLabel:setVisible
unanalyzed	call on javax.swing.JTextField:getText
unanalyzed	call on javax.swing.JTextField:isEnabled

void setEnabled(bool)

Kind	Annotation Text
pre	this.allButton != null
pre	this.customButton != null
pre	this.oneButton != null

void setRule(int, ConditionTree)

Kind	Annotation Text
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	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
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)}
unanalyzed	call on com.dmdirc.actions.ConditionTree:parseStrin g
unanalyzed	call on com.dmdirc.actions.ConditionTree:toString
unanalyzed	call on com.dmdirc.actions.ConditionTreeFactory$Con ditionTreeFactoryType:ordinal
unanalyzed	call on com.dmdirc.actions.ConditionTreeFactory$Con junctionFactory
unanalyzed	call on com.dmdirc.actions.ConditionTreeFactory$Cus tomFactory
unanalyzed	call on com.dmdirc.actions.ConditionTreeFactory$Dis junctionFactory
unanalyzed	call on com.dmdirc.actions.ConditionTreeFactory:get ConditionTree
unanalyzed	call on com.dmdirc.actions.ConditionTreeFactory:get Type
unanalyzed	call on com.dmdirc.addons.ui_swing.components. validating.ValidatingJTextField:firePropertyChange
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionConditionsTreePanel:fireProperty Change
unanalyzed	call on com.dmdirc.config.prefs.validator. ValidationResponse:getFailureReason
unanalyzed	call on com.dmdirc.config.prefs.validator. ValidationResponse:isFailure
unanalyzed	call on com.dmdirc.config.prefs.validator. Validator:validate
unanalyzed	call on java.lang.Object:equals
unanalyzed	call on javax.swing.ButtonGroup:clearSelection
unanalyzed	call on javax.swing.ButtonGroup:getSelection
unanalyzed	call on javax.swing.JLabel:isVisible
unanalyzed	call on javax.swing.JLabel:setToolTipText
unanalyzed	call on javax.swing.JLabel:setVisible
unanalyzed	call on javax.swing.JRadioButton:getModel
unanalyzed	call on javax.swing.JRadioButton:setSelected
unanalyzed	call on javax.swing.JTextField:getText
unanalyzed	call on javax.swing.JTextField:isEnabled
unanalyzed	call on javax.swing.JTextField:setEnabled
unanalyzed	call on javax.swing.JTextField:setText
unanalyzed	call on sortTreeFactory
test_vector	conditionCount: {-2³¹..1}, {2..2³²-1}
test_vector	tree: Addr_Set{null}, Inverse{null}

void sortTreeFactory()

Kind	Annotation Text
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
pre	this.allButton != null
pre	this.group != null
presumption	javax.swing.ButtonGroup:getSelection(...)@159 != null
presumption	javax.swing.ButtonGroup:getSelection(...)@162 != null
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
post	this.treeFactory in Addr_Set{&new ConditionTreeFactory$CustomFactory(sortTreeFactory #3),&new ConditionTreeFactory$DisjunctionFactor y(sortTreeFactory#2),&new ConditionTreeFactory$ ConjunctionFactory(sortTreeFactory#1)}
unanalyzed	call on com.dmdirc.addons.ui_swing.components. validating.ValidatingJTextField:firePropertyChange
unanalyzed	call on com.dmdirc.config.prefs.validator. ValidationResponse:getFailureReason
unanalyzed	call on com.dmdirc.config.prefs.validator. ValidationResponse:isFailure
unanalyzed	call on com.dmdirc.config.prefs.validator. Validator:validate
unanalyzed	call on javax.swing.JLabel:isVisible
unanalyzed	call on javax.swing.JLabel:setToolTipText
unanalyzed	call on javax.swing.JLabel:setVisible
unanalyzed	call on javax.swing.JTextField:getText
unanalyzed	call on javax.swing.JTextField:isEnabled
test_vector	java.lang.Object:equals(...)@159: {0}, {1}
test_vector	java.lang.Object:equals(...)@162: {0}, {1}

void validateConditions()

Kind	Annotation Text
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.conditionCount)
pre	(soft) init'ed(this.validates)
pre	(soft) this.allButton != null
pre	(soft) this.customButton != null
pre	(soft) this.oneButton != null
pre	(soft) this.rule.validator != null
pre	init'ed(this.treeFactory)
pre	this.group != null
pre	this.rule != null
pre	this.rule.errorIcon != null
pre	this.rule.textField != null
presumption	com.dmdirc.actions.ConditionTreeFactory$ConditionTr eeFactoryType:values(...).length >= 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
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)}
unanalyzed	call on com.dmdirc.actions.ConditionTree:parseStrin g
unanalyzed	call on com.dmdirc.actions.ConditionTree:toString
unanalyzed	call on com.dmdirc.actions.ConditionTreeFactory$Con ditionTreeFactoryType:ordinal
unanalyzed	call on com.dmdirc.actions.ConditionTreeFactory$Con junctionFactory
unanalyzed	call on com.dmdirc.actions.ConditionTreeFactory$Cus tomFactory
unanalyzed	call on com.dmdirc.actions.ConditionTreeFactory$Dis junctionFactory
unanalyzed	call on com.dmdirc.actions.ConditionTreeFactory:get ConditionTree
unanalyzed	call on com.dmdirc.actions.ConditionTreeFactory:get Type
unanalyzed	call on com.dmdirc.addons.ui_swing.components. validating.ValidatingJTextField:firePropertyChange
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionConditionsTreePanel:fireProperty Change
unanalyzed	call on com.dmdirc.config.prefs.validator. ValidationResponse:getFailureReason
unanalyzed	call on com.dmdirc.config.prefs.validator. ValidationResponse:isFailure
unanalyzed	call on com.dmdirc.config.prefs.validator. Validator:validate
unanalyzed	call on java.lang.Object:equals
unanalyzed	call on javax.swing.ButtonGroup:clearSelection
unanalyzed	call on javax.swing.ButtonGroup:getSelection
unanalyzed	call on javax.swing.JLabel:isVisible
unanalyzed	call on javax.swing.JLabel:setToolTipText
unanalyzed	call on javax.swing.JLabel:setVisible
unanalyzed	call on javax.swing.JRadioButton:getModel
unanalyzed	call on javax.swing.JRadioButton:setSelected
unanalyzed	call on javax.swing.JTextField:getText
unanalyzed	call on javax.swing.JTextField:isEnabled
unanalyzed	call on javax.swing.JTextField:setEnabled
unanalyzed	call on javax.swing.JTextField:setText
unanalyzed	call on sortTreeFactory