ActionTriggersPanel.java

ActionTriggersPanel.java

current inspection = 2009-09-03 21:56:13 (id #1)

Filter Options

Annotation Kind:

pre

presumption

post

unanalyzed

test_vector

JComboBox access$000(ActionTriggersPanel)

Kind	Annotation Text
pre	init'ed(x0.trigger)
pre	x0 != null
post	init'ed(return_value)
post	return_value == x0.trigger

ActionTriggersListPanel access$100(ActionTriggersPanel)

Kind	Annotation Text
pre	init'ed(x0.triggerList)
pre	x0 != null
post	init'ed(return_value)
post	return_value == x0.triggerList

void actionPerformed(ActionEvent)

Kind	Annotation Text
pre	(soft) this.add != null
pre	(soft) this.triggerList != null
pre	e != null
pre	this.trigger != null
unanalyzed	call on javax.swing.SwingUtilities:invokeLater

void addListeners()

Kind	Annotation Text
pre	(soft) this.triggerList.listeners != null
pre	this.add != null
pre	this.trigger != null
pre	this.triggerList != null
unanalyzed	call on com.dmdirc.util.ListenerList:add

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

Kind	Annotation Text

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

Kind	Annotation Text

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

Kind	Annotation Text

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

Kind	Annotation Text

void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersPanel()

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

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

Kind	Annotation Text

ActionType getPrimaryTrigger()

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

ActionType[] getTriggers()

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

void initComponents()

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

void layoutComponents()

Kind	Annotation Text
pre	init'ed(this.add)
pre	init'ed(this.trigger)
pre	init'ed(this.triggerList)
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setEditable
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setEditorKit
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setHighlighter
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setMargin
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setOpaque
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setUI
unanalyzed	call on java.awt.Font:getFamily
unanalyzed	call on java.awt.Font:getSize
unanalyzed	call on java.awt.Insets
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on java.lang.String:length
unanalyzed	call on javax.swing.JTextPane
unanalyzed	call on javax.swing.JTextPane:getDocument
unanalyzed	call on javax.swing.JTextPane:setText
unanalyzed	call on javax.swing.UIManager:getFont
unanalyzed	call on javax.swing.plaf.basic.BasicTextPaneUI
unanalyzed	call on javax.swing.text.DefaultStyledDocument
unanalyzed	call on javax.swing.text.SimpleAttributeSet
unanalyzed	call on javax.swing.text.StyleConstants:setAlignmen t
unanalyzed	call on javax.swing.text.StyledDocument:setParagrap hAttributes
unanalyzed	call on javax.swing.text.html.HTMLDocument:getStyle Sheet
unanalyzed	call on javax.swing.text.html.HTMLEditorKit
unanalyzed	call on javax.swing.text.html.StyleSheet:addRule

void popupMenuCanceled(PopupMenuEvent)

Kind	Annotation Text

void popupMenuWillBecomeInvisible(PopupMenuEvent)

Kind	Annotation Text

void popupMenuWillBecomeVisible(PopupMenuEvent)

Kind	Annotation Text
pre	(soft) this.trigger != null
pre	e != null
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	(int) (java.awt.Dimension:getWidth(...)@101) in {-6_442_450_943..6_442_450_943}
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}

void propertyChange(PropertyChangeEvent)

Kind	Annotation Text
pre	evt != null
presumption	java.beans.PropertyChangeEvent:getNewValue(... )@250 != null
presumption	java.beans.PropertyChangeEvent:getOldValue(... )@250 != null

void repopulateTriggers()

Kind	Annotation Text

void run()

Kind	Annotation Text
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 com.dmdirc.actions.ActionTypeComparator
unanalyzed	call on com.dmdirc.actions.interfaces. ActionType:getName
unanalyzed	call on com.dmdirc.actions.interfaces. ActionType:instanceof
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionTypeModel:removeAllElements
unanalyzed	call on com.dmdirc.util.MapList:entrySet
unanalyzed	call on java.lang.Math:max
unanalyzed	call on java.lang.String:instanceof
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.Collections:sort
unanalyzed	call on java.util.List:get
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.util.List:size
unanalyzed	call on java.util.Map$Entry:getKey
unanalyzed	call on java.util.Map$Entry:getValue
unanalyzed	call on java.util.Set:iterator
unanalyzed	call on javax.swing.DefaultComboBoxModel:addElement
unanalyzed	call on javax.swing.SwingUtilities:computeStringWid th
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}

void setEnabled(bool)

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

void setTriggers(ActionType[])

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

void triggerRemoved(ActionType)

Kind	Annotation Text
unanalyzed	call on javax.swing.SwingUtilities:invokeLater

void validateTriggers()

Kind	Annotation Text
pre	this.triggerList != null
pre	this.triggerList.triggers != null
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionTriggersListPanel:firePropertyCh ange
unanalyzed	call on java.util.List:size