ActionEditorDialog.java

ActionEditorDialog.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(me)
pre	(soft) init'ed(this.action)
pre	(soft) init'ed(this.group)
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) 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
pre	e != 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	init'ed(me)
post	me == One-of{old me, null}
unanalyzed	call on com.dmdirc.actions.Action
unanalyzed	call on com.dmdirc.actions.Action:save
unanalyzed	call on com.dmdirc.actions.Action:setConditionTree
unanalyzed	call on com.dmdirc.actions.Action:setConditions
unanalyzed	call on com.dmdirc.actions.Action:setName
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.ConditionTreeFactory:get ConditionTree
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardDialog:dispose
unanalyzed	call on getCondition
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.lang.String:replaceAll
unanalyzed	call on java.lang.String:split
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.List:add
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.util.List:size
unanalyzed	call on java.util.List:toArray
unanalyzed	call on javax.swing.JComboBox:getSelectedItem
unanalyzed	call on javax.swing.JTextArea:getText
unanalyzed	call on javax.swing.JTextField:getText
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}

void addListeners()

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

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

Kind	Annotation Text

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

Kind	Annotation Text

void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionEditorDialog(Window, String)

Kind	Annotation Text
post	init'ed(this.conditions)
post	init'ed(this.conditionsValid)
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)
post	this.action == null
post	this.group == group
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardDialog
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionConditionsPanel:addPropertyChang eListener
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionEditorDialog:add
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionEditorDialog:addWindowListener
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionEditorDialog:getCancelButton
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionEditorDialog:getLeftButton
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionEditorDialog:getOkButton
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionEditorDialog:getRightButton
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionEditorDialog:setDefaultCloseOper ation
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionEditorDialog:setLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionEditorDialog:setMinimumSize
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionEditorDialog:setResizable
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionEditorDialog:setTitle
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 doComponents
unanalyzed	call on initComponents
unanalyzed	call on java.awt.Dimension
unanalyzed	call on java.awt.event.WindowAdapter
unanalyzed	call on javax.swing.JButton:addActionListener
unanalyzed	call on net.miginfocom.swing.MigLayout

void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionEditorDialog(Window, String, Action)

Kind	Annotation Text
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	init'ed(this.action)
post	init'ed(this.conditions)
post	init'ed(this.conditionsValid)
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)
post	this.action == action
post	this.group == group
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionConditionsPanel:addPropertyChang eListener
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionEditorDialog:add
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionEditorDialog:addWindowListener
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionEditorDialog:getCancelButton
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionEditorDialog:getLeftButton
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionEditorDialog:getOkButton
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionEditorDialog:getRightButton
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionEditorDialog:setLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionEditorDialog:setMinimumSize
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 java.awt.Dimension
unanalyzed	call on java.awt.event.WindowAdapter
unanalyzed	call on javax.swing.JButton:addActionListener
unanalyzed	call on net.miginfocom.swing.MigLayout

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

Kind	Annotation Text

void dispose()

Kind	Annotation Text
pre	init'ed(me)
post	me == null
test_vector	me: Inverse{null}, Addr_Set{null}

void doComponents()

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.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
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
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	init'ed(this.conditions.list.trigger)
post	init'ed(this.conditions.list.validates)
post	init'ed(this.conditions.tree.validates)
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
post	possibly_updated(this.conditions.list.treePanel. conditionCount)
post	possibly_updated(this.conditions.tree. conditionCount)
post	possibly_updated(this.conditions.trigger)
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	this.conditionsValid == 1
unanalyzed	call on addCondition
unanalyzed	call on com.dmdirc.actions.ActionCondition:equals
unanalyzed	call on com.dmdirc.actions.ActionCondition:getArg
unanalyzed	call on com.dmdirc.actions.ActionCondition:getCompa rison
unanalyzed	call on com.dmdirc.actions.ActionCondition:getCompo nent
unanalyzed	call on com.dmdirc.actions.ActionCondition:getTarge t
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 Factory
unanalyzed	call on com.dmdirc.actions.ConditionTreeFactory:get Type
unanalyzed	call on com.dmdirc.actions.interfaces. ActionComparison:getName
unanalyzed	call on com.dmdirc.actions.interfaces. ActionComponent:getName
unanalyzed	call on com.dmdirc.actions.interfaces. ActionMetaType:getArgNames
unanalyzed	call on com.dmdirc.actions.interfaces. ActionType:getType
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ImageButton:setEnabled
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:firePropertyChange
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionConditionEditorPanel:setVisible
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionConditionsListPanel:add
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionConditionsListPanel:fireProperty Change
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionConditionsListPanel:removeAll
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionConditionsListPanel:setVisible
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionConditionsTreePanel:fireProperty Change
unanalyzed	call on com.dmdirc.config.prefs.validator. ConditionRuleValidator:setArgs
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 conditionRemoved
unanalyzed	call on delCondition
unanalyzed	call on getCondition
unanalyzed	call on java.awt.Font:getFamily
unanalyzed	call on java.awt.Font:getSize
unanalyzed	call on java.awt.Insets
unanalyzed	call on java.beans.PropertyChangeEvent:getNewValue
unanalyzed	call on java.beans.PropertyChangeEvent:getSource
unanalyzed	call on java.lang.Boolean:booleanValue
unanalyzed	call on java.lang.Object:equals
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on java.lang.String:length
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 java.util.Collection:iterator
unanalyzed	call on java.util.List:add
unanalyzed	call on java.util.List:clear
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.util.List:remove
unanalyzed	call on java.util.List:size
unanalyzed	call on java.util.Map:put
unanalyzed	call on java.util.Map:remove
unanalyzed	call on java.util.Map:values
unanalyzed	call on javax.swing.ButtonGroup:clearSelection
unanalyzed	call on javax.swing.ButtonGroup:getSelection
unanalyzed	call on javax.swing.ComboBoxModel:getSize
unanalyzed	call on javax.swing.DefaultComboBoxModel:addElement
unanalyzed	call on javax.swing.DefaultComboBoxModel:removeAllE lements
unanalyzed	call on javax.swing.JButton:setEnabled
unanalyzed	call on javax.swing.JComboBox:getModel
unanalyzed	call on javax.swing.JComboBox:getSelectedIndex
unanalyzed	call on javax.swing.JComboBox:setEnabled
unanalyzed	call on javax.swing.JComboBox:setSelectedIndex
unanalyzed	call on javax.swing.JComboBox:setSelectedItem
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.JPanel:setEnabled
unanalyzed	call on javax.swing.JRadioButton:getModel
unanalyzed	call on javax.swing.JRadioButton:setEnabled
unanalyzed	call on javax.swing.JRadioButton:setSelected
unanalyzed	call on javax.swing.JTextArea:setEnabled
unanalyzed	call on javax.swing.JTextArea:setText
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.JToggleButton:setEnabled
unanalyzed	call on javax.swing.JToggleButton:setSelected
unanalyzed	call on javax.swing.SwingUtilities:invokeLater
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
unanalyzed	call on setEnabled
unanalyzed	call on setTrigger
unanalyzed	call on sortTreeFactory
test_vector	this.action: Addr_Set{null}, Inverse{null}

ActionEditorDialog getActionEditorDialog(Window, String)

Kind	Annotation Text
pre	init'ed(me)
post	init'ed(new ActionEditorDialog(getActionEditorDialo g#1*).conditions)
post	init'ed(new ActionEditorDialog(getActionEditorDialo g#1*).conditionsValid)
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)
post	me != null
post	me == One-of{old me, &new ActionEditorDialog(ge tActionEditorDialog#1*)}
post	new ActionEditorDialog(getActionEditorDialog#1*) num objects <= 1
post	new ActionEditorDialog(getActionEditorDialog#1*). action == null
post	new ActionEditorDialog(getActionEditorDialog#1*). group == group
post	return_value == me
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardDialog
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionConditionsPanel:addPropertyChang eListener
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionEditorDialog:add
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionEditorDialog:addWindowListener
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionEditorDialog:getCancelButton
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionEditorDialog:getLeftButton
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionEditorDialog:getOkButton
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionEditorDialog:getRightButton
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionEditorDialog:setDefaultCloseOper ation
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionEditorDialog:setLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionEditorDialog:setMinimumSize
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionEditorDialog:setResizable
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionEditorDialog:setTitle
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 doComponents
unanalyzed	call on initComponents
unanalyzed	call on java.awt.Dimension
unanalyzed	call on java.awt.event.WindowAdapter
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on javax.swing.JButton:addActionListener
unanalyzed	call on net.miginfocom.swing.MigLayout

ActionEditorDialog getActionEditorDialog(Window, String, Action)

Kind	Annotation Text
pre	init'ed(me)
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	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)
post	me != null
post	me == One-of{old me, &new ActionEditorDialog(ge tActionEditorDialog#1)}
post	new ActionEditorDialog(getActionEditorDialog#1) num objects <= 1
post	new ActionEditorDialog(getActionEditorDialog#1). action == action
post	new ActionEditorDialog(getActionEditorDialog#1). group == group
post	return_value != null
post	return_value == One-of{old me, &new ActionEditorDialog(getActionEditorDialog#1)}
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardDialog
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionConditionsPanel:addPropertyChang eListener
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionEditorDialog:add
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionEditorDialog:addWindowListener
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionEditorDialog:getCancelButton
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionEditorDialog:getLeftButton
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionEditorDialog:getOkButton
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionEditorDialog:getRightButton
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionEditorDialog:setDefaultCloseOper ation
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionEditorDialog:setLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionEditorDialog:setMinimumSize
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionEditorDialog:setResizable
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionEditorDialog:setTitle
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 doComponents
unanalyzed	call on initComponents
unanalyzed	call on java.awt.Dimension
unanalyzed	call on java.awt.event.WindowAdapter
unanalyzed	call on javax.swing.JButton:addActionListener
unanalyzed	call on net.miginfocom.swing.MigLayout

void initComponents()

Kind	Annotation Text
presumption	this.list != null
presumption	this.tree != null
post	init'ed(this.conditions.add)
post	new ActionConditionsPanel(initComponents#6) num objects == 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 ActionTriggersListPanel(initComponents#6). listeners == &new ListenerList(ActionTriggersLi stPanel#1)
post	new ActionTriggersListPanel(initComponents#6). triggers == &new ArrayList(ActionTriggersListPa nel#2)
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	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)
post	this.conditions == &new ActionConditionsPanel(i nitComponents#6)
post	this.conditions.list != null
post	this.conditions.listValidates == 1
post	this.conditions.tree != null
post	this.conditions.treeValidates == 1
post	this.conditions.trigger == null
post	this.name == &new ActionNamePanel(initComponent s#3)
post	this.name.name == &new ValidatingJTextField(ini tComponents#1)
post	this.name.originalName == &""
post	this.response == &new ActionResponsePanel(initC omponents#5)
post	this.response.formatter == &new JComboBox(initComponents#2)
post	this.response.response == &new JTextArea(initCo mponents#1)
post	this.showSubstitutions == &new JButton(initComp onents#8)
post	this.substitutions == &new ActionSubstitutionsP anel(initComponents#7)
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	this.triggers == &new ActionTriggersPanel(initC omponents#4)
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)
unanalyzed	call on com.dmdirc.actions.ActionManager:getTypeGro ups
unanalyzed	call on com.dmdirc.actions.ActionTypeComparator
unanalyzed	call on com.dmdirc.actions.interfaces. ActionType:getName
unanalyzed	call on com.dmdirc.actions.interfaces. ActionType:instanceof
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.components. ImageButton:setEnabled
unanalyzed	call on com.dmdirc.addons.ui_swing.components. substitutions.SubstitutionsPanel
unanalyzed	call on com.dmdirc.addons.ui_swing.components. substitutions.SubstitutionsPanel$Alignment:equals
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:setLayout
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.ActionConditionsListPanel:addPropertyC hangeListener
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionConditionsPanel:add
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 com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionConditionsPanel:setLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionConditionsTreePanel:addPropertyC hangeListener
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionNamePanel:add
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionNamePanel:getBorder
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionNamePanel:setBorder
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionNamePanel:setLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionResponsePanel:add
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.ActionTriggersListPanel:add
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionTriggersListPanel:addPropertyCha ngeListener
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionTriggersListPanel:isEnabled
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionTriggersListPanel:removeAll
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.ActionTriggersPanel:add
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionTriggersPanel:getBorder
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.addons.ui_swing.dialogs. actioneditor.ActionTriggersPanel:setBorder
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionTriggersPanel:setLayout
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptions
unanalyzed	call on com.dmdirc.config.IdentityManager:getGlobal Config
unanalyzed	call on com.dmdirc.config.prefs.validator. FileNameValidator
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 com.dmdirc.util.ListenerList
unanalyzed	call on com.dmdirc.util.ListenerList:add
unanalyzed	call on com.dmdirc.util.MapList:entrySet
unanalyzed	call on initComponents
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.Math:max
unanalyzed	call on java.lang.String:instanceof
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.Collections:sort
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.util.List:size
unanalyzed	call on java.util.Map$Entry:getKey
unanalyzed	call on java.util.Map$Entry:getValue
unanalyzed	call on java.util.Map:keySet
unanalyzed	call on java.util.Set:iterator
unanalyzed	call on java.util.TreeSet
unanalyzed	call on java.util.TreeSet:addAll
unanalyzed	call on java.util.TreeSet:iterator
unanalyzed	call on javax.swing.BorderFactory:createTitledBorde r
unanalyzed	call on javax.swing.DefaultComboBoxModel
unanalyzed	call on javax.swing.DefaultComboBoxModel:addElement
unanalyzed	call on javax.swing.DefaultListCellRenderer
unanalyzed	call on javax.swing.JButton
unanalyzed	call on javax.swing.JButton:addActionListener
unanalyzed	call on javax.swing.JButton:setEnabled
unanalyzed	call on javax.swing.JComboBox
unanalyzed	call on javax.swing.JComboBox:addActionListener
unanalyzed	call on javax.swing.JComboBox:addPopupMenuListener
unanalyzed	call on javax.swing.JComboBox:getModel
unanalyzed	call on javax.swing.JComboBox:getSelectedIndex
unanalyzed	call on javax.swing.JComboBox:putClientProperty
unanalyzed	call on javax.swing.JComboBox:setEnabled
unanalyzed	call on javax.swing.JComboBox:setPrototypeDisplayVa lue
unanalyzed	call on javax.swing.JComboBox:setRenderer
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.JPanel
unanalyzed	call on javax.swing.JPanel:setEnabled
unanalyzed	call on javax.swing.JRadioButton:setEnabled
unanalyzed	call on javax.swing.JScrollBar:setUnitIncrement
unanalyzed	call on javax.swing.JScrollPane
unanalyzed	call on javax.swing.JScrollPane:getVerticalScrollBa r
unanalyzed	call on javax.swing.JScrollPane:setHorizontalScroll BarPolicy
unanalyzed	call on javax.swing.JSeparator
unanalyzed	call on javax.swing.JTextArea
unanalyzed	call on javax.swing.JTextArea:setRows
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.JTextPane
unanalyzed	call on javax.swing.JTextPane:getDocument
unanalyzed	call on javax.swing.JTextPane:setText
unanalyzed	call on javax.swing.JToggleButton:setEnabled
unanalyzed	call on javax.swing.SwingUtilities:computeStringWid th
unanalyzed	call on javax.swing.SwingUtilities:invokeLater
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 setEnabled
unanalyzed	call on setType

bool isOpen()

Kind	Annotation Text
pre	init'ed(me)
post	init'ed(return_value)

void layoutComponents()

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

void propertyChange(PropertyChangeEvent)

Kind	Annotation Text
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
pre	evt != null
pre	init'ed(this.name)
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	init'ed(this.conditionsValid)
post	init'ed(this.nameValid)
post	init'ed(this.triggersValid)
post	possibly_updated(this.conditions.trigger)
unanalyzed	call on com.dmdirc.actions.ActionCondition:getArg
unanalyzed	call on com.dmdirc.actions.ActionCondition:getCompa rison
unanalyzed	call on com.dmdirc.actions.ActionCondition:getCompo nent
unanalyzed	call on com.dmdirc.actions.ActionCondition:getTarge t
unanalyzed	call on com.dmdirc.actions.interfaces. ActionComparison:getName
unanalyzed	call on com.dmdirc.actions.interfaces. ActionComponent:getName
unanalyzed	call on com.dmdirc.actions.interfaces. ActionMetaType:getArgNames
unanalyzed	call on com.dmdirc.actions.interfaces. ActionType:getType
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ImageButton:setEnabled
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.dialogs. actioneditor.ActionConditionEditorPanel:setVisible
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionConditionsListPanel:add
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionConditionsListPanel:removeAll
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionConditionsListPanel:setVisible
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 java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.List:clear
unanalyzed	call on java.util.List:get
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.util.List:size
unanalyzed	call on javax.swing.ComboBoxModel:getSize
unanalyzed	call on javax.swing.DefaultComboBoxModel:addElement
unanalyzed	call on javax.swing.DefaultComboBoxModel:removeAllE lements
unanalyzed	call on javax.swing.JButton:setEnabled
unanalyzed	call on javax.swing.JComboBox:getModel
unanalyzed	call on javax.swing.JComboBox:getSelectedIndex
unanalyzed	call on javax.swing.JComboBox:setEnabled
unanalyzed	call on javax.swing.JComboBox:setSelectedIndex
unanalyzed	call on javax.swing.JLabel
unanalyzed	call on javax.swing.JPanel:setEnabled
unanalyzed	call on javax.swing.JRadioButton:setEnabled
unanalyzed	call on javax.swing.JTextArea:setEnabled
unanalyzed	call on javax.swing.JTextField:setEnabled
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.JToggleButton:setEnabled
unanalyzed	call on javax.swing.JToggleButton:setSelected
unanalyzed	call on javax.swing.SwingUtilities:invokeLater
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
unanalyzed	call on setEnabled
unanalyzed	call on setTrigger
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}

void save()

Kind	Annotation Text
pre	(soft) init'ed(this.group)
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
unanalyzed	call on com.dmdirc.actions.ConditionTreeFactory:get ConditionTree
unanalyzed	call on getCondition
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.lang.String:replaceAll
unanalyzed	call on java.lang.String:split
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.List:add
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.util.List:size
unanalyzed	call on java.util.List:toArray
unanalyzed	call on javax.swing.JComboBox:getSelectedItem
unanalyzed	call on javax.swing.JTextArea:getText
unanalyzed	call on javax.swing.JTextField:getText
test_vector	this.action: Inverse{null}, Addr_Set{null}

void showActionEditorDialog(Window, String)

Kind	Annotation Text
pre	init'ed(me)
post	init'ed(new ActionEditorDialog(getActionEditorDialo g#1).conditions)
post	init'ed(new ActionEditorDialog(getActionEditorDialo g#1).conditionsValid)
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)
post	me != null
post	me == One-of{old me, &new ActionEditorDialog(ge tActionEditorDialog#1)}
post	new ActionEditorDialog(getActionEditorDialog#1) num objects <= 1
post	new ActionEditorDialog(getActionEditorDialog#1). action == null
post	new ActionEditorDialog(getActionEditorDialog#1). group == group
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardDialog
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionConditionsPanel:addPropertyChang eListener
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionEditorDialog:add
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionEditorDialog:addWindowListener
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionEditorDialog:getCancelButton
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionEditorDialog:getLeftButton
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionEditorDialog:getOkButton
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionEditorDialog:getRightButton
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionEditorDialog:pack
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionEditorDialog:setDefaultCloseOper ation
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionEditorDialog:setLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionEditorDialog:setLocationRelative To
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionEditorDialog:setMinimumSize
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionEditorDialog:setResizable
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionEditorDialog:setTitle
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionEditorDialog:setVisible
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 doComponents
unanalyzed	call on initComponents
unanalyzed	call on java.awt.Dimension
unanalyzed	call on java.awt.event.WindowAdapter
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on javax.swing.JButton:addActionListener
unanalyzed	call on net.miginfocom.swing.MigLayout

void showActionEditorDialog(Window, String, Action)

Kind	Annotation Text
pre	init'ed(me)
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	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)
post	me != null
post	me == One-of{old me, &new ActionEditorDialog(ge tActionEditorDialog#1)}
post	new ActionEditorDialog(getActionEditorDialog#1) num objects <= 1
post	new ActionEditorDialog(getActionEditorDialog#1). action == action
post	new ActionEditorDialog(getActionEditorDialog#1). group == group
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardDialog
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionConditionsPanel:addPropertyChang eListener
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionEditorDialog:add
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionEditorDialog:addWindowListener
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionEditorDialog:getCancelButton
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionEditorDialog:getLeftButton
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionEditorDialog:getOkButton
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionEditorDialog:getRightButton
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionEditorDialog:setDefaultCloseOper ation
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionEditorDialog:setLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionEditorDialog:setMinimumSize
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionEditorDialog:setResizable
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionEditorDialog:setTitle
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 doComponents
unanalyzed	call on initComponents
unanalyzed	call on java.awt.Dimension
unanalyzed	call on java.awt.event.WindowAdapter
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on javax.swing.JButton:addActionListener
unanalyzed	call on net.miginfocom.swing.MigLayout

void windowClosing(WindowEvent)

Kind	Annotation Text
presumption	com.dmdirc.addons.ui_swing.dialogs.actioneditor. ActionEditorDialog:getCancelButton(...)@232 != null