Messages

method

com.dmdirc.addons.ui_swing.dialogs.SendWorker__ static_init

method

com.dmdirc.addons.ui_swing.dialogs.FeedbackDialog_ _static_init

method	void com.dmdirc.addons.ui_swing.dialogs. FeedbackDialog(Window)
presumption	init'ed(java.awt.Dialog$ModalityType.MODELESS)
post	this.DMDircCheckbox == &new JCheckBox(initCompo nents#8)
post	this.email == &new JTextField(initComponents#5)
post	this.feedback == &new JTextArea(initComponents# 6)
post	this.info == &new TextLabel(initComponents#3)
post	this.name == &new JTextField(initComponents#4)
post	this.serverCheckbox == &new JCheckBox(initCompo nents#7)
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	new TextLabel(initComponents#3).sas == &new SimpleAttributeSet(TextLabel#6)
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

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. StandardDialog(Window, Dialog$ModalityType)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. FeedbackDialog:setTitle(String)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. FeedbackDialog:setResizable(bool)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. FeedbackDialog:pack()

method	void showFeedbackDialog(Window)
pre	init'ed(me)
post	me == One-of{old me, &new FeedbackDialog(getFee dbackDialog#1)}
post	me != null
post	new FeedbackDialog(getFeedbackDialog#1) num objects <= 1
post	new JCheckBox(initComponents#7) num objects == new FeedbackDialog(getFeedbackDialog#1) num objects
post	new JCheckBox(initComponents#8) num objects == new FeedbackDialog(getFeedbackDialog#1) num objects
post	new JTextArea(initComponents#6) num objects == new FeedbackDialog(getFeedbackDialog#1) num objects
post	new JTextField(initComponents#4) num objects == new FeedbackDialog(getFeedbackDialog#1) num objects
post	new JTextField(initComponents#5) num objects == new FeedbackDialog(getFeedbackDialog#1) num objects
post	new SimpleAttributeSet(TextLabel#6) num objects == new FeedbackDialog(getFeedbackDialog#1) num objects
post	new TextLabel(initComponents#3) num objects == new FeedbackDialog(getFeedbackDialog#1) num objects
post	new FeedbackDialog(getFeedbackDialog#1). DMDircCheckbox == &new JCheckBox(initComponents #8)
post	new FeedbackDialog(getFeedbackDialog#1).email == &new JTextField(initComponents#5)
post	new FeedbackDialog(getFeedbackDialog#1).feedback == &new JTextArea(initComponents#6)
post	new FeedbackDialog(getFeedbackDialog#1).info == &new TextLabel(initComponents#3)
post	new FeedbackDialog(getFeedbackDialog#1).name == &new JTextField(initComponents#4)
post	new FeedbackDialog(getFeedbackDialog#1). serverCheckbox == &new JCheckBox(initComponents #7)
post	new TextLabel(initComponents#3).sas == &new SimpleAttributeSet(TextLabel#6)
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

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. FeedbackDialog:setLocationRelativeTo(Component)

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

method not available - call not analyzed Info call on bool com.dmdirc.addons.ui_swing.dialogs. FeedbackDialog:requestFocusInWindow()

method	FeedbackDialog getFeedbackDialog(Window)
pre	init'ed(me)
presumption	com.dmdirc.ServerManager:getServerManager(...)@126 != null
presumption	me.serverCheckbox != null
post	me == One-of{old me, &new FeedbackDialog(getFee dbackDialog#1)}
post	me != null
post	return_value == One-of{old me, &new FeedbackDialog(getFeedbackDialog#1)}
post	return_value != null
post	new FeedbackDialog(getFeedbackDialog#1) num objects <= 1
post	new FeedbackDialog(getFeedbackDialog#1). DMDircCheckbox == &new JCheckBox(initComponents #8)
post	new FeedbackDialog(getFeedbackDialog#1).email == &new JTextField(initComponents#5)
post	new FeedbackDialog(getFeedbackDialog#1).feedback == &new JTextArea(initComponents#6)
post	new FeedbackDialog(getFeedbackDialog#1).info == &new TextLabel(initComponents#3)
post	new FeedbackDialog(getFeedbackDialog#1).name == &new JTextField(initComponents#4)
post	new FeedbackDialog(getFeedbackDialog#1). serverCheckbox == &new JCheckBox(initComponents #7)
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	new TextLabel(initComponents#3).sas == &new SimpleAttributeSet(TextLabel#6)
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

method not available - call not analyzed Info call on ServerManager com.dmdirc.ServerManager:getS erverManager()

method not available - call not analyzed Info call on int com.dmdirc.ServerManager:numServers()

method	void initComponents()
presumption	com.dmdirc.addons.ui_swing.dialogs.FeedbackDialog:g etCancelButton(...)@141 != null
presumption	com.dmdirc.addons.ui_swing.dialogs.FeedbackDialog:g etOkButton(...)@138 != null
presumption	com.dmdirc.addons.ui_swing.dialogs.FeedbackDialog:g etOkButton(...)@139 != null
presumption	com.dmdirc.addons.ui_swing.dialogs.FeedbackDialog:g etOkButton(...)@140 != null
post	this.DMDircCheckbox == &new JCheckBox(initCompo nents#8)
post	this.email == &new JTextField(initComponents#5)
post	this.feedback == &new JTextArea(initComponents# 6)
post	this.info == &new TextLabel(initComponents#3)
post	this.name == &new JTextField(initComponents#4)
post	this.serverCheckbox == &new JCheckBox(initCompo nents#7)
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	this.info.sas == &new SimpleAttributeSet(TextLa bel#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

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. FeedbackDialog:orderButtons(JButton, JButton)

method not available - call not analyzed Info call on JButton com.dmdirc.addons.ui_swing.dialogs. FeedbackDialog:getOkButton()

method not available - call not analyzed Info call on JButton com.dmdirc.addons.ui_swing.dialogs. FeedbackDialog:getCancelButton()

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing. UIUtilities:addUndoManager(JTextComponent)

method	void layoutComponents()
pre	this.DMDircCheckbox != null
pre	init'ed(this.email)
pre	init'ed(this.feedback)
pre	init'ed(this.info)
pre	init'ed(this.name)
pre	this.serverCheckbox != null

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. FeedbackDialog:setLayout(LayoutManager)

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

method not available - call not analyzed Info call on JButton com.dmdirc.addons.ui_swing.dialogs. FeedbackDialog:getCancelButton()

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

method not available - call not analyzed Info call on JButton com.dmdirc.addons.ui_swing.dialogs. FeedbackDialog:getOkButton()

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

method	void layoutComponents2(StringBuilder)
pre	error != null
pre	this.info != null
pre	(soft) init'ed(this.info.sas)
presumption	com.dmdirc.addons.ui_swing.dialogs.FeedbackDialog:g etContentPane(...)@196 != null
presumption	com.dmdirc.addons.ui_swing.dialogs.FeedbackDialog:g etContentPane(...)@197 != null
presumption	com.dmdirc.addons.ui_swing.dialogs.FeedbackDialog:g etContentPane(...)@209 != null
presumption	com.dmdirc.addons.ui_swing.dialogs.FeedbackDialog:g etOkButton(...)@198 != null
presumption	com.dmdirc.addons.ui_swing.dialogs.FeedbackDialog:g etOkButton(...)@199 != null
presumption	com.dmdirc.addons.ui_swing.dialogs.FeedbackDialog:g etOkButton(...)@200 != 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

method not available - call not analyzed Info call on Container com.dmdirc.addons.ui_swing. dialogs.FeedbackDialog:getContentPane()

method not available - call not analyzed Info call on JButton com.dmdirc.addons.ui_swing.dialogs. FeedbackDialog:getOkButton()

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

method not available - call not analyzed Info call on Container com.dmdirc.addons.ui_swing. dialogs.FeedbackDialog:getContentPane()

method	void addListeners()
pre	this.feedback != null
presumption	com.dmdirc.addons.ui_swing.dialogs.FeedbackDialog:g etCancelButton(...)@215 != null
presumption	com.dmdirc.addons.ui_swing.dialogs.FeedbackDialog:g etOkButton(...)@214 != null
presumption	javax.swing.JTextArea:getDocument(...)@216 != null

method not available - call not analyzed Info call on JButton com.dmdirc.addons.ui_swing.dialogs. FeedbackDialog:getOkButton()

method not available - call not analyzed Info call on JButton com.dmdirc.addons.ui_swing.dialogs. FeedbackDialog:getCancelButton()

method	void send()
pre	init'ed(me)
pre	this.DMDircCheckbox != null
pre	this.email != null
pre	this.feedback != null
pre	this.name != null
pre	this.serverCheckbox != null
presumption	com.dmdirc.Server:getParser(...)@229 != null
presumption	com.dmdirc.Server:getParser(...)@233 != null
presumption	com.dmdirc.Server:getParser(...)@235 != null
presumption	com.dmdirc.Server:getParser(...)@236 != null
presumption	com.dmdirc.Server:getParser(...)@239 != null
presumption	com.dmdirc.Server:getParser(...)@240 != null
presumption	com.dmdirc.Server:getParser(...)@242 != null
presumption	com.dmdirc.ServerManager:getServerManager(...)@226 != null
presumption	com.dmdirc.ServerManager:getServers(...)@226 != null
presumption	com.dmdirc.addons.ui_swing.dialogs.FeedbackDialog:g etCancelButton(...)@222 != null
presumption	com.dmdirc.addons.ui_swing.dialogs.FeedbackDialog:g etOkButton(...)@221 != null
presumption	java.util.Iterator:next(...)@226 != null
presumption	javax.swing.JTextArea:getText(...)@254 != null
presumption	javax.swing.JTextField:getText(...)@254 != null
unanalyzed	call on com.dmdirc.addons.ui_swing.components. LoggingSwingWorker
test_vector	java.util.Iterator:hasNext(...)@226: {0}, {1}
test_vector	javax.swing.JCheckBox:isSelected(...)@225: {0}, {1}
test_vector	javax.swing.JCheckBox:isSelected(...)@245: {0}, {1}

method not available - call not analyzed Info call on JButton com.dmdirc.addons.ui_swing.dialogs. FeedbackDialog:getOkButton()

method not available - call not analyzed Info call on JButton com.dmdirc.addons.ui_swing.dialogs. FeedbackDialog:getCancelButton()

method not available - call not analyzed Info call on ServerManager com.dmdirc.ServerManager:getS erverManager()

method not available - call not analyzed Info call on List com.dmdirc.ServerManager:getServers()

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

method not available - call not analyzed Info call on IRCParser com.dmdirc.Server:getParser()

method not available - call not analyzed Info call on String com.dmdirc.parser.irc. IRCParser:getServerName()

method not available - call not analyzed Info call on String com.dmdirc.Server:getNetwork()

method not available - call not analyzed Info call on String com.dmdirc.ui.core.util. Info:getDMDircVersion()

method not available - call not analyzed Info call on String com.dmdirc.Main:getConfigDir()

method not available - call not analyzed Info call on String com.dmdirc.ui.core.util. Info:getJavaVersion()

method not available - call not analyzed Info call on String com.dmdirc.ui.core.util. Info:getOSVersion()

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

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. SendWorker:execute()

method	void validateInput()
pre	this.feedback != null
presumption	com.dmdirc.addons.ui_swing.dialogs.FeedbackDialog:g etOkButton(...)@262 != null
presumption	com.dmdirc.addons.ui_swing.dialogs.FeedbackDialog:g etOkButton(...)@264 != null
presumption	javax.swing.JTextArea:getDocument(...)@261 != null
test_vector	javax.swing.text.Document:getLength(...)@261: {-2³¹..0}, {1..2³²-1}

method not available - call not analyzed Info call on JButton com.dmdirc.addons.ui_swing.dialogs. FeedbackDialog:getOkButton()

method	void actionPerformed(ActionEvent)
pre	e != null
pre	(soft) init'ed(me)
pre	(soft) this.DMDircCheckbox != null
pre	(soft) this.email != null
pre	(soft) this.feedback != null
pre	(soft) this.name != null
pre	(soft) this.serverCheckbox != null
presumption	java.awt.event.ActionEvent:getActionCommand(... )@275 != null
presumption	java.awt.event.ActionEvent:getActionCommand(... )@277 != null
post	me == One-of{old me, null}
post	init'ed(me)
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. FeedbackDialog:getOkButton
unanalyzed	call on javax.swing.JButton:setEnabled
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. FeedbackDialog:getCancelButton
unanalyzed	call on com.dmdirc.ServerManager:getServerManager
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on javax.swing.JCheckBox:isSelected
unanalyzed	call on com.dmdirc.ServerManager:getServers
unanalyzed	call on java.util.List:iterator
unanalyzed	call on com.dmdirc.Server:getName
unanalyzed	call on com.dmdirc.Server:getParser
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:getServerNa me
unanalyzed	call on com.dmdirc.Server:getNetwork
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:getIRCD
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:getBoolChan Modes
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:getListChan Modes
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:getSetOnlyC hanModes
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:getSetUnset ChanModes
unanalyzed	call on com.dmdirc.ui.core.util.Info:getDMDircVersi on
unanalyzed	call on com.dmdirc.Main:getConfigDir
unanalyzed	call on com.dmdirc.ui.core.util.Info:getJavaVersion
unanalyzed	call on com.dmdirc.ui.core.util.Info:getOSVersion
unanalyzed	call on com.dmdirc.addons.ui_swing.SwingController: getLookAndFeel
unanalyzed	call on javax.swing.JTextField:getText
unanalyzed	call on java.lang.String:trim
unanalyzed	call on javax.swing.JTextArea:getText
unanalyzed	call on com.dmdirc.addons.ui_swing.components. LoggingSwingWorker
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. SendWorker:execute
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardDialog:dispose
test_vector	java.lang.String:equals(...)@275: {0}, {1}
test_vector	java.lang.String:equals(...)@277: {0}, {1}

method	void insertUpdate(DocumentEvent)
pre	this.feedback != null
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. FeedbackDialog:getOkButton
unanalyzed	call on javax.swing.JButton:setEnabled
unanalyzed	call on javax.swing.JTextArea:getDocument
unanalyzed	call on javax.swing.text.Document:getLength

method	void removeUpdate(DocumentEvent)
pre	this.feedback != null
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. FeedbackDialog:getOkButton
unanalyzed	call on javax.swing.JButton:setEnabled
unanalyzed	call on javax.swing.JTextArea:getDocument
unanalyzed	call on javax.swing.text.Document:getLength

method

void changedUpdate(DocumentEvent)

method	void dispose()
pre	init'ed(me)
post	me == null
test_vector	me: Inverse{null}, Addr_Set{null}

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. StandardDialog:dispose()

method	void com.dmdirc.addons.ui_swing.dialogs. SendWorker(FeedbackDialog, String, String, String)
post	this.dialog == dialog
post	init'ed(this.dialog)
post	this.dmdircInfo == &""
post	this.serverInfo == &""
post	this.email == email
post	init'ed(this.email)
post	this.error == &new StringBuilder(SendWorker#1)
post	this.feedback == feedback
post	init'ed(this.feedback)
post	this.name == name
post	init'ed(this.name)
post	new StringBuilder(SendWorker#1) num objects == 1
post	new StringBuilder(SendWorker#1)._tainted == 0
unanalyzed	call on com.dmdirc.addons.ui_swing.components. LoggingSwingWorker

method	void com.dmdirc.addons.ui_swing.dialogs. SendWorker(FeedbackDialog, String, String, String, String, String)
post	this.dialog == dialog
post	init'ed(this.dialog)
post	this.dmdircInfo == dmdircInfo
post	init'ed(this.dmdircInfo)
post	this.email == email
post	init'ed(this.email)
post	this.error == &new StringBuilder(SendWorker#1)
post	this.feedback == feedback
post	init'ed(this.feedback)
post	this.name == name
post	init'ed(this.name)
post	this.serverInfo == serverInfo
post	init'ed(this.serverInfo)
post	new StringBuilder(SendWorker#1) num objects == 1
post	this.error._tainted == 0

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. LoggingSwingWorker()

method	Object doInBackground()
pre	this.dmdircInfo != null
pre	this.email != null
pre	this.feedback != null
pre	this.name != null
pre	this.serverInfo != null
pre	(soft) this.error != null
presumption	com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@388 != null
presumption	com.dmdirc.util.Downloader:getPage(...)@397 != null
post	return_value == this.error
post	return_value != null
post	init'ed(this.error._tainted)
test_vector	java.lang.String:isEmpty(...)@379: {1}, {0}
test_vector	java.lang.String:isEmpty(...)@382: {1}, {0}
test_vector	java.lang.String:isEmpty(...)@385: {1}, {0}
test_vector	java.lang.String:isEmpty(...)@389: {1}, {0}
test_vector	java.lang.String:isEmpty(...)@392: {1}, {0}
test_vector	java.util.List:size(...)@400: {-2³¹..0}, {1..2³²-1}

method not available - call not analyzed Info call on ConfigManager com.dmdirc.config. IdentityManager:getGlobalConfig()

method not available - call not analyzed Info call on String com.dmdirc.config.ConfigManager:getO ption(String, String)

method not available - call not analyzed Info call on List com.dmdirc.util.Downloader:getPage(Str ing, Map)

method	void done()
pre	this.dialog != null
pre	this.dialog.info != null
pre	this.error != null
pre	(soft) init'ed(this.dialog.info.sas)
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 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 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 com.dmdirc.addons.ui_swing.dialogs. FeedbackDialog:getContentPane
unanalyzed	call on java.awt.Container:setVisible
unanalyzed	call on java.awt.Container:removeAll

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. LoggingSwingWorker:done()

	method not available - call not analyzed	Info	call on ServerManager com.dmdirc.ServerManager:getS erverManager()
	method not available - call not analyzed	Info	call on int com.dmdirc.ServerManager:numServers()

	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. FeedbackDialog:setLayout(LayoutManager)

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

	method not available - call not analyzed	Info	call on IRCParser com.dmdirc.Server:getParser()
	method not available - call not analyzed	Info	call on String com.dmdirc.parser.irc. IRCParser:getServerName()

	method not available - call not analyzed	Info	call on ConfigManager com.dmdirc.config. IdentityManager:getGlobalConfig()
	method not available - call not analyzed	Info	call on String com.dmdirc.config.ConfigManager:getO ption(String, String)