Messages

method

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

method	void com.dmdirc.addons.ui_swing.components. statusbar.FeedbackNag(SwingController)
pre	controller != null
presumption	com.dmdirc.addons.ui_swing.SwingController:getStatu sBar(...)@88 != null
presumption	com.dmdirc.ui.IconManager:getIconManager(...)@72 != null
post	this.controller == controller
post	this.controller != null
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)
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

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 Image com.dmdirc.ui.IconManager:getImage(St ring)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. statusbar.FeedbackNag:setIcon(Icon)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. statusbar.FeedbackNag:setBorder(Border)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. statusbar.FeedbackNag:setToolTipText(String)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. statusbar.FeedbackNag:addMouseListener(MouseListene r)

method not available - call not analyzed Info call on StatusBar com.dmdirc.addons.ui_swing. SwingController:getStatusBar()

method not available - call not analyzed Info call on void com.dmdirc.ui.interfaces. StatusBar:addComponent(StatusBarComponent)

method	void mouseClicked(MouseEvent)
pre	e != null
pre	(soft) init'ed(com/dmdirc/addons/ui_ swing/dialogs/FeedbackDialog.me)
pre	(soft) this.controller != null
pre	(soft) this.menu != 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	new FeedbackDialog(getFeedbackDialog#1) num objects <= 1
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	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
post	init'ed(new TextLabel(initComponents#3).sas)
unanalyzed	call on java.awt.event.MouseEvent:isPopupTrigger
unanalyzed	call on java.awt.event.MouseEvent:getX
unanalyzed	call on java.awt.event.MouseEvent:getY
unanalyzed	call on javax.swing.JPopupMenu:show
unanalyzed	call on javax.swing.JButton
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. FeedbackDialog:orderButtons
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. FeedbackDialog:getOkButton
unanalyzed	call on javax.swing.JButton:setText
unanalyzed	call on javax.swing.JButton:setActionCommand
unanalyzed	call on javax.swing.JButton:setEnabled
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. FeedbackDialog:getCancelButton
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.JTextField
unanalyzed	call on javax.swing.JTextArea
unanalyzed	call on javax.swing.JCheckBox
unanalyzed	call on com.dmdirc.addons.ui_swing.UIUtilities:addU ndoManager
unanalyzed	call on javax.swing.JCheckBox:setMargin
unanalyzed	call on javax.swing.BorderFactory:createEmptyBorder
unanalyzed	call on javax.swing.JCheckBox:setBorder
unanalyzed	call on net.miginfocom.swing.MigLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. FeedbackDialog:setLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. FeedbackDialog:add
unanalyzed	call on javax.swing.JLabel
unanalyzed	call on javax.swing.JScrollPane
unanalyzed	call on javax.swing.JButton:addActionListener
unanalyzed	call on javax.swing.JTextArea:getDocument
unanalyzed	call on javax.swing.text.Document:addDocumentListen er
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardDialog
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. FeedbackDialog:setTitle
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. FeedbackDialog:setResizable
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. FeedbackDialog:pack
unanalyzed	call on com.dmdirc.ServerManager:getServerManager
unanalyzed	call on com.dmdirc.ServerManager:numServers
unanalyzed	call on javax.swing.JCheckBox:setEnabled
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. FeedbackDialog:setLocationRelativeTo
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. FeedbackDialog:setVisible
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. FeedbackDialog:requestFocusInWindow
test_vector	java.awt.event.MouseEvent:getButton(...)@98: {-2³¹..0, 2..2³²-1}, {1}

method not available - call not analyzed Info call on MainFrame com.dmdirc.addons.ui_swing. SwingController:getMainFrame()

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

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

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

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

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

method	void actionPerformed(ActionEvent)
pre	e != null
pre	this.controller != null
pre	(soft) init'ed(com/dmdirc/addons/ui_ swing/dialogs/FeedbackDialog.me)
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	new FeedbackDialog(getFeedbackDialog#1) num objects <= 1
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	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
post	init'ed(new TextLabel(initComponents#3).sas)
unanalyzed	call on javax.swing.JButton
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. FeedbackDialog:orderButtons
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. FeedbackDialog:getOkButton
unanalyzed	call on javax.swing.JButton:setText
unanalyzed	call on javax.swing.JButton:setActionCommand
unanalyzed	call on javax.swing.JButton:setEnabled
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. FeedbackDialog:getCancelButton
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.JTextField
unanalyzed	call on javax.swing.JTextArea
unanalyzed	call on javax.swing.JCheckBox
unanalyzed	call on com.dmdirc.addons.ui_swing.UIUtilities:addU ndoManager
unanalyzed	call on javax.swing.JCheckBox:setMargin
unanalyzed	call on javax.swing.BorderFactory:createEmptyBorder
unanalyzed	call on javax.swing.JCheckBox:setBorder
unanalyzed	call on net.miginfocom.swing.MigLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. FeedbackDialog:setLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. FeedbackDialog:add
unanalyzed	call on javax.swing.JLabel
unanalyzed	call on javax.swing.JScrollPane
unanalyzed	call on javax.swing.JButton:addActionListener
unanalyzed	call on javax.swing.JTextArea:getDocument
unanalyzed	call on javax.swing.text.Document:addDocumentListen er
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardDialog
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. FeedbackDialog:setTitle
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. FeedbackDialog:setResizable
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. FeedbackDialog:pack
unanalyzed	call on com.dmdirc.ServerManager:getServerManager
unanalyzed	call on com.dmdirc.ServerManager:numServers
unanalyzed	call on javax.swing.JCheckBox:setEnabled
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. FeedbackDialog:setLocationRelativeTo
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. FeedbackDialog:setVisible
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. FeedbackDialog:requestFocusInWindow

method not available - call not analyzed Info call on MainFrame com.dmdirc.addons.ui_swing. SwingController:getMainFrame()

	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 Image com.dmdirc.ui.IconManager:getImage(St ring)

	method not available - call not analyzed	Info	call on StatusBar com.dmdirc.addons.ui_swing. SwingController:getStatusBar()
	method not available - call not analyzed	Info	call on void com.dmdirc.ui.interfaces. StatusBar:addComponent(StatusBarComponent)