Messages

method

com.dmdirc.addons.ui_swing.dialogs.actioneditor. ActionTriggersPanel$2__static_init

method

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

method

com.dmdirc.addons.ui_swing.dialogs.actioneditor. ActionTriggersPanel__static_init

method	JComboBox access$000(ActionTriggersPanel)
pre	x0 != null
pre	init'ed(x0.trigger)
post	return_value == x0.trigger
post	init'ed(return_value)

method	ActionTriggersListPanel access$100(ActionTriggersP anel)
pre	x0 != null
pre	init'ed(x0.triggerList)
post	return_value == x0.triggerList
post	init'ed(return_value)

method	void com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionTriggersPanel()
post	this.add == &new JButton(initComponents#5)
post	this.trigger == &new JComboBox(initComponents#1 )
post	this.triggerList == &new ActionTriggersListPane l(initComponents#6)
post	new ActionTriggersListPanel(initComponents#6) num objects == 1
post	new ArrayList(ActionTriggersListPanel#2) num objects == 1
post	new JButton(initComponents#5) num objects == 1
post	new JComboBox(initComponents#1) num objects == 1
post	new ListenerList(ActionTriggersListPanel#1) num objects == 1
post	new ActionTriggersListPanel(initComponents#6). listeners == &new ListenerList(ActionTriggersLi stPanel#1)
post	new ActionTriggersListPanel(initComponents#6). triggers == &new ArrayList(ActionTriggersListPa nel#2)
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionTriggersPanel:getBorder
unanalyzed	call on javax.swing.BorderFactory:createTitledBorde r
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionTriggersPanel:setBorder
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionTriggersPanel:getFont
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionTriggersPanel:getFontMetrics
unanalyzed	call on com.dmdirc.actions.ActionManager:getTypeGro ups
unanalyzed	call on javax.swing.DefaultComboBoxModel:addElement
unanalyzed	call on java.lang.String:instanceof
unanalyzed	call on javax.swing.SwingUtilities:computeStringWid th
unanalyzed	call on com.dmdirc.actions.interfaces. ActionType:instanceof
unanalyzed	call on com.dmdirc.actions.interfaces. ActionType:getName
unanalyzed	call on java.lang.Math:max
unanalyzed	call on javax.swing.DefaultComboBoxModel
unanalyzed	call on com.dmdirc.util.MapList:entrySet
unanalyzed	call on java.util.Set:iterator
unanalyzed	call on java.util.Map$Entry:getKey
unanalyzed	call on java.util.Map$Entry:getValue
unanalyzed	call on com.dmdirc.actions.ActionTypeComparator
unanalyzed	call on java.util.Collections:sort
unanalyzed	call on java.util.List:iterator
unanalyzed	call on javax.swing.JComboBox
unanalyzed	call on javax.swing.JComboBox:putClientProperty
unanalyzed	call on javax.swing.DefaultListCellRenderer
unanalyzed	call on javax.swing.JComboBox:setRenderer
unanalyzed	call on javax.swing.JComboBox:setPrototypeDisplayVa lue
unanalyzed	call on javax.swing.JComboBox:addPopupMenuListener
unanalyzed	call on javax.swing.JButton
unanalyzed	call on javax.swing.JComboBox:getSelectedIndex
unanalyzed	call on javax.swing.JButton:setEnabled
unanalyzed	call on net.miginfocom.swing.MigLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionTriggersListPanel:setLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionTriggersListPanel:setVisible
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionTriggersListPanel:removeAll
unanalyzed	call on com.dmdirc.ui.IconManager:getIconManager
unanalyzed	call on com.dmdirc.ui.IconManager:getIcon
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ImageButton
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ImageButton:addActionListener
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionTriggersListPanel:isEnabled
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ImageButton:setEnabled
unanalyzed	call on javax.swing.JLabel
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionTriggersListPanel:add
unanalyzed	call on java.util.List:size
unanalyzed	call on javax.swing.JTextPane:getDocument
unanalyzed	call on javax.swing.JTextPane:setText
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on java.lang.String:length
unanalyzed	call on javax.swing.text.StyledDocument:setParagrap hAttributes
unanalyzed	call on javax.swing.text.DefaultStyledDocument
unanalyzed	call on javax.swing.JTextPane
unanalyzed	call on javax.swing.text.html.HTMLEditorKit
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setEditorKit
unanalyzed	call on javax.swing.plaf.basic.BasicTextPaneUI
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setUI
unanalyzed	call on javax.swing.UIManager:getFont
unanalyzed	call on javax.swing.text.html.HTMLDocument:getStyle Sheet
unanalyzed	call on java.awt.Font:getFamily
unanalyzed	call on java.awt.Font:getSize
unanalyzed	call on javax.swing.text.html.StyleSheet:addRule
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setOpaque
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setEditable
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setHighlighter
unanalyzed	call on java.awt.Insets
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setMargin
unanalyzed	call on javax.swing.text.SimpleAttributeSet
unanalyzed	call on javax.swing.text.StyleConstants:setAlignmen t
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on javax.swing.JPanel
unanalyzed	call on com.dmdirc.util.ListenerList
unanalyzed	call on java.util.ArrayList
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionTriggersPanel:setLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionTriggersPanel:add
unanalyzed	call on javax.swing.JButton:addActionListener
unanalyzed	call on javax.swing.JComboBox:addActionListener
unanalyzed	call on com.dmdirc.util.ListenerList:add
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionTriggersListPanel:addPropertyCha ngeListener

method	void initComponents()
presumption	com.dmdirc.actions.ActionManager:getTypeGroups(... )@82 != null
presumption	init'ed(java.lang.Boolean.TRUE)
post	this.add == &new JButton(initComponents#5)
post	this.trigger == &new JComboBox(initComponents#1 )
post	this.triggerList == &new ActionTriggersListPane l(initComponents#6)
post	new ActionTriggersListPanel(initComponents#6) num objects == 1
post	new ArrayList(ActionTriggersListPanel#2) num objects == 1
post	new JButton(initComponents#5) num objects == 1
post	new JComboBox(initComponents#1) num objects == 1
post	new ListenerList(ActionTriggersListPanel#1) num objects == 1
post	this.triggerList.listeners == &new ListenerList(ActionTriggersListPanel#1)
post	this.triggerList.triggers == &new ArrayList(ActionTriggersListPanel#2)
unanalyzed	call on javax.swing.DefaultComboBoxModel:addElement
unanalyzed	call on java.lang.String:instanceof
unanalyzed	call on javax.swing.SwingUtilities:computeStringWid th
unanalyzed	call on com.dmdirc.actions.interfaces. ActionType:instanceof
unanalyzed	call on com.dmdirc.actions.interfaces. ActionType:getName
unanalyzed	call on java.lang.Math:max
unanalyzed	call on javax.swing.DefaultComboBoxModel
unanalyzed	call on com.dmdirc.util.MapList:entrySet
unanalyzed	call on java.util.Set:iterator
unanalyzed	call on java.util.Map$Entry:getKey
unanalyzed	call on java.util.Map$Entry:getValue
unanalyzed	call on com.dmdirc.actions.ActionTypeComparator
unanalyzed	call on java.util.Collections:sort
unanalyzed	call on java.util.List:iterator
unanalyzed	call on javax.swing.DefaultListCellRenderer
unanalyzed	call on net.miginfocom.swing.MigLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionTriggersListPanel:setLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionTriggersListPanel:setVisible
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionTriggersListPanel:removeAll
unanalyzed	call on com.dmdirc.ui.IconManager:getIconManager
unanalyzed	call on com.dmdirc.ui.IconManager:getIcon
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ImageButton
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ImageButton:addActionListener
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionTriggersListPanel:isEnabled
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ImageButton:setEnabled
unanalyzed	call on javax.swing.JLabel
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionTriggersListPanel:add
unanalyzed	call on java.util.List:size
unanalyzed	call on javax.swing.JTextPane:getDocument
unanalyzed	call on javax.swing.JTextPane:setText
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on java.lang.String:length
unanalyzed	call on javax.swing.text.StyledDocument:setParagrap hAttributes
unanalyzed	call on javax.swing.text.DefaultStyledDocument
unanalyzed	call on javax.swing.JTextPane
unanalyzed	call on javax.swing.text.html.HTMLEditorKit
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setEditorKit
unanalyzed	call on javax.swing.plaf.basic.BasicTextPaneUI
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setUI
unanalyzed	call on javax.swing.UIManager:getFont
unanalyzed	call on javax.swing.text.html.HTMLDocument:getStyle Sheet
unanalyzed	call on java.awt.Font:getFamily
unanalyzed	call on java.awt.Font:getSize
unanalyzed	call on javax.swing.text.html.StyleSheet:addRule
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setOpaque
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setEditable
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setHighlighter
unanalyzed	call on java.awt.Insets
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setMargin
unanalyzed	call on javax.swing.text.SimpleAttributeSet
unanalyzed	call on javax.swing.text.StyleConstants:setAlignmen t
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on javax.swing.JPanel
unanalyzed	call on com.dmdirc.util.ListenerList
unanalyzed	call on java.util.ArrayList

method not available - call not analyzed Info call on Border com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionTriggersPanel:getBorder()

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionTriggersPanel:setBorder(Border)

method not available - call not analyzed Info call on Font com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionTriggersPanel:getFont()

method not available - call not analyzed Info call on FontMetrics com.dmdirc.addons.ui_swing. dialogs.actioneditor.ActionTriggersPanel:getFontMet rics(Font)

method not available - call not analyzed Info call on MapList com.dmdirc.actions.ActionManager:ge tTypeGroups()

method

void com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionTriggersPanel$1(ActionTriggersPa nel)

method	void popupMenuWillBecomeVisible(PopupMenuEvent)
pre	e != null
pre	(soft) this.trigger != null
presumption	(int) (java.awt.Dimension:getWidth(...)@101) in {-6_442_450_943..6_442_450_943}
presumption	(int) (java.awt.Dimension:getWidth(...)@101) + javax.swing.JComboBox:getModel(...).maxWidth@101 in range
presumption	(int) (java.awt.Dimension:getWidth(...)@101) + javax.swing.JComboBox:getModel(...).maxWidth@101 in {-2³¹..2³²-1}
presumption	javax.swing.JComboBox:getModel(...)@101 != null
presumption	javax.swing.JComboBox:getModel(...)@105 != null
presumption	javax.swing.JComboBox:getUI(...)@94 != null
presumption	javax.swing.JComponent:getPreferredSize(...)@99 != null
presumption	javax.swing.JPopupMenu:getComponent(...)@98 != null
presumption	javax.swing.JScrollBar:getPreferredSize(...)@101 != null
presumption	javax.swing.JScrollPane:getVerticalScrollBar(... )@101 != null
presumption	javax.swing.event.PopupMenuEvent:getSource(...)@93 != null
test_vector	javax.swing.JScrollPane:instanceof(...)@100: {0}, {1}

method

void popupMenuWillBecomeInvisible(PopupMenuEvent)

method

void popupMenuCanceled(PopupMenuEvent)

method	void addListeners()
pre	this.add != null
pre	this.trigger != null
pre	this.triggerList != null
pre	(soft) this.triggerList.listeners != null
unanalyzed	call on com.dmdirc.util.ListenerList:add

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionTriggersListPanel:addPropertyCha ngeListener(String, PropertyChangeListener)

method	void layoutComponents()
pre	init'ed(this.add)
pre	init'ed(this.trigger)
pre	init'ed(this.triggerList)
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

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.ActionTriggersPanel:setLayout(LayoutMa nager)

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

method	ActionType getPrimaryTrigger()
pre	this.triggerList != null
pre	this.triggerList.triggers != null
post	init'ed(return_value)
unanalyzed	call on java.util.List:size
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.List:get
test_vector	java.util.List:size(...)@203: {-2³¹..-1, 1..2³²-1}, {0}

method	ActionType[] getTriggers()
pre	this.triggerList != null
pre	this.triggerList.triggers != null
presumption	java.util.List:size(...)@166 >= 0
post	init'ed(return_value)
unanalyzed	call on java.lang.Throwable:__curr_excep_obj

method	void setTriggers(ActionType[])
pre	this.triggerList != null
pre	this.triggerList.triggers != null
pre	triggers != null
pre	triggers.length <= 2³²-1
pre	(soft) init'ed(triggers[...])
unanalyzed	call on java.util.List:iterator
unanalyzed	call on javax.swing.SwingUtilities:invokeLater

method	void actionPerformed(ActionEvent)
pre	e != null
pre	this.trigger != null
pre	(soft) this.add != null
pre	(soft) this.triggerList != null
unanalyzed	call on javax.swing.SwingUtilities:invokeLater

method	void triggerRemoved(ActionType)
unanalyzed	call on javax.swing.SwingUtilities:invokeLater

method

void com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionTriggersPanel$2(ActionTriggersPa nel)

method

void repopulateTriggers()

method	void run()
pre	this.trigger != null
pre	this.triggerList != null
pre	this.triggerList.triggers != null
presumption	com.dmdirc.actions.ActionManager:getCompatibleTypes (...)@221 != null
presumption	com.dmdirc.actions.ActionManager:getTypeGroups(... )@217 != null
presumption	javax.swing.JComboBox:getModel(...)@214 != null
presumption	javax.swing.JComboBox:getModel(...)@217 != null
presumption	javax.swing.JComboBox:getModel(...)@218 != null
presumption	javax.swing.JComboBox:getModel(...)@224 != null
presumption	javax.swing.JComboBox:getModel(...)@227 != null
unanalyzed	call on javax.swing.DefaultComboBoxModel:addElement
unanalyzed	call on java.lang.String:instanceof
unanalyzed	call on javax.swing.SwingUtilities:computeStringWid th
unanalyzed	call on com.dmdirc.actions.interfaces. ActionType:instanceof
unanalyzed	call on com.dmdirc.actions.interfaces. ActionType:getName
unanalyzed	call on java.lang.Math:max
unanalyzed	call on com.dmdirc.util.MapList:entrySet
unanalyzed	call on java.util.Set:iterator
unanalyzed	call on java.util.Map$Entry:getKey
unanalyzed	call on java.util.Map$Entry:getValue
unanalyzed	call on com.dmdirc.actions.ActionTypeComparator
unanalyzed	call on java.util.Collections:sort
unanalyzed	call on java.util.List:iterator
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionTypeModel:removeAllElements
unanalyzed	call on java.util.List:size
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.List:get
test_vector	java.util.Iterator:hasNext(...)@221: {0}, {1}
test_vector	java.util.List:contains(...)@223: {1}, {0}
test_vector	java.util.List:size(...)@203: {-2³¹..-1, 1..2³²-1}, {0}

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

method not available - call not analyzed Info call on MapList com.dmdirc.actions.ActionManager:ge tTypeGroups()

method not available - call not analyzed Info call on List com.dmdirc.actions.ActionManager:getCo mpatibleTypes(ActionType)

method	void setEnabled(bool)
pre	this.add != null
pre	this.trigger != null
pre	this.triggerList != null
presumption	javax.swing.JComboBox:getModel(...)@238 != null
unanalyzed	call on javax.swing.SwingUtilities:invokeLater
unanalyzed	call on javax.swing.JPanel:setEnabled
test_vector	enabled: {0}, {1}
test_vector	javax.swing.ComboBoxModel:getSize(...)@238: {-2³¹..0}, {1..2³²-1}

method	void propertyChange(PropertyChangeEvent)
pre	evt != null
presumption	java.beans.PropertyChangeEvent:getNewValue(... )@250 != null
presumption	java.beans.PropertyChangeEvent:getOldValue(... )@250 != null

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

method	void validateTriggers()
pre	this.triggerList != null
pre	this.triggerList.triggers != null
unanalyzed	call on java.util.List:size
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionTriggersListPanel:firePropertyCh ange

	method not available - call not analyzed	Info	call on Border com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionTriggersPanel:getBorder()
	method not available - call not analyzed	Info	call on void com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionTriggersPanel:setBorder(Border)

method not available - call not analyzed	Info	call on Font com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionTriggersPanel:getFont()
method not available - call not analyzed	Info	call on FontMetrics com.dmdirc.addons.ui_swing. dialogs.actioneditor.ActionTriggersPanel:getFontMet rics(Font)
method not available - call not analyzed	Info	call on MapList com.dmdirc.actions.ActionManager:ge tTypeGroups()

	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.ActionTriggersPanel:setLayout(LayoutMa nager)