Messages

Last Msg First Msg

method

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

method

com.dmdirc.addons.ui_swing.dialogs.actioneditor. ActionEditorDialog__static_init

method	void com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionEditorDialog(Window, String)
post	this.action == null
post	init'ed(this.conditions)
post	init'ed(this.conditionsValid)
post	this.group == group
post	init'ed(this.group)
post	init'ed(this.name)
post	init'ed(this.nameValid)
post	init'ed(this.response)
post	init'ed(this.showSubstitutions)
post	init'ed(this.substitutions)
post	init'ed(this.triggers)
post	init'ed(this.triggersValid)
unanalyzed	call on javax.swing.JButton:addActionListener
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionEditorDialog:getOkButton
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionEditorDialog:getCancelButton
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionNamePanel:addPropertyChangeListe ner
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionTriggersPanel:addPropertyChangeL istener
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionConditionsPanel:addPropertyChang eListener
unanalyzed	call on java.awt.event.WindowAdapter
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionEditorDialog:addWindowListener
unanalyzed	call on java.awt.Dimension
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionEditorDialog:setMinimumSize
unanalyzed	call on net.miginfocom.swing.MigLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionEditorDialog:setLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionEditorDialog:add
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionEditorDialog:getLeftButton
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionEditorDialog:getRightButton
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardDialog
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionEditorDialog:setDefaultCloseOper ation
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionEditorDialog:setTitle
unanalyzed	call on initComponents
unanalyzed	call on doComponents
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionEditorDialog:setResizable

method	void com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionEditorDialog(Window, String, Action)
presumption	init'ed(java.awt.Dialog$ModalityType.DOCUMENT_ MODAL)
presumption	this.conditions != null
presumption	this.name != null
presumption	this.showSubstitutions != null
presumption	this.triggers != null
post	this.action == action
post	init'ed(this.action)
post	init'ed(this.conditions)
post	init'ed(this.conditionsValid)
post	this.group == group
post	init'ed(this.group)
post	init'ed(this.name)
post	init'ed(this.nameValid)
post	init'ed(this.response)
post	init'ed(this.showSubstitutions)
post	init'ed(this.substitutions)
post	init'ed(this.triggers)
post	init'ed(this.triggersValid)
unanalyzed	call on javax.swing.JButton:addActionListener
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionEditorDialog:getOkButton
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionEditorDialog:getCancelButton
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionNamePanel:addPropertyChangeListe ner
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionTriggersPanel:addPropertyChangeL istener
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionConditionsPanel:addPropertyChang eListener
unanalyzed	call on java.awt.event.WindowAdapter
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionEditorDialog:addWindowListener
unanalyzed	call on java.awt.Dimension
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionEditorDialog:setMinimumSize
unanalyzed	call on net.miginfocom.swing.MigLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionEditorDialog:setLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionEditorDialog:add
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionEditorDialog:getLeftButton
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionEditorDialog:getRightButton

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. StandardDialog(Window, Dialog$ModalityType)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionEditorDialog:setDefaultCloseOper ation(int)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionEditorDialog:setTitle(String)

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

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

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionEditorDialog:setResizable(bool)

method	bool isOpen()
pre	init'ed(me)
post	init'ed(return_value)

method	void showActionEditorDialog(Window, String)
pre	init'ed(me)
post	me == One-of{old me, &new ActionEditorDialog(ge tActionEditorDialog#1)}
post	me != null
post	new ActionEditorDialog(getActionEditorDialog#1) num objects <= 1
post	new ActionEditorDialog(getActionEditorDialog#1). action == null
post	init'ed(new ActionEditorDialog(getActionEditorDialo g#1).conditions)
post	init'ed(new ActionEditorDialog(getActionEditorDialo g#1).conditionsValid)
post	new ActionEditorDialog(getActionEditorDialog#1). group == group
post	init'ed(new ActionEditorDialog(getActionEditorDialo g#1).group)
post	init'ed(new ActionEditorDialog(getActionEditorDialo g#1).name)
post	init'ed(new ActionEditorDialog(getActionEditorDialo g#1).nameValid)
post	init'ed(new ActionEditorDialog(getActionEditorDialo g#1).response)
post	init'ed(new ActionEditorDialog(getActionEditorDialo g#1).showSubstitutions)
post	init'ed(new ActionEditorDialog(getActionEditorDialo g#1).substitutions)
post	init'ed(new ActionEditorDialog(getActionEditorDialo g#1).triggers)
post	init'ed(new ActionEditorDialog(getActionEditorDialo g#1).triggersValid)
unanalyzed	call on javax.swing.JButton:addActionListener
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionEditorDialog:getOkButton
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionEditorDialog:getCancelButton
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionNamePanel:addPropertyChangeListe ner
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionTriggersPanel:addPropertyChangeL istener
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionConditionsPanel:addPropertyChang eListener
unanalyzed	call on java.awt.event.WindowAdapter
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionEditorDialog:addWindowListener
unanalyzed	call on java.awt.Dimension
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionEditorDialog:setMinimumSize
unanalyzed	call on net.miginfocom.swing.MigLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionEditorDialog:setLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionEditorDialog:add
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionEditorDialog:getLeftButton
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionEditorDialog:getRightButton
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardDialog
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionEditorDialog:setDefaultCloseOper ation
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionEditorDialog:setTitle
unanalyzed	call on initComponents
unanalyzed	call on doComponents
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionEditorDialog:setResizable
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionEditorDialog:pack
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionEditorDialog:setLocationRelative To
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionEditorDialog:setVisible

method	void showActionEditorDialog(Window, String, Action)
pre	init'ed(me)
post	me == One-of{old me, &new ActionEditorDialog(ge tActionEditorDialog#1)}
post	me != null
post	new ActionEditorDialog(getActionEditorDialog#1) num objects <= 1
post	new ActionEditorDialog(getActionEditorDialog#1). action == action
post	init'ed(new ActionEditorDialog(getActionEditorDialo g#1).action)
post	init'ed(new ActionEditorDialog(getActionEditorDialo g#1).conditions)
post	init'ed(new ActionEditorDialog(getActionEditorDialo g#1).conditionsValid)
post	new ActionEditorDialog(getActionEditorDialog#1). group == group
post	init'ed(new ActionEditorDialog(getActionEditorDialo g#1).group)
post	init'ed(new ActionEditorDialog(getActionEditorDialo g#1).name)
post	init'ed(new ActionEditorDialog(getActionEditorDialo g#1).nameValid)
post	init'ed(new ActionEditorDialog(getActionEditorDialo g#1).response)
post	init'ed(new ActionEditorDialog(getActionEditorDialo g#1).showSubstitutions)
post	init'ed(new ActionEditorDialog(getActionEditorDialo g#1).substitutions)
post	init'ed(new ActionEditorDialog(getActionEditorDialo g#1).triggers)
post	init'ed(new ActionEditorDialog(getActionEditorDialo g#1).triggersValid)
unanalyzed	call on javax.swing.JButton:addActionListener
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionEditorDialog:getOkButton
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionEditorDialog:getCancelButton
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionNamePanel:addPropertyChangeListe ner
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionTriggersPanel:addPropertyChangeL istener
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionConditionsPanel:addPropertyChang eListener
unanalyzed	call on java.awt.event.WindowAdapter
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionEditorDialog:addWindowListener
unanalyzed	call on java.awt.Dimension
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionEditorDialog:setMinimumSize
unanalyzed	call on net.miginfocom.swing.MigLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionEditorDialog:setLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionEditorDialog:add
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionEditorDialog:getLeftButton
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionEditorDialog:getRightButton
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardDialog
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionEditorDialog:setDefaultCloseOper ation
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionEditorDialog:setTitle
unanalyzed	call on initComponents
unanalyzed	call on doComponents
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionEditorDialog:setResizable

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

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionEditorDialog:setLocationRelative To(Component)

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

method	ActionEditorDialog getActionEditorDialog(Window, String)
pre	init'ed(me)
post	me == One-of{old me, &new ActionEditorDialog(ge tActionEditorDialog#1*)}
post	me != null
post	return_value == me
post	new ActionEditorDialog(getActionEditorDialog#1*) num objects <= 1
post	new ActionEditorDialog(getActionEditorDialog#1*). action == null
post	init'ed(new ActionEditorDialog(getActionEditorDialo g#1*).conditions)
post	init'ed(new ActionEditorDialog(getActionEditorDialo g#1*).conditionsValid)
post	new ActionEditorDialog(getActionEditorDialog#1*). group == group
post	init'ed(new ActionEditorDialog(getActionEditorDialo g#1*).group)
post	init'ed(new ActionEditorDialog(getActionEditorDialo g#1*).name)
post	init'ed(new ActionEditorDialog(getActionEditorDialo g#1*).nameValid)
post	init'ed(new ActionEditorDialog(getActionEditorDialo g#1*).response)
post	init'ed(new ActionEditorDialog(getActionEditorDialo g#1*).showSubstitutions)
post	init'ed(new ActionEditorDialog(getActionEditorDialo g#1*).substitutions)
post	init'ed(new ActionEditorDialog(getActionEditorDialo g#1*).triggers)
post	init'ed(new ActionEditorDialog(getActionEditorDialo g#1*).triggersValid)
unanalyzed	call on javax.swing.JButton:addActionListener
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionEditorDialog:getOkButton
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionEditorDialog:getCancelButton
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionNamePanel:addPropertyChangeListe ner
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionTriggersPanel:addPropertyChangeL istener
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionConditionsPanel:addPropertyChang eListener
unanalyzed	call on java.awt.event.WindowAdapter
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionEditorDialog:addWindowListener
unanalyzed	call on java.awt.Dimension
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionEditorDialog:setMinimumSize
unanalyzed	call on net.miginfocom.swing.MigLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionEditorDialog:setLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionEditorDialog:add
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionEditorDialog:getLeftButton
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionEditorDialog:getRightButton
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardDialog
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionEditorDialog:setDefaultCloseOper ation
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionEditorDialog:setTitle
unanalyzed	call on initComponents
unanalyzed	call on doComponents
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionEditorDialog:setResizable

method	ActionEditorDialog getActionEditorDialog(Window, String, Action)
pre	init'ed(me)
post	me == One-of{old me, &new ActionEditorDialog(ge tActionEditorDialog#1)}
post	me != null
post	return_value == One-of{old me, &new ActionEditorDialog(getActionEditorDialog#1)}
post	return_value != null
post	new ActionEditorDialog(getActionEditorDialog#1) num objects <= 1
post	new ActionEditorDialog(getActionEditorDialog#1). action == action
post	init'ed(new ActionEditorDialog(getActionEditorDialo g#1).action)
post	init'ed(new ActionEditorDialog(getActionEditorDialo g#1).conditions)
post	init'ed(new ActionEditorDialog(getActionEditorDialo g#1).conditionsValid)
post	new ActionEditorDialog(getActionEditorDialog#1). group == group
post	init'ed(new ActionEditorDialog(getActionEditorDialo g#1).group)
post	init'ed(new ActionEditorDialog(getActionEditorDialo g#1).name)
post	init'ed(new ActionEditorDialog(getActionEditorDialo g#1).nameValid)
post	init'ed(new ActionEditorDialog(getActionEditorDialo g#1).response)
post	init'ed(new ActionEditorDialog(getActionEditorDialo g#1).showSubstitutions)
post	init'ed(new ActionEditorDialog(getActionEditorDialo g#1).substitutions)
post	init'ed(new ActionEditorDialog(getActionEditorDialo g#1).triggers)
post	init'ed(new ActionEditorDialog(getActionEditorDialo g#1).triggersValid)
unanalyzed	call on javax.swing.JButton:addActionListener
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionEditorDialog:getOkButton
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionEditorDialog:getCancelButton
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionNamePanel:addPropertyChangeListe ner
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionTriggersPanel:addPropertyChangeL istener
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionConditionsPanel:addPropertyChang eListener
unanalyzed	call on java.awt.event.WindowAdapter
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionEditorDialog:addWindowListener
unanalyzed	call on java.awt.Dimension
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionEditorDialog:setMinimumSize
unanalyzed	call on net.miginfocom.swing.MigLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionEditorDialog:setLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionEditorDialog:add
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionEditorDialog:getLeftButton
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionEditorDialog:getRightButton
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardDialog
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionEditorDialog:setDefaultCloseOper ation
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionEditorDialog:setTitle
unanalyzed	call on initComponents
unanalyzed	call on doComponents
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionEditorDialog:setResizable

method	void doComponents()
pre	init'ed(this.action)
pre	this.conditions != null
pre	this.conditions.list != null
pre	this.conditions.list.conditions != null
pre	this.conditions.tree != null
pre	this.conditions.tree.allButton != null
pre	this.conditions.tree.customButton != null
pre	this.conditions.tree.oneButton != null
pre	this.response != null
pre	this.response.formatter != null
pre	this.response.response != null
pre	this.substitutions != null
pre	this.triggers != null
pre	this.triggers.add != null
pre	this.triggers.trigger != null
pre	this.triggers.triggerList != 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.conditions.list.trigger)
pre	(soft) init'ed(this.conditions.list.validates)
pre	(soft) init'ed(this.conditions.tree.validates)
pre	(soft) this.conditions.add != null
pre	(soft) this.conditions.list.treePanel != null
pre	(soft) this.conditions.list.treePanel.rule != null
pre	(soft) this.conditions.list.treePanel.rule. errorIcon != null
pre	(soft) this.conditions.list.treePanel.rule. textField != null
pre	(soft) this.conditions.list.treePanel.rule. validator != null
pre	(soft) this.conditions.list.treePanel. treeValidator != null
pre	(soft) this.conditions.list.validations != null
pre	(soft) this.conditions.tree.group != null
pre	(soft) this.conditions.tree.rule != null
pre	(soft) this.conditions.tree.rule.errorIcon != null
pre	(soft) this.conditions.tree.rule.textField != null
pre	(soft) this.conditions.tree.rule.validator != null
pre	(soft) this.name != null
pre	(soft) this.name.name != null
pre	(soft) this.name.name.textField != null
pre	(soft) this.triggers.triggerList.triggers != null
presumption	com.dmdirc.actions.Action:getConditions(...)@201 != null
presumption	com.dmdirc.actions.Action:getResponse(...). length@198 <= 2³²-1
presumption	com.dmdirc.actions.Action:getResponse(...)@198 != null
presumption	com.dmdirc.actions.Action:getResponse(...)[...]@198 != null
presumption	com.dmdirc.actions.Action:getTriggers(...). length@197 <= 2³²-1
presumption	com.dmdirc.actions.Action:getTriggers(...). length@200 >= 1
presumption	com.dmdirc.actions.Action:getTriggers(...)@197 != null
presumption	com.dmdirc.actions.Action:getTriggers(...)@200 != null
presumption	com.dmdirc.actions.ConditionTreeFactory$ConditionTr eeFactoryType:values(...).length >= 1
presumption	com.dmdirc.addons.ui_swing.dialogs.actioneditor. ActionEditorDialog:getOkButton(...)@193 != null
post	possibly_updated(this.conditions.list.treePanel. conditionCount)
post	init'ed(this.conditions.list.trigger)
post	init'ed(this.conditions.list.validates)
post	possibly_updated(this.conditions.tree. conditionCount)
post	this.conditions.tree.treeFactory == One-of{old this.conditions.tree.treeFactory, &new ConditionTreeFactory$ConjunctionFactory(sortTreeFa ctory#1), &new ConditionTreeFactory$Disjunction Factory(sortTreeFactory#2), &new ConditionTreeFactor...
post	init'ed(this.conditions.tree.validates)
post	possibly_updated(this.conditions.trigger)
post	this.conditionsValid == 1
post	init'ed(this.nameValid)
post	init'ed(this.triggersValid)
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 javax.swing.JComboBox:getSelectedIndex
unanalyzed	call on javax.swing.JButton:setEnabled
unanalyzed	call on java.util.List:iterator
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 setEnabled
unanalyzed	call on javax.swing.JComboBox:setEnabled
unanalyzed	call on javax.swing.JTextField:setEnabled
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
unanalyzed	call on java.lang.String:replaceAll
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 ConditionTree
unanalyzed	call on java.util.List:size
unanalyzed	call on javax.swing.SwingUtilities:invokeLater
unanalyzed	call on javax.swing.JComboBox:getModel
unanalyzed	call on javax.swing.ComboBoxModel:getSize
unanalyzed	call on javax.swing.JTextArea:setEnabled
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 javax.swing.JLabel
unanalyzed	call on java.util.List:clear
unanalyzed	call on setTrigger
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
unanalyzed	call on javax.swing.JTextField:setText
unanalyzed	call on javax.swing.JTextArea:setText
unanalyzed	call on javax.swing.JComboBox:setSelectedItem
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 delCondition
unanalyzed	call on com.dmdirc.actions.ActionCondition:equals
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
unanalyzed	call on addCondition
unanalyzed	call on com.dmdirc.actions.ConditionTreeFactory:get Type
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 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 com.dmdirc.actions.ConditionTreeFactory:get Factory
test_vector	this.action: Addr_Set{null}, Inverse{null}

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionSubstitutionsPanel:setVisible(bo ol)

method not available - call not analyzed Info call on JButton com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionEditorDialog:getOkButton()

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

method not available - call not analyzed Info call on ActionType[] com.dmdirc.actions. Action:getTriggers()

method not available - call not analyzed Info call on String[] com.dmdirc.actions. Action:getResponse()

method not available - call not analyzed Info call on String com.dmdirc.actions.Action:getNewForm at()

method not available - call not analyzed Info call on ActionType[] com.dmdirc.actions. Action:getTriggers()

method not available - call not analyzed Info call on List com.dmdirc.actions.Action:getCondition s()

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

method	void initComponents()
presumption	this.list != null
presumption	this.tree != null
post	this.conditions == &new ActionConditionsPanel(i nitComponents#6)
post	this.name == &new ActionNamePanel(initComponent s#3)
post	this.response == &new ActionResponsePanel(initC omponents#5)
post	this.showSubstitutions == &new JButton(initComp onents#8)
post	this.substitutions == &new ActionSubstitutionsP anel(initComponents#7)
post	this.triggers == &new ActionTriggersPanel(initC omponents#4)
post	new ActionConditionsPanel(initComponents#6) num objects == 1
post	this.conditions.listValidates == 1
post	this.conditions.treeValidates == 1
post	new ActionNamePanel(initComponents#3) num objects == 1
post	new ActionResponsePanel(initComponents#5) num objects == 1
post	new ActionSubstitutionsPanel(initComponents#7) num objects == 1
post	new ActionTriggersListPanel(initComponents#6) num objects == 1
post	new ActionTriggersPanel(initComponents#4) num objects == 1
post	new ArrayList(ActionTriggersListPanel#2) num objects == 1
post	new FileNameValidator(initComponents#3) num objects == 1
post	new JButton(initComponents#5) num objects == 1
post	new JButton(initComponents#8) num objects == 1
post	new JComboBox(initComponents#1) num objects == 1
post	new JComboBox(initComponents#2) num objects == 1
post	new JLabel(ValidatingJTextField#1) num objects == 1
post	new JTextArea(initComponents#1) num objects == 1
post	new JTextField(initComponents#2) num objects == 1
post	new ListenerList(ActionTriggersListPanel#1) num objects == 1
post	new ValidatingJTextField(initComponents#1) num objects == 1
post	init'ed(this.conditions.add)
post	this.conditions.list != null
post	this.conditions.tree != null
post	this.conditions.trigger == null
post	this.name.name == &new ValidatingJTextField(ini tComponents#1)
post	this.name.originalName == &""
post	this.response.formatter == &new JComboBox(initComponents#2)
post	this.response.response == &new JTextArea(initCo mponents#1)
post	this.substitutions.alignment == &com.dmdirc. addons.ui_swing.components.substitutions. SubstitutionsPanel$Alignment__static_init.new SubstitutionsPanel$Alignment(SubstitutionsPanel$Al ignment__static_init#2)
post	this.substitutions.description == &"Substitutio ns may be used in the response and target fields"
post	new ActionTriggersListPanel(initComponents#6). listeners == &new ListenerList(ActionTriggersLi stPanel#1)
post	new ActionTriggersListPanel(initComponents#6). triggers == &new ArrayList(ActionTriggersListPa nel#2)
post	this.triggers.add == &new JButton(initComponent s#5)
post	this.triggers.trigger == &new JComboBox(initCom ponents#1)
post	this.triggers.triggerList == &new ActionTriggersListPanel(initComponents#6)
post	new ValidatingJTextField(initComponents#1). errorIcon == &new JLabel(ValidatingJTextField#1 )
post	new ValidatingJTextField(initComponents#1). textField == &new JTextField(initComponents#2)
post	new ValidatingJTextField(initComponents#1). validator == &new FileNameValidator(initCompone nts#3)
unanalyzed	call on javax.swing.JTextField
unanalyzed	call on com.dmdirc.config.prefs.validator. FileNameValidator
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 com.dmdirc.addons.ui_swing.components. validating.ValidatingJTextField:addPropertyChangeLi stener
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionNamePanel:setLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionNamePanel:getBorder
unanalyzed	call on javax.swing.BorderFactory:createTitledBorde r
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionNamePanel:setBorder
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionNamePanel:add
unanalyzed	call on javax.swing.JPanel
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionTriggersPanel:getBorder
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionTriggersPanel:setBorder
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionTriggersPanel:getFont
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionTriggersPanel:getFontMetrics
unanalyzed	call on com.dmdirc.actions.ActionManager:getTypeGro ups
unanalyzed	call on javax.swing.DefaultComboBoxModel:addElement
unanalyzed	call on java.lang.String:instanceof
unanalyzed	call on javax.swing.SwingUtilities:computeStringWid th
unanalyzed	call on com.dmdirc.actions.interfaces. ActionType:instanceof
unanalyzed	call on com.dmdirc.actions.interfaces. ActionType:getName
unanalyzed	call on java.lang.Math:max
unanalyzed	call on javax.swing.DefaultComboBoxModel
unanalyzed	call on com.dmdirc.util.MapList:entrySet
unanalyzed	call on java.util.Set:iterator
unanalyzed	call on java.util.Map$Entry:getKey
unanalyzed	call on java.util.Map$Entry:getValue
unanalyzed	call on com.dmdirc.actions.ActionTypeComparator
unanalyzed	call on java.util.Collections:sort
unanalyzed	call on java.util.List:iterator
unanalyzed	call on javax.swing.JComboBox
unanalyzed	call on javax.swing.JComboBox:putClientProperty
unanalyzed	call on javax.swing.DefaultListCellRenderer
unanalyzed	call on javax.swing.JComboBox:setRenderer
unanalyzed	call on javax.swing.JComboBox:setPrototypeDisplayVa lue
unanalyzed	call on javax.swing.JComboBox:addPopupMenuListener
unanalyzed	call on javax.swing.JButton
unanalyzed	call on javax.swing.JComboBox:getSelectedIndex
unanalyzed	call on javax.swing.JButton:setEnabled
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionTriggersListPanel:setLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionTriggersListPanel:setVisible
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionTriggersListPanel:removeAll
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ImageButton
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ImageButton:addActionListener
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionTriggersListPanel:isEnabled
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ImageButton:setEnabled
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionTriggersListPanel:add
unanalyzed	call on java.util.List:size
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 java.lang.Throwable:__curr_excep_obj
unanalyzed	call on com.dmdirc.util.ListenerList
unanalyzed	call on java.util.ArrayList
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionTriggersPanel:setLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionTriggersPanel:add
unanalyzed	call on javax.swing.JButton:addActionListener
unanalyzed	call on javax.swing.JComboBox:addActionListener
unanalyzed	call on com.dmdirc.util.ListenerList:add
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionTriggersListPanel:addPropertyCha ngeListener
unanalyzed	call on javax.swing.JTextArea
unanalyzed	call on javax.swing.JTextArea:setRows
unanalyzed	call on javax.swing.JComboBox:getModel
unanalyzed	call on java.util.TreeSet
unanalyzed	call on com.dmdirc.config.IdentityManager:getGlobal Config
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptions
unanalyzed	call on java.util.Map:keySet
unanalyzed	call on java.util.TreeSet:addAll
unanalyzed	call on java.util.TreeSet:iterator
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionResponsePanel:getBorder
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionResponsePanel:setBorder
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionResponsePanel:setLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionResponsePanel:add
unanalyzed	call on javax.swing.JScrollPane
unanalyzed	call on setEnabled
unanalyzed	call on javax.swing.JComboBox:setEnabled
unanalyzed	call on javax.swing.JTextField:setEnabled
unanalyzed	call on javax.swing.JPanel:setEnabled
unanalyzed	call on javax.swing.JToggleButton:setEnabled
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 com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionConditionsPanel:setLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionConditionsPanel:getBorder
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionConditionsPanel:setBorder
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 initComponents
unanalyzed	call on com.dmdirc.addons.ui_swing.components. substitutions.SubstitutionsPanel
unanalyzed	call on javax.swing.SwingUtilities:invokeLater
unanalyzed	call on com.dmdirc.addons.ui_swing.components. substitutions.SubstitutionsPanel:getBorder
unanalyzed	call on com.dmdirc.addons.ui_swing.components. substitutions.SubstitutionsPanel:setBorder
unanalyzed	call on com.dmdirc.addons.ui_swing.components. substitutions.SubstitutionsPanel$Alignment:equals
unanalyzed	call on com.dmdirc.addons.ui_swing.components. substitutions.SubstitutionsPanel:setLayout
unanalyzed	call on setType

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionEditorDialog:orderButtons(JButto n, JButton)

method	void addListeners()
pre	this.conditions != null
pre	this.name != null
pre	this.showSubstitutions != null
pre	this.triggers != null
presumption	com.dmdirc.addons.ui_swing.dialogs.actioneditor. ActionEditorDialog:getCancelButton(...)@221 != null
presumption	com.dmdirc.addons.ui_swing.dialogs.actioneditor. ActionEditorDialog:getOkButton(...)@220 != null
unanalyzed	call on java.awt.event.WindowAdapter

method not available - call not analyzed Info call on JButton com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionEditorDialog:getOkButton()

method not available - call not analyzed Info call on JButton com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionEditorDialog:getCancelButton()

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionNamePanel:addPropertyChangeListe ner(String, PropertyChangeListener)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionTriggersPanel:addPropertyChangeL istener(String, PropertyChangeListener)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionConditionsPanel:addPropertyChang eListener(String, PropertyChangeListener)

method

void com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionEditorDialog$1(ActionEditorDialo g)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionEditorDialog:addWindowListener(W indowListener)

method	void windowClosing(WindowEvent)
presumption	com.dmdirc.addons.ui_swing.dialogs.actioneditor. ActionEditorDialog:getCancelButton(...)@232 != null

method not available - call not analyzed Info call on JButton com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionEditorDialog:getCancelButton()

method	void layoutComponents()
pre	init'ed(this.conditions)
pre	init'ed(this.name)
pre	init'ed(this.response)
pre	init'ed(this.showSubstitutions)
pre	init'ed(this.substitutions)
pre	init'ed(this.triggers)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionEditorDialog:setMinimumSize(Dime nsion)

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.ActionEditorDialog:setLayout(LayoutMan ager)

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

method not available - call not analyzed Info call on JButton com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionEditorDialog:getLeftButton()

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

method not available - call not analyzed Info call on JButton com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionEditorDialog:getRightButton()

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

method	void actionPerformed(ActionEvent)
pre	e != null
pre	(soft) init'ed(me)
pre	(soft) init'ed(this.action)
pre	(soft) this.conditions != null
pre	(soft) this.conditions.list != null
pre	(soft) this.conditions.list.conditions != null
pre	(soft) this.conditions.tree != null
pre	(soft) this.conditions.tree.treeFactory != null
pre	(soft) init'ed(this.group)
pre	(soft) this.name != null
pre	(soft) this.name.name != null
pre	(soft) this.name.name.textField != null
pre	(soft) this.response != null
pre	(soft) this.response.formatter != null
pre	(soft) this.response.response != null
pre	(soft) this.showSubstitutions != null
pre	(soft) this.substitutions != null
pre	(soft) this.triggers != null
pre	(soft) this.triggers.triggerList != null
pre	(soft) this.triggers.triggerList.triggers != null
presumption	java.awt.event.ActionEvent:getSource(...)@259 != null
presumption	java.awt.event.ActionEvent:getSource(...)@263 != null
presumption	java.awt.event.ActionEvent:getSource(...)@266 != null
post	me == One-of{old me, null}
post	init'ed(me)
unanalyzed	call on javax.swing.JTextField:getText
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.List:iterator
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardDialog:dispose
unanalyzed	call on java.util.List:size
unanalyzed	call on java.util.List:toArray
unanalyzed	call on java.lang.String:replaceAll
unanalyzed	call on javax.swing.JTextArea:getText
unanalyzed	call on java.lang.String:split
unanalyzed	call on javax.swing.JComboBox:getSelectedItem
unanalyzed	call on java.lang.String:equals
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 ConditionTree
unanalyzed	call on com.dmdirc.actions.Action
unanalyzed	call on com.dmdirc.actions.Action:setName
unanalyzed	call on com.dmdirc.actions.Action:setConditionTree
unanalyzed	call on com.dmdirc.actions.Action:setConditions
unanalyzed	call on com.dmdirc.actions.Action:setNewFormat
unanalyzed	call on com.dmdirc.actions.Action:setResponse
unanalyzed	call on com.dmdirc.actions.Action:setTriggers
unanalyzed	call on com.dmdirc.actions.Action:save
test_vector	java.lang.Object:equals(...)@259: {0}, {1}
test_vector	java.lang.Object:equals(...)@263: {0}, {1}
test_vector	java.lang.Object:equals(...)@266: {0}, {1}

method not available - call not analyzed Info call on bool com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionSubstitutionsPanel:isVisible()

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionSubstitutionsPanel:setVisible(bo ol)

method not available - call not analyzed Info call on bool com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionSubstitutionsPanel:isVisible()

method not available - call not analyzed Info call on JButton com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionEditorDialog:getOkButton()

method not available - call not analyzed Info call on JButton com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionEditorDialog:getCancelButton()

method	void save()
pre	init'ed(this.action)
pre	this.conditions != null
pre	this.conditions.list != null
pre	this.conditions.list.conditions != null
pre	this.conditions.tree != null
pre	this.conditions.tree.treeFactory != null
pre	this.name != null
pre	this.name.name != null
pre	this.name.name.textField != null
pre	this.response != null
pre	this.response.formatter != null
pre	this.response.response != null
pre	this.triggers != null
pre	this.triggers.triggerList != null
pre	this.triggers.triggerList.triggers != null
pre	(soft) init'ed(this.group)
unanalyzed	call on javax.swing.JTextField:getText
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.util.List:size
unanalyzed	call on java.util.List:toArray
unanalyzed	call on java.lang.String:replaceAll
unanalyzed	call on javax.swing.JTextArea:getText
unanalyzed	call on java.lang.String:split
unanalyzed	call on javax.swing.JComboBox:getSelectedItem
unanalyzed	call on java.lang.String:equals
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 ConditionTree
test_vector	this.action: Inverse{null}, Addr_Set{null}

Prev Msg Next Msg

unused assignment in callee

click for all messages in this file Low Prob.

Unused assignment to (java.lang.String:split(...)._ tainted) in getResponse

Prev Msg Next Msg

Prev Msg Next Msg

unused assignment in callee

click for all messages in this file Low Prob.

Unused assignment to (java.lang.String:split(...)._ tainted) in getResponse

method not available - call not analyzed Info call on void com.dmdirc.actions.Action(String, String, ActionType[], String[], List, ConditionTree, String)

Prev Msg Next Msg

method not available - call not analyzed Info call on void com.dmdirc.actions.Action:setName(Stri ng)

method not available - call not analyzed Info call on void com.dmdirc.actions.Action:setCondition Tree(ConditionTree)

method not available - call not analyzed Info call on void com.dmdirc.actions.Action:setCondition s(List)

method not available - call not analyzed Info call on void com.dmdirc.actions.Action:setNewFormat (String)

method not available - call not analyzed Info call on void com.dmdirc.actions.Action:setTriggers( ActionType[])

method not available - call not analyzed Info call on void com.dmdirc.actions.Action:save()

method	void propertyChange(PropertyChangeEvent)
pre	evt != null
pre	init'ed(this.name)
pre	(soft) init'ed(this.conditions.list.trigger)
pre	(soft) init'ed(this.conditionsValid)
pre	(soft) init'ed(this.nameValid)
pre	(soft) init'ed(this.triggersValid)
pre	(soft) this.conditions != null
pre	(soft) this.conditions.add != null
pre	(soft) this.conditions.list != null
pre	(soft) this.conditions.list.conditions != null
pre	(soft) this.conditions.tree != null
pre	(soft) this.conditions.tree.allButton != null
pre	(soft) this.conditions.tree.customButton != null
pre	(soft) this.conditions.tree.oneButton != null
pre	(soft) this.response != null
pre	(soft) this.response.formatter != null
pre	(soft) this.response.response != null
pre	(soft) this.substitutions != null
pre	(soft) this.triggers != null
pre	(soft) this.triggers.add != null
pre	(soft) this.triggers.trigger != null
pre	(soft) this.triggers.triggerList != null
pre	(soft) this.triggers.triggerList.triggers != null
presumption	com.dmdirc.addons.ui_swing.dialogs.actioneditor. ActionEditorDialog:getOkButton(...)@315 != null
presumption	java.beans.PropertyChangeEvent:getNewValue(... )@298 != null
presumption	java.beans.PropertyChangeEvent:getNewValue(... )@299 != null
presumption	java.beans.PropertyChangeEvent:getNewValue(... )@300 != null
presumption	java.beans.PropertyChangeEvent:getNewValue(... )@301 != null
presumption	java.beans.PropertyChangeEvent:getNewValue(... )@303 != null
presumption	java.beans.PropertyChangeEvent:getNewValue(... )@305 != null
presumption	java.beans.PropertyChangeEvent:getNewValue(... )@306 != null
presumption	java.beans.PropertyChangeEvent:getNewValue(... )@307 != null
presumption	java.beans.PropertyChangeEvent:getNewValue(... )@312 != null
presumption	java.beans.PropertyChangeEvent:getSource(...)@297 != null
presumption	java.beans.PropertyChangeEvent:getSource(...)@302 != null
presumption	java.beans.PropertyChangeEvent:getSource(...)@311 != null
post	init'ed(this.conditions.list.trigger)
post	possibly_updated(this.conditions.trigger)
post	init'ed(this.conditionsValid)
post	init'ed(this.nameValid)
post	init'ed(this.triggersValid)
unanalyzed	call on javax.swing.JComboBox:getSelectedIndex
unanalyzed	call on javax.swing.JButton:setEnabled
unanalyzed	call on java.util.List:size
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 java.lang.Throwable:__curr_excep_obj
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.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
unanalyzed	call on javax.swing.SwingUtilities:invokeLater
unanalyzed	call on javax.swing.JComboBox:getModel
unanalyzed	call on javax.swing.ComboBoxModel:getSize
unanalyzed	call on javax.swing.JTextArea:setEnabled
unanalyzed	call on java.util.List:get
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 javax.swing.JLabel
unanalyzed	call on java.util.List:clear
unanalyzed	call on setTrigger
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
test_vector	java.lang.Object:equals(...)@297: {0}, {1}
test_vector	java.lang.Object:equals(...)@302: {0}, {1}
test_vector	java.lang.Object:equals(...)@311: {0}, {1}

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionSubstitutionsPanel:setEnabled(bo ol)

method not available - call not analyzed Info call on JButton com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionEditorDialog:getOkButton()

method	void dispose()
pre	init'ed(me)
post	me == null
test_vector	me: Inverse{null}, Addr_Set{null}

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. StandardDialog:dispose()

	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.ActionEditorDialog:setLayout(LayoutMan ager)

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

	method not available - call not analyzed	Info	call on bool com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionSubstitutionsPanel:isVisible()
	method not available - call not analyzed	Info	call on void com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionSubstitutionsPanel:setVisible(bo ol)