//# 1 errors, 1,074 messages
//#
/*
    //#ActionConditionsListPanel.java:1:1: class: com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel
    //#ActionConditionsListPanel.java:1:1: method: com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel.com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel__static_init
 * Copyright (c) 2006-2009 Chris Smith, Shane Mc Cormack, Gregory Holmes
 * 
 * Permission is hereby granted, free of charge, to any person obtaining a copy
 * of this software and associated documentation files (the "Software"), to deal
 * in the Software without restriction, including without limitation the rights
 * to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
 * copies of the Software, and to permit persons to whom the Software is
 * furnished to do so, subject to the following conditions:
 * 
 * The above copyright notice and this permission notice shall be included in
 * all copies or substantial portions of the Software.
 * 
 * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
 * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
 * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
 * AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
 * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
 * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
 * SOFTWARE.
 */

package com.dmdirc.addons.ui_swing.dialogs.actioneditor;

import com.dmdirc.actions.ActionCondition;
import com.dmdirc.actions.interfaces.ActionType;
import com.dmdirc.addons.ui_swing.components.text.TextLabel;

import java.beans.PropertyChangeEvent;
import java.beans.PropertyChangeListener;
import java.util.ArrayList;
import java.util.HashMap;
import java.util.List;

import java.util.Map;
import javax.swing.JLabel;
import javax.swing.JPanel;

import net.miginfocom.swing.MigLayout;

/**
 * Action conditions list panel.
 */
public class ActionConditionsListPanel extends JPanel implements ActionConditionRemovalListener,
        PropertyChangeListener {

    /**
     * A version number for this class. It should be changed whenever the class
     * structure is changed (or anything else that would prevent serialized
     * objects being unserialized with the new class).
     */
    private static final long serialVersionUID = 1;
    /** Action trigger. */
    private ActionType trigger;
    /** Conditions list. */
    private List<ActionConditionDisplayPanel> conditions;
    /** Condition tree panel. */
    private ActionConditionsTreePanel treePanel;
    /** Condition validation results. */
    private Map<ActionConditionDisplayPanel, Boolean> validations;
    /** validates. */
    private boolean validates = true;

    /** 
     * Instantiates the panel.
     * 
     * @param treePanel Condition tree panel. 
     */
    public ActionConditionsListPanel(final ActionConditionsTreePanel treePanel) {
        this(null, new ArrayList<ActionConditionDisplayPanel>(), treePanel);
    //#ActionConditionsListPanel.java:70: method: void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel.com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionConditionsTreePanel)
    //#input(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionConditionsTreePanel)): "."._tainted
    //#input(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionConditionsTreePanel)): "; "._tainted
    //#input(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionConditionsTreePanel)): "body { font-family: "._tainted
    //#input(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionConditionsTreePanel)): "font-size: "._tainted
    //#input(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionConditionsTreePanel)): "pt; }"._tainted
    //#input(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionConditionsTreePanel)): __Descendant_Table[com/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionConditionsListPanel]
    //#input(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionConditionsTreePanel)): __Descendant_Table[others]
    //#input(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionConditionsTreePanel)): __Dispatch_Table.setEnabled(Z)V
    //#input(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionConditionsTreePanel)): com/dmdirc/addons/ui_swing/components/text/TextLabel.__Descendant_Table[com/dmdirc/addons/ui_swing/components/text/TextLabel]
    //#input(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionConditionsTreePanel)): com/dmdirc/addons/ui_swing/components/text/TextLabel.__Descendant_Table[others]
    //#input(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionConditionsTreePanel)): com/dmdirc/addons/ui_swing/components/text/TextLabel.__Dispatch_Table.getDocument()Ljavax/swing/text/StyledDocument;
    //#input(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionConditionsTreePanel)): com/dmdirc/addons/ui_swing/components/text/TextLabel.__Dispatch_Table.setText(Ljava/lang/String;)V
    //#input(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionConditionsTreePanel)): com/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionConditionDisplayPanel.__Descendant_Table[com/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionConditionDisplayPanel]
    //#input(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionConditionsTreePanel)): com/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionConditionDisplayPanel.__Descendant_Table[others]
    //#input(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionConditionsTreePanel)): com/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionConditionDisplayPanel.__Dispatch_Table.addConditionListener(Lcom/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionConditionRemovalListener;)V
    //#input(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionConditionsTreePanel)): com/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionConditionDisplayPanel.__Dispatch_Table.setEnabled(Z)V
    //#input(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionConditionsTreePanel)): com/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionConditionEditorPanel.__Descendant_Table[com/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionConditionEditorPanel]
    //#input(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionConditionsTreePanel)): com/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionConditionEditorPanel.__Descendant_Table[others]
    //#input(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionConditionsTreePanel)): com/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionConditionEditorPanel.__Dispatch_Table.setEnabled(Z)V
    //#input(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionConditionsTreePanel)): this
    //#input(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionConditionsTreePanel)): this.__Tag
    //#input(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionConditionsTreePanel)): treePanel
    //#output(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionConditionsTreePanel)): new ArrayList(ActionConditionsListPanel#2) num objects
    //#output(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionConditionsTreePanel)): new ArrayList(ActionConditionsListPanel#2).__Lock
    //#output(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionConditionsTreePanel)): new HashMap(ActionConditionsListPanel#1) num objects
    //#output(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionConditionsTreePanel)): this.__Tag
    //#output(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionConditionsTreePanel)): this.conditions
    //#output(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionConditionsTreePanel)): this.treePanel
    //#output(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionConditionsTreePanel)): this.trigger
    //#output(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionConditionsTreePanel)): this.validates
    //#output(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionConditionsTreePanel)): this.validations
    //#new obj(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionConditionsTreePanel)): new ArrayList(ActionConditionsListPanel#2)
    //#new obj(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionConditionsTreePanel)): new HashMap(ActionConditionsListPanel#1)
    //#pre[1] (void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionConditionsTreePanel)): (soft) this.__Tag == com/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionConditionsListPanel
    //#post(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionConditionsTreePanel)): this.__Tag == com/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionConditionsListPanel
    //#post(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionConditionsTreePanel)): this.conditions == &new ArrayList(ActionConditionsListPanel#2)
    //#post(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionConditionsTreePanel)): this.treePanel == treePanel
    //#post(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionConditionsTreePanel)): init'ed(this.treePanel)
    //#post(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionConditionsTreePanel)): this.trigger == null
    //#post(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionConditionsTreePanel)): this.validates == 1
    //#post(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionConditionsTreePanel)): new ArrayList(ActionConditionsListPanel#2) num objects == 1
    //#post(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionConditionsTreePanel)): new HashMap(ActionConditionsListPanel#1) num objects == 1
    //#post(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionConditionsTreePanel)): this.validations == &new HashMap(ActionConditionsListPanel#1)
    //#post(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionConditionsTreePanel)): init'ed(new ArrayList(ActionConditionsListPanel#2).__Lock)
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionConditionsTreePanel)): Effects-of-calling:com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel:setVisible
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionConditionsTreePanel)): Effects-of-calling:com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel:removeAll
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionConditionsTreePanel)): Effects-of-calling:javax.swing.JTextPane:getDocument
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionConditionsTreePanel)): Effects-of-calling:javax.swing.JTextPane:setText
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionConditionsTreePanel)): Effects-of-calling:java.lang.String:isEmpty
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionConditionsTreePanel)): Effects-of-calling:java.lang.String:length
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionConditionsTreePanel)): Effects-of-calling:javax.swing.text.StyledDocument:setParagraphAttributes
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionConditionsTreePanel)): Effects-of-calling:javax.swing.text.DefaultStyledDocument
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionConditionsTreePanel)): Effects-of-calling:javax.swing.JTextPane
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionConditionsTreePanel)): Effects-of-calling:javax.swing.text.html.HTMLEditorKit
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionConditionsTreePanel)): Effects-of-calling:com.dmdirc.addons.ui_swing.components.text.TextLabel:setEditorKit
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionConditionsTreePanel)): Effects-of-calling:javax.swing.plaf.basic.BasicTextPaneUI
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionConditionsTreePanel)): Effects-of-calling:com.dmdirc.addons.ui_swing.components.text.TextLabel:setUI
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionConditionsTreePanel)): Effects-of-calling:javax.swing.UIManager:getFont
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionConditionsTreePanel)): Effects-of-calling:javax.swing.text.html.HTMLDocument:getStyleSheet
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionConditionsTreePanel)): Effects-of-calling:java.lang.StringBuilder
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionConditionsTreePanel)): Effects-of-calling:java.lang.StringBuilder:append
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionConditionsTreePanel)): Effects-of-calling:java.awt.Font:getFamily
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionConditionsTreePanel)): Effects-of-calling:java.awt.Font:getSize
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionConditionsTreePanel)): Effects-of-calling:java.lang.StringBuilder:toString
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionConditionsTreePanel)): Effects-of-calling:javax.swing.text.html.StyleSheet:addRule
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionConditionsTreePanel)): Effects-of-calling:com.dmdirc.addons.ui_swing.components.text.TextLabel:setOpaque
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionConditionsTreePanel)): Effects-of-calling:com.dmdirc.addons.ui_swing.components.text.TextLabel:setEditable
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionConditionsTreePanel)): Effects-of-calling:com.dmdirc.addons.ui_swing.components.text.TextLabel:setHighlighter
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionConditionsTreePanel)): Effects-of-calling:java.awt.Insets
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionConditionsTreePanel)): Effects-of-calling:com.dmdirc.addons.ui_swing.components.text.TextLabel:setMargin
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionConditionsTreePanel)): Effects-of-calling:javax.swing.text.SimpleAttributeSet
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionConditionsTreePanel)): Effects-of-calling:javax.swing.text.StyleConstants:setAlignment
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionConditionsTreePanel)): Effects-of-calling:com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel:add
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionConditionsTreePanel)): Effects-of-calling:com.dmdirc.actions.interfaces.ActionType:getType
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionConditionsTreePanel)): Effects-of-calling:com.dmdirc.actions.interfaces.ActionMetaType:getArgNames
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionConditionsTreePanel)): Effects-of-calling:java.util.List:iterator
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionConditionsTreePanel)): Effects-of-calling:java.util.Iterator:hasNext
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionConditionsTreePanel)): Effects-of-calling:java.util.Iterator:next
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionConditionsTreePanel)): Effects-of-calling:javax.swing.JLabel
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionConditionsTreePanel)): Effects-of-calling:java.lang.Throwable:__curr_excep_obj
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionConditionsTreePanel)): Effects-of-calling:addConditionListener
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionConditionsTreePanel)): Effects-of-calling:setEnabled
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionConditionsTreePanel)): Effects-of-calling:net.miginfocom.swing.MigLayout
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionConditionsTreePanel)): Effects-of-calling:com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel:setLayout
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionConditionsTreePanel)): Effects-of-calling:javax.swing.JPanel
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionConditionsTreePanel)): Effects-of-calling:java.util.HashMap
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionConditionsTreePanel)): Effects-of-calling:java.util.ArrayList
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionConditionsTreePanel)): Effects-of-calling:com.dmdirc.util.ListenerList:add
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionConditionsTreePanel)): Effects-of-calling:javax.swing.JComboBox:setEnabled
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionConditionsTreePanel)): Effects-of-calling:javax.swing.JTextField:setEnabled
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionConditionsTreePanel)): Effects-of-calling:javax.swing.JComboBox:getSelectedIndex
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionConditionsTreePanel)): Effects-of-calling:javax.swing.JPanel:setEnabled
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionConditionsTreePanel)): Effects-of-calling:javax.swing.JToggleButton:setEnabled
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionConditionsTreePanel)): Effects-of-calling:com.dmdirc.addons.ui_swing.components.ImageButton:setEnabled
    }
    //#ActionConditionsListPanel.java:71: end of method: void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel.com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionConditionsTreePanel)

    /** 
     * Instantiates the panel.
     * 
     * @param trigger Action trigger
     * @param treePanel Condition tree panel.
     */
    public ActionConditionsListPanel(final ActionType trigger,
            final ActionConditionsTreePanel treePanel) {
        this(trigger, new ArrayList<ActionConditionDisplayPanel>(), treePanel);
    //#ActionConditionsListPanel.java:81: method: void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel.com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, ActionConditionsTreePanel)
    //#input(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, ActionConditionsTreePanel)): "."._tainted
    //#input(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, ActionConditionsTreePanel)): "; "._tainted
    //#input(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, ActionConditionsTreePanel)): "body { font-family: "._tainted
    //#input(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, ActionConditionsTreePanel)): "font-size: "._tainted
    //#input(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, ActionConditionsTreePanel)): "pt; }"._tainted
    //#input(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, ActionConditionsTreePanel)): __Descendant_Table[com/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionConditionsListPanel]
    //#input(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, ActionConditionsTreePanel)): __Descendant_Table[others]
    //#input(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, ActionConditionsTreePanel)): __Dispatch_Table.setEnabled(Z)V
    //#input(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, ActionConditionsTreePanel)): com/dmdirc/addons/ui_swing/components/text/TextLabel.__Descendant_Table[com/dmdirc/addons/ui_swing/components/text/TextLabel]
    //#input(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, ActionConditionsTreePanel)): com/dmdirc/addons/ui_swing/components/text/TextLabel.__Descendant_Table[others]
    //#input(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, ActionConditionsTreePanel)): com/dmdirc/addons/ui_swing/components/text/TextLabel.__Dispatch_Table.getDocument()Ljavax/swing/text/StyledDocument;
    //#input(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, ActionConditionsTreePanel)): com/dmdirc/addons/ui_swing/components/text/TextLabel.__Dispatch_Table.setText(Ljava/lang/String;)V
    //#input(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, ActionConditionsTreePanel)): com/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionConditionDisplayPanel.__Descendant_Table[com/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionConditionDisplayPanel]
    //#input(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, ActionConditionsTreePanel)): com/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionConditionDisplayPanel.__Descendant_Table[others]
    //#input(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, ActionConditionsTreePanel)): com/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionConditionDisplayPanel.__Dispatch_Table.addConditionListener(Lcom/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionConditionRemovalListener;)V
    //#input(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, ActionConditionsTreePanel)): com/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionConditionDisplayPanel.__Dispatch_Table.setEnabled(Z)V
    //#input(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, ActionConditionsTreePanel)): com/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionConditionEditorPanel.__Descendant_Table[com/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionConditionEditorPanel]
    //#input(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, ActionConditionsTreePanel)): com/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionConditionEditorPanel.__Descendant_Table[others]
    //#input(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, ActionConditionsTreePanel)): com/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionConditionEditorPanel.__Dispatch_Table.setEnabled(Z)V
    //#input(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, ActionConditionsTreePanel)): this
    //#input(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, ActionConditionsTreePanel)): this.__Tag
    //#input(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, ActionConditionsTreePanel)): treePanel
    //#input(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, ActionConditionsTreePanel)): trigger
    //#output(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, ActionConditionsTreePanel)): new ArrayList(ActionConditionsListPanel#2) num objects
    //#output(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, ActionConditionsTreePanel)): new ArrayList(ActionConditionsListPanel#2).__Lock
    //#output(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, ActionConditionsTreePanel)): new HashMap(ActionConditionsListPanel#1) num objects
    //#output(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, ActionConditionsTreePanel)): this.__Tag
    //#output(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, ActionConditionsTreePanel)): this.conditions
    //#output(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, ActionConditionsTreePanel)): this.treePanel
    //#output(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, ActionConditionsTreePanel)): this.trigger
    //#output(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, ActionConditionsTreePanel)): this.validates
    //#output(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, ActionConditionsTreePanel)): this.validations
    //#new obj(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, ActionConditionsTreePanel)): new ArrayList(ActionConditionsListPanel#2)
    //#new obj(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, ActionConditionsTreePanel)): new HashMap(ActionConditionsListPanel#1)
    //#pre[1] (void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, ActionConditionsTreePanel)): (soft) this.__Tag == com/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionConditionsListPanel
    //#post(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, ActionConditionsTreePanel)): this.__Tag == com/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionConditionsListPanel
    //#post(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, ActionConditionsTreePanel)): this.conditions == &new ArrayList(ActionConditionsListPanel#2)
    //#post(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, ActionConditionsTreePanel)): this.treePanel == treePanel
    //#post(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, ActionConditionsTreePanel)): init'ed(this.treePanel)
    //#post(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, ActionConditionsTreePanel)): this.trigger == trigger
    //#post(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, ActionConditionsTreePanel)): init'ed(this.trigger)
    //#post(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, ActionConditionsTreePanel)): this.validates == 1
    //#post(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, ActionConditionsTreePanel)): new ArrayList(ActionConditionsListPanel#2) num objects == 1
    //#post(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, ActionConditionsTreePanel)): new HashMap(ActionConditionsListPanel#1) num objects == 1
    //#post(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, ActionConditionsTreePanel)): this.validations == &new HashMap(ActionConditionsListPanel#1)
    //#post(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, ActionConditionsTreePanel)): init'ed(new ArrayList(ActionConditionsListPanel#2).__Lock)
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, ActionConditionsTreePanel)): Effects-of-calling:com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel:setVisible
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, ActionConditionsTreePanel)): Effects-of-calling:com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel:removeAll
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, ActionConditionsTreePanel)): Effects-of-calling:javax.swing.JTextPane:getDocument
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, ActionConditionsTreePanel)): Effects-of-calling:javax.swing.JTextPane:setText
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, ActionConditionsTreePanel)): Effects-of-calling:java.lang.String:isEmpty
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, ActionConditionsTreePanel)): Effects-of-calling:java.lang.String:length
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, ActionConditionsTreePanel)): Effects-of-calling:javax.swing.text.StyledDocument:setParagraphAttributes
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, ActionConditionsTreePanel)): Effects-of-calling:javax.swing.text.DefaultStyledDocument
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, ActionConditionsTreePanel)): Effects-of-calling:javax.swing.JTextPane
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, ActionConditionsTreePanel)): Effects-of-calling:javax.swing.text.html.HTMLEditorKit
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, ActionConditionsTreePanel)): Effects-of-calling:com.dmdirc.addons.ui_swing.components.text.TextLabel:setEditorKit
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, ActionConditionsTreePanel)): Effects-of-calling:javax.swing.plaf.basic.BasicTextPaneUI
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, ActionConditionsTreePanel)): Effects-of-calling:com.dmdirc.addons.ui_swing.components.text.TextLabel:setUI
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, ActionConditionsTreePanel)): Effects-of-calling:javax.swing.UIManager:getFont
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, ActionConditionsTreePanel)): Effects-of-calling:javax.swing.text.html.HTMLDocument:getStyleSheet
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, ActionConditionsTreePanel)): Effects-of-calling:java.lang.StringBuilder
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, ActionConditionsTreePanel)): Effects-of-calling:java.lang.StringBuilder:append
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, ActionConditionsTreePanel)): Effects-of-calling:java.awt.Font:getFamily
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, ActionConditionsTreePanel)): Effects-of-calling:java.awt.Font:getSize
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, ActionConditionsTreePanel)): Effects-of-calling:java.lang.StringBuilder:toString
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, ActionConditionsTreePanel)): Effects-of-calling:javax.swing.text.html.StyleSheet:addRule
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, ActionConditionsTreePanel)): Effects-of-calling:com.dmdirc.addons.ui_swing.components.text.TextLabel:setOpaque
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, ActionConditionsTreePanel)): Effects-of-calling:com.dmdirc.addons.ui_swing.components.text.TextLabel:setEditable
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, ActionConditionsTreePanel)): Effects-of-calling:com.dmdirc.addons.ui_swing.components.text.TextLabel:setHighlighter
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, ActionConditionsTreePanel)): Effects-of-calling:java.awt.Insets
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, ActionConditionsTreePanel)): Effects-of-calling:com.dmdirc.addons.ui_swing.components.text.TextLabel:setMargin
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, ActionConditionsTreePanel)): Effects-of-calling:javax.swing.text.SimpleAttributeSet
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, ActionConditionsTreePanel)): Effects-of-calling:javax.swing.text.StyleConstants:setAlignment
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, ActionConditionsTreePanel)): Effects-of-calling:com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel:add
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, ActionConditionsTreePanel)): Effects-of-calling:com.dmdirc.actions.interfaces.ActionType:getType
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, ActionConditionsTreePanel)): Effects-of-calling:com.dmdirc.actions.interfaces.ActionMetaType:getArgNames
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, ActionConditionsTreePanel)): Effects-of-calling:java.util.List:iterator
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, ActionConditionsTreePanel)): Effects-of-calling:java.util.Iterator:hasNext
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, ActionConditionsTreePanel)): Effects-of-calling:java.util.Iterator:next
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, ActionConditionsTreePanel)): Effects-of-calling:javax.swing.JLabel
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, ActionConditionsTreePanel)): Effects-of-calling:java.lang.Throwable:__curr_excep_obj
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, ActionConditionsTreePanel)): Effects-of-calling:addConditionListener
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, ActionConditionsTreePanel)): Effects-of-calling:setEnabled
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, ActionConditionsTreePanel)): Effects-of-calling:net.miginfocom.swing.MigLayout
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, ActionConditionsTreePanel)): Effects-of-calling:com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel:setLayout
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, ActionConditionsTreePanel)): Effects-of-calling:javax.swing.JPanel
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, ActionConditionsTreePanel)): Effects-of-calling:java.util.HashMap
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, ActionConditionsTreePanel)): Effects-of-calling:java.util.ArrayList
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, ActionConditionsTreePanel)): Effects-of-calling:com.dmdirc.util.ListenerList:add
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, ActionConditionsTreePanel)): Effects-of-calling:javax.swing.JComboBox:setEnabled
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, ActionConditionsTreePanel)): Effects-of-calling:javax.swing.JTextField:setEnabled
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, ActionConditionsTreePanel)): Effects-of-calling:javax.swing.JComboBox:getSelectedIndex
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, ActionConditionsTreePanel)): Effects-of-calling:javax.swing.JPanel:setEnabled
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, ActionConditionsTreePanel)): Effects-of-calling:javax.swing.JToggleButton:setEnabled
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, ActionConditionsTreePanel)): Effects-of-calling:com.dmdirc.addons.ui_swing.components.ImageButton:setEnabled
    }
    //#ActionConditionsListPanel.java:82: end of method: void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel.com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, ActionConditionsTreePanel)

    /** 
     * Instantiates the panel.
     * 
     * @param trigger Action trigger
     * @param conditions List of existing conditions;
     * @param treePanel Condition tree panel.
     */
    public ActionConditionsListPanel(final ActionType trigger,
            final List<ActionConditionDisplayPanel> conditions,
            final ActionConditionsTreePanel treePanel) {
        super();
    //#ActionConditionsListPanel.java:94: method: void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel.com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, List, ActionConditionsTreePanel)
    //#input(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, List, ActionConditionsTreePanel)): "."._tainted
    //#input(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, List, ActionConditionsTreePanel)): "; "._tainted
    //#input(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, List, ActionConditionsTreePanel)): "body { font-family: "._tainted
    //#input(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, List, ActionConditionsTreePanel)): "font-size: "._tainted
    //#input(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, List, ActionConditionsTreePanel)): "pt; }"._tainted
    //#input(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, List, ActionConditionsTreePanel)): __Descendant_Table[com/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionConditionsListPanel]
    //#input(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, List, ActionConditionsTreePanel)): __Descendant_Table[others]
    //#input(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, List, ActionConditionsTreePanel)): __Dispatch_Table.setEnabled(Z)V
    //#input(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, List, ActionConditionsTreePanel)): com/dmdirc/addons/ui_swing/components/text/TextLabel.__Descendant_Table[com/dmdirc/addons/ui_swing/components/text/TextLabel]
    //#input(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, List, ActionConditionsTreePanel)): com/dmdirc/addons/ui_swing/components/text/TextLabel.__Descendant_Table[others]
    //#input(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, List, ActionConditionsTreePanel)): com/dmdirc/addons/ui_swing/components/text/TextLabel.__Dispatch_Table.getDocument()Ljavax/swing/text/StyledDocument;
    //#input(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, List, ActionConditionsTreePanel)): com/dmdirc/addons/ui_swing/components/text/TextLabel.__Dispatch_Table.setText(Ljava/lang/String;)V
    //#input(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, List, ActionConditionsTreePanel)): com/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionConditionDisplayPanel.__Descendant_Table[com/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionConditionDisplayPanel]
    //#input(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, List, ActionConditionsTreePanel)): com/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionConditionDisplayPanel.__Descendant_Table[others]
    //#input(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, List, ActionConditionsTreePanel)): com/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionConditionDisplayPanel.__Dispatch_Table.addConditionListener(Lcom/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionConditionRemovalListener;)V
    //#input(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, List, ActionConditionsTreePanel)): com/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionConditionDisplayPanel.__Dispatch_Table.setEnabled(Z)V
    //#input(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, List, ActionConditionsTreePanel)): com/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionConditionEditorPanel.__Descendant_Table[com/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionConditionEditorPanel]
    //#input(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, List, ActionConditionsTreePanel)): com/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionConditionEditorPanel.__Descendant_Table[others]
    //#input(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, List, ActionConditionsTreePanel)): com/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionConditionEditorPanel.__Dispatch_Table.setEnabled(Z)V
    //#input(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, List, ActionConditionsTreePanel)): conditions
    //#input(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, List, ActionConditionsTreePanel)): this
    //#input(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, List, ActionConditionsTreePanel)): this.__Tag
    //#input(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, List, ActionConditionsTreePanel)): treePanel
    //#input(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, List, ActionConditionsTreePanel)): trigger
    //#output(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, List, ActionConditionsTreePanel)): new ArrayList(ActionConditionsListPanel#2) num objects
    //#output(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, List, ActionConditionsTreePanel)): this.conditions.__Lock
    //#output(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, List, ActionConditionsTreePanel)): new HashMap(ActionConditionsListPanel#1) num objects
    //#output(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, List, ActionConditionsTreePanel)): this.__Tag
    //#output(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, List, ActionConditionsTreePanel)): this.conditions
    //#output(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, List, ActionConditionsTreePanel)): this.treePanel
    //#output(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, List, ActionConditionsTreePanel)): this.trigger
    //#output(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, List, ActionConditionsTreePanel)): this.validates
    //#output(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, List, ActionConditionsTreePanel)): this.validations
    //#new obj(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, List, ActionConditionsTreePanel)): new ArrayList(ActionConditionsListPanel#2)
    //#new obj(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, List, ActionConditionsTreePanel)): new HashMap(ActionConditionsListPanel#1)
    //#pre[2] (void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, List, ActionConditionsTreePanel)): (soft) this.__Tag == com/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionConditionsListPanel
    //#post(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, List, ActionConditionsTreePanel)): this.__Tag == com/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionConditionsListPanel
    //#post(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, List, ActionConditionsTreePanel)): this.conditions == &new ArrayList(ActionConditionsListPanel#2)
    //#post(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, List, ActionConditionsTreePanel)): this.treePanel == treePanel
    //#post(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, List, ActionConditionsTreePanel)): init'ed(this.treePanel)
    //#post(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, List, ActionConditionsTreePanel)): this.trigger == trigger
    //#post(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, List, ActionConditionsTreePanel)): init'ed(this.trigger)
    //#post(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, List, ActionConditionsTreePanel)): this.validates == 1
    //#post(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, List, ActionConditionsTreePanel)): new ArrayList(ActionConditionsListPanel#2) num objects == 1
    //#post(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, List, ActionConditionsTreePanel)): new HashMap(ActionConditionsListPanel#1) num objects == 1
    //#post(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, List, ActionConditionsTreePanel)): this.validations == &new HashMap(ActionConditionsListPanel#1)
    //#post(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, List, ActionConditionsTreePanel)): init'ed(this.conditions.__Lock)
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, List, ActionConditionsTreePanel)): Effects-of-calling:com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel:setVisible
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, List, ActionConditionsTreePanel)): Effects-of-calling:com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel:removeAll
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, List, ActionConditionsTreePanel)): Effects-of-calling:javax.swing.JTextPane:getDocument
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, List, ActionConditionsTreePanel)): Effects-of-calling:javax.swing.JTextPane:setText
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, List, ActionConditionsTreePanel)): Effects-of-calling:java.lang.String:isEmpty
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, List, ActionConditionsTreePanel)): Effects-of-calling:java.lang.String:length
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, List, ActionConditionsTreePanel)): Effects-of-calling:javax.swing.text.StyledDocument:setParagraphAttributes
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, List, ActionConditionsTreePanel)): Effects-of-calling:javax.swing.text.DefaultStyledDocument
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, List, ActionConditionsTreePanel)): Effects-of-calling:javax.swing.JTextPane
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, List, ActionConditionsTreePanel)): Effects-of-calling:javax.swing.text.html.HTMLEditorKit
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, List, ActionConditionsTreePanel)): Effects-of-calling:com.dmdirc.addons.ui_swing.components.text.TextLabel:setEditorKit
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, List, ActionConditionsTreePanel)): Effects-of-calling:javax.swing.plaf.basic.BasicTextPaneUI
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, List, ActionConditionsTreePanel)): Effects-of-calling:com.dmdirc.addons.ui_swing.components.text.TextLabel:setUI
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, List, ActionConditionsTreePanel)): Effects-of-calling:javax.swing.UIManager:getFont
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, List, ActionConditionsTreePanel)): Effects-of-calling:javax.swing.text.html.HTMLDocument:getStyleSheet
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, List, ActionConditionsTreePanel)): Effects-of-calling:java.lang.StringBuilder
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, List, ActionConditionsTreePanel)): Effects-of-calling:java.lang.StringBuilder:append
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, List, ActionConditionsTreePanel)): Effects-of-calling:java.awt.Font:getFamily
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, List, ActionConditionsTreePanel)): Effects-of-calling:java.awt.Font:getSize
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, List, ActionConditionsTreePanel)): Effects-of-calling:java.lang.StringBuilder:toString
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, List, ActionConditionsTreePanel)): Effects-of-calling:javax.swing.text.html.StyleSheet:addRule
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, List, ActionConditionsTreePanel)): Effects-of-calling:com.dmdirc.addons.ui_swing.components.text.TextLabel:setOpaque
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, List, ActionConditionsTreePanel)): Effects-of-calling:com.dmdirc.addons.ui_swing.components.text.TextLabel:setEditable
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, List, ActionConditionsTreePanel)): Effects-of-calling:com.dmdirc.addons.ui_swing.components.text.TextLabel:setHighlighter
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, List, ActionConditionsTreePanel)): Effects-of-calling:java.awt.Insets
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, List, ActionConditionsTreePanel)): Effects-of-calling:com.dmdirc.addons.ui_swing.components.text.TextLabel:setMargin
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, List, ActionConditionsTreePanel)): Effects-of-calling:javax.swing.text.SimpleAttributeSet
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, List, ActionConditionsTreePanel)): Effects-of-calling:javax.swing.text.StyleConstants:setAlignment
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, List, ActionConditionsTreePanel)): Effects-of-calling:com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel:add
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, List, ActionConditionsTreePanel)): Effects-of-calling:com.dmdirc.actions.interfaces.ActionType:getType
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, List, ActionConditionsTreePanel)): Effects-of-calling:com.dmdirc.actions.interfaces.ActionMetaType:getArgNames
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, List, ActionConditionsTreePanel)): Effects-of-calling:java.util.List:iterator
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, List, ActionConditionsTreePanel)): Effects-of-calling:java.util.Iterator:hasNext
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, List, ActionConditionsTreePanel)): Effects-of-calling:java.util.Iterator:next
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, List, ActionConditionsTreePanel)): Effects-of-calling:javax.swing.JLabel
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, List, ActionConditionsTreePanel)): Effects-of-calling:java.lang.Throwable:__curr_excep_obj
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, List, ActionConditionsTreePanel)): Effects-of-calling:addConditionListener
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, List, ActionConditionsTreePanel)): Effects-of-calling:setEnabled
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, List, ActionConditionsTreePanel)): Effects-of-calling:net.miginfocom.swing.MigLayout
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, List, ActionConditionsTreePanel)): Effects-of-calling:com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel:setLayout
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, List, ActionConditionsTreePanel)): Effects-of-calling:com.dmdirc.util.ListenerList:add
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, List, ActionConditionsTreePanel)): Effects-of-calling:javax.swing.JComboBox:setEnabled
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, List, ActionConditionsTreePanel)): Effects-of-calling:javax.swing.JTextField:setEnabled
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, List, ActionConditionsTreePanel)): Effects-of-calling:javax.swing.JComboBox:getSelectedIndex
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, List, ActionConditionsTreePanel)): Effects-of-calling:javax.swing.JPanel:setEnabled
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, List, ActionConditionsTreePanel)): Effects-of-calling:javax.swing.JToggleButton:setEnabled
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, List, ActionConditionsTreePanel)): Effects-of-calling:com.dmdirc.addons.ui_swing.components.ImageButton:setEnabled

        validations = new HashMap<ActionConditionDisplayPanel, Boolean>();

        this.trigger = trigger;
        this.conditions = new ArrayList<ActionConditionDisplayPanel>(conditions);
        this.treePanel = treePanel;

        initComponents();
        addListeners();
        layoutComponents();
    }
    //#ActionConditionsListPanel.java:105: end of method: void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel.com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel(ActionType, List, ActionConditionsTreePanel)

    /** Initialises the components. */
    private void initComponents() {
        setLayout(new MigLayout("fillx, wrap 2, pack"));
    //#ActionConditionsListPanel.java:109: method: void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel.initComponents()
    //#ActionConditionsListPanel.java:109: Warning: method not available - call not analyzed
    //#    call on void net.miginfocom.swing.MigLayout(String)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel
    //#    method: void initComponents()
    //#    unanalyzed callee: void net.miginfocom.swing.MigLayout(String)
    //#ActionConditionsListPanel.java:109: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel:setLayout(LayoutManager)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel
    //#    method: void initComponents()
    //#    unanalyzed callee: void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel:setLayout(LayoutManager)
    //#input(void initComponents()): __Descendant_Table[com/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionConditionsListPanel]
    //#input(void initComponents()): __Descendant_Table[others]
    //#input(void initComponents()): __Dispatch_Table.setEnabled(Z)V
    //#input(void initComponents()): com/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionConditionDisplayPanel.__Descendant_Table[com/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionConditionDisplayPanel]
    //#input(void initComponents()): com/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionConditionDisplayPanel.__Descendant_Table[others]
    //#input(void initComponents()): com/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionConditionDisplayPanel.__Dispatch_Table.setEnabled(Z)V
    //#input(void initComponents()): com/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionConditionEditorPanel.__Descendant_Table[com/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionConditionEditorPanel]
    //#input(void initComponents()): com/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionConditionEditorPanel.__Descendant_Table[others]
    //#input(void initComponents()): com/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionConditionEditorPanel.__Dispatch_Table.setEnabled(Z)V
    //#input(void initComponents()): this
    //#input(void initComponents()): this.__Tag
    //#input(void initComponents()): this.conditions
    //#input(void initComponents()): this.trigger
    //#pre[4] (void initComponents()): init'ed(this.trigger)
    //#pre[2] (void initComponents()): (soft) this.__Tag == com/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionConditionsListPanel
    //#pre[3] (void initComponents()): (soft) this.conditions != null
    //#unanalyzed(void initComponents()): Effects-of-calling:java.util.List:iterator
    //#unanalyzed(void initComponents()): Effects-of-calling:java.util.Iterator:hasNext
    //#unanalyzed(void initComponents()): Effects-of-calling:java.util.Iterator:next
    //#unanalyzed(void initComponents()): Effects-of-calling:setEnabled
    //#unanalyzed(void initComponents()): Effects-of-calling:javax.swing.JComboBox:setEnabled
    //#unanalyzed(void initComponents()): Effects-of-calling:javax.swing.JTextField:setEnabled
    //#unanalyzed(void initComponents()): Effects-of-calling:javax.swing.JComboBox:getSelectedIndex
    //#unanalyzed(void initComponents()): Effects-of-calling:javax.swing.JPanel:setEnabled
    //#unanalyzed(void initComponents()): Effects-of-calling:javax.swing.JToggleButton:setEnabled
    //#unanalyzed(void initComponents()): Effects-of-calling:com.dmdirc.addons.ui_swing.components.ImageButton:setEnabled
    //#test_vector(void initComponents()): this.trigger: Inverse{null}, Addr_Set{null}

        if (trigger == null) {
            setEnabled(false);
        }
    }
    //#ActionConditionsListPanel.java:114: end of method: void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel.initComponents()

    /** Adds the listeners. */
    private void addListeners() {
        for (ActionConditionDisplayPanel condition : conditions) {
    //#ActionConditionsListPanel.java:118: method: void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel.addListeners()
    //#input(void addListeners()): com/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionConditionDisplayPanel.__Descendant_Table[com/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionConditionDisplayPanel]
    //#input(void addListeners()): com/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionConditionDisplayPanel.__Descendant_Table[others]
    //#input(void addListeners()): com/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionConditionDisplayPanel.__Dispatch_Table.addConditionListener(Lcom/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionConditionRemovalListener;)V
    //#input(void addListeners()): this
    //#input(void addListeners()): this.conditions
    //#pre[2] (void addListeners()): this.conditions != null
    //#presumption(void addListeners()): condition.listeners@118 != null
    //#presumption(void addListeners()): java.util.Iterator:next(...).__Tag@118 == com/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionConditionDisplayPanel
    //#presumption(void addListeners()): java.util.Iterator:next(...)@118 != null
    //#unanalyzed(void addListeners()): Effects-of-calling:com.dmdirc.util.ListenerList:add
    //#test_vector(void addListeners()): java.util.Iterator:hasNext(...)@118: {0}, {1}
            condition.addConditionListener(this);
        }
    }
    //#ActionConditionsListPanel.java:121: end of method: void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel.addListeners()

    /** Lays out the components. */
    private void layoutComponents() {
        setVisible(false);
    //#ActionConditionsListPanel.java:125: method: void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel.layoutComponents()
    //#ActionConditionsListPanel.java:125: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel:setVisible(bool)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel
    //#    method: void layoutComponents()
    //#    unanalyzed callee: void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel:setVisible(bool)
    //#input(void layoutComponents()): "."._tainted
    //#input(void layoutComponents()): "; "._tainted
    //#input(void layoutComponents()): "body { font-family: "._tainted
    //#input(void layoutComponents()): "font-size: "._tainted
    //#input(void layoutComponents()): "pt; }"._tainted
    //#input(void layoutComponents()): com/dmdirc/addons/ui_swing/components/text/TextLabel.__Descendant_Table[com/dmdirc/addons/ui_swing/components/text/TextLabel]
    //#input(void layoutComponents()): com/dmdirc/addons/ui_swing/components/text/TextLabel.__Descendant_Table[others]
    //#input(void layoutComponents()): com/dmdirc/addons/ui_swing/components/text/TextLabel.__Dispatch_Table.getDocument()Ljavax/swing/text/StyledDocument;
    //#input(void layoutComponents()): com/dmdirc/addons/ui_swing/components/text/TextLabel.__Dispatch_Table.setText(Ljava/lang/String;)V
    //#input(void layoutComponents()): com/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionConditionDisplayPanel.__Descendant_Table[com/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionConditionDisplayPanel]
    //#input(void layoutComponents()): com/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionConditionDisplayPanel.__Descendant_Table[others]
    //#input(void layoutComponents()): this
    //#input(void layoutComponents()): this.conditions
    //#input(void layoutComponents()): this.conditions.__Lock
    //#input(void layoutComponents()): this.trigger
    //#pre[3] (void layoutComponents()): init'ed(this.trigger)
    //#pre[2] (void layoutComponents()): (soft) this.conditions != null
    //#presumption(void layoutComponents()): com.dmdirc.actions.interfaces.ActionMetaType:getArgNames(...)@131 != null
    //#presumption(void layoutComponents()): com.dmdirc.actions.interfaces.ActionType:getType(...)@131 != null
    //#presumption(void layoutComponents()): java.util.Iterator:next(...).__Tag@136 == com/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionConditionDisplayPanel
    //#unanalyzed(void layoutComponents()): Effects-of-calling:javax.swing.JTextPane:getDocument
    //#unanalyzed(void layoutComponents()): Effects-of-calling:javax.swing.JTextPane:setText
    //#unanalyzed(void layoutComponents()): Effects-of-calling:java.lang.String:isEmpty
    //#unanalyzed(void layoutComponents()): Effects-of-calling:java.lang.String:length
    //#unanalyzed(void layoutComponents()): Effects-of-calling:javax.swing.text.StyledDocument:setParagraphAttributes
    //#unanalyzed(void layoutComponents()): Effects-of-calling:javax.swing.text.DefaultStyledDocument
    //#unanalyzed(void layoutComponents()): Effects-of-calling:javax.swing.JTextPane
    //#unanalyzed(void layoutComponents()): Effects-of-calling:javax.swing.text.html.HTMLEditorKit
    //#unanalyzed(void layoutComponents()): Effects-of-calling:com.dmdirc.addons.ui_swing.components.text.TextLabel:setEditorKit
    //#unanalyzed(void layoutComponents()): Effects-of-calling:javax.swing.plaf.basic.BasicTextPaneUI
    //#unanalyzed(void layoutComponents()): Effects-of-calling:com.dmdirc.addons.ui_swing.components.text.TextLabel:setUI
    //#unanalyzed(void layoutComponents()): Effects-of-calling:javax.swing.UIManager:getFont
    //#unanalyzed(void layoutComponents()): Effects-of-calling:javax.swing.text.html.HTMLDocument:getStyleSheet
    //#unanalyzed(void layoutComponents()): Effects-of-calling:java.lang.StringBuilder
    //#unanalyzed(void layoutComponents()): Effects-of-calling:java.lang.StringBuilder:append
    //#unanalyzed(void layoutComponents()): Effects-of-calling:java.awt.Font:getFamily
    //#unanalyzed(void layoutComponents()): Effects-of-calling:java.awt.Font:getSize
    //#unanalyzed(void layoutComponents()): Effects-of-calling:java.lang.StringBuilder:toString
    //#unanalyzed(void layoutComponents()): Effects-of-calling:javax.swing.text.html.StyleSheet:addRule
    //#unanalyzed(void layoutComponents()): Effects-of-calling:com.dmdirc.addons.ui_swing.components.text.TextLabel:setOpaque
    //#unanalyzed(void layoutComponents()): Effects-of-calling:com.dmdirc.addons.ui_swing.components.text.TextLabel:setEditable
    //#unanalyzed(void layoutComponents()): Effects-of-calling:com.dmdirc.addons.ui_swing.components.text.TextLabel:setHighlighter
    //#unanalyzed(void layoutComponents()): Effects-of-calling:java.awt.Insets
    //#unanalyzed(void layoutComponents()): Effects-of-calling:com.dmdirc.addons.ui_swing.components.text.TextLabel:setMargin
    //#unanalyzed(void layoutComponents()): Effects-of-calling:javax.swing.text.SimpleAttributeSet
    //#unanalyzed(void layoutComponents()): Effects-of-calling:javax.swing.text.StyleConstants:setAlignment
    //#test_vector(void layoutComponents()): this.trigger: Inverse{null}, Addr_Set{null}
    //#test_vector(void layoutComponents()): com.dmdirc.actions.interfaces.ActionMetaType:getArgNames(...).length@131: {1..+Inf}, {0}
    //#test_vector(void layoutComponents()): java.util.Iterator:hasNext(...)@136: {1}, {0}
        removeAll();
    //#ActionConditionsListPanel.java:126: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel:removeAll()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel
    //#    method: void layoutComponents()
    //#    unanalyzed callee: void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel:removeAll()
        int index = 0;
        if (trigger == null) {
            add(new TextLabel("You must add at least one trigger before you can add conditions."),
    //#ActionConditionsListPanel.java:129: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel:add(Component, Object)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel
    //#    method: void layoutComponents()
    //#    unanalyzed callee: void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel:add(Component, Object)
                    "alignx center, aligny top, grow, push, w 90%!");
        } else if (trigger.getType().getArgNames().length == 0) {
    //#ActionConditionsListPanel.java:131: Warning: method not available - call not analyzed
    //#    call on ActionMetaType com.dmdirc.actions.interfaces.ActionType:getType()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel
    //#    method: void layoutComponents()
    //#    unanalyzed callee: ActionMetaType com.dmdirc.actions.interfaces.ActionType:getType()
    //#ActionConditionsListPanel.java:131: Warning: method not available - call not analyzed
    //#    call on String[] com.dmdirc.actions.interfaces.ActionMetaType:getArgNames()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel
    //#    method: void layoutComponents()
    //#    unanalyzed callee: String[] com.dmdirc.actions.interfaces.ActionMetaType:getArgNames()
            add(new TextLabel("Trigger does not have any arguments."),
    //#ActionConditionsListPanel.java:132: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel:add(Component, Object)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel
    //#    method: void layoutComponents()
    //#    unanalyzed callee: void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel:add(Component, Object)
                    "alignx center, aligny top, grow, push, w 90%!");
        } else {
            synchronized (conditions) {
                for (ActionConditionDisplayPanel condition : conditions) {
                    index++;
    //#ActionConditionsListPanel.java:137: ?overflow
    //#    index in {-2_147_483_649..4_294_967_294}
    //#    severity: LOW
    //#    class: com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel
    //#    method: void layoutComponents()
    //#    basic block: bb_14
    //#    assertion: index in {-2_147_483_649..4_294_967_294}
    //#    VN: index + 1
    //#    Expected: {-2_147_483_648..4_294_967_295, Invalid}
    //#    Bad: {4_294_967_296}
    //#    Attribs:  Int  Bad singleton  Bad > Exp
                    add(new JLabel(index + "."), "aligny top");
    //#ActionConditionsListPanel.java:138: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel:add(Component, Object)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel
    //#    method: void layoutComponents()
    //#    unanalyzed callee: void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel:add(Component, Object)
                    add(condition, "growx, pushx, aligny top");
    //#ActionConditionsListPanel.java:139: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel:add(Component, Object)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel
    //#    method: void layoutComponents()
    //#    unanalyzed callee: void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel:add(Component, Object)
                }
            }
            if (index == 0) {
                add(new JLabel("No conditions."),
    //#ActionConditionsListPanel.java:143: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel:add(Component, Object)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel
    //#    method: void layoutComponents()
    //#    unanalyzed callee: void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel:add(Component, Object)
                        "alignx center, aligny top, growx, pushx");
            }
        }
        setVisible(true);
    //#ActionConditionsListPanel.java:147: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel:setVisible(bool)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel
    //#    method: void layoutComponents()
    //#    unanalyzed callee: void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel:setVisible(bool)

    }
    //#ActionConditionsListPanel.java:149: end of method: void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel.layoutComponents()

    /**
     * Adds an action condition to the list.
     * 
     * @param condition Action condition
     */
    public void addCondition(final ActionCondition condition) {
        final ActionConditionDisplayPanel panel =
    //#ActionConditionsListPanel.java:157: method: void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel.addCondition(ActionCondition)
    //#input(void addCondition(ActionCondition)): "."._tainted
    //#input(void addCondition(ActionCondition)): "; "._tainted
    //#input(void addCondition(ActionCondition)): "body { font-family: "._tainted
    //#input(void addCondition(ActionCondition)): "font-size: "._tainted
    //#input(void addCondition(ActionCondition)): "pt; }"._tainted
    //#input(void addCondition(ActionCondition)): __Descendant_Table[com/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionConditionsListPanel]
    //#input(void addCondition(ActionCondition)): __Descendant_Table[others]
    //#input(void addCondition(ActionCondition)): __Dispatch_Table.propertyChange(Ljava/beans/PropertyChangeEvent;)V
    //#input(void addCondition(ActionCondition)): com/dmdirc/addons/ui_swing/components/text/TextLabel.__Descendant_Table[com/dmdirc/addons/ui_swing/components/text/TextLabel]
    //#input(void addCondition(ActionCondition)): com/dmdirc/addons/ui_swing/components/text/TextLabel.__Descendant_Table[others]
    //#input(void addCondition(ActionCondition)): com/dmdirc/addons/ui_swing/components/text/TextLabel.__Dispatch_Table.getDocument()Ljavax/swing/text/StyledDocument;
    //#input(void addCondition(ActionCondition)): com/dmdirc/addons/ui_swing/components/text/TextLabel.__Dispatch_Table.setText(Ljava/lang/String;)V
    //#input(void addCondition(ActionCondition)): com/dmdirc/addons/ui_swing/components/validating/ValidatingJTextField.__Descendant_Table[com/dmdirc/addons/ui_swing/components/validating/ValidatingJTextField]
    //#input(void addCondition(ActionCondition)): com/dmdirc/addons/ui_swing/components/validating/ValidatingJTextField.__Descendant_Table[others]
    //#input(void addCondition(ActionCondition)): com/dmdirc/addons/ui_swing/components/validating/ValidatingJTextField.__Dispatch_Table.checkError()V
    //#input(void addCondition(ActionCondition)): com/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionConditionDisplayPanel.__Descendant_Table[com/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionConditionDisplayPanel]
    //#input(void addCondition(ActionCondition)): com/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionConditionDisplayPanel.__Descendant_Table[others]
    //#input(void addCondition(ActionCondition)): com/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionConditionDisplayPanel.__Dispatch_Table.addConditionListener(Lcom/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionConditionRemovalListener;)V
    //#input(void addCondition(ActionCondition)): com/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionConditionDisplayPanel.__Dispatch_Table.checkError()Z
    //#input(void addCondition(ActionCondition)): com/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionConditionEditorPanel.__Descendant_Table[com/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionConditionEditorPanel]
    //#input(void addCondition(ActionCondition)): com/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionConditionEditorPanel.__Descendant_Table[others]
    //#input(void addCondition(ActionCondition)): com/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionConditionEditorPanel.__Dispatch_Table.checkError()Z
    //#input(void addCondition(ActionCondition)): com/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionConditionEditorPanel.__Dispatch_Table.setEnabled(Z)V
    //#input(void addCondition(ActionCondition)): com/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionConditionEditorPanel.java.lang.Boolean.TRUE
    //#input(void addCondition(ActionCondition)): com/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionConditionsTreePanel.__Descendant_Table[com/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionConditionsTreePanel]
    //#input(void addCondition(ActionCondition)): com/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionConditionsTreePanel.__Descendant_Table[others]
    //#input(void addCondition(ActionCondition)): com/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionConditionsTreePanel.__Dispatch_Table.setConditionCount(I)V
    //#input(void addCondition(ActionCondition)): condition
    //#input(void addCondition(ActionCondition)): this
    //#input(void addCondition(ActionCondition)): this.__Tag
    //#input(void addCondition(ActionCondition)): this.conditions
    //#input(void addCondition(ActionCondition)): this.treePanel
    //#input(void addCondition(ActionCondition)): this.treePanel.__Tag
    //#input(void addCondition(ActionCondition)): this.treePanel.rule
    //#input(void addCondition(ActionCondition)): this.treePanel.rule.__Tag
    //#input(void addCondition(ActionCondition)): this.treePanel.rule.errorIcon
    //#input(void addCondition(ActionCondition)): this.treePanel.rule.textField
    //#input(void addCondition(ActionCondition)): this.treePanel.rule.validator
    //#input(void addCondition(ActionCondition)): this.treePanel.treeValidator
    //#input(void addCondition(ActionCondition)): this.trigger
    //#input(void addCondition(ActionCondition)): this.validates
    //#input(void addCondition(ActionCondition)): this.validations
    //#output(void addCondition(ActionCondition)): this.treePanel.conditionCount
    //#output(void addCondition(ActionCondition)): this.validates
    //#pre[1] (void addCondition(ActionCondition)): condition != null
    //#pre[2] (void addCondition(ActionCondition)): init'ed(this.validates)
    //#pre[4] (void addCondition(ActionCondition)): this.__Tag == com/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionConditionsListPanel
    //#pre[5] (void addCondition(ActionCondition)): this.conditions != null
    //#pre[7] (void addCondition(ActionCondition)): this.treePanel != null
    //#pre[8] (void addCondition(ActionCondition)): this.treePanel.__Tag == com/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionConditionsTreePanel
    //#pre[9] (void addCondition(ActionCondition)): this.treePanel.rule != null
    //#pre[10] (void addCondition(ActionCondition)): this.treePanel.rule.__Tag == com/dmdirc/addons/ui_swing/components/validating/ValidatingJTextField
    //#pre[11] (void addCondition(ActionCondition)): this.treePanel.rule.errorIcon != null
    //#pre[12] (void addCondition(ActionCondition)): this.treePanel.rule.textField != null
    //#pre[14] (void addCondition(ActionCondition)): this.treePanel.treeValidator != null
    //#pre[15] (void addCondition(ActionCondition)): init'ed(this.trigger)
    //#pre[16] (void addCondition(ActionCondition)): this.validations != null
    //#pre[13] (void addCondition(ActionCondition)): (soft) this.treePanel.rule.validator != null
    //#post(void addCondition(ActionCondition)): init'ed(this.treePanel.conditionCount)
    //#post(void addCondition(ActionCondition)): init'ed(this.validates)
    //#unanalyzed(void addCondition(ActionCondition)): Effects-of-calling:com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel:setVisible
    //#unanalyzed(void addCondition(ActionCondition)): Effects-of-calling:com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel:removeAll
    //#unanalyzed(void addCondition(ActionCondition)): Effects-of-calling:javax.swing.JTextPane:getDocument
    //#unanalyzed(void addCondition(ActionCondition)): Effects-of-calling:javax.swing.JTextPane:setText
    //#unanalyzed(void addCondition(ActionCondition)): Effects-of-calling:java.lang.String:isEmpty
    //#unanalyzed(void addCondition(ActionCondition)): Effects-of-calling:java.lang.String:length
    //#unanalyzed(void addCondition(ActionCondition)): Effects-of-calling:javax.swing.text.StyledDocument:setParagraphAttributes
    //#unanalyzed(void addCondition(ActionCondition)): Effects-of-calling:javax.swing.text.DefaultStyledDocument
    //#unanalyzed(void addCondition(ActionCondition)): Effects-of-calling:javax.swing.JTextPane
    //#unanalyzed(void addCondition(ActionCondition)): Effects-of-calling:javax.swing.text.html.HTMLEditorKit
    //#unanalyzed(void addCondition(ActionCondition)): Effects-of-calling:com.dmdirc.addons.ui_swing.components.text.TextLabel:setEditorKit
    //#unanalyzed(void addCondition(ActionCondition)): Effects-of-calling:javax.swing.plaf.basic.BasicTextPaneUI
    //#unanalyzed(void addCondition(ActionCondition)): Effects-of-calling:com.dmdirc.addons.ui_swing.components.text.TextLabel:setUI
    //#unanalyzed(void addCondition(ActionCondition)): Effects-of-calling:javax.swing.UIManager:getFont
    //#unanalyzed(void addCondition(ActionCondition)): Effects-of-calling:javax.swing.text.html.HTMLDocument:getStyleSheet
    //#unanalyzed(void addCondition(ActionCondition)): Effects-of-calling:java.lang.StringBuilder
    //#unanalyzed(void addCondition(ActionCondition)): Effects-of-calling:java.lang.StringBuilder:append
    //#unanalyzed(void addCondition(ActionCondition)): Effects-of-calling:java.awt.Font:getFamily
    //#unanalyzed(void addCondition(ActionCondition)): Effects-of-calling:java.awt.Font:getSize
    //#unanalyzed(void addCondition(ActionCondition)): Effects-of-calling:java.lang.StringBuilder:toString
    //#unanalyzed(void addCondition(ActionCondition)): Effects-of-calling:javax.swing.text.html.StyleSheet:addRule
    //#unanalyzed(void addCondition(ActionCondition)): Effects-of-calling:com.dmdirc.addons.ui_swing.components.text.TextLabel:setOpaque
    //#unanalyzed(void addCondition(ActionCondition)): Effects-of-calling:com.dmdirc.addons.ui_swing.components.text.TextLabel:setEditable
    //#unanalyzed(void addCondition(ActionCondition)): Effects-of-calling:com.dmdirc.addons.ui_swing.components.text.TextLabel:setHighlighter
    //#unanalyzed(void addCondition(ActionCondition)): Effects-of-calling:java.awt.Insets
    //#unanalyzed(void addCondition(ActionCondition)): Effects-of-calling:com.dmdirc.addons.ui_swing.components.text.TextLabel:setMargin
    //#unanalyzed(void addCondition(ActionCondition)): Effects-of-calling:javax.swing.text.SimpleAttributeSet
    //#unanalyzed(void addCondition(ActionCondition)): Effects-of-calling:javax.swing.text.StyleConstants:setAlignment
    //#unanalyzed(void addCondition(ActionCondition)): Effects-of-calling:com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel:add
    //#unanalyzed(void addCondition(ActionCondition)): Effects-of-calling:com.dmdirc.actions.interfaces.ActionType:getType
    //#unanalyzed(void addCondition(ActionCondition)): Effects-of-calling:com.dmdirc.actions.interfaces.ActionMetaType:getArgNames
    //#unanalyzed(void addCondition(ActionCondition)): Effects-of-calling:java.util.List:iterator
    //#unanalyzed(void addCondition(ActionCondition)): Effects-of-calling:java.util.Iterator:hasNext
    //#unanalyzed(void addCondition(ActionCondition)): Effects-of-calling:java.util.Iterator:next
    //#unanalyzed(void addCondition(ActionCondition)): Effects-of-calling:javax.swing.JLabel
    //#unanalyzed(void addCondition(ActionCondition)): Effects-of-calling:java.lang.Throwable:__curr_excep_obj
    //#unanalyzed(void addCondition(ActionCondition)): Effects-of-calling:java.beans.PropertyChangeEvent:getSource
    //#unanalyzed(void addCondition(ActionCondition)): Effects-of-calling:java.beans.PropertyChangeEvent:getNewValue
    //#unanalyzed(void addCondition(ActionCondition)): Effects-of-calling:java.util.Map:put
    //#unanalyzed(void addCondition(ActionCondition)): Effects-of-calling:java.util.Map:values
    //#unanalyzed(void addCondition(ActionCondition)): Effects-of-calling:java.util.Collection:iterator
    //#unanalyzed(void addCondition(ActionCondition)): Effects-of-calling:java.lang.Boolean:booleanValue
    //#unanalyzed(void addCondition(ActionCondition)): Effects-of-calling:com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel:firePropertyChange
    //#unanalyzed(void addCondition(ActionCondition)): Effects-of-calling:javax.swing.JTextField:isEnabled
    //#unanalyzed(void addCondition(ActionCondition)): Effects-of-calling:javax.swing.JTextField:getText
    //#unanalyzed(void addCondition(ActionCondition)): Effects-of-calling:com.dmdirc.config.prefs.validator.Validator:validate
    //#unanalyzed(void addCondition(ActionCondition)): Effects-of-calling:com.dmdirc.config.prefs.validator.ValidationResponse:getFailureReason
    //#unanalyzed(void addCondition(ActionCondition)): Effects-of-calling:javax.swing.JLabel:setToolTipText
    //#unanalyzed(void addCondition(ActionCondition)): Effects-of-calling:javax.swing.JLabel:isVisible
    //#unanalyzed(void addCondition(ActionCondition)): Effects-of-calling:com.dmdirc.config.prefs.validator.ValidationResponse:isFailure
    //#unanalyzed(void addCondition(ActionCondition)): Effects-of-calling:com.dmdirc.addons.ui_swing.components.validating.ValidatingJTextField:firePropertyChange
    //#unanalyzed(void addCondition(ActionCondition)): Effects-of-calling:javax.swing.JLabel:setVisible
    //#unanalyzed(void addCondition(ActionCondition)): Effects-of-calling:com.dmdirc.config.prefs.validator.ConditionRuleValidator:setArgs
    //#unanalyzed(void addCondition(ActionCondition)): Effects-of-calling:com.dmdirc.util.ListenerList:add
    //#unanalyzed(void addCondition(ActionCondition)): Effects-of-calling:javax.swing.JComboBox:setEnabled
    //#unanalyzed(void addCondition(ActionCondition)): Effects-of-calling:javax.swing.JTextField:setEnabled
    //#unanalyzed(void addCondition(ActionCondition)): Effects-of-calling:javax.swing.JComboBox:getModel
    //#unanalyzed(void addCondition(ActionCondition)): Effects-of-calling:javax.swing.DefaultComboBoxModel:removeAllElements
    //#unanalyzed(void addCondition(ActionCondition)): Effects-of-calling:javax.swing.DefaultComboBoxModel:addElement
    //#unanalyzed(void addCondition(ActionCondition)): Effects-of-calling:com.dmdirc.actions.ActionCondition:getArg
    //#unanalyzed(void addCondition(ActionCondition)): Effects-of-calling:javax.swing.JComboBox:setSelectedIndex
    //#unanalyzed(void addCondition(ActionCondition)): Effects-of-calling:javax.swing.JComboBox:getSelectedIndex
    //#unanalyzed(void addCondition(ActionCondition)): Effects-of-calling:javax.swing.JPanel:setEnabled
    //#unanalyzed(void addCondition(ActionCondition)): Effects-of-calling:com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionEditorPanel:setVisible
    //#unanalyzed(void addCondition(ActionCondition)): Effects-of-calling:javax.swing.JToggleButton:setSelected
    //#unanalyzed(void addCondition(ActionCondition)): Effects-of-calling:com.dmdirc.actions.ActionCondition:getComponent
    //#unanalyzed(void addCondition(ActionCondition)): Effects-of-calling:com.dmdirc.actions.ActionCondition:getComparison
    //#unanalyzed(void addCondition(ActionCondition)): Effects-of-calling:com.dmdirc.actions.ActionCondition:getTarget
    //#unanalyzed(void addCondition(ActionCondition)): Effects-of-calling:com.dmdirc.ui.IconManager:getIconManager
    //#unanalyzed(void addCondition(ActionCondition)): Effects-of-calling:com.dmdirc.ui.IconManager:getIcon
    //#unanalyzed(void addCondition(ActionCondition)): Effects-of-calling:com.dmdirc.addons.ui_swing.components.ImageToggleButton
    //#unanalyzed(void addCondition(ActionCondition)): Effects-of-calling:com.dmdirc.addons.ui_swing.components.ImageButton
    //#unanalyzed(void addCondition(ActionCondition)): Effects-of-calling:javax.swing.DefaultComboBoxModel
    //#unanalyzed(void addCondition(ActionCondition)): Effects-of-calling:javax.swing.JComboBox
    //#unanalyzed(void addCondition(ActionCondition)): Effects-of-calling:javax.swing.JComboBox:putClientProperty
    //#unanalyzed(void addCondition(ActionCondition)): Effects-of-calling:javax.swing.JComboBox:setName
    //#unanalyzed(void addCondition(ActionCondition)): Effects-of-calling:javax.swing.JTextField
    //#unanalyzed(void addCondition(ActionCondition)): Effects-of-calling:javax.swing.DefaultListCellRenderer
    //#unanalyzed(void addCondition(ActionCondition)): Effects-of-calling:javax.swing.JComboBox:setRenderer
    //#unanalyzed(void addCondition(ActionCondition)): Effects-of-calling:com.dmdirc.actions.interfaces.ActionMetaType:getArgTypes
    //#unanalyzed(void addCondition(ActionCondition)): Effects-of-calling:com.dmdirc.actions.ActionManager:getCompatibleComponents
    //#unanalyzed(void addCondition(ActionCondition)): Effects-of-calling:javax.swing.JComboBox:setSelectedItem
    //#unanalyzed(void addCondition(ActionCondition)): Effects-of-calling:com.dmdirc.actions.interfaces.ActionComponent:getType
    //#unanalyzed(void addCondition(ActionCondition)): Effects-of-calling:com.dmdirc.actions.ActionManager:getCompatibleComparisons
    //#unanalyzed(void addCondition(ActionCondition)): Effects-of-calling:javax.swing.JTextField:setText
    //#unanalyzed(void addCondition(ActionCondition)): Effects-of-calling:javax.swing.JComboBox:addActionListener
    //#unanalyzed(void addCondition(ActionCondition)): Effects-of-calling:javax.swing.JTextField:getDocument
    //#unanalyzed(void addCondition(ActionCondition)): Effects-of-calling:javax.swing.text.Document:addDocumentListener
    //#unanalyzed(void addCondition(ActionCondition)): Effects-of-calling:javax.swing.JTextField:addPropertyChangeListener
    //#unanalyzed(void addCondition(ActionCondition)): Effects-of-calling:net.miginfocom.swing.MigLayout
    //#unanalyzed(void addCondition(ActionCondition)): Effects-of-calling:com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionEditorPanel:setLayout
    //#unanalyzed(void addCondition(ActionCondition)): Effects-of-calling:com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionEditorPanel:add
    //#unanalyzed(void addCondition(ActionCondition)): Effects-of-calling:com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionEditorPanel:firePropertyChange
    //#unanalyzed(void addCondition(ActionCondition)): Effects-of-calling:javax.swing.JPanel
    //#unanalyzed(void addCondition(ActionCondition)): Effects-of-calling:com.dmdirc.util.ListenerList
    //#unanalyzed(void addCondition(ActionCondition)): Effects-of-calling:javax.swing.JToggleButton:addActionListener
    //#unanalyzed(void addCondition(ActionCondition)): Effects-of-calling:com.dmdirc.addons.ui_swing.components.ImageButton:addActionListener
    //#unanalyzed(void addCondition(ActionCondition)): Effects-of-calling:com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionEditorPanel:addPropertyChangeListener
    //#unanalyzed(void addCondition(ActionCondition)): Effects-of-calling:com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionDisplayPanel:setLayout
    //#unanalyzed(void addCondition(ActionCondition)): Effects-of-calling:com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionDisplayPanel:add
    //#unanalyzed(void addCondition(ActionCondition)): Effects-of-calling:com.dmdirc.actions.ActionCondition
    //#unanalyzed(void addCondition(ActionCondition)): Effects-of-calling:com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionDisplayPanel:validate
                new ActionConditionDisplayPanel(condition, trigger);
        panel.addConditionListener(this);
        panel.addPropertyChangeListener("validationResult", this);
    //#ActionConditionsListPanel.java:160: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionDisplayPanel:addPropertyChangeListener(String, PropertyChangeListener)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel
    //#    method: void addCondition(ActionCondition)
    //#    unanalyzed callee: void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionDisplayPanel:addPropertyChangeListener(String, PropertyChangeListener)
        validations.put(panel, panel.checkError());
        propertyChange(null);
        synchronized (conditions) {
            conditions.add(panel);
        }
        treePanel.setConditionCount(conditions.size());
        layoutComponents();
    }
    //#ActionConditionsListPanel.java:168: end of method: void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel.addCondition(ActionCondition)

    /**
     * Deletes an action condition from the list.
     * 
     * @param condition Action condition
     */
    public void delCondition(final ActionCondition condition) {
        ActionConditionDisplayPanel removeCondition = null;
    //#ActionConditionsListPanel.java:176: method: void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel.delCondition(ActionCondition)
    //#input(void delCondition(ActionCondition)): "."._tainted
    //#input(void delCondition(ActionCondition)): "; "._tainted
    //#input(void delCondition(ActionCondition)): "body { font-family: "._tainted
    //#input(void delCondition(ActionCondition)): "font-size: "._tainted
    //#input(void delCondition(ActionCondition)): "pt; }"._tainted
    //#input(void delCondition(ActionCondition)): __Descendant_Table[com/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionConditionsListPanel]
    //#input(void delCondition(ActionCondition)): __Descendant_Table[others]
    //#input(void delCondition(ActionCondition)): __Dispatch_Table.conditionRemoved(Lcom/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionConditionDisplayPanel;)V
    //#input(void delCondition(ActionCondition)): __Dispatch_Table.propertyChange(Ljava/beans/PropertyChangeEvent;)V
    //#input(void delCondition(ActionCondition)): com/dmdirc/addons/ui_swing/components/text/TextLabel.__Descendant_Table[com/dmdirc/addons/ui_swing/components/text/TextLabel]
    //#input(void delCondition(ActionCondition)): com/dmdirc/addons/ui_swing/components/text/TextLabel.__Descendant_Table[others]
    //#input(void delCondition(ActionCondition)): com/dmdirc/addons/ui_swing/components/text/TextLabel.__Dispatch_Table.getDocument()Ljavax/swing/text/StyledDocument;
    //#input(void delCondition(ActionCondition)): com/dmdirc/addons/ui_swing/components/text/TextLabel.__Dispatch_Table.setText(Ljava/lang/String;)V
    //#input(void delCondition(ActionCondition)): com/dmdirc/addons/ui_swing/components/validating/ValidatingJTextField.__Descendant_Table[com/dmdirc/addons/ui_swing/components/validating/ValidatingJTextField]
    //#input(void delCondition(ActionCondition)): com/dmdirc/addons/ui_swing/components/validating/ValidatingJTextField.__Descendant_Table[others]
    //#input(void delCondition(ActionCondition)): com/dmdirc/addons/ui_swing/components/validating/ValidatingJTextField.__Dispatch_Table.checkError()V
    //#input(void delCondition(ActionCondition)): com/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionConditionDisplayPanel.__Descendant_Table[com/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionConditionDisplayPanel]
    //#input(void delCondition(ActionCondition)): com/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionConditionDisplayPanel.__Descendant_Table[others]
    //#input(void delCondition(ActionCondition)): com/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionConditionDisplayPanel.__Dispatch_Table.getCondition()Lcom/dmdirc/actions/ActionCondition;
    //#input(void delCondition(ActionCondition)): com/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionConditionsTreePanel.__Descendant_Table[com/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionConditionsTreePanel]
    //#input(void delCondition(ActionCondition)): com/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionConditionsTreePanel.__Descendant_Table[others]
    //#input(void delCondition(ActionCondition)): com/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionConditionsTreePanel.__Dispatch_Table.setConditionCount(I)V
    //#input(void delCondition(ActionCondition)): condition
    //#input(void delCondition(ActionCondition)): this
    //#input(void delCondition(ActionCondition)): this.__Tag
    //#input(void delCondition(ActionCondition)): this.conditions
    //#input(void delCondition(ActionCondition)): this.treePanel
    //#input(void delCondition(ActionCondition)): this.treePanel.__Tag
    //#input(void delCondition(ActionCondition)): this.treePanel.rule
    //#input(void delCondition(ActionCondition)): this.treePanel.rule.__Tag
    //#input(void delCondition(ActionCondition)): this.treePanel.rule.errorIcon
    //#input(void delCondition(ActionCondition)): this.treePanel.rule.textField
    //#input(void delCondition(ActionCondition)): this.treePanel.rule.validator
    //#input(void delCondition(ActionCondition)): this.treePanel.treeValidator
    //#input(void delCondition(ActionCondition)): this.trigger
    //#input(void delCondition(ActionCondition)): this.validates
    //#input(void delCondition(ActionCondition)): this.validations
    //#output(void delCondition(ActionCondition)): this.treePanel.conditionCount
    //#output(void delCondition(ActionCondition)): this.validates
    //#pre[5] (void delCondition(ActionCondition)): this.conditions != null
    //#pre[7] (void delCondition(ActionCondition)): this.treePanel != null
    //#pre[8] (void delCondition(ActionCondition)): this.treePanel.__Tag == com/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionConditionsTreePanel
    //#pre[9] (void delCondition(ActionCondition)): this.treePanel.rule != null
    //#pre[10] (void delCondition(ActionCondition)): this.treePanel.rule.__Tag == com/dmdirc/addons/ui_swing/components/validating/ValidatingJTextField
    //#pre[11] (void delCondition(ActionCondition)): this.treePanel.rule.errorIcon != null
    //#pre[12] (void delCondition(ActionCondition)): this.treePanel.rule.textField != null
    //#pre[14] (void delCondition(ActionCondition)): this.treePanel.treeValidator != null
    //#pre[2] (void delCondition(ActionCondition)): (soft) init'ed(this.validates)
    //#pre[4] (void delCondition(ActionCondition)): (soft) this.__Tag == com/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionConditionsListPanel
    //#pre[13] (void delCondition(ActionCondition)): (soft) this.treePanel.rule.validator != null
    //#pre[15] (void delCondition(ActionCondition)): (soft) init'ed(this.trigger)
    //#pre[16] (void delCondition(ActionCondition)): (soft) this.validations != null
    //#presumption(void delCondition(ActionCondition)): java.util.Iterator:next(...).__Tag@179 == com/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionConditionDisplayPanel
    //#presumption(void delCondition(ActionCondition)): java.util.Iterator:next(...)@179 != null
    //#presumption(void delCondition(ActionCondition)): localCondition.condition@179 != null
    //#post(void delCondition(ActionCondition)): init'ed(this.treePanel.conditionCount)
    //#post(void delCondition(ActionCondition)): init'ed(this.validates)
    //#unanalyzed(void delCondition(ActionCondition)): Effects-of-calling:com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel:setVisible
    //#unanalyzed(void delCondition(ActionCondition)): Effects-of-calling:com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel:removeAll
    //#unanalyzed(void delCondition(ActionCondition)): Effects-of-calling:javax.swing.JTextPane:getDocument
    //#unanalyzed(void delCondition(ActionCondition)): Effects-of-calling:javax.swing.JTextPane:setText
    //#unanalyzed(void delCondition(ActionCondition)): Effects-of-calling:java.lang.String:isEmpty
    //#unanalyzed(void delCondition(ActionCondition)): Effects-of-calling:java.lang.String:length
    //#unanalyzed(void delCondition(ActionCondition)): Effects-of-calling:javax.swing.text.StyledDocument:setParagraphAttributes
    //#unanalyzed(void delCondition(ActionCondition)): Effects-of-calling:javax.swing.text.DefaultStyledDocument
    //#unanalyzed(void delCondition(ActionCondition)): Effects-of-calling:javax.swing.JTextPane
    //#unanalyzed(void delCondition(ActionCondition)): Effects-of-calling:javax.swing.text.html.HTMLEditorKit
    //#unanalyzed(void delCondition(ActionCondition)): Effects-of-calling:com.dmdirc.addons.ui_swing.components.text.TextLabel:setEditorKit
    //#unanalyzed(void delCondition(ActionCondition)): Effects-of-calling:javax.swing.plaf.basic.BasicTextPaneUI
    //#unanalyzed(void delCondition(ActionCondition)): Effects-of-calling:com.dmdirc.addons.ui_swing.components.text.TextLabel:setUI
    //#unanalyzed(void delCondition(ActionCondition)): Effects-of-calling:javax.swing.UIManager:getFont
    //#unanalyzed(void delCondition(ActionCondition)): Effects-of-calling:javax.swing.text.html.HTMLDocument:getStyleSheet
    //#unanalyzed(void delCondition(ActionCondition)): Effects-of-calling:java.lang.StringBuilder
    //#unanalyzed(void delCondition(ActionCondition)): Effects-of-calling:java.lang.StringBuilder:append
    //#unanalyzed(void delCondition(ActionCondition)): Effects-of-calling:java.awt.Font:getFamily
    //#unanalyzed(void delCondition(ActionCondition)): Effects-of-calling:java.awt.Font:getSize
    //#unanalyzed(void delCondition(ActionCondition)): Effects-of-calling:java.lang.StringBuilder:toString
    //#unanalyzed(void delCondition(ActionCondition)): Effects-of-calling:javax.swing.text.html.StyleSheet:addRule
    //#unanalyzed(void delCondition(ActionCondition)): Effects-of-calling:com.dmdirc.addons.ui_swing.components.text.TextLabel:setOpaque
    //#unanalyzed(void delCondition(ActionCondition)): Effects-of-calling:com.dmdirc.addons.ui_swing.components.text.TextLabel:setEditable
    //#unanalyzed(void delCondition(ActionCondition)): Effects-of-calling:com.dmdirc.addons.ui_swing.components.text.TextLabel:setHighlighter
    //#unanalyzed(void delCondition(ActionCondition)): Effects-of-calling:java.awt.Insets
    //#unanalyzed(void delCondition(ActionCondition)): Effects-of-calling:com.dmdirc.addons.ui_swing.components.text.TextLabel:setMargin
    //#unanalyzed(void delCondition(ActionCondition)): Effects-of-calling:javax.swing.text.SimpleAttributeSet
    //#unanalyzed(void delCondition(ActionCondition)): Effects-of-calling:javax.swing.text.StyleConstants:setAlignment
    //#unanalyzed(void delCondition(ActionCondition)): Effects-of-calling:com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel:add
    //#unanalyzed(void delCondition(ActionCondition)): Effects-of-calling:com.dmdirc.actions.interfaces.ActionType:getType
    //#unanalyzed(void delCondition(ActionCondition)): Effects-of-calling:com.dmdirc.actions.interfaces.ActionMetaType:getArgNames
    //#unanalyzed(void delCondition(ActionCondition)): Effects-of-calling:java.util.List:iterator
    //#unanalyzed(void delCondition(ActionCondition)): Effects-of-calling:java.util.Iterator:hasNext
    //#unanalyzed(void delCondition(ActionCondition)): Effects-of-calling:java.util.Iterator:next
    //#unanalyzed(void delCondition(ActionCondition)): Effects-of-calling:javax.swing.JLabel
    //#unanalyzed(void delCondition(ActionCondition)): Effects-of-calling:java.lang.Throwable:__curr_excep_obj
    //#unanalyzed(void delCondition(ActionCondition)): Effects-of-calling:java.beans.PropertyChangeEvent:getSource
    //#unanalyzed(void delCondition(ActionCondition)): Effects-of-calling:java.beans.PropertyChangeEvent:getNewValue
    //#unanalyzed(void delCondition(ActionCondition)): Effects-of-calling:java.util.Map:put
    //#unanalyzed(void delCondition(ActionCondition)): Effects-of-calling:java.util.Map:values
    //#unanalyzed(void delCondition(ActionCondition)): Effects-of-calling:java.util.Collection:iterator
    //#unanalyzed(void delCondition(ActionCondition)): Effects-of-calling:java.lang.Boolean:booleanValue
    //#unanalyzed(void delCondition(ActionCondition)): Effects-of-calling:com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel:firePropertyChange
    //#unanalyzed(void delCondition(ActionCondition)): Effects-of-calling:javax.swing.JTextField:isEnabled
    //#unanalyzed(void delCondition(ActionCondition)): Effects-of-calling:javax.swing.JTextField:getText
    //#unanalyzed(void delCondition(ActionCondition)): Effects-of-calling:com.dmdirc.config.prefs.validator.Validator:validate
    //#unanalyzed(void delCondition(ActionCondition)): Effects-of-calling:com.dmdirc.config.prefs.validator.ValidationResponse:getFailureReason
    //#unanalyzed(void delCondition(ActionCondition)): Effects-of-calling:javax.swing.JLabel:setToolTipText
    //#unanalyzed(void delCondition(ActionCondition)): Effects-of-calling:javax.swing.JLabel:isVisible
    //#unanalyzed(void delCondition(ActionCondition)): Effects-of-calling:com.dmdirc.config.prefs.validator.ValidationResponse:isFailure
    //#unanalyzed(void delCondition(ActionCondition)): Effects-of-calling:com.dmdirc.addons.ui_swing.components.validating.ValidatingJTextField:firePropertyChange
    //#unanalyzed(void delCondition(ActionCondition)): Effects-of-calling:javax.swing.JLabel:setVisible
    //#unanalyzed(void delCondition(ActionCondition)): Effects-of-calling:com.dmdirc.config.prefs.validator.ConditionRuleValidator:setArgs
    //#unanalyzed(void delCondition(ActionCondition)): Effects-of-calling:java.util.List:remove
    //#unanalyzed(void delCondition(ActionCondition)): Effects-of-calling:java.util.Map:remove
    //#test_vector(void delCondition(ActionCondition)): com.dmdirc.actions.ActionCondition:equals(...)@180: {0}, {1}
    //#test_vector(void delCondition(ActionCondition)): java.util.Iterator:hasNext(...)@179: {1}, {0}

        synchronized (conditions) {
            for (ActionConditionDisplayPanel localCondition : conditions) {
                if (localCondition.getCondition().equals(condition)) {
    //#ActionConditionsListPanel.java:180: Warning: method not available - call not analyzed
    //#    call on bool com.dmdirc.actions.ActionCondition:equals(Object)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel
    //#    method: void delCondition(ActionCondition)
    //#    unanalyzed callee: bool com.dmdirc.actions.ActionCondition:equals(Object)
                    removeCondition = localCondition;
                    break;
                }
            }
        }

        treePanel.setConditionCount(conditions.size());

        if (removeCondition != null) {
            conditionRemoved(removeCondition);
        }
    }
    //#ActionConditionsListPanel.java:192: end of method: void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel.delCondition(ActionCondition)

    /**
     * Clear conditions.
     */
    public void clearConditions() {
        for (ActionConditionDisplayPanel condition : conditions) {
    //#ActionConditionsListPanel.java:198: method: void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel.clearConditions()
    //#input(void clearConditions()): "."._tainted
    //#input(void clearConditions()): "; "._tainted
    //#input(void clearConditions()): "body { font-family: "._tainted
    //#input(void clearConditions()): "font-size: "._tainted
    //#input(void clearConditions()): "pt; }"._tainted
    //#input(void clearConditions()): __Descendant_Table[com/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionConditionsListPanel]
    //#input(void clearConditions()): __Descendant_Table[others]
    //#input(void clearConditions()): __Dispatch_Table.conditionRemoved(Lcom/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionConditionDisplayPanel;)V
    //#input(void clearConditions()): __Dispatch_Table.delCondition(Lcom/dmdirc/actions/ActionCondition;)V
    //#input(void clearConditions()): __Dispatch_Table.propertyChange(Ljava/beans/PropertyChangeEvent;)V
    //#input(void clearConditions()): com/dmdirc/addons/ui_swing/components/text/TextLabel.__Descendant_Table[com/dmdirc/addons/ui_swing/components/text/TextLabel]
    //#input(void clearConditions()): com/dmdirc/addons/ui_swing/components/text/TextLabel.__Descendant_Table[others]
    //#input(void clearConditions()): com/dmdirc/addons/ui_swing/components/text/TextLabel.__Dispatch_Table.getDocument()Ljavax/swing/text/StyledDocument;
    //#input(void clearConditions()): com/dmdirc/addons/ui_swing/components/text/TextLabel.__Dispatch_Table.setText(Ljava/lang/String;)V
    //#input(void clearConditions()): com/dmdirc/addons/ui_swing/components/validating/ValidatingJTextField.__Descendant_Table[com/dmdirc/addons/ui_swing/components/validating/ValidatingJTextField]
    //#input(void clearConditions()): com/dmdirc/addons/ui_swing/components/validating/ValidatingJTextField.__Descendant_Table[others]
    //#input(void clearConditions()): com/dmdirc/addons/ui_swing/components/validating/ValidatingJTextField.__Dispatch_Table.checkError()V
    //#input(void clearConditions()): com/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionConditionDisplayPanel.__Descendant_Table[com/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionConditionDisplayPanel]
    //#input(void clearConditions()): com/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionConditionDisplayPanel.__Descendant_Table[others]
    //#input(void clearConditions()): com/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionConditionDisplayPanel.__Dispatch_Table.getCondition()Lcom/dmdirc/actions/ActionCondition;
    //#input(void clearConditions()): com/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionConditionsTreePanel.__Descendant_Table[com/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionConditionsTreePanel]
    //#input(void clearConditions()): com/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionConditionsTreePanel.__Descendant_Table[others]
    //#input(void clearConditions()): com/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionConditionsTreePanel.__Dispatch_Table.setConditionCount(I)V
    //#input(void clearConditions()): this
    //#input(void clearConditions()): this.__Tag
    //#input(void clearConditions()): this.conditions
    //#input(void clearConditions()): this.treePanel
    //#input(void clearConditions()): this.treePanel.__Tag
    //#input(void clearConditions()): this.treePanel.rule
    //#input(void clearConditions()): this.treePanel.rule.__Tag
    //#input(void clearConditions()): this.treePanel.rule.errorIcon
    //#input(void clearConditions()): this.treePanel.rule.textField
    //#input(void clearConditions()): this.treePanel.rule.validator
    //#input(void clearConditions()): this.treePanel.treeValidator
    //#input(void clearConditions()): this.trigger
    //#input(void clearConditions()): this.validates
    //#input(void clearConditions()): this.validations
    //#output(void clearConditions()): this.treePanel.conditionCount
    //#output(void clearConditions()): this.validates
    //#pre[5] (void clearConditions()): this.conditions != null
    //#pre[2] (void clearConditions()): (soft) init'ed(this.validates)
    //#pre[4] (void clearConditions()): (soft) this.__Tag == com/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionConditionsListPanel
    //#pre[7] (void clearConditions()): (soft) this.treePanel != null
    //#pre[8] (void clearConditions()): (soft) this.treePanel.__Tag == com/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionConditionsTreePanel
    //#pre[9] (void clearConditions()): (soft) this.treePanel.rule != null
    //#pre[10] (void clearConditions()): (soft) this.treePanel.rule.__Tag == com/dmdirc/addons/ui_swing/components/validating/ValidatingJTextField
    //#pre[11] (void clearConditions()): (soft) this.treePanel.rule.errorIcon != null
    //#pre[12] (void clearConditions()): (soft) this.treePanel.rule.textField != null
    //#pre[13] (void clearConditions()): (soft) this.treePanel.rule.validator != null
    //#pre[14] (void clearConditions()): (soft) this.treePanel.treeValidator != null
    //#pre[15] (void clearConditions()): (soft) init'ed(this.trigger)
    //#pre[16] (void clearConditions()): (soft) this.validations != null
    //#presumption(void clearConditions()): java.util.Iterator:next(...).__Tag@198 == com/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionConditionDisplayPanel
    //#presumption(void clearConditions()): java.util.Iterator:next(...)@198 != null
    //#post(void clearConditions()): possibly_updated(this.treePanel.conditionCount)
    //#post(void clearConditions()): init'ed(this.validates)
    //#unanalyzed(void clearConditions()): Effects-of-calling:com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel:setVisible
    //#unanalyzed(void clearConditions()): Effects-of-calling:com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel:removeAll
    //#unanalyzed(void clearConditions()): Effects-of-calling:javax.swing.JTextPane:getDocument
    //#unanalyzed(void clearConditions()): Effects-of-calling:javax.swing.JTextPane:setText
    //#unanalyzed(void clearConditions()): Effects-of-calling:java.lang.String:isEmpty
    //#unanalyzed(void clearConditions()): Effects-of-calling:java.lang.String:length
    //#unanalyzed(void clearConditions()): Effects-of-calling:javax.swing.text.StyledDocument:setParagraphAttributes
    //#unanalyzed(void clearConditions()): Effects-of-calling:javax.swing.text.DefaultStyledDocument
    //#unanalyzed(void clearConditions()): Effects-of-calling:javax.swing.JTextPane
    //#unanalyzed(void clearConditions()): Effects-of-calling:javax.swing.text.html.HTMLEditorKit
    //#unanalyzed(void clearConditions()): Effects-of-calling:com.dmdirc.addons.ui_swing.components.text.TextLabel:setEditorKit
    //#unanalyzed(void clearConditions()): Effects-of-calling:javax.swing.plaf.basic.BasicTextPaneUI
    //#unanalyzed(void clearConditions()): Effects-of-calling:com.dmdirc.addons.ui_swing.components.text.TextLabel:setUI
    //#unanalyzed(void clearConditions()): Effects-of-calling:javax.swing.UIManager:getFont
    //#unanalyzed(void clearConditions()): Effects-of-calling:javax.swing.text.html.HTMLDocument:getStyleSheet
    //#unanalyzed(void clearConditions()): Effects-of-calling:java.lang.StringBuilder
    //#unanalyzed(void clearConditions()): Effects-of-calling:java.lang.StringBuilder:append
    //#unanalyzed(void clearConditions()): Effects-of-calling:java.awt.Font:getFamily
    //#unanalyzed(void clearConditions()): Effects-of-calling:java.awt.Font:getSize
    //#unanalyzed(void clearConditions()): Effects-of-calling:java.lang.StringBuilder:toString
    //#unanalyzed(void clearConditions()): Effects-of-calling:javax.swing.text.html.StyleSheet:addRule
    //#unanalyzed(void clearConditions()): Effects-of-calling:com.dmdirc.addons.ui_swing.components.text.TextLabel:setOpaque
    //#unanalyzed(void clearConditions()): Effects-of-calling:com.dmdirc.addons.ui_swing.components.text.TextLabel:setEditable
    //#unanalyzed(void clearConditions()): Effects-of-calling:com.dmdirc.addons.ui_swing.components.text.TextLabel:setHighlighter
    //#unanalyzed(void clearConditions()): Effects-of-calling:java.awt.Insets
    //#unanalyzed(void clearConditions()): Effects-of-calling:com.dmdirc.addons.ui_swing.components.text.TextLabel:setMargin
    //#unanalyzed(void clearConditions()): Effects-of-calling:javax.swing.text.SimpleAttributeSet
    //#unanalyzed(void clearConditions()): Effects-of-calling:javax.swing.text.StyleConstants:setAlignment
    //#unanalyzed(void clearConditions()): Effects-of-calling:com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel:add
    //#unanalyzed(void clearConditions()): Effects-of-calling:com.dmdirc.actions.interfaces.ActionType:getType
    //#unanalyzed(void clearConditions()): Effects-of-calling:com.dmdirc.actions.interfaces.ActionMetaType:getArgNames
    //#unanalyzed(void clearConditions()): Effects-of-calling:java.util.List:iterator
    //#unanalyzed(void clearConditions()): Effects-of-calling:java.util.Iterator:hasNext
    //#unanalyzed(void clearConditions()): Effects-of-calling:java.util.Iterator:next
    //#unanalyzed(void clearConditions()): Effects-of-calling:javax.swing.JLabel
    //#unanalyzed(void clearConditions()): Effects-of-calling:java.lang.Throwable:__curr_excep_obj
    //#unanalyzed(void clearConditions()): Effects-of-calling:java.beans.PropertyChangeEvent:getSource
    //#unanalyzed(void clearConditions()): Effects-of-calling:java.beans.PropertyChangeEvent:getNewValue
    //#unanalyzed(void clearConditions()): Effects-of-calling:java.util.Map:put
    //#unanalyzed(void clearConditions()): Effects-of-calling:java.util.Map:values
    //#unanalyzed(void clearConditions()): Effects-of-calling:java.util.Collection:iterator
    //#unanalyzed(void clearConditions()): Effects-of-calling:java.lang.Boolean:booleanValue
    //#unanalyzed(void clearConditions()): Effects-of-calling:com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel:firePropertyChange
    //#unanalyzed(void clearConditions()): Effects-of-calling:getCondition
    //#unanalyzed(void clearConditions()): Effects-of-calling:com.dmdirc.actions.ActionCondition:equals
    //#unanalyzed(void clearConditions()): Effects-of-calling:java.util.List:size
    //#unanalyzed(void clearConditions()): Effects-of-calling:javax.swing.JTextField:isEnabled
    //#unanalyzed(void clearConditions()): Effects-of-calling:javax.swing.JTextField:getText
    //#unanalyzed(void clearConditions()): Effects-of-calling:com.dmdirc.config.prefs.validator.Validator:validate
    //#unanalyzed(void clearConditions()): Effects-of-calling:com.dmdirc.config.prefs.validator.ValidationResponse:getFailureReason
    //#unanalyzed(void clearConditions()): Effects-of-calling:javax.swing.JLabel:setToolTipText
    //#unanalyzed(void clearConditions()): Effects-of-calling:javax.swing.JLabel:isVisible
    //#unanalyzed(void clearConditions()): Effects-of-calling:com.dmdirc.config.prefs.validator.ValidationResponse:isFailure
    //#unanalyzed(void clearConditions()): Effects-of-calling:com.dmdirc.addons.ui_swing.components.validating.ValidatingJTextField:firePropertyChange
    //#unanalyzed(void clearConditions()): Effects-of-calling:javax.swing.JLabel:setVisible
    //#unanalyzed(void clearConditions()): Effects-of-calling:com.dmdirc.config.prefs.validator.ConditionRuleValidator:setArgs
    //#unanalyzed(void clearConditions()): Effects-of-calling:conditionRemoved
    //#unanalyzed(void clearConditions()): Effects-of-calling:java.util.List:remove
    //#unanalyzed(void clearConditions()): Effects-of-calling:java.util.Map:remove
    //#test_vector(void clearConditions()): java.util.Iterator:hasNext(...)@198: {0}, {1}
            delCondition(condition.getCondition());
        }
    }
    //#ActionConditionsListPanel.java:201: end of method: void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel.clearConditions()

    /**
     * Returns the condition list.
     * 
     * @return condition list
     */
    public List<ActionCondition> getConditions() {
        final List<ActionCondition> conditionList =
    //#ActionConditionsListPanel.java:209: method: List com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel.getConditions()
    //#input(List getConditions()): com/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionConditionDisplayPanel.__Descendant_Table[com/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionConditionDisplayPanel]
    //#input(List getConditions()): com/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionConditionDisplayPanel.__Descendant_Table[others]
    //#input(List getConditions()): com/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionConditionDisplayPanel.__Dispatch_Table.getCondition()Lcom/dmdirc/actions/ActionCondition;
    //#input(List getConditions()): this
    //#input(List getConditions()): this.conditions
    //#input(List getConditions()): this.conditions.__Lock
    //#output(List getConditions()): new ArrayList(getConditions#1) num objects
    //#output(List getConditions()): return_value
    //#new obj(List getConditions()): new ArrayList(getConditions#1)
    //#pre[2] (List getConditions()): this.conditions != null
    //#presumption(List getConditions()): java.util.Iterator:next(...).__Tag@213 == com/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionConditionDisplayPanel
    //#presumption(List getConditions()): java.util.Iterator:next(...)@213 != null
    //#post(List getConditions()): return_value == &new ArrayList(getConditions#1)
    //#post(List getConditions()): new ArrayList(getConditions#1) num objects == 1
    //#test_vector(List getConditions()): java.util.Iterator:hasNext(...)@213: {1}, {0}
                new ArrayList<ActionCondition>();

        synchronized (conditions) {
            for (ActionConditionDisplayPanel condition : conditions) {
                conditionList.add(condition.getCondition());
            }
        }

        return conditionList;
    //#ActionConditionsListPanel.java:218: end of method: List com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel.getConditions()
    }

    /**
     * Sets the action trigger for the panel.
     * 
     * @param trigger Action trigger
     */
    public void setTrigger(final ActionType trigger) {
        if (this.trigger == null) {
    //#ActionConditionsListPanel.java:227: method: void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel.setTrigger(ActionType)
    //#input(void setTrigger(ActionType)): " "._tainted
    //#input(void setTrigger(ActionType)): " '"._tainted
    //#input(void setTrigger(ActionType)): " ..."._tainted
    //#input(void setTrigger(ActionType)): "'"._tainted
    //#input(void setTrigger(ActionType)): "'s "._tainted
    //#input(void setTrigger(ActionType)): "."._tainted
    //#input(void setTrigger(ActionType)): "; "._tainted
    //#input(void setTrigger(ActionType)): "The "._tainted
    //#input(void setTrigger(ActionType)): "body { font-family: "._tainted
    //#input(void setTrigger(ActionType)): "font-size: "._tainted
    //#input(void setTrigger(ActionType)): "pt; }"._tainted
    //#input(void setTrigger(ActionType)): __Descendant_Table[com/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionConditionsListPanel]
    //#input(void setTrigger(ActionType)): __Descendant_Table[others]
    //#input(void setTrigger(ActionType)): __Dispatch_Table.setEnabled(Z)V
    //#input(void setTrigger(ActionType)): com/dmdirc/addons/ui_swing/components/text/TextLabel.__Descendant_Table[com/dmdirc/addons/ui_swing/components/text/TextLabel]
    //#input(void setTrigger(ActionType)): com/dmdirc/addons/ui_swing/components/text/TextLabel.__Descendant_Table[others]
    //#input(void setTrigger(ActionType)): com/dmdirc/addons/ui_swing/components/text/TextLabel.__Dispatch_Table.getDocument()Ljavax/swing/text/StyledDocument;
    //#input(void setTrigger(ActionType)): com/dmdirc/addons/ui_swing/components/text/TextLabel.__Dispatch_Table.setText(Ljava/lang/String;)V
    //#input(void setTrigger(ActionType)): com/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionConditionDisplayPanel.__Descendant_Table[com/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionConditionDisplayPanel]
    //#input(void setTrigger(ActionType)): com/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionConditionDisplayPanel.__Descendant_Table[others]
    //#input(void setTrigger(ActionType)): com/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionConditionDisplayPanel.__Dispatch_Table.setEnabled(Z)V
    //#input(void setTrigger(ActionType)): com/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionConditionDisplayPanel.__Dispatch_Table.setTrigger(Lcom/dmdirc/actions/interfaces/ActionType;)V
    //#input(void setTrigger(ActionType)): com/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionConditionEditorPanel.__Descendant_Table[com/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionConditionEditorPanel]
    //#input(void setTrigger(ActionType)): com/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionConditionEditorPanel.__Descendant_Table[others]
    //#input(void setTrigger(ActionType)): com/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionConditionEditorPanel.__Dispatch_Table.setEnabled(Z)V
    //#input(void setTrigger(ActionType)): com/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionConditionEditorPanel.__Dispatch_Table.setTrigger(Lcom/dmdirc/actions/interfaces/ActionType;)V
    //#input(void setTrigger(ActionType)): this
    //#input(void setTrigger(ActionType)): this.__Tag
    //#input(void setTrigger(ActionType)): this.conditions
    //#input(void setTrigger(ActionType)): this.trigger
    //#input(void setTrigger(ActionType)): trigger
    //#output(void setTrigger(ActionType)): this.trigger
    //#pre[1] (void setTrigger(ActionType)): init'ed(this.trigger)
    //#pre[3] (void setTrigger(ActionType)): this.__Tag == com/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionConditionsListPanel
    //#pre[4] (void setTrigger(ActionType)): this.conditions != null
    //#presumption(void setTrigger(ActionType)): java.util.Iterator:next(...).__Tag@231 == com/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionConditionDisplayPanel
    //#presumption(void setTrigger(ActionType)): java.util.Iterator:next(...)@231 != null
    //#presumption(void setTrigger(ActionType)): panel.condition@231 != null
    //#presumption(void setTrigger(ActionType)): panel.editButton@231 != null
    //#presumption(void setTrigger(ActionType)): panel.editPanel.__Tag@231 == com/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionConditionEditorPanel
    //#presumption(void setTrigger(ActionType)): panel.editPanel.arguments@231 != null
    //#presumption(void setTrigger(ActionType)): panel.editPanel.comparisons@231 != null
    //#presumption(void setTrigger(ActionType)): panel.editPanel.components@231 != null
    //#presumption(void setTrigger(ActionType)): panel.editPanel.condition@231 != null
    //#presumption(void setTrigger(ActionType)): panel.editPanel.target@231 != null
    //#presumption(void setTrigger(ActionType)): panel.editPanel@231 != null
    //#presumption(void setTrigger(ActionType)): panel.label.__Tag@231 == com/dmdirc/addons/ui_swing/components/text/TextLabel
    //#presumption(void setTrigger(ActionType)): panel.label@231 != null
    //#post(void setTrigger(ActionType)): this.trigger == trigger
    //#post(void setTrigger(ActionType)): init'ed(this.trigger)
    //#unanalyzed(void setTrigger(ActionType)): Effects-of-calling:com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel:setVisible
    //#unanalyzed(void setTrigger(ActionType)): Effects-of-calling:com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel:removeAll
    //#unanalyzed(void setTrigger(ActionType)): Effects-of-calling:javax.swing.JTextPane:getDocument
    //#unanalyzed(void setTrigger(ActionType)): Effects-of-calling:javax.swing.JTextPane:setText
    //#unanalyzed(void setTrigger(ActionType)): Effects-of-calling:java.lang.String:isEmpty
    //#unanalyzed(void setTrigger(ActionType)): Effects-of-calling:java.lang.String:length
    //#unanalyzed(void setTrigger(ActionType)): Effects-of-calling:javax.swing.text.StyledDocument:setParagraphAttributes
    //#unanalyzed(void setTrigger(ActionType)): Effects-of-calling:javax.swing.text.DefaultStyledDocument
    //#unanalyzed(void setTrigger(ActionType)): Effects-of-calling:javax.swing.JTextPane
    //#unanalyzed(void setTrigger(ActionType)): Effects-of-calling:javax.swing.text.html.HTMLEditorKit
    //#unanalyzed(void setTrigger(ActionType)): Effects-of-calling:com.dmdirc.addons.ui_swing.components.text.TextLabel:setEditorKit
    //#unanalyzed(void setTrigger(ActionType)): Effects-of-calling:javax.swing.plaf.basic.BasicTextPaneUI
    //#unanalyzed(void setTrigger(ActionType)): Effects-of-calling:com.dmdirc.addons.ui_swing.components.text.TextLabel:setUI
    //#unanalyzed(void setTrigger(ActionType)): Effects-of-calling:javax.swing.UIManager:getFont
    //#unanalyzed(void setTrigger(ActionType)): Effects-of-calling:javax.swing.text.html.HTMLDocument:getStyleSheet
    //#unanalyzed(void setTrigger(ActionType)): Effects-of-calling:java.lang.StringBuilder
    //#unanalyzed(void setTrigger(ActionType)): Effects-of-calling:java.lang.StringBuilder:append
    //#unanalyzed(void setTrigger(ActionType)): Effects-of-calling:java.awt.Font:getFamily
    //#unanalyzed(void setTrigger(ActionType)): Effects-of-calling:java.awt.Font:getSize
    //#unanalyzed(void setTrigger(ActionType)): Effects-of-calling:java.lang.StringBuilder:toString
    //#unanalyzed(void setTrigger(ActionType)): Effects-of-calling:javax.swing.text.html.StyleSheet:addRule
    //#unanalyzed(void setTrigger(ActionType)): Effects-of-calling:com.dmdirc.addons.ui_swing.components.text.TextLabel:setOpaque
    //#unanalyzed(void setTrigger(ActionType)): Effects-of-calling:com.dmdirc.addons.ui_swing.components.text.TextLabel:setEditable
    //#unanalyzed(void setTrigger(ActionType)): Effects-of-calling:com.dmdirc.addons.ui_swing.components.text.TextLabel:setHighlighter
    //#unanalyzed(void setTrigger(ActionType)): Effects-of-calling:java.awt.Insets
    //#unanalyzed(void setTrigger(ActionType)): Effects-of-calling:com.dmdirc.addons.ui_swing.components.text.TextLabel:setMargin
    //#unanalyzed(void setTrigger(ActionType)): Effects-of-calling:javax.swing.text.SimpleAttributeSet
    //#unanalyzed(void setTrigger(ActionType)): Effects-of-calling:javax.swing.text.StyleConstants:setAlignment
    //#unanalyzed(void setTrigger(ActionType)): Effects-of-calling:com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel:add
    //#unanalyzed(void setTrigger(ActionType)): Effects-of-calling:com.dmdirc.actions.interfaces.ActionType:getType
    //#unanalyzed(void setTrigger(ActionType)): Effects-of-calling:com.dmdirc.actions.interfaces.ActionMetaType:getArgNames
    //#unanalyzed(void setTrigger(ActionType)): Effects-of-calling:java.util.List:iterator
    //#unanalyzed(void setTrigger(ActionType)): Effects-of-calling:java.util.Iterator:hasNext
    //#unanalyzed(void setTrigger(ActionType)): Effects-of-calling:java.util.Iterator:next
    //#unanalyzed(void setTrigger(ActionType)): Effects-of-calling:javax.swing.JLabel
    //#unanalyzed(void setTrigger(ActionType)): Effects-of-calling:java.lang.Throwable:__curr_excep_obj
    //#unanalyzed(void setTrigger(ActionType)): Effects-of-calling:setEnabled
    //#unanalyzed(void setTrigger(ActionType)): Effects-of-calling:javax.swing.JComboBox:setEnabled
    //#unanalyzed(void setTrigger(ActionType)): Effects-of-calling:javax.swing.JTextField:setEnabled
    //#unanalyzed(void setTrigger(ActionType)): Effects-of-calling:javax.swing.JComboBox:getModel
    //#unanalyzed(void setTrigger(ActionType)): Effects-of-calling:javax.swing.DefaultComboBoxModel:removeAllElements
    //#unanalyzed(void setTrigger(ActionType)): Effects-of-calling:javax.swing.DefaultComboBoxModel:addElement
    //#unanalyzed(void setTrigger(ActionType)): Effects-of-calling:com.dmdirc.actions.ActionCondition:getArg
    //#unanalyzed(void setTrigger(ActionType)): Effects-of-calling:javax.swing.JComboBox:setSelectedIndex
    //#unanalyzed(void setTrigger(ActionType)): Effects-of-calling:javax.swing.JComboBox:getSelectedIndex
    //#unanalyzed(void setTrigger(ActionType)): Effects-of-calling:javax.swing.JPanel:setEnabled
    //#unanalyzed(void setTrigger(ActionType)): Effects-of-calling:com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionEditorPanel:setVisible
    //#unanalyzed(void setTrigger(ActionType)): Effects-of-calling:javax.swing.JToggleButton:setSelected
    //#unanalyzed(void setTrigger(ActionType)): Effects-of-calling:com.dmdirc.actions.ActionCondition:getComponent
    //#unanalyzed(void setTrigger(ActionType)): Effects-of-calling:com.dmdirc.actions.ActionCondition:getComparison
    //#unanalyzed(void setTrigger(ActionType)): Effects-of-calling:com.dmdirc.actions.ActionCondition:getTarget
    //#unanalyzed(void setTrigger(ActionType)): Effects-of-calling:com.dmdirc.actions.interfaces.ActionComponent:getName
    //#unanalyzed(void setTrigger(ActionType)): Effects-of-calling:com.dmdirc.actions.interfaces.ActionComparison:getName
    //#unanalyzed(void setTrigger(ActionType)): Effects-of-calling:java.lang.Object:equals
    //#unanalyzed(void setTrigger(ActionType)): Effects-of-calling:javax.swing.JToggleButton:setEnabled
    //#unanalyzed(void setTrigger(ActionType)): Effects-of-calling:com.dmdirc.addons.ui_swing.components.ImageButton:setEnabled
    //#test_vector(void setTrigger(ActionType)): this.trigger: Inverse{null}, Addr_Set{null}
    //#test_vector(void setTrigger(ActionType)): java.util.Iterator:hasNext(...)@231: {0}, {1}
            conditions.clear();
        }

        for (ActionConditionDisplayPanel panel : conditions) {
            panel.setTrigger(trigger);
        }
        this.trigger = trigger;
        setEnabled(trigger != null);
        layoutComponents();
    }
    //#ActionConditionsListPanel.java:237: end of method: void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel.setTrigger(ActionType)

    /** {@inheritDoc} */
    @Override
    public void conditionRemoved(final ActionConditionDisplayPanel condition) {
        synchronized (conditions) {
    //#ActionConditionsListPanel.java:242: method: void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel.conditionRemoved(ActionConditionDisplayPanel)
    //#input(void conditionRemoved(ActionConditionDisplayPanel)): "."._tainted
    //#input(void conditionRemoved(ActionConditionDisplayPanel)): "; "._tainted
    //#input(void conditionRemoved(ActionConditionDisplayPanel)): "body { font-family: "._tainted
    //#input(void conditionRemoved(ActionConditionDisplayPanel)): "font-size: "._tainted
    //#input(void conditionRemoved(ActionConditionDisplayPanel)): "pt; }"._tainted
    //#input(void conditionRemoved(ActionConditionDisplayPanel)): __Descendant_Table[com/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionConditionsListPanel]
    //#input(void conditionRemoved(ActionConditionDisplayPanel)): __Descendant_Table[others]
    //#input(void conditionRemoved(ActionConditionDisplayPanel)): __Dispatch_Table.propertyChange(Ljava/beans/PropertyChangeEvent;)V
    //#input(void conditionRemoved(ActionConditionDisplayPanel)): com/dmdirc/addons/ui_swing/components/text/TextLabel.__Descendant_Table[com/dmdirc/addons/ui_swing/components/text/TextLabel]
    //#input(void conditionRemoved(ActionConditionDisplayPanel)): com/dmdirc/addons/ui_swing/components/text/TextLabel.__Descendant_Table[others]
    //#input(void conditionRemoved(ActionConditionDisplayPanel)): com/dmdirc/addons/ui_swing/components/text/TextLabel.__Dispatch_Table.getDocument()Ljavax/swing/text/StyledDocument;
    //#input(void conditionRemoved(ActionConditionDisplayPanel)): com/dmdirc/addons/ui_swing/components/text/TextLabel.__Dispatch_Table.setText(Ljava/lang/String;)V
    //#input(void conditionRemoved(ActionConditionDisplayPanel)): com/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionConditionDisplayPanel.__Descendant_Table[com/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionConditionDisplayPanel]
    //#input(void conditionRemoved(ActionConditionDisplayPanel)): com/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionConditionDisplayPanel.__Descendant_Table[others]
    //#input(void conditionRemoved(ActionConditionDisplayPanel)): condition
    //#input(void conditionRemoved(ActionConditionDisplayPanel)): this
    //#input(void conditionRemoved(ActionConditionDisplayPanel)): this.__Tag
    //#input(void conditionRemoved(ActionConditionDisplayPanel)): this.conditions
    //#input(void conditionRemoved(ActionConditionDisplayPanel)): this.trigger
    //#input(void conditionRemoved(ActionConditionDisplayPanel)): this.validates
    //#input(void conditionRemoved(ActionConditionDisplayPanel)): this.validations
    //#output(void conditionRemoved(ActionConditionDisplayPanel)): this.validates
    //#pre[2] (void conditionRemoved(ActionConditionDisplayPanel)): init'ed(this.validates)
    //#pre[4] (void conditionRemoved(ActionConditionDisplayPanel)): this.__Tag == com/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionConditionsListPanel
    //#pre[5] (void conditionRemoved(ActionConditionDisplayPanel)): this.conditions != null
    //#pre[7] (void conditionRemoved(ActionConditionDisplayPanel)): init'ed(this.trigger)
    //#pre[8] (void conditionRemoved(ActionConditionDisplayPanel)): this.validations != null
    //#post(void conditionRemoved(ActionConditionDisplayPanel)): init'ed(this.validates)
    //#unanalyzed(void conditionRemoved(ActionConditionDisplayPanel)): Effects-of-calling:com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel:setVisible
    //#unanalyzed(void conditionRemoved(ActionConditionDisplayPanel)): Effects-of-calling:com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel:removeAll
    //#unanalyzed(void conditionRemoved(ActionConditionDisplayPanel)): Effects-of-calling:javax.swing.JTextPane:getDocument
    //#unanalyzed(void conditionRemoved(ActionConditionDisplayPanel)): Effects-of-calling:javax.swing.JTextPane:setText
    //#unanalyzed(void conditionRemoved(ActionConditionDisplayPanel)): Effects-of-calling:java.lang.String:isEmpty
    //#unanalyzed(void conditionRemoved(ActionConditionDisplayPanel)): Effects-of-calling:java.lang.String:length
    //#unanalyzed(void conditionRemoved(ActionConditionDisplayPanel)): Effects-of-calling:javax.swing.text.StyledDocument:setParagraphAttributes
    //#unanalyzed(void conditionRemoved(ActionConditionDisplayPanel)): Effects-of-calling:javax.swing.text.DefaultStyledDocument
    //#unanalyzed(void conditionRemoved(ActionConditionDisplayPanel)): Effects-of-calling:javax.swing.JTextPane
    //#unanalyzed(void conditionRemoved(ActionConditionDisplayPanel)): Effects-of-calling:javax.swing.text.html.HTMLEditorKit
    //#unanalyzed(void conditionRemoved(ActionConditionDisplayPanel)): Effects-of-calling:com.dmdirc.addons.ui_swing.components.text.TextLabel:setEditorKit
    //#unanalyzed(void conditionRemoved(ActionConditionDisplayPanel)): Effects-of-calling:javax.swing.plaf.basic.BasicTextPaneUI
    //#unanalyzed(void conditionRemoved(ActionConditionDisplayPanel)): Effects-of-calling:com.dmdirc.addons.ui_swing.components.text.TextLabel:setUI
    //#unanalyzed(void conditionRemoved(ActionConditionDisplayPanel)): Effects-of-calling:javax.swing.UIManager:getFont
    //#unanalyzed(void conditionRemoved(ActionConditionDisplayPanel)): Effects-of-calling:javax.swing.text.html.HTMLDocument:getStyleSheet
    //#unanalyzed(void conditionRemoved(ActionConditionDisplayPanel)): Effects-of-calling:java.lang.StringBuilder
    //#unanalyzed(void conditionRemoved(ActionConditionDisplayPanel)): Effects-of-calling:java.lang.StringBuilder:append
    //#unanalyzed(void conditionRemoved(ActionConditionDisplayPanel)): Effects-of-calling:java.awt.Font:getFamily
    //#unanalyzed(void conditionRemoved(ActionConditionDisplayPanel)): Effects-of-calling:java.awt.Font:getSize
    //#unanalyzed(void conditionRemoved(ActionConditionDisplayPanel)): Effects-of-calling:java.lang.StringBuilder:toString
    //#unanalyzed(void conditionRemoved(ActionConditionDisplayPanel)): Effects-of-calling:javax.swing.text.html.StyleSheet:addRule
    //#unanalyzed(void conditionRemoved(ActionConditionDisplayPanel)): Effects-of-calling:com.dmdirc.addons.ui_swing.components.text.TextLabel:setOpaque
    //#unanalyzed(void conditionRemoved(ActionConditionDisplayPanel)): Effects-of-calling:com.dmdirc.addons.ui_swing.components.text.TextLabel:setEditable
    //#unanalyzed(void conditionRemoved(ActionConditionDisplayPanel)): Effects-of-calling:com.dmdirc.addons.ui_swing.components.text.TextLabel:setHighlighter
    //#unanalyzed(void conditionRemoved(ActionConditionDisplayPanel)): Effects-of-calling:java.awt.Insets
    //#unanalyzed(void conditionRemoved(ActionConditionDisplayPanel)): Effects-of-calling:com.dmdirc.addons.ui_swing.components.text.TextLabel:setMargin
    //#unanalyzed(void conditionRemoved(ActionConditionDisplayPanel)): Effects-of-calling:javax.swing.text.SimpleAttributeSet
    //#unanalyzed(void conditionRemoved(ActionConditionDisplayPanel)): Effects-of-calling:javax.swing.text.StyleConstants:setAlignment
    //#unanalyzed(void conditionRemoved(ActionConditionDisplayPanel)): Effects-of-calling:com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel:add
    //#unanalyzed(void conditionRemoved(ActionConditionDisplayPanel)): Effects-of-calling:com.dmdirc.actions.interfaces.ActionType:getType
    //#unanalyzed(void conditionRemoved(ActionConditionDisplayPanel)): Effects-of-calling:com.dmdirc.actions.interfaces.ActionMetaType:getArgNames
    //#unanalyzed(void conditionRemoved(ActionConditionDisplayPanel)): Effects-of-calling:java.util.List:iterator
    //#unanalyzed(void conditionRemoved(ActionConditionDisplayPanel)): Effects-of-calling:java.util.Iterator:hasNext
    //#unanalyzed(void conditionRemoved(ActionConditionDisplayPanel)): Effects-of-calling:java.util.Iterator:next
    //#unanalyzed(void conditionRemoved(ActionConditionDisplayPanel)): Effects-of-calling:javax.swing.JLabel
    //#unanalyzed(void conditionRemoved(ActionConditionDisplayPanel)): Effects-of-calling:java.lang.Throwable:__curr_excep_obj
    //#unanalyzed(void conditionRemoved(ActionConditionDisplayPanel)): Effects-of-calling:java.beans.PropertyChangeEvent:getSource
    //#unanalyzed(void conditionRemoved(ActionConditionDisplayPanel)): Effects-of-calling:java.beans.PropertyChangeEvent:getNewValue
    //#unanalyzed(void conditionRemoved(ActionConditionDisplayPanel)): Effects-of-calling:java.util.Map:put
    //#unanalyzed(void conditionRemoved(ActionConditionDisplayPanel)): Effects-of-calling:java.util.Map:values
    //#unanalyzed(void conditionRemoved(ActionConditionDisplayPanel)): Effects-of-calling:java.util.Collection:iterator
    //#unanalyzed(void conditionRemoved(ActionConditionDisplayPanel)): Effects-of-calling:java.lang.Boolean:booleanValue
    //#unanalyzed(void conditionRemoved(ActionConditionDisplayPanel)): Effects-of-calling:com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel:firePropertyChange
            conditions.remove(condition);
            validations.remove(condition);
        }
        propertyChange(null);
        layoutComponents();
    }
    //#ActionConditionsListPanel.java:248: end of method: void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel.conditionRemoved(ActionConditionDisplayPanel)

    /** {@inheritDoc} */
    @Override
    public void setEnabled(final boolean enabled) {
        for (ActionConditionDisplayPanel condition : conditions) {
    //#ActionConditionsListPanel.java:253: method: void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel.setEnabled(bool)
    //#input(void setEnabled(bool)): com/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionConditionDisplayPanel.__Descendant_Table[com/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionConditionDisplayPanel]
    //#input(void setEnabled(bool)): com/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionConditionDisplayPanel.__Descendant_Table[others]
    //#input(void setEnabled(bool)): com/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionConditionDisplayPanel.__Dispatch_Table.setEnabled(Z)V
    //#input(void setEnabled(bool)): com/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionConditionEditorPanel.__Descendant_Table[com/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionConditionEditorPanel]
    //#input(void setEnabled(bool)): com/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionConditionEditorPanel.__Descendant_Table[others]
    //#input(void setEnabled(bool)): com/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionConditionEditorPanel.__Dispatch_Table.setEnabled(Z)V
    //#input(void setEnabled(bool)): enabled
    //#input(void setEnabled(bool)): this
    //#input(void setEnabled(bool)): this.conditions
    //#pre[3] (void setEnabled(bool)): this.conditions != null
    //#presumption(void setEnabled(bool)): condition.deleteButton@253 != null
    //#presumption(void setEnabled(bool)): condition.editButton@253 != null
    //#presumption(void setEnabled(bool)): condition.editPanel.__Tag@253 == com/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionConditionEditorPanel
    //#presumption(void setEnabled(bool)): condition.editPanel.arguments@253 != null
    //#presumption(void setEnabled(bool)): condition.editPanel.comparisons@253 != null
    //#presumption(void setEnabled(bool)): condition.editPanel.components@253 != null
    //#presumption(void setEnabled(bool)): condition.editPanel.target@253 != null
    //#presumption(void setEnabled(bool)): condition.editPanel@253 != null
    //#presumption(void setEnabled(bool)): java.util.Iterator:next(...).__Tag@253 == com/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionConditionDisplayPanel
    //#presumption(void setEnabled(bool)): java.util.Iterator:next(...)@253 != null
    //#unanalyzed(void setEnabled(bool)): Effects-of-calling:javax.swing.JComboBox:setEnabled
    //#unanalyzed(void setEnabled(bool)): Effects-of-calling:javax.swing.JTextField:setEnabled
    //#unanalyzed(void setEnabled(bool)): Effects-of-calling:javax.swing.JComboBox:getSelectedIndex
    //#unanalyzed(void setEnabled(bool)): Effects-of-calling:javax.swing.JPanel:setEnabled
    //#unanalyzed(void setEnabled(bool)): Effects-of-calling:javax.swing.JToggleButton:setEnabled
    //#unanalyzed(void setEnabled(bool)): Effects-of-calling:com.dmdirc.addons.ui_swing.components.ImageButton:setEnabled
    //#test_vector(void setEnabled(bool)): java.util.Iterator:hasNext(...)@253: {0}, {1}
            condition.setEnabled(enabled);
        }
    }
    //#ActionConditionsListPanel.java:256: end of method: void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel.setEnabled(bool)

    /** {@inheritDoc} */
    @Override
    public void propertyChange(final PropertyChangeEvent evt) {
        if (evt != null) {
    //#ActionConditionsListPanel.java:261: method: void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel.propertyChange(PropertyChangeEvent)
    //#input(void propertyChange(PropertyChangeEvent)): com/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionConditionDisplayPanel.__Descendant_Table[com/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionConditionDisplayPanel]
    //#input(void propertyChange(PropertyChangeEvent)): com/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionConditionDisplayPanel.__Descendant_Table[others]
    //#input(void propertyChange(PropertyChangeEvent)): evt
    //#input(void propertyChange(PropertyChangeEvent)): this
    //#input(void propertyChange(PropertyChangeEvent)): this.validates
    //#input(void propertyChange(PropertyChangeEvent)): this.validations
    //#output(void propertyChange(PropertyChangeEvent)): this.validates
    //#pre[2] (void propertyChange(PropertyChangeEvent)): init'ed(this.validates)
    //#pre[4] (void propertyChange(PropertyChangeEvent)): this.validations != null
    //#presumption(void propertyChange(PropertyChangeEvent)): java.beans.PropertyChangeEvent:getSource(...).__Tag@262 == com/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionConditionDisplayPanel
    //#presumption(void propertyChange(PropertyChangeEvent)): java.util.Iterator:next(...)@267 != null
    //#presumption(void propertyChange(PropertyChangeEvent)): java.util.Map:values(...)@267 != null
    //#post(void propertyChange(PropertyChangeEvent)): init'ed(this.validates)
    //#test_vector(void propertyChange(PropertyChangeEvent)): evt: Addr_Set{null}, Inverse{null}
    //#test_vector(void propertyChange(PropertyChangeEvent)): java.lang.Boolean:booleanValue(...)@267: {1}, {0}
    //#test_vector(void propertyChange(PropertyChangeEvent)): java.util.Iterator:hasNext(...)@267: {0}, {1}
            validations.put((ActionConditionDisplayPanel) evt.getSource(),
                    (Boolean) evt.getNewValue());
        }

        boolean pass = true;
        for (boolean validation : validations.values()) {
            if (!validation) {
                pass = false;
                break;
            }
        }
        
        firePropertyChange("validationResult", validates, pass);
    //#ActionConditionsListPanel.java:274: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel:firePropertyChange(String, bool, bool)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel
    //#    method: void propertyChange(PropertyChangeEvent)
    //#    unanalyzed callee: void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel:firePropertyChange(String, bool, bool)
        validates = pass;
    }
    //#ActionConditionsListPanel.java:276: end of method: void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel.propertyChange(PropertyChangeEvent)
}
    //#output(com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel__static_init): __Descendant_Table[com/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionConditionsListPanel]
    //#output(com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel__static_init): __Dispatch_Table.addCondition(Lcom/dmdirc/actions/ActionCondition;)V
    //#output(com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel__static_init): __Dispatch_Table.addListeners()V
    //#output(com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel__static_init): __Dispatch_Table.clearConditions()V
    //#output(com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel__static_init): __Dispatch_Table.conditionRemoved(Lcom/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionConditionDisplayPanel;)V
    //#output(com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel__static_init): __Dispatch_Table.delCondition(Lcom/dmdirc/actions/ActionCondition;)V
    //#output(com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel__static_init): __Dispatch_Table.getConditions()Ljava/util/List;
    //#output(com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel__static_init): __Dispatch_Table.initComponents()V
    //#output(com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel__static_init): __Dispatch_Table.layoutComponents()V
    //#output(com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel__static_init): __Dispatch_Table.propertyChange(Ljava/beans/PropertyChangeEvent;)V
    //#output(com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel__static_init): __Dispatch_Table.setEnabled(Z)V
    //#output(com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel__static_init): __Dispatch_Table.setTrigger(Lcom/dmdirc/actions/interfaces/ActionType;)V
    //#output(com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel__static_init): com/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionConditionRemovalListener.__Descendant_Table[com/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionConditionsListPanel]
    //#post(com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel__static_init): __Descendant_Table[com/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionConditionsListPanel] == &__Dispatch_Table
    //#post(com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel__static_init): com/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionConditionRemovalListener.__Descendant_Table[com/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionConditionsListPanel] == &__Dispatch_Table
    //#post(com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel__static_init): __Dispatch_Table.addCondition(Lcom/dmdirc/actions/ActionCondition;)V == &addCondition
    //#post(com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel__static_init): __Dispatch_Table.addListeners()V == &addListeners
    //#post(com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel__static_init): __Dispatch_Table.clearConditions()V == &clearConditions
    //#post(com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel__static_init): __Dispatch_Table.conditionRemoved(Lcom/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionConditionDisplayPanel;)V == &conditionRemoved
    //#post(com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel__static_init): __Dispatch_Table.delCondition(Lcom/dmdirc/actions/ActionCondition;)V == &delCondition
    //#post(com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel__static_init): __Dispatch_Table.getConditions()Ljava/util/List; == &getConditions
    //#post(com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel__static_init): __Dispatch_Table.initComponents()V == &initComponents
    //#post(com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel__static_init): __Dispatch_Table.layoutComponents()V == &layoutComponents
    //#post(com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel__static_init): __Dispatch_Table.propertyChange(Ljava/beans/PropertyChangeEvent;)V == &propertyChange
    //#post(com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel__static_init): __Dispatch_Table.setEnabled(Z)V == &setEnabled
    //#post(com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel__static_init): __Dispatch_Table.setTrigger(Lcom/dmdirc/actions/interfaces/ActionType;)V == &setTrigger
    //#ActionConditionsListPanel.java:: end of method: com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel.com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel__static_init
    //#ActionConditionsListPanel.java:: end of class: com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionConditionsListPanel
