FeedbackDialog.java

FeedbackDialog.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(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
pre	e != null
presumption	java.awt.event.ActionEvent:getActionCommand(... )@275 != null
presumption	java.awt.event.ActionEvent:getActionCommand(... )@277 != null
post	init'ed(me)
post	me == One-of{old me, null}
unanalyzed	call on com.dmdirc.Main:getConfigDir
unanalyzed	call on com.dmdirc.Server:getName
unanalyzed	call on com.dmdirc.Server:getNetwork
unanalyzed	call on com.dmdirc.Server:getParser
unanalyzed	call on com.dmdirc.ServerManager:getServerManager
unanalyzed	call on com.dmdirc.ServerManager:getServers
unanalyzed	call on com.dmdirc.addons.ui_swing.SwingController: getLookAndFeel
unanalyzed	call on com.dmdirc.addons.ui_swing.components. LoggingSwingWorker
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardDialog:dispose
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. SendWorker:execute
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:getBoolChan Modes
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:getIRCD
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:getListChan Modes
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:getServerNa me
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.ui.core.util.Info:getJavaVersion
unanalyzed	call on com.dmdirc.ui.core.util.Info:getOSVersion
unanalyzed	call on java.lang.String:trim
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.List:iterator
unanalyzed	call on javax.swing.JButton:setEnabled
unanalyzed	call on javax.swing.JCheckBox:isSelected
unanalyzed	call on javax.swing.JTextArea:getText
unanalyzed	call on javax.swing.JTextField:getText
test_vector	java.lang.String:equals(...)@275: {0}, {1}
test_vector	java.lang.String:equals(...)@277: {0}, {1}

void addListeners()

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

void changedUpdate(DocumentEvent)

Kind	Annotation Text

void com.dmdirc.addons.ui_swing.dialogs.FeedbackDialog(Window)

Kind	Annotation Text
presumption	init'ed(java.awt.Dialog$ModalityType.MODELESS)
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)
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)
unanalyzed	call on com.dmdirc.addons.ui_swing.UIUtilities:addU ndoManager
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:setLayout
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.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: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

com.dmdirc.addons.ui_swing.dialogs.FeedbackDialog__static_init

Kind	Annotation Text

void com.dmdirc.addons.ui_swing.dialogs.SendWorker(FeedbackDialog, String, String, String)

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

void com.dmdirc.addons.ui_swing.dialogs.SendWorker(FeedbackDialog, String, String, String, String, String)

Kind	Annotation Text
post	init'ed(this.dialog)
post	init'ed(this.dmdircInfo)
post	init'ed(this.email)
post	init'ed(this.feedback)
post	init'ed(this.name)
post	init'ed(this.serverInfo)
post	new StringBuilder(SendWorker#1) num objects == 1
post	this.dialog == dialog
post	this.dmdircInfo == dmdircInfo
post	this.email == email
post	this.error == &new StringBuilder(SendWorker#1)
post	this.error._tainted == 0
post	this.feedback == feedback
post	this.name == name
post	this.serverInfo == serverInfo

com.dmdirc.addons.ui_swing.dialogs.SendWorker__static_init

Kind	Annotation Text

void dispose()

Kind	Annotation Text
pre	init'ed(me)
post	me == null
test_vector	me: Inverse{null}, Addr_Set{null}

Object doInBackground()

Kind	Annotation Text
pre	(soft) this.error != null
pre	this.dmdircInfo != null
pre	this.email != null
pre	this.feedback != null
pre	this.name != null
pre	this.serverInfo != null
presumption	com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@388 != null
presumption	com.dmdirc.util.Downloader:getPage(...)@397 != null
post	init'ed(this.error._tainted)
post	return_value != null
post	return_value == this.error
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}

void done()

Kind	Annotation Text
pre	(soft) init'ed(this.dialog.info.sas)
pre	this.dialog != null
pre	this.dialog.info != null
pre	this.error != null
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 com.dmdirc.addons.ui_swing.dialogs. FeedbackDialog:getOkButton
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. FeedbackDialog:setLayout
unanalyzed	call on java.awt.Container:removeAll
unanalyzed	call on java.awt.Container:setVisible
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on java.lang.String:length
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.JTextPane:getDocument
unanalyzed	call on javax.swing.JTextPane:setText
unanalyzed	call on javax.swing.text.StyledDocument:setParagrap hAttributes
unanalyzed	call on net.miginfocom.swing.MigLayout

FeedbackDialog getFeedbackDialog(Window)

Kind	Annotation Text
pre	init'ed(me)
presumption	com.dmdirc.ServerManager:getServerManager(...)@126 != null
presumption	me.serverCheckbox != null
post	me != null
post	me == One-of{old me, &new FeedbackDialog(getFee dbackDialog#1)}
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)
post	return_value != null
post	return_value == One-of{old me, &new FeedbackDialog(getFeedbackDialog#1)}
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:setLayout
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 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.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: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 initComponents()

Kind	Annotation Text
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	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.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.info.sas == &new SimpleAttributeSet(TextLa bel#6)
post	this.name == &new JTextField(initComponents#4)
post	this.serverCheckbox == &new JCheckBox(initCompo nents#7)
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 insertUpdate(DocumentEvent)

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

void layoutComponents()

Kind	Annotation Text
pre	init'ed(this.email)
pre	init'ed(this.feedback)
pre	init'ed(this.info)
pre	init'ed(this.name)
pre	this.DMDircCheckbox != null
pre	this.serverCheckbox != null

void layoutComponents2(StringBuilder)

Kind	Annotation Text
pre	(soft) init'ed(this.info.sas)
pre	error != null
pre	this.info != null
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 java.lang.String:isEmpty
unanalyzed	call on java.lang.String:length
unanalyzed	call on javax.swing.JTextPane:getDocument
unanalyzed	call on javax.swing.JTextPane:setText
unanalyzed	call on javax.swing.text.StyledDocument:setParagrap hAttributes

void removeUpdate(DocumentEvent)

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

void send()

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

void showFeedbackDialog(Window)

Kind	Annotation Text
pre	init'ed(me)
post	me != null
post	me == One-of{old me, &new FeedbackDialog(getFee dbackDialog#1)}
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 == 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 TextLabel(initComponents#3).sas == &new SimpleAttributeSet(TextLabel#6)
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:setLayout
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 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 validateInput()

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