Messages

Last Msg First Msg

method

com.dmdirc.addons.ui_swing.dialogs.paste. PasteDialog$5__static_init

method

com.dmdirc.addons.ui_swing.dialogs.paste. PasteDialog$4__static_init

method

com.dmdirc.addons.ui_swing.dialogs.paste. PasteDialog$3__static_init

method

com.dmdirc.addons.ui_swing.dialogs.paste. PasteDialog$2__static_init

method

com.dmdirc.addons.ui_swing.dialogs.paste. PasteDialog$1__static_init

method

com.dmdirc.addons.ui_swing.dialogs.paste. PasteDialog__static_init

method	Window access$000(PasteDialog)
pre	x0 != null
pre	init'ed(x0.parentWindow)
post	return_value == x0.parentWindow
post	init'ed(return_value)

method	void com.dmdirc.addons.ui_swing.dialogs.paste. PasteDialog(InputTextFrame, String, Window)
pre	newParent != null
presumption	com.dmdirc.addons.ui_swing.dialogs.paste. PasteDialog:getOkButton(...)@97 != null
presumption	com.dmdirc.addons.ui_swing.dialogs.paste. PasteDialog:getOkButton(...)@98 != null
presumption	init'ed(java.awt.Dialog$ModalityType.MODELESS)
post	this.editButton == &new JButton(initComponents# 3)
post	this.infoLabel == &new TextLabel(initComponents #4)
post	this.parent == newParent
post	this.parent != null
post	this.parentWindow == parentWindow
post	init'ed(this.parentWindow)
post	this.scrollPane == &new JScrollPane(initCompone nts#1)
post	this.textField == &new TextAreaInputField(initC omponents#2)
post	new JButton(initComponents#3) num objects == 1
post	new JScrollPane(initComponents#1) num objects == 1
post	new SimpleAttributeSet(TextLabel#6) num objects == 1
post	new TextAreaInputField(initComponents#2) num objects == 1
post	new TextLabel(initComponents#4) num objects == 1
post	new TextLabel(initComponents#4).sas == &new SimpleAttributeSet(TextLabel#6)
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.paste. PasteDialog:getOkButton
unanalyzed	call on javax.swing.JButton:addActionListener
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.paste. PasteDialog:getCancelButton
unanalyzed	call on com.dmdirc.addons.ui_swing.components. TextAreaInputField:addKeyListener
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.paste. PasteDialog:getRootPane
unanalyzed	call on javax.swing.JRootPane:getActionMap
unanalyzed	call on javax.swing.AbstractAction
unanalyzed	call on javax.swing.ActionMap:put
unanalyzed	call on javax.swing.JRootPane:getInputMap
unanalyzed	call on javax.swing.KeyStroke:getKeyStroke
unanalyzed	call on javax.swing.InputMap:put
unanalyzed	call on com.dmdirc.addons.ui_swing.components. TextAreaInputField:getActionMap
unanalyzed	call on com.dmdirc.addons.ui_swing.components. TextAreaInputField:getInputMap
unanalyzed	call on com.dmdirc.addons.ui_swing.UIUtilities:getC trlDownMask
unanalyzed	call on javax.swing.JRootPane:registerKeyboardActio n
unanalyzed	call on com.dmdirc.addons.ui_swing.components. TextAreaInputField:getText
unanalyzed	call on com.dmdirc.addons.ui_swing.components. frames.InputTextFrame:getContainer
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.paste. PasteDialog:setResizable
unanalyzed	call on javax.swing.JScrollPane:setVisible
unanalyzed	call on com.dmdirc.WritableFrameContainer:getNumLin es
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.JScrollPane
unanalyzed	call on com.dmdirc.addons.ui_swing.components. TextAreaInputField
unanalyzed	call on javax.swing.JButton
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 com.dmdirc.addons.ui_swing.UIUtilities:addU ndoManager
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.paste. PasteDialog:orderButtons
unanalyzed	call on javax.swing.JButton:setText
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.paste. PasteDialog:setDefaultCloseOperation
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.paste. PasteDialog:setTitle
unanalyzed	call on com.dmdirc.addons.ui_swing.components. TextAreaInputField:setColumns
unanalyzed	call on com.dmdirc.addons.ui_swing.components. TextAreaInputField:setRows
unanalyzed	call on com.dmdirc.addons.ui_swing.components. frames.InputTextFrame:getCommandParser
unanalyzed	call on com.dmdirc.addons.ui_swing.components. SwingInputHandler
unanalyzed	call on com.dmdirc.addons.ui_swing.components. SwingInputHandler:setTypes
unanalyzed	call on javax.swing.JScrollPane:setViewportView
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.paste. PasteDialog:getContentPane
unanalyzed	call on net.miginfocom.swing.MigLayout
unanalyzed	call on java.awt.Container:setLayout
unanalyzed	call on java.awt.Container:add
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.paste. PasteDialog:getLeftButton
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.paste. PasteDialog:getRightButton
unanalyzed	call on java.awt.FocusTraversalPolicy

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 JButton com.dmdirc.addons.ui_swing.dialogs. paste.PasteDialog:getCancelButton()

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

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. paste.PasteDialog:setFocusTraversalPolicy(FocusTrav ersalPolicy)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. paste.PasteDialog:setFocusable(bool)

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

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

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

method	void initComponents(String)
pre	this.parent != null
presumption	com.dmdirc.addons.ui_swing.components.frames. InputTextFrame:getContainer(...)@124 != null
presumption	com.dmdirc.addons.ui_swing.dialogs.paste. PasteDialog:getContentPane(...)@137 != null
presumption	com.dmdirc.addons.ui_swing.dialogs.paste. PasteDialog:getContentPane(...)@138 != null
presumption	com.dmdirc.addons.ui_swing.dialogs.paste. PasteDialog:getContentPane(...)@139 != null
presumption	com.dmdirc.addons.ui_swing.dialogs.paste. PasteDialog:getContentPane(...)@140 != null
presumption	com.dmdirc.addons.ui_swing.dialogs.paste. PasteDialog:getContentPane(...)@141 != null
presumption	com.dmdirc.addons.ui_swing.dialogs.paste. PasteDialog:getContentPane(...)@142 != null
presumption	com.dmdirc.addons.ui_swing.dialogs.paste. PasteDialog:getOkButton(...)@118 != null
post	this.editButton == &new JButton(initComponents# 3)
post	this.infoLabel == &new TextLabel(initComponents #4)
post	this.scrollPane == &new JScrollPane(initCompone nts#1)
post	this.textField == &new TextAreaInputField(initC omponents#2)
post	new JButton(initComponents#3) num objects == 1
post	new JScrollPane(initComponents#1) num objects == 1
post	new SimpleAttributeSet(TextLabel#6) num objects == 1
post	new TextAreaInputField(initComponents#2) num objects == 1
post	new TextLabel(initComponents#4) num objects == 1
post	this.infoLabel.sas == &new SimpleAttributeSet(T extLabel#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.components. TextAreaInputField(String)

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

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

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

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. paste.PasteDialog:setDefaultCloseOperation(int)

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

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

method not available - call not analyzed Info call on WritableFrameContainer com.dmdirc.addons. ui_swing.components.frames.InputTextFrame:getContai ner()

method not available - call not analyzed Info call on String com.dmdirc.addons.ui_swing. components.TextAreaInputField:getText()

method not available - call not analyzed Info call on int com.dmdirc.WritableFrameContainer:getNu mLines(String)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. TextAreaInputField:setColumns(int)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. TextAreaInputField:setRows(int)

method not available - call not analyzed Info call on CommandParser com.dmdirc.addons.ui_swing. components.frames.InputTextFrame:getCommandParser()

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. SwingInputHandler(InputField, CommandParser, InputWindow)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. SwingInputHandler:setTypes(bool, bool, bool, bool)

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

method not available - call not analyzed Info call on void net.miginfocom.swing.MigLayout(String)

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

method	void initListeners()
pre	this.editButton != null
pre	this.textField != null
presumption	com.dmdirc.addons.ui_swing.components. TextAreaInputField:getActionMap(...)@189 != null
presumption	com.dmdirc.addons.ui_swing.components. TextAreaInputField:getInputMap(...)@200 != null
presumption	com.dmdirc.addons.ui_swing.dialogs.paste. PasteDialog:getCancelButton(...)@150 != null
presumption	com.dmdirc.addons.ui_swing.dialogs.paste. PasteDialog:getOkButton(...)@149 != null
presumption	com.dmdirc.addons.ui_swing.dialogs.paste. PasteDialog:getRootPane(...)@154 != null
presumption	com.dmdirc.addons.ui_swing.dialogs.paste. PasteDialog:getRootPane(...)@169 != null
presumption	com.dmdirc.addons.ui_swing.dialogs.paste. PasteDialog:getRootPane(...)@184 != null
presumption	com.dmdirc.addons.ui_swing.dialogs.paste. PasteDialog:getRootPane(...)@186 != null
presumption	com.dmdirc.addons.ui_swing.dialogs.paste. PasteDialog:getRootPane(...)@213 != null
presumption	javax.swing.JRootPane:getActionMap(...)@154 != null
presumption	javax.swing.JRootPane:getActionMap(...)@169 != null
presumption	javax.swing.JRootPane:getInputMap(...)@184 != null
presumption	javax.swing.JRootPane:getInputMap(...)@186 != null
unanalyzed	call on javax.swing.AbstractAction

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

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

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. TextAreaInputField:addKeyListener(KeyListener)

method not available - call not analyzed Info call on JRootPane com.dmdirc.addons.ui_swing. dialogs.paste.PasteDialog:getRootPane()

method

void com.dmdirc.addons.ui_swing.dialogs.paste. PasteDialog$1(PasteDialog, String)

method	void actionPerformed(ActionEvent)
presumption	com.dmdirc.addons.ui_swing.dialogs.paste. PasteDialog:getFocusTraversalPolicy(...)@162 != null
presumption	java.awt.FocusTraversalPolicy:getComponentAfter(... )@162 != null

method not available - call not analyzed Info call on FocusTraversalPolicy com.dmdirc.addons.ui_ swing.dialogs.paste.PasteDialog:getFocusTraversalPo licy()

method not available - call not analyzed Info call on Component com.dmdirc.addons.ui_swing. dialogs.paste.PasteDialog:getFocusOwner()

method not available - call not analyzed Info call on JRootPane com.dmdirc.addons.ui_swing. dialogs.paste.PasteDialog:getRootPane()

method

void com.dmdirc.addons.ui_swing.dialogs.paste. PasteDialog$2(PasteDialog, String)

method	void actionPerformed(ActionEvent)
presumption	com.dmdirc.addons.ui_swing.dialogs.paste. PasteDialog:getFocusTraversalPolicy(...)@177 != null
presumption	java.awt.FocusTraversalPolicy:getComponentBefore(.. .)@177 != null

method not available - call not analyzed Info call on JRootPane com.dmdirc.addons.ui_swing. dialogs.paste.PasteDialog:getRootPane()

method not available - call not analyzed Info call on ActionMap com.dmdirc.addons.ui_swing. components.TextAreaInputField:getActionMap()

method

void com.dmdirc.addons.ui_swing.dialogs.paste. PasteDialog$3(PasteDialog, String)

method	void actionPerformed(ActionEvent)
presumption	com.dmdirc.addons.ui_swing.dialogs.paste. PasteDialog:getOkButton(...)@197 != null

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

method not available - call not analyzed Info call on InputMap com.dmdirc.addons.ui_swing. components.TextAreaInputField:getInputMap(int)

method not available - call not analyzed Info call on int com.dmdirc.addons.ui_swing. UIUtilities:getCtrlDownMask()

method

void com.dmdirc.addons.ui_swing.dialogs.paste. PasteDialog$4(PasteDialog)

method	void actionPerformed(ActionEvent)
presumption	com.dmdirc.addons.ui_swing.dialogs.paste. PasteDialog:getOkButton(...)@209 != null

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

method not available - call not analyzed Info call on JRootPane com.dmdirc.addons.ui_swing. dialogs.paste.PasteDialog:getRootPane()

method	void actionPerformed(ActionEvent)
pre	actionEvent != null
pre	(soft) this.editButton != null
pre	(soft) this.infoLabel != null
pre	(soft) init'ed(this.infoLabel.sas)
pre	(soft) this.parent != null
pre	(soft) this.scrollPane != null
pre	(soft) this.textField != null
presumption	com.dmdirc.addons.ui_swing.components. TextAreaInputField:getText(...)@225 != null
presumption	com.dmdirc.addons.ui_swing.components. TextAreaInputField:getText(...)@226 != null
presumption	com.dmdirc.addons.ui_swing.components.frames. InputTextFrame:getContainer(...)@240 != null
presumption	com.dmdirc.addons.ui_swing.dialogs.paste. PasteDialog:getCancelButton(...)@251 != null
presumption	com.dmdirc.addons.ui_swing.dialogs.paste. PasteDialog:getOkButton(...)@224 != 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
test_vector	java.lang.Object:equals(...)@224: {0}, {1}
test_vector	java.lang.Object:equals(...)@236: {0}, {1}
test_vector	java.lang.Object:equals(...)@251: {0}, {1}
test_vector	java.lang.String:isEmpty(...)@225: {1}, {0}

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

method not available - call not analyzed Info call on String com.dmdirc.addons.ui_swing. components.TextAreaInputField:getText()

Prev Msg Next Msg

use of default init

click for all messages in this file Low Prob.

check if init'ed(arr$.length)

use of default init

Low Prob.

check if init'ed(len$)

test always goes same way

Low Prob.

Test predetermined because i$ == len$

dead code

click for all messages in this file Low Prob.

Dead code here because i$ == len$

dead code continues Info Dead code continues

Prev Msg Next Msg

dead code continues Info Dead code continues

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. paste.PasteDialog:dispose()

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

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

method

void com.dmdirc.addons.ui_swing.dialogs.paste. PasteDialog$5(PasteDialog)

method	void run()
pre	init'ed(this.parentWindow)

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

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

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. paste.PasteDialog:dispose()

method	void keyTyped(KeyEvent)
pre	this.infoLabel != null
pre	this.parent != null
pre	this.textField != null
pre	(soft) init'ed(this.infoLabel.sas)
presumption	com.dmdirc.addons.ui_swing.components.frames. InputTextFrame:getContainer(...)@263 != 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

void keyPressed(KeyEvent)

method

void keyReleased(KeyEvent)

method not available - call not analyzed	Info	call on JButton com.dmdirc.addons.ui_swing.dialogs. paste.PasteDialog:getCancelButton()
method not available - call not analyzed	Info	call on JButton com.dmdirc.addons.ui_swing.dialogs. paste.PasteDialog:getOkButton()
method not available - call not analyzed	Info	call on void com.dmdirc.addons.ui_swing.dialogs. paste.PasteDialog:setFocusTraversalPolicy(FocusTrav ersalPolicy)

method not available - call not analyzed	Info	call on WritableFrameContainer com.dmdirc.addons. ui_swing.components.frames.InputTextFrame:getContai ner()
method not available - call not analyzed	Info	call on String com.dmdirc.addons.ui_swing. components.TextAreaInputField:getText()
method not available - call not analyzed	Info	call on int com.dmdirc.WritableFrameContainer:getNu mLines(String)

method not available - call not analyzed	Info	call on CommandParser com.dmdirc.addons.ui_swing. components.frames.InputTextFrame:getCommandParser()
method not available - call not analyzed	Info	call on void com.dmdirc.addons.ui_swing.components. SwingInputHandler(InputField, CommandParser, InputWindow)
method not available - call not analyzed	Info	call on void com.dmdirc.addons.ui_swing.components. SwingInputHandler:setTypes(bool, bool, bool, bool)

	method not available - call not analyzed	Info	call on Container com.dmdirc.addons.ui_swing. dialogs.paste.PasteDialog:getContentPane()
	method not available - call not analyzed	Info	call on void net.miginfocom.swing.MigLayout(String)

	method not available - call not analyzed	Info	call on FocusTraversalPolicy com.dmdirc.addons.ui_ swing.dialogs.paste.PasteDialog:getFocusTraversalPo licy()
	method not available - call not analyzed	Info	call on Component com.dmdirc.addons.ui_swing. dialogs.paste.PasteDialog:getFocusOwner()

	method not available - call not analyzed	Info	call on InputMap com.dmdirc.addons.ui_swing. components.TextAreaInputField:getInputMap(int)
	method not available - call not analyzed	Info	call on int com.dmdirc.addons.ui_swing. UIUtilities:getCtrlDownMask()