Messages

Last Msg First Msg

method

com.dmdirc.addons.ui_swing.dialogs.actioneditor. ActionResponsePanel__static_init

method	void com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionResponsePanel()
post	this.formatter == &new JComboBox(initComponents #2)
post	this.response == &new JTextArea(initComponents# 1)
post	new JComboBox(initComponents#2) num objects == 1
post	new JTextArea(initComponents#1) num objects == 1
unanalyzed	call on javax.swing.JTextArea
unanalyzed	call on javax.swing.JTextArea:setRows
unanalyzed	call on javax.swing.DefaultComboBoxModel
unanalyzed	call on javax.swing.JComboBox
unanalyzed	call on javax.swing.JComboBox:getModel
unanalyzed	call on javax.swing.DefaultComboBoxModel:addElement
unanalyzed	call on java.util.TreeSet
unanalyzed	call on com.dmdirc.config.IdentityManager:getGlobal Config
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptions
unanalyzed	call on java.util.Map:keySet
unanalyzed	call on java.util.TreeSet:addAll
unanalyzed	call on java.util.TreeSet:iterator
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionResponsePanel:getBorder
unanalyzed	call on javax.swing.BorderFactory:createTitledBorde r
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionResponsePanel:setBorder
unanalyzed	call on net.miginfocom.swing.MigLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionResponsePanel:setLayout
unanalyzed	call on javax.swing.JLabel
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionResponsePanel:add
unanalyzed	call on javax.swing.JScrollPane

method	void initComponents()
presumption	com.dmdirc.config.ConfigManager:getOptions(...)@75 != null
presumption	com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@75 != null
presumption	init'ed(java.lang.String.CASE_INSENSITIVE_ORDER)
presumption	javax.swing.JComboBox:getModel(...)@71 != null
presumption	javax.swing.JComboBox:getModel(...)@72 != null
presumption	javax.swing.JComboBox:getModel(...)@78 != null
post	this.formatter == &new JComboBox(initComponents #2)
post	this.response == &new JTextArea(initComponents# 1)
post	new JComboBox(initComponents#2) num objects == 1
post	new JTextArea(initComponents#1) num objects == 1
test_vector	java.util.Iterator:hasNext(...)@77: {0}, {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 Map com.dmdirc.config.ConfigManager:getOpti ons(String)

method

void addListeners()

method	void layoutComponents()
pre	init'ed(this.formatter)
pre	init'ed(this.response)

method not available - call not analyzed Info call on Border com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionResponsePanel:getBorder()

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionResponsePanel:setBorder(Border)

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. actioneditor.ActionResponsePanel:setLayout(LayoutMa nager)

method not available - call not analyzed Info call on Component com.dmdirc.addons.ui_swing. dialogs.actioneditor.ActionResponsePanel:add(Compon ent)

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

method not available - call not analyzed Info call on Component com.dmdirc.addons.ui_swing. dialogs.actioneditor.ActionResponsePanel:add(Compon ent)

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

method	void setResponse(String[])
pre	response != null
pre	response.length <= 2³²-1
pre	(soft) response[...] != null
pre	(soft) this.response != null
presumption	java.lang.StringBuilder:length(...)@110 >= -2³¹+1
test_vector	java.lang.StringBuilder:length(...)@109: {-2³¹..0}, {1..2³²-1}

method	void setFormatter(String)
pre	this.formatter != null
test_vector	newFormat: Inverse{null}, Addr_Set{null}
test_vector	java.lang.String:isEmpty(...)@122: {0}, {1}

method	String[] getResponse()
pre	this.response != null
presumption	javax.swing.JTextArea:getText(...)@135 != null
post	java.lang.String:split(...)._tainted == 0
post	java.lang.String:split(...).length == undefined
post	java.lang.String:split(...).length == 0, if init'ed
post	java.lang.String:split(...)[...] == null
post	return_value == &java.lang.String:split(...)

Prev Msg Next Msg

use of default init

click for all messages in this file Low Prob.

check if init'ed(text.length)

test always goes same way

Low Prob.

Test predetermined because i == text.length

Prev Msg Next Msg

Prev Msg Next Msg

dead code

click for all messages in this file Low Prob.

Dead code here because i == text.length

Prev Msg Next Msg

method	String getFormatter()
pre	this.formatter != null
post	init'ed(return_value)
test_vector	java.lang.String:equals(...)@149: {0}, {1}
test_vector	java.lang.String:equals(...)@151: {0}, {1}

method	void setEnabled(bool)
pre	this.formatter != null
pre	this.response != null

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

	method not available - call not analyzed	Info	call on Border com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionResponsePanel:getBorder()
	method not available - call not analyzed	Info	call on void com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionResponsePanel:setBorder(Border)

	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. actioneditor.ActionResponsePanel:setLayout(LayoutMa nager)