Messages

Last Msg First Msg

method

com.dmdirc.addons.ui_swing.dialogs.actioneditor. ActionConditionDisplayPanel__static_init

method	void com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionConditionDisplayPanel(ActionCond ition, ActionType)
pre	condition != null
presumption	com.dmdirc.actions.ActionCondition:getTarget(... )@91 != null
post	this.condition == &new ActionCondition(ActionCo nditionDisplayPanel#1)
post	new ActionConditionEditorPanel(initComponents#4). condition == &new ActionCondition(ActionConditi onDisplayPanel#1)
post	this.deleteButton == &new ImageButton(initCompo nents#3)
post	this.editButton == &new ImageToggleButton(initC omponents#2)
post	this.editPanel == &new ActionConditionEditorPan el(initComponents#4)
post	this.label == &new TextLabel(initComponents#1)
post	this.listeners == &new ListenerList(initCompone nts#5)
post	this.trigger == trigger
post	init'ed(this.trigger)
post	new ActionConditionEditorPanel(initComponents#4). trigger == this.trigger
post	new ActionCondition(ActionConditionDisplayPanel#1) num objects == 1
post	new ActionConditionEditorPanel$1(initComponents#7) num objects == 1
post	new ActionConditionEditorPanel(initComponents#4) num objects == 1
post	new ImageButton(initComponents#3) num objects == 1
post	new ImageToggleButton(initComponents#2) num objects == 1
post	new JComboBox(initComponents#1) num objects == 1
post	new JComboBox(initComponents#3) num objects == 1
post	new JComboBox(initComponents#5) num objects == 1
post	new ListenerList(initComponents#5) num objects == 1
post	new SimpleAttributeSet(TextLabel#6) num objects == 1
post	new TextLabel(initComponents#1) num objects == 1
post	new ActionConditionEditorPanel(initComponents#4). arguments == &new JComboBox(initComponents#1)
post	new ActionConditionEditorPanel(initComponents#4). comparisons == &new JComboBox(initComponents#5)
post	new ActionConditionEditorPanel(initComponents#4). components == &new JComboBox(initComponents#3)
post	new ActionConditionEditorPanel(initComponents#4). target == &new ActionConditionEditorPanel$1(ini tComponents#7)
post	new TextLabel(initComponents#1).sas == &new SimpleAttributeSet(TextLabel#6)
unanalyzed	call on javax.swing.JTextPane:getDocument
unanalyzed	call on javax.swing.JTextPane:setText
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on java.lang.String:length
unanalyzed	call on javax.swing.text.StyledDocument:setParagrap hAttributes
unanalyzed	call on javax.swing.text.DefaultStyledDocument
unanalyzed	call on javax.swing.JTextPane
unanalyzed	call on javax.swing.text.html.HTMLEditorKit
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setEditorKit
unanalyzed	call on javax.swing.plaf.basic.BasicTextPaneUI
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setUI
unanalyzed	call on javax.swing.UIManager:getFont
unanalyzed	call on javax.swing.text.html.HTMLDocument:getStyle Sheet
unanalyzed	call on java.awt.Font:getFamily
unanalyzed	call on java.awt.Font:getSize
unanalyzed	call on javax.swing.text.html.StyleSheet:addRule
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setOpaque
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setEditable
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setHighlighter
unanalyzed	call on java.awt.Insets
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setMargin
unanalyzed	call on javax.swing.text.SimpleAttributeSet
unanalyzed	call on javax.swing.text.StyleConstants:setAlignmen t
unanalyzed	call on com.dmdirc.ui.IconManager:getIconManager
unanalyzed	call on com.dmdirc.ui.IconManager:getIcon
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ImageToggleButton
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ImageButton
unanalyzed	call on javax.swing.DefaultComboBoxModel
unanalyzed	call on javax.swing.JComboBox
unanalyzed	call on javax.swing.JComboBox:putClientProperty
unanalyzed	call on javax.swing.JComboBox:setName
unanalyzed	call on javax.swing.JTextField
unanalyzed	call on javax.swing.DefaultListCellRenderer
unanalyzed	call on javax.swing.JComboBox:setRenderer
unanalyzed	call on javax.swing.JComboBox:setEnabled
unanalyzed	call on javax.swing.JTextField:setEnabled
unanalyzed	call on javax.swing.JComboBox:getModel
unanalyzed	call on javax.swing.DefaultComboBoxModel:removeAllE lements
unanalyzed	call on com.dmdirc.actions.interfaces. ActionType:getType
unanalyzed	call on com.dmdirc.actions.interfaces. ActionMetaType:getArgNames
unanalyzed	call on javax.swing.DefaultComboBoxModel:addElement
unanalyzed	call on com.dmdirc.actions.ActionCondition:getArg
unanalyzed	call on javax.swing.JComboBox:setSelectedIndex
unanalyzed	call on com.dmdirc.actions.interfaces. ActionMetaType:getArgTypes
unanalyzed	call on com.dmdirc.actions.ActionManager:getCompati bleComponents
unanalyzed	call on java.util.List:iterator
unanalyzed	call on com.dmdirc.actions.ActionCondition:getCompo nent
unanalyzed	call on javax.swing.JComboBox:setSelectedItem
unanalyzed	call on com.dmdirc.actions.interfaces. ActionComponent:getType
unanalyzed	call on com.dmdirc.actions.ActionManager:getCompati bleComparisons
unanalyzed	call on com.dmdirc.actions.ActionCondition:getCompa rison
unanalyzed	call on com.dmdirc.actions.ActionCondition:getTarge t
unanalyzed	call on javax.swing.JTextField:setText
unanalyzed	call on javax.swing.JComboBox:addActionListener
unanalyzed	call on javax.swing.JTextField:getDocument
unanalyzed	call on javax.swing.text.Document:addDocumentListen er
unanalyzed	call on javax.swing.JTextField:addPropertyChangeLis tener
unanalyzed	call on net.miginfocom.swing.MigLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionConditionEditorPanel:setLayout
unanalyzed	call on javax.swing.JLabel
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionConditionEditorPanel:add
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionConditionEditorPanel:firePropert yChange
unanalyzed	call on javax.swing.JComboBox:getSelectedIndex
unanalyzed	call on javax.swing.JPanel:setEnabled
unanalyzed	call on javax.swing.JPanel
unanalyzed	call on com.dmdirc.util.ListenerList
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionConditionEditorPanel:setVisible
unanalyzed	call on javax.swing.JToggleButton:setSelected
unanalyzed	call on javax.swing.JToggleButton:addActionListener
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ImageButton:addActionListener
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionConditionEditorPanel:addProperty ChangeListener
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionConditionDisplayPanel:setLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionConditionDisplayPanel:add
test_vector	com.dmdirc.actions.ActionCondition:getArg(...)@91: {-2³¹..-2, 0..2³²-1}, {-1}
test_vector	com.dmdirc.actions.ActionCondition:getComparison(.. .)@91: Inverse{null}, Addr_Set{null}
test_vector	com.dmdirc.actions.ActionCondition:getComponent(... )@91: Inverse{null}, Addr_Set{null}
test_vector	java.lang.String:isEmpty(...)@91: {0}, {1}

method not available - call not analyzed Info call on int com.dmdirc.actions.ActionCondition:getA rg()

method not available - call not analyzed Info call on ActionComponent com.dmdirc.actions. ActionCondition:getComponent()

method not available - call not analyzed Info call on ActionComparison com.dmdirc.actions. ActionCondition:getComparison()

method not available - call not analyzed Info call on String com.dmdirc.actions.ActionCondition:g etTarget()

method not available - call not analyzed Info call on void com.dmdirc.actions.ActionCondition(int , ActionComponent, ActionComparison, String)

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

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

method	void setTrigger(ActionType)
pre	this.editButton != null
pre	this.editPanel != null
pre	this.editPanel.arguments != null
pre	this.editPanel.comparisons != null
pre	this.editPanel.components != null
pre	this.editPanel.target != null
pre	this.label != null
pre	(soft) this.condition != null
pre	(soft) this.editPanel.condition != null
pre	(soft) init'ed(this.label.sas)
post	this.editPanel.trigger == trigger
post	init'ed(this.editPanel.trigger)
post	this.trigger == this.editPanel.trigger
unanalyzed	call on javax.swing.JTextPane:getDocument
unanalyzed	call on javax.swing.JTextPane:setText
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on java.lang.String:length
unanalyzed	call on javax.swing.text.StyledDocument:setParagrap hAttributes
unanalyzed	call on javax.swing.JComboBox:setEnabled
unanalyzed	call on javax.swing.JTextField:setEnabled
unanalyzed	call on javax.swing.JComboBox:getModel
unanalyzed	call on javax.swing.DefaultComboBoxModel:removeAllE lements
unanalyzed	call on com.dmdirc.actions.interfaces. ActionType:getType
unanalyzed	call on com.dmdirc.actions.interfaces. ActionMetaType:getArgNames
unanalyzed	call on javax.swing.DefaultComboBoxModel:addElement
unanalyzed	call on com.dmdirc.actions.ActionCondition:getArg
unanalyzed	call on javax.swing.JComboBox:setSelectedIndex
unanalyzed	call on javax.swing.JComboBox:getSelectedIndex
unanalyzed	call on javax.swing.JPanel:setEnabled
unanalyzed	call on com.dmdirc.actions.ActionCondition:getCompo nent
unanalyzed	call on com.dmdirc.actions.ActionCondition:getCompa rison
unanalyzed	call on com.dmdirc.actions.ActionCondition:getTarge t
unanalyzed	call on com.dmdirc.actions.interfaces. ActionComponent:getName
unanalyzed	call on com.dmdirc.actions.interfaces. ActionComparison:getName
unanalyzed	call on java.lang.Object:equals

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

method	void initComponents()
pre	init'ed(this.trigger)
pre	(soft) this.condition != null
presumption	com.dmdirc.ui.IconManager:getIconManager(...)@116 != null
presumption	com.dmdirc.ui.IconManager:getIconManager(...)@119 != null
post	this.deleteButton == &new ImageButton(initCompo nents#3)
post	this.editButton == &new ImageToggleButton(initC omponents#2)
post	this.editPanel == &new ActionConditionEditorPan el(initComponents#4)
post	this.label == &new TextLabel(initComponents#1)
post	this.listeners == &new ListenerList(initCompone nts#5)
post	new ActionConditionEditorPanel$1(initComponents#7) num objects == 1
post	new ActionConditionEditorPanel(initComponents#4) num objects == 1
post	new ImageButton(initComponents#3) num objects == 1
post	new ImageToggleButton(initComponents#2) num objects == 1
post	new JComboBox(initComponents#1) num objects == 1
post	new JComboBox(initComponents#3) num objects == 1
post	new JComboBox(initComponents#5) num objects == 1
post	new ListenerList(initComponents#5) num objects == 1
post	new SimpleAttributeSet(TextLabel#6) num objects == 1
post	new TextLabel(initComponents#1) num objects == 1
post	this.editPanel.arguments == &new JComboBox(initComponents#1)
post	this.editPanel.comparisons == &new JComboBox(initComponents#5)
post	this.editPanel.components == &new JComboBox(initComponents#3)
post	this.editPanel.condition == this.condition
post	this.editPanel.condition != null
post	this.editPanel.target == &new ActionConditionEd itorPanel$1(initComponents#7)
post	this.editPanel.trigger == this.trigger
post	init'ed(this.editPanel.trigger)
post	this.label.sas == &new SimpleAttributeSet(TextL abel#6)
unanalyzed	call on javax.swing.JTextPane:getDocument
unanalyzed	call on javax.swing.JTextPane:setText
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on java.lang.String:length
unanalyzed	call on javax.swing.text.StyledDocument:setParagrap hAttributes
unanalyzed	call on javax.swing.text.DefaultStyledDocument
unanalyzed	call on javax.swing.JTextPane
unanalyzed	call on javax.swing.text.html.HTMLEditorKit
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setEditorKit
unanalyzed	call on javax.swing.plaf.basic.BasicTextPaneUI
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setUI
unanalyzed	call on javax.swing.UIManager:getFont
unanalyzed	call on javax.swing.text.html.HTMLDocument:getStyle Sheet
unanalyzed	call on java.awt.Font:getFamily
unanalyzed	call on java.awt.Font:getSize
unanalyzed	call on javax.swing.text.html.StyleSheet:addRule
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setOpaque
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setEditable
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setHighlighter
unanalyzed	call on java.awt.Insets
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setMargin
unanalyzed	call on javax.swing.text.SimpleAttributeSet
unanalyzed	call on javax.swing.text.StyleConstants:setAlignmen t
unanalyzed	call on javax.swing.DefaultComboBoxModel
unanalyzed	call on javax.swing.JComboBox
unanalyzed	call on javax.swing.JComboBox:putClientProperty
unanalyzed	call on javax.swing.JComboBox:setName
unanalyzed	call on javax.swing.JTextField
unanalyzed	call on javax.swing.DefaultListCellRenderer
unanalyzed	call on javax.swing.JComboBox:setRenderer
unanalyzed	call on javax.swing.JComboBox:setEnabled
unanalyzed	call on javax.swing.JTextField:setEnabled
unanalyzed	call on javax.swing.JComboBox:getModel
unanalyzed	call on javax.swing.DefaultComboBoxModel:removeAllE lements
unanalyzed	call on com.dmdirc.actions.interfaces. ActionType:getType
unanalyzed	call on com.dmdirc.actions.interfaces. ActionMetaType:getArgNames
unanalyzed	call on javax.swing.DefaultComboBoxModel:addElement
unanalyzed	call on com.dmdirc.actions.ActionCondition:getArg
unanalyzed	call on javax.swing.JComboBox:setSelectedIndex
unanalyzed	call on com.dmdirc.actions.interfaces. ActionMetaType:getArgTypes
unanalyzed	call on com.dmdirc.actions.ActionManager:getCompati bleComponents
unanalyzed	call on java.util.List:iterator
unanalyzed	call on com.dmdirc.actions.ActionCondition:getCompo nent
unanalyzed	call on javax.swing.JComboBox:setSelectedItem
unanalyzed	call on com.dmdirc.actions.interfaces. ActionComponent:getType
unanalyzed	call on com.dmdirc.actions.ActionManager:getCompati bleComparisons
unanalyzed	call on com.dmdirc.actions.ActionCondition:getCompa rison
unanalyzed	call on com.dmdirc.actions.ActionCondition:getTarge t
unanalyzed	call on javax.swing.JTextField:setText
unanalyzed	call on javax.swing.JComboBox:addActionListener
unanalyzed	call on javax.swing.JTextField:getDocument
unanalyzed	call on javax.swing.text.Document:addDocumentListen er
unanalyzed	call on javax.swing.JTextField:addPropertyChangeLis tener
unanalyzed	call on net.miginfocom.swing.MigLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionConditionEditorPanel:setLayout
unanalyzed	call on javax.swing.JLabel
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionConditionEditorPanel:add
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionConditionEditorPanel:firePropert yChange
unanalyzed	call on javax.swing.JComboBox:getSelectedIndex
unanalyzed	call on javax.swing.JPanel:setEnabled
unanalyzed	call on javax.swing.JPanel

method not available - call not analyzed Info call on IconManager com.dmdirc.ui.IconManager:getIc onManager()

method not available - call not analyzed Info call on Icon com.dmdirc.ui.IconManager:getIcon(Stri ng)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. ImageToggleButton(String, Icon, Icon)

method not available - call not analyzed Info call on void com.dmdirc.util.ListenerList()

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

method	void addListeners()
pre	this.deleteButton != null
pre	this.editButton != null
pre	this.editPanel != null

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. ImageButton:addActionListener(ActionListener)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionConditionEditorPanel:addProperty ChangeListener(String, PropertyChangeListener)

method	void layoutComponents()
pre	init'ed(this.deleteButton)
pre	init'ed(this.editButton)
pre	init'ed(this.editPanel)
pre	init'ed(this.label)

method not available - call not analyzed Info call on void net.miginfocom.swing.MigLayout(String)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionConditionDisplayPanel:setLayout( LayoutManager)

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

method	void actionPerformed(ActionEvent)
pre	e != null
pre	init'ed(this.deleteButton)
pre	(soft) this.editButton != null
pre	(soft) this.editPanel != null
pre	(soft) this.listeners != null
presumption	java.awt.event.ActionEvent:getSource(...)@155 != null
presumption	java.awt.event.ActionEvent:getSource(...)@157 != null
presumption	javax.swing.JToggleButton:getModel(...)@158 != null
unanalyzed	call on javax.swing.JTextPane:getDocument
unanalyzed	call on javax.swing.JTextPane:setText
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on java.lang.String:length
unanalyzed	call on javax.swing.text.StyledDocument:setParagrap hAttributes
unanalyzed	call on javax.swing.text.DefaultStyledDocument
unanalyzed	call on javax.swing.JTextPane
unanalyzed	call on javax.swing.text.html.HTMLEditorKit
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setEditorKit
unanalyzed	call on javax.swing.plaf.basic.BasicTextPaneUI
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setUI
unanalyzed	call on javax.swing.UIManager:getFont
unanalyzed	call on javax.swing.text.html.HTMLDocument:getStyle Sheet
unanalyzed	call on java.awt.Font:getFamily
unanalyzed	call on java.awt.Font:getSize
unanalyzed	call on javax.swing.text.html.StyleSheet:addRule
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setOpaque
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setEditable
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setHighlighter
unanalyzed	call on java.awt.Insets
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setMargin
unanalyzed	call on javax.swing.text.SimpleAttributeSet
unanalyzed	call on javax.swing.text.StyleConstants:setAlignmen t
unanalyzed	call on com.dmdirc.util.ListenerList:get
unanalyzed	call on java.util.List:iterator
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionConditionsListPanel:setVisible
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionConditionsListPanel:removeAll
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionConditionsListPanel:add
unanalyzed	call on com.dmdirc.actions.interfaces. ActionType:getType
unanalyzed	call on com.dmdirc.actions.interfaces. ActionMetaType:getArgNames
unanalyzed	call on javax.swing.JLabel
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.beans.PropertyChangeEvent:getSource
unanalyzed	call on java.beans.PropertyChangeEvent:getNewValue
unanalyzed	call on java.util.Map:put
unanalyzed	call on java.util.Map:values
unanalyzed	call on java.util.Collection:iterator
unanalyzed	call on java.lang.Boolean:booleanValue
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionConditionsListPanel:fireProperty Change
unanalyzed	call on java.util.List:remove
unanalyzed	call on java.util.Map:remove
unanalyzed	call on conditionRemoved
test_vector	java.lang.Object:equals(...)@155: {0}, {1}
test_vector	java.lang.Object:equals(...)@157: {0}, {1}

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

method	void addConditionListener(ActionConditionRemovalLi stener)
pre	(soft) this.listeners != null
test_vector	listener: Inverse{null}, Addr_Set{null}

method not available - call not analyzed Info call on void com.dmdirc.util.ListenerList:add(Class , Object)

method	void removeConditionListener(ActionConditionRemova lListener)
pre	this.listeners != null

method not available - call not analyzed Info call on void com.dmdirc.util.ListenerList:remove(Cl ass, Object)

method	void fireConditionRemoved(ActionConditionDisplayPa nel)
pre	this.listeners != null
presumption	com.dmdirc.util.ListenerList:get(...)@190 != null
presumption	java.util.Iterator:next(...)@190 != null
presumption	listener.conditions@190 != null
presumption	listener.validations@190 != null
unanalyzed	call on javax.swing.JTextPane:getDocument
unanalyzed	call on javax.swing.JTextPane:setText
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on java.lang.String:length
unanalyzed	call on javax.swing.text.StyledDocument:setParagrap hAttributes
unanalyzed	call on javax.swing.text.DefaultStyledDocument
unanalyzed	call on javax.swing.JTextPane
unanalyzed	call on javax.swing.text.html.HTMLEditorKit
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setEditorKit
unanalyzed	call on javax.swing.plaf.basic.BasicTextPaneUI
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setUI
unanalyzed	call on javax.swing.UIManager:getFont
unanalyzed	call on javax.swing.text.html.HTMLDocument:getStyle Sheet
unanalyzed	call on java.awt.Font:getFamily
unanalyzed	call on java.awt.Font:getSize
unanalyzed	call on javax.swing.text.html.StyleSheet:addRule
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setOpaque
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setEditable
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setHighlighter
unanalyzed	call on java.awt.Insets
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setMargin
unanalyzed	call on javax.swing.text.SimpleAttributeSet
unanalyzed	call on javax.swing.text.StyleConstants:setAlignmen t
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionConditionsListPanel:setVisible
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionConditionsListPanel:removeAll
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionConditionsListPanel:add
unanalyzed	call on com.dmdirc.actions.interfaces. ActionType:getType
unanalyzed	call on com.dmdirc.actions.interfaces. ActionMetaType:getArgNames
unanalyzed	call on java.util.List:iterator
unanalyzed	call on javax.swing.JLabel
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.beans.PropertyChangeEvent:getSource
unanalyzed	call on java.beans.PropertyChangeEvent:getNewValue
unanalyzed	call on java.util.Map:put
unanalyzed	call on java.util.Map:values
unanalyzed	call on java.util.Collection:iterator
unanalyzed	call on java.lang.Boolean:booleanValue
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionConditionsListPanel:fireProperty Change
unanalyzed	call on java.util.List:remove
unanalyzed	call on java.util.Map:remove
test_vector	java.util.Iterator:hasNext(...)@190: {0}, {1}

method not available - call not analyzed Info call on List com.dmdirc.util.ListenerList:get(Class )

method	void setEnabled(bool)
pre	this.deleteButton != null
pre	this.editButton != null
pre	this.editPanel != null
pre	this.editPanel.arguments != null
pre	this.editPanel.comparisons != null
pre	this.editPanel.components != null
pre	this.editPanel.target != null
unanalyzed	call on javax.swing.JComboBox:setEnabled
unanalyzed	call on javax.swing.JTextField:setEnabled
unanalyzed	call on javax.swing.JComboBox:getSelectedIndex
unanalyzed	call on javax.swing.JPanel:setEnabled

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. ImageButton:setEnabled(bool)

method	String updateSentence()
pre	init'ed(this.trigger)
pre	(soft) this.condition != null
presumption	com.dmdirc.actions.ActionCondition:getArg(...)@215 >= 0
presumption	com.dmdirc.actions.ActionCondition:getArg(...)@215 < com.dmdirc.actions.interfaces.ActionMetaType:get ArgNames(...).length@215
presumption	com.dmdirc.actions.ActionCondition:getComparison(.. .)@229 != null
presumption	com.dmdirc.actions.ActionCondition:getComponent(... )@222 != null
presumption	com.dmdirc.actions.interfaces.ActionMetaType:getArg Names(...).length@215 >= 1
presumption	com.dmdirc.actions.interfaces.ActionMetaType:getArg Names(...)@215 != null
presumption	com.dmdirc.actions.interfaces.ActionType:getType(.. .)@215 != null
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	return_value in Addr_Set{&java.lang. StringBuilder:toString(...),&java.lang. StringBuilder:toString(...),&java.lang. StringBuilder:toString(...),&java.lang. StringBuilder:toString(...),&java.lang. StringBuilder:toString(...),&"....
test_vector	this.trigger: Inverse{null}, Addr_Set{null}
test_vector	com.dmdirc.actions.ActionCondition:getArg(... )@214: {-1}, {-2³¹..-2, 0.. 2³²-1}
test_vector	com.dmdirc.actions.ActionCondition:getComparison(.. .)@228: Addr_Set{null}, Inverse{null}
test_vector	com.dmdirc.actions.ActionCondition:getComponent(... )@221: Addr_Set{null}, Inverse{null}
test_vector	com.dmdirc.actions.ActionCondition:getTarget(... )@235: Addr_Set{null}, Inverse{null}

method not available - call not analyzed Info call on int com.dmdirc.actions.ActionCondition:getA rg()

method not available - call not analyzed Info call on ActionMetaType com.dmdirc.actions. interfaces.ActionType:getType()

method not available - call not analyzed Info call on String[] com.dmdirc.actions.interfaces. ActionMetaType:getArgNames()

method not available - call not analyzed Info call on int com.dmdirc.actions.ActionCondition:getA rg()

method not available - call not analyzed Info call on ActionComponent com.dmdirc.actions. ActionCondition:getComponent()

method not available - call not analyzed Info call on ActionComponent com.dmdirc.actions. ActionCondition:getComponent()

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

method not available - call not analyzed Info call on ActionComparison com.dmdirc.actions. ActionCondition:getComparison()

method not available - call not analyzed Info call on ActionComparison com.dmdirc.actions. ActionCondition:getComparison()

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

method not available - call not analyzed Info call on String com.dmdirc.actions.ActionCondition:g etTarget()

method	ActionCondition getCondition()
pre	init'ed(this.condition)
post	return_value == this.condition
post	init'ed(return_value)

method	void propertyChange(PropertyChangeEvent)
pre	evt != null
pre	(soft) this.condition != null
pre	(soft) this.label != null
pre	(soft) init'ed(this.label.sas)
pre	(soft) init'ed(this.trigger)
unanalyzed	call on javax.swing.JTextPane:getDocument
unanalyzed	call on javax.swing.JTextPane:setText
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on java.lang.String:length
unanalyzed	call on javax.swing.text.StyledDocument:setParagrap hAttributes
unanalyzed	call on com.dmdirc.actions.ActionCondition:getArg
unanalyzed	call on com.dmdirc.actions.ActionCondition:getCompo nent
unanalyzed	call on com.dmdirc.actions.ActionCondition:getCompa rison
unanalyzed	call on com.dmdirc.actions.ActionCondition:getTarge t
unanalyzed	call on com.dmdirc.actions.interfaces. ActionType:getType
unanalyzed	call on com.dmdirc.actions.interfaces. ActionMetaType:getArgNames
unanalyzed	call on com.dmdirc.actions.interfaces. ActionComponent:getName
unanalyzed	call on com.dmdirc.actions.interfaces. ActionComparison:getName
test_vector	java.lang.String:equals(...)@258: {0}, {1}

Prev Msg Next Msg

unused assignment in callee

click for all messages in this file Low Prob.

Unused assignment to (java.lang.StringBuilder:toStr ing(...)._tainted, java.lang.StringBuilder:toString (...)._tainted, java.lang.StringBuilder:toString(.. .)._tainted, java.lang.StringBuilder:toString(...). _tainted, java.lang.StringBuilder:toString(...

Prev Msg Next Msg

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionConditionDisplayPanel:fireProper tyChange(String, Object, Object)

method	bool checkError()
pre	this.editPanel != null
pre	this.editPanel.target != null
post	init'ed(return_value)
unanalyzed	call on javax.swing.JTextField:isEnabled

method not available - call not analyzed	Info	call on int com.dmdirc.actions.ActionCondition:getA rg()
method not available - call not analyzed	Info	call on ActionComponent com.dmdirc.actions. ActionCondition:getComponent()
method not available - call not analyzed	Info	call on ActionComparison com.dmdirc.actions. ActionCondition:getComparison()
method not available - call not analyzed	Info	call on String com.dmdirc.actions.ActionCondition:g etTarget()
method not available - call not analyzed	Info	call on void com.dmdirc.actions.ActionCondition(int , ActionComponent, ActionComparison, String)

method not available - call not analyzed	Info	call on IconManager com.dmdirc.ui.IconManager:getIc onManager()
method not available - call not analyzed	Info	call on Icon com.dmdirc.ui.IconManager:getIcon(Stri ng)
method not available - call not analyzed	Info	call on void com.dmdirc.addons.ui_swing.components. ImageToggleButton(String, Icon, Icon)

	method not available - call not analyzed	Info	call on void net.miginfocom.swing.MigLayout(String)
	method not available - call not analyzed	Info	call on void com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionConditionDisplayPanel:setLayout( LayoutManager)

method not available - call not analyzed	Info	call on ActionMetaType com.dmdirc.actions. interfaces.ActionType:getType()
method not available - call not analyzed	Info	call on String[] com.dmdirc.actions.interfaces. ActionMetaType:getArgNames()
method not available - call not analyzed	Info	call on int com.dmdirc.actions.ActionCondition:getA rg()