FeedbackNag.java

FeedbackNag.java

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

Filter Options

Annotation Kind:

pre

presumption

post

unanalyzed

test_vector

void actionPerformed(ActionEvent)

Kind	Annotation Text
pre	(soft) init'ed(com/dmdirc/addons/ui_ swing/dialogs/FeedbackDialog.me)
pre	e != null
pre	this.controller != null
presumption	com.dmdirc.addons.ui_swing.SwingController:getStatu sBar(...)@166 != null
post	com/dmdirc/addons/ui_swing/dialogs/FeedbackDialog. me == One-of{old com/dmdirc/addons/ui_ swing/dialogs/FeedbackDialog.me, &new FeedbackDialog(getFeedbackDialog#1)}
post	init'ed(com/dmdirc/addons/ui_swing/dialogs/Feedback Dialog.me)
post	init'ed(new FeedbackDialog(getFeedbackDialog#1). DMDircCheckbox)
post	init'ed(new FeedbackDialog(getFeedbackDialog#1). email)
post	init'ed(new FeedbackDialog(getFeedbackDialog#1). feedback)
post	init'ed(new FeedbackDialog(getFeedbackDialog#1). info)
post	init'ed(new FeedbackDialog(getFeedbackDialog#1). name)
post	init'ed(new FeedbackDialog(getFeedbackDialog#1). serverCheckbox)
post	init'ed(new TextLabel(initComponents#3).sas)
post	new FeedbackDialog(getFeedbackDialog#1) num objects <= 1
post	new JCheckBox(initComponents#7) num objects <= 1
post	new JCheckBox(initComponents#8) num objects <= 1
post	new JTextArea(initComponents#6) num objects <= 1
post	new JTextField(initComponents#4) num objects <= 1
post	new JTextField(initComponents#5) num objects <= 1
post	new SimpleAttributeSet(TextLabel#6) num objects <= 1
post	new TextLabel(initComponents#3) num objects <= 1
unanalyzed	call on com.dmdirc.ServerManager:getServerManager
unanalyzed	call on com.dmdirc.ServerManager:numServers
unanalyzed	call on com.dmdirc.addons.ui_swing.UIUtilities:addU ndoManager
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardDialog
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. FeedbackDialog:add
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. FeedbackDialog:getCancelButton
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. FeedbackDialog:getOkButton
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. FeedbackDialog:orderButtons
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. FeedbackDialog:pack
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. FeedbackDialog:requestFocusInWindow
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. FeedbackDialog:setLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. FeedbackDialog:setLocationRelativeTo
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. FeedbackDialog:setResizable
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. FeedbackDialog:setTitle
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. FeedbackDialog:setVisible
unanalyzed	call on java.awt.Font:getFamily
unanalyzed	call on java.awt.Font:getSize
unanalyzed	call on java.awt.Insets
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on javax.swing.BorderFactory:createEmptyBorder
unanalyzed	call on javax.swing.JButton
unanalyzed	call on javax.swing.JButton:addActionListener
unanalyzed	call on javax.swing.JButton:setActionCommand
unanalyzed	call on javax.swing.JButton:setEnabled
unanalyzed	call on javax.swing.JButton:setText
unanalyzed	call on javax.swing.JCheckBox
unanalyzed	call on javax.swing.JCheckBox:setBorder
unanalyzed	call on javax.swing.JCheckBox:setEnabled
unanalyzed	call on javax.swing.JCheckBox:setMargin
unanalyzed	call on javax.swing.JLabel
unanalyzed	call on javax.swing.JScrollPane
unanalyzed	call on javax.swing.JTextArea
unanalyzed	call on javax.swing.JTextArea:getDocument
unanalyzed	call on javax.swing.JTextField
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.Document:addDocumentListen er
unanalyzed	call on javax.swing.text.SimpleAttributeSet
unanalyzed	call on javax.swing.text.StyleConstants:setAlignmen t
unanalyzed	call on javax.swing.text.StyledDocument:setParagrap hAttributes
unanalyzed	call on javax.swing.text.html.HTMLDocument:getStyle Sheet
unanalyzed	call on javax.swing.text.html.HTMLEditorKit
unanalyzed	call on javax.swing.text.html.StyleSheet:addRule
unanalyzed	call on net.miginfocom.swing.MigLayout

void checkMouseEvent(MouseEvent)

Kind	Annotation Text
pre	(soft) this.menu != null
pre	e != null
test_vector	java.awt.event.MouseEvent:isPopupTrigger(...)@151: {0}, {1}

void com.dmdirc.addons.ui_swing.components.statusbar.FeedbackNag(SwingController)

Kind	Annotation Text
pre	controller != null
presumption	com.dmdirc.addons.ui_swing.SwingController:getStatu sBar(...)@88 != null
presumption	com.dmdirc.ui.IconManager:getIconManager(...)@72 != null
post	new ImageIcon(FeedbackNag#1) num objects == 1
post	new JMenuItem(FeedbackNag#3) num objects == 1
post	new JMenuItem(FeedbackNag#4) num objects == 1
post	new JPopupMenu(FeedbackNag#2) num objects == 1
post	this.controller != null
post	this.controller == controller
post	this.dismiss == &new JMenuItem(FeedbackNag#3)
post	this.icon == &new ImageIcon(FeedbackNag#1)
post	this.menu == &new JPopupMenu(FeedbackNag#2)
post	this.show == &new JMenuItem(FeedbackNag#4)

com.dmdirc.addons.ui_swing.components.statusbar.FeedbackNag__static_init

Kind	Annotation Text

void mouseClicked(MouseEvent)

Kind	Annotation Text
pre	(soft) init'ed(com/dmdirc/addons/ui_ swing/dialogs/FeedbackDialog.me)
pre	(soft) this.controller != null
pre	(soft) this.menu != null
pre	e != null
presumption	com.dmdirc.addons.ui_swing.SwingController:getStatu sBar(...)@100 != null
post	com/dmdirc/addons/ui_swing/dialogs/FeedbackDialog. me == One-of{old com/dmdirc/addons/ui_ swing/dialogs/FeedbackDialog.me, &new FeedbackDialog(getFeedbackDialog#1)}
post	init'ed(com/dmdirc/addons/ui_swing/dialogs/Feedback Dialog.me)
post	init'ed(new FeedbackDialog(getFeedbackDialog#1). DMDircCheckbox)
post	init'ed(new FeedbackDialog(getFeedbackDialog#1). email)
post	init'ed(new FeedbackDialog(getFeedbackDialog#1). feedback)
post	init'ed(new FeedbackDialog(getFeedbackDialog#1). info)
post	init'ed(new FeedbackDialog(getFeedbackDialog#1). name)
post	init'ed(new FeedbackDialog(getFeedbackDialog#1). serverCheckbox)
post	init'ed(new TextLabel(initComponents#3).sas)
post	new FeedbackDialog(getFeedbackDialog#1) num objects <= 1
post	new JCheckBox(initComponents#7) num objects <= 1
post	new JCheckBox(initComponents#8) num objects <= 1
post	new JTextArea(initComponents#6) num objects <= 1
post	new JTextField(initComponents#4) num objects <= 1
post	new JTextField(initComponents#5) num objects <= 1
post	new SimpleAttributeSet(TextLabel#6) num objects <= 1
post	new TextLabel(initComponents#3) num objects <= 1
unanalyzed	call on com.dmdirc.ServerManager:getServerManager
unanalyzed	call on com.dmdirc.ServerManager:numServers
unanalyzed	call on com.dmdirc.addons.ui_swing.UIUtilities:addU ndoManager
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardDialog
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. FeedbackDialog:add
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. FeedbackDialog:getCancelButton
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. FeedbackDialog:getOkButton
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. FeedbackDialog:orderButtons
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. FeedbackDialog:pack
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. FeedbackDialog:requestFocusInWindow
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. FeedbackDialog:setLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. FeedbackDialog:setLocationRelativeTo
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. FeedbackDialog:setResizable
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. FeedbackDialog:setTitle
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. FeedbackDialog:setVisible
unanalyzed	call on java.awt.Font:getFamily
unanalyzed	call on java.awt.Font:getSize
unanalyzed	call on java.awt.Insets
unanalyzed	call on java.awt.event.MouseEvent:getX
unanalyzed	call on java.awt.event.MouseEvent:getY
unanalyzed	call on java.awt.event.MouseEvent:isPopupTrigger
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 javax.swing.BorderFactory:createEmptyBorder
unanalyzed	call on javax.swing.JButton
unanalyzed	call on javax.swing.JButton:addActionListener
unanalyzed	call on javax.swing.JButton:setActionCommand
unanalyzed	call on javax.swing.JButton:setEnabled
unanalyzed	call on javax.swing.JButton:setText
unanalyzed	call on javax.swing.JCheckBox
unanalyzed	call on javax.swing.JCheckBox:setBorder
unanalyzed	call on javax.swing.JCheckBox:setEnabled
unanalyzed	call on javax.swing.JCheckBox:setMargin
unanalyzed	call on javax.swing.JLabel
unanalyzed	call on javax.swing.JPopupMenu:show
unanalyzed	call on javax.swing.JScrollPane
unanalyzed	call on javax.swing.JTextArea
unanalyzed	call on javax.swing.JTextArea:getDocument
unanalyzed	call on javax.swing.JTextField
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.Document:addDocumentListen er
unanalyzed	call on javax.swing.text.SimpleAttributeSet
unanalyzed	call on javax.swing.text.StyleConstants:setAlignmen t
unanalyzed	call on javax.swing.text.StyledDocument:setParagrap hAttributes
unanalyzed	call on javax.swing.text.html.HTMLDocument:getStyle Sheet
unanalyzed	call on javax.swing.text.html.HTMLEditorKit
unanalyzed	call on javax.swing.text.html.StyleSheet:addRule
unanalyzed	call on net.miginfocom.swing.MigLayout
test_vector	java.awt.event.MouseEvent:getButton(...)@98: {-2³¹..0, 2..2³²-1}, {1}

void mouseEntered(MouseEvent)

Kind	Annotation Text
pre	(soft) this.menu != null
pre	e != null
unanalyzed	call on java.awt.event.MouseEvent:getX
unanalyzed	call on java.awt.event.MouseEvent:getY
unanalyzed	call on java.awt.event.MouseEvent:isPopupTrigger
unanalyzed	call on javax.swing.JPopupMenu:show

void mouseExited(MouseEvent)

Kind	Annotation Text
pre	(soft) this.menu != null
pre	e != null
unanalyzed	call on java.awt.event.MouseEvent:getX
unanalyzed	call on java.awt.event.MouseEvent:getY
unanalyzed	call on java.awt.event.MouseEvent:isPopupTrigger
unanalyzed	call on javax.swing.JPopupMenu:show

void mousePressed(MouseEvent)

Kind	Annotation Text
pre	(soft) this.menu != null
pre	e != null
unanalyzed	call on java.awt.event.MouseEvent:getX
unanalyzed	call on java.awt.event.MouseEvent:getY
unanalyzed	call on java.awt.event.MouseEvent:isPopupTrigger
unanalyzed	call on javax.swing.JPopupMenu:show

void mouseReleased(MouseEvent)

Kind	Annotation Text
pre	(soft) this.menu != null
pre	e != null
unanalyzed	call on java.awt.event.MouseEvent:getX
unanalyzed	call on java.awt.event.MouseEvent:getY
unanalyzed	call on java.awt.event.MouseEvent:isPopupTrigger
unanalyzed	call on javax.swing.JPopupMenu:show