Messages

Last Msg First Msg

method

com.dmdirc.addons.ui_swing.dialogs.serversetting. PerformPanel__static_init

method	void com.dmdirc.addons.ui_swing.dialogs. serversetting.PerformPanel(Server)
pre	server != null
post	init'ed(this.isNetworkPerform)
post	init'ed(this.networkAction)
post	this.networkPerform != null
post	this.server == server
post	this.server != null
post	init'ed(this.serverAction)
post	this.serverPerform != null
post	this.target == &new JComboBox(initComponents#3)
post	this.textarea == &new JTextArea(initComponents# 6)
post	new JComboBox(initComponents#3) num objects == 1
post	new JTextArea(initComponents#6) num objects == 1
unanalyzed	call on net.miginfocom.swing.MigLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. serversetting.PerformPanel:setLayout
unanalyzed	call on javax.swing.DefaultComboBoxModel
unanalyzed	call on javax.swing.JComboBox
unanalyzed	call on com.dmdirc.Server:getNetwork
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on javax.swing.DefaultComboBoxModel:addElement
unanalyzed	call on com.dmdirc.Server:getName
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. serversetting.PerformPanel:add
unanalyzed	call on javax.swing.JTextArea
unanalyzed	call on javax.swing.JTextArea:setColumns
unanalyzed	call on javax.swing.JScrollPane
unanalyzed	call on javax.swing.JComboBox:addActionListener
unanalyzed	call on com.dmdirc.actions.wrappers. PerformWrapper:getPerformWrapper
unanalyzed	call on com.dmdirc.actions.wrappers. PerformWrapper:getActionForServer
unanalyzed	call on com.dmdirc.actions.wrappers. PerformWrapper:getActionForNetwork
unanalyzed	call on com.dmdirc.actions.Action:getResponse
unanalyzed	call on javax.swing.JComboBox:getSelectedIndex
unanalyzed	call on javax.swing.JTextArea:setText

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

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. serversetting.PerformPanel:setOpaque(bool)

method	void initComponents()
pre	this.server != null
presumption	com.dmdirc.Server:getName(...)@102 != null
presumption	com.dmdirc.Server:getNetwork(...)@99 != null
post	this.target == &new JComboBox(initComponents#3)
post	this.textarea == &new JTextArea(initComponents# 6)
post	new JComboBox(initComponents#3) num objects == 1
post	new JTextArea(initComponents#6) num objects == 1
test_vector	java.lang.String:isEmpty(...)@102: {1}, {0}
test_vector	java.lang.String:isEmpty(...)@99: {1}, {0}

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

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.Server:getName()

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

method	void addListeners()
pre	this.target != null

method	void loadPerforms()
pre	this.server != null
presumption	com.dmdirc.actions.Action:getResponse(...). length@127 <= 2³²-1
presumption	com.dmdirc.actions.Action:getResponse(...). length@133 <= 2³²-1
presumption	com.dmdirc.actions.Action:getResponse(...)@127 != null
presumption	com.dmdirc.actions.Action:getResponse(...)@133 != null
presumption	com.dmdirc.actions.wrappers.PerformWrapper:getPerfo rmWrapper(...)@121 != null
presumption	com.dmdirc.actions.wrappers.PerformWrapper:getPerfo rmWrapper(...)@122 != null
post	init'ed(this.networkAction)
post	this.networkPerform != null
post	init'ed(this.serverAction)
post	this.serverPerform != null
test_vector	com.dmdirc.actions.wrappers.PerformWrapper:getActio nForNetwork(...)@122: Inverse{null}, Addr_Set{null}
test_vector	com.dmdirc.actions.wrappers.PerformWrapper:getActio nForServer(...)@121: Inverse{null}, Addr_Set{null}

method not available - call not analyzed Info call on PerformWrapper com.dmdirc.actions.wrappers. PerformWrapper:getPerformWrapper()

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

method not available - call not analyzed Info call on Action com.dmdirc.actions.wrappers. PerformWrapper:getActionForServer(String)

method not available - call not analyzed Info call on PerformWrapper com.dmdirc.actions.wrappers. PerformWrapper:getPerformWrapper()

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

method not available - call not analyzed Info call on Action com.dmdirc.actions.wrappers. PerformWrapper:getActionForNetwork(String)

method not available - call not analyzed Info call on String[] com.dmdirc.actions. Action:getResponse()

method	String implode(String[])
pre	lines != null
pre	lines.length <= 2³²-1
pre	(soft) init'ed(lines[...])
post	return_value != null

method	void populatePerform()
pre	this.target != null
pre	this.textarea != null
pre	(soft) init'ed(this.networkPerform)
pre	(soft) init'ed(this.serverPerform)
post	init'ed(this.isNetworkPerform)
test_vector	javax.swing.JComboBox:getSelectedIndex(...)@156: {-2³¹..-1, 1..2³²-1}, {0}

method	void storeText()
pre	init'ed(this.isNetworkPerform)
pre	this.textarea != null
post	possibly_updated(this.networkPerform)
post	possibly_updated(this.serverPerform)
test_vector	this.isNetworkPerform: {0}, {1}

method	void savePerforms()
pre	init'ed(this.networkAction)
pre	init'ed(this.networkPerform)
pre	init'ed(this.serverAction)
pre	init'ed(this.serverPerform)
pre	init'ed(this.isNetworkPerform)
pre	this.textarea != null
pre	(soft) this.server != null
presumption	com.dmdirc.actions.wrappers.PerformWrapper:createAc tionForNetwork(...)@188 != null
presumption	com.dmdirc.actions.wrappers.PerformWrapper:createAc tionForServer(...)@180 != null
presumption	com.dmdirc.actions.wrappers.PerformWrapper:getPerfo rmWrapper(...)@180 != null
presumption	com.dmdirc.actions.wrappers.PerformWrapper:getPerfo rmWrapper(...)@188 != null
post	init'ed(this.networkAction)
post	this.networkPerform != null
post	init'ed(this.serverAction)
post	this.serverPerform != null
unanalyzed	call on javax.swing.JTextArea:getText
test_vector	this.networkAction: Addr_Set{null}, Inverse{null}
test_vector	this.serverAction: Addr_Set{null}, Inverse{null}

Prev Msg Next Msg

null dereference

click for all messages in this file Medium Prob.

check that this.serverPerform != null

Prev Msg Next Msg

method not available - call not analyzed Info call on void com.dmdirc.actions.Action:setResponse( String[])

method not available - call not analyzed Info call on void com.dmdirc.actions.Action:save()

Prev Msg Next Msg

null dereference

click for all messages in this file Medium Prob.

check that this.networkPerform != null

Prev Msg Next Msg

method not available - call not analyzed Info call on PerformWrapper com.dmdirc.actions.wrappers. PerformWrapper:getPerformWrapper()

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

method not available - call not analyzed Info call on Action com.dmdirc.actions.wrappers. PerformWrapper:createActionForNetwork(String)

method not available - call not analyzed Info call on void com.dmdirc.actions.Action:setResponse( String[])

method not available - call not analyzed Info call on void com.dmdirc.actions.Action:save()

method	void actionPerformed(ActionEvent)
pre	init'ed(this.isNetworkPerform)
pre	this.target != null
pre	this.textarea != null
pre	(soft) init'ed(this.networkPerform)
pre	(soft) init'ed(this.serverPerform)
post	init'ed(this.isNetworkPerform)
post	init'ed(this.networkPerform)
post	init'ed(this.serverPerform)
unanalyzed	call on javax.swing.JComboBox:getSelectedIndex
unanalyzed	call on javax.swing.JTextArea:setText
unanalyzed	call on javax.swing.JTextArea:getText

	method not available - call not analyzed	Info	call on bool com.dmdirc.addons.ui_swing. UIUtilities:getTabbedPaneOpaque()
	method not available - call not analyzed	Info	call on void com.dmdirc.addons.ui_swing.dialogs. serversetting.PerformPanel:setOpaque(bool)

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

method not available - call not analyzed	Info	call on PerformWrapper com.dmdirc.actions.wrappers. PerformWrapper:getPerformWrapper()
method not available - call not analyzed	Info	call on String com.dmdirc.Server:getName()
method not available - call not analyzed	Info	call on Action com.dmdirc.actions.wrappers. PerformWrapper:getActionForServer(String)