Messages

Last Msg First Msg

method

com.dmdirc.addons.nickcolours.NickColourPanel$1__ static_init

method	com.dmdirc.addons.nickcolours.NickColourPanel__ static_init
post	headers == &new String[](NickColourPanel__ static_init#1)
post	new String[](NickColourPanel__static_init#1) num objects == 1
post	headers.length == 4
post	headers[0] == &"Network"
post	headers[1] == &"Nickname"
post	headers[2] == &"Text colour"
post	headers[3] == &"Nicklist colour"

method	void com.dmdirc.addons.nickcolours. NickColourPanel(NickColourPlugin)
pre	plugin != null
presumption	init'ed(com.dmdirc.addons.ui_swing.dialogs.prefs. SwingPreferencesDialog.CLIENT_HEIGHT)
post	this.plugin == plugin
post	this.plugin != null
post	this.table == &new NickColourPanel$1(NickColour Panel#1)
post	new ColourRenderer(NickColourPanel$1#1) num objects == 1
post	new NickColourPanel$1(NickColourPanel#1) num objects == 1
post	this.table.colourRenderer == &new ColourRenderer(NickColourPanel$1#1)
unanalyzed	call on com.dmdirc.config.IdentityManager:getGlobal Config
unanalyzed	call on com.dmdirc.addons.nickcolours. NickColourPlugin:getDomain
unanalyzed	call on com.dmdirc.config.ConfigManager:getOption
unanalyzed	call on java.lang.String:split
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.util.ArrayList
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptions
unanalyzed	call on java.util.Map:keySet
unanalyzed	call on java.util.Set:iterator
unanalyzed	call on java.lang.String:startsWith
unanalyzed	call on java.lang.String:indexOf
unanalyzed	call on java.lang.String:substring
unanalyzed	call on java.util.List:add
unanalyzed	call on java.util.List:size
unanalyzed	call on javax.swing.JTable
unanalyzed	call on javax.swing.table.DefaultTableCellRenderer
unanalyzed	call on com.dmdirc.addons.nickcolours. ColourRenderer:setOpaque

method	void com.dmdirc.addons.nickcolours. NickColourPanel$1(NickColourPanel, TableModel)
post	this.colourRenderer == &new ColourRenderer(Nick ColourPanel$1#1)
post	new ColourRenderer(NickColourPanel$1#1) num objects == 1
unanalyzed	call on javax.swing.table.DefaultTableCellRenderer
unanalyzed	call on com.dmdirc.addons.nickcolours. ColourRenderer:setOpaque

method	TableCellRenderer getCellRenderer(int, int)
post	init'ed(return_value)
test_vector	column: {2}, {-2³¹..1, 4..2³²-1}, {3}

method	bool isCellEditable(int, int)
post	return_value == 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.nickcolours. NickColourPanel:setLayout(LayoutManager)

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

method	void actionPerformed(ActionEvent)
pre	e != null
pre	this.table != null
presumption	java.awt.event.ActionEvent:getActionCommand(... )@138 != null
presumption	java.awt.event.ActionEvent:getActionCommand(... )@140 != null
presumption	java.awt.event.ActionEvent:getActionCommand(... )@159 != null
presumption	javax.swing.JTable:getModel(...)@136 != null
unanalyzed	call on javax.swing.JButton
unanalyzed	call on orderButtons
unanalyzed	call on javax.swing.JTextField
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on com.dmdirc.ui.messages.ColourManager:getCol our
unanalyzed	call on javax.swing.JPanel:setBackground
unanalyzed	call on javax.swing.JPanel:setToolTipText
unanalyzed	call on com.dmdirc.ui.messages.ColourManager:parseC olour
unanalyzed	call on javax.swing.JPanel
unanalyzed	call on javax.swing.event.EventListenerList
unanalyzed	call on isWindowsUI
unanalyzed	call on java.awt.Insets
unanalyzed	call on javax.swing.JButton:setMargin
unanalyzed	call on javax.swing.JButton:addActionListener
unanalyzed	call on java.awt.Dimension
unanalyzed	call on javax.swing.JPanel:setPreferredSize
unanalyzed	call on javax.swing.BorderFactory:createLineBorder
unanalyzed	call on javax.swing.JPanel:setBorder
unanalyzed	call on net.miginfocom.swing.MigLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ColourChooser:setLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ColourChooser:add
unanalyzed	call on getOkButton
unanalyzed	call on getCancelButton
unanalyzed	call on com.dmdirc.addons.nickcolours. NickColourInputDialog:setLayout
unanalyzed	call on javax.swing.JLabel
unanalyzed	call on com.dmdirc.addons.nickcolours. NickColourInputDialog:add
unanalyzed	call on getLeftButton
unanalyzed	call on getRightButton
unanalyzed	call on com.dmdirc.addons.nickcolours. NickColourInputDialog:pack
unanalyzed	call on com.dmdirc.Main:getUI
unanalyzed	call on com.dmdirc.ui.interfaces.UIController:getMa inWindow
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardDialog
unanalyzed	call on com.dmdirc.addons.nickcolours. NickColourInputDialog:setDefaultCloseOperation
unanalyzed	call on com.dmdirc.addons.nickcolours. NickColourInputDialog:setTitle
unanalyzed	call on com.dmdirc.addons.nickcolours. NickColourInputDialog:setLocationRelativeTo
unanalyzed	call on com.dmdirc.addons.nickcolours. NickColourInputDialog:setVisible
unanalyzed	call on javax.swing.JButton:setText
unanalyzed	call on javax.swing.JButton:setDefaultCapable
unanalyzed	call on java.lang.System:getProperty
unanalyzed	call on java.lang.String:toLowerCase
unanalyzed	call on java.lang.String:startsWith
unanalyzed	call on javax.swing.JButton:setPreferredSize
unanalyzed	call on javax.swing.JButton:setMinimumSize
unanalyzed	call on javax.swing.UIManager:getLookAndFeel
unanalyzed	call on java.lang.Object:getClass
unanalyzed	call on java.lang.Class:getName
unanalyzed	call on java.lang.String:equals
unanalyzed	call on javax.swing.JDialog
unanalyzed	call on java.awt.Frame:getIconImages
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardDialog:setIconImages
test_vector	java.lang.String:equals(...)@138: {0}, {1}
test_vector	java.lang.String:equals(...)@140: {0}, {1}
test_vector	java.lang.String:equals(...)@159: {0}, {1}
test_vector	javax.swing.JTable:getSelectedRow(...)@160: {-2³¹..-1}, {0..2³²-1}
test_vector	javax.swing.table.DefaultTableModel:getValueAt(... )@146: Inverse{null}, Addr_Set{null}
test_vector	javax.swing.table.DefaultTableModel:getValueAt(... )@147: Inverse{null}, Addr_Set{null}

method	void removeRow(int)
pre	this.table != null
presumption	javax.swing.JTable:getModel(...)@174 != null

method	void addRow(String, String, String, String)
pre	this.table != null
presumption	javax.swing.JTable:getModel(...)@187 != null

method	List getData()
pre	this.table != null
presumption	java.util.Iterator:next(...)@200 != null
presumption	javax.swing.JTable:getModel(...)@198 != null
presumption	javax.swing.table.DefaultTableModel:getDataVector(. ..)@200 != null
post	return_value == &new ArrayList(getData#1)
post	new ArrayList(getData#1) num objects == 1
test_vector	java.util.Iterator:hasNext(...)@200: {0}, {1}

method	void save()
pre	this.plugin != null
pre	this.table != null
presumption	arr$[i$] != null
presumption	com.dmdirc.config.IdentityManager:getConfigIdentity (...)@215 != null
presumption	com.dmdirc.config.IdentityManager:getConfigIdentity (...)@221 != null
presumption	java.util.Iterator:next(...)@220 != null
presumption	parts.length >= 2
presumption	row.length@220 >= 4
unanalyzed	call on com.dmdirc.config.IdentityManager:getGlobal Config
unanalyzed	call on com.dmdirc.addons.nickcolours. NickColourPlugin:getDomain
unanalyzed	call on com.dmdirc.config.ConfigManager:getOption
unanalyzed	call on java.lang.String:split
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.util.ArrayList
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptions
unanalyzed	call on java.util.Map:keySet
unanalyzed	call on java.util.Set:iterator
unanalyzed	call on java.lang.String:startsWith
unanalyzed	call on java.lang.String:indexOf
unanalyzed	call on java.lang.String:substring
unanalyzed	call on java.util.List:add
unanalyzed	call on java.util.List:size
unanalyzed	call on javax.swing.JTable:getModel
unanalyzed	call on javax.swing.table.DefaultTableModel:getData Vector
unanalyzed	call on java.util.Vector:iterator
unanalyzed	call on java.util.Vector:elementAt
test_vector	java.util.Iterator:hasNext(...)@220: {0}, {1}

Prev Msg Next Msg

null dereference

click for all messages in this file Medium Prob.

check that parts != null

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

method not available - call not analyzed Info call on String com.dmdirc.addons.nickcolours. NickColourPlugin:getDomain()

method not available - call not analyzed Info call on void com.dmdirc.config.Identity:unsetOption (String, String)

Prev Msg Next Msg

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

method not available - call not analyzed Info call on String com.dmdirc.addons.nickcolours. NickColourPlugin:getDomain()

method not available - call not analyzed Info call on void com.dmdirc.config.Identity:setOption(S tring, String, String)

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

method not available - call not analyzed	Info	call on Identity com.dmdirc.config.IdentityManager: getConfigIdentity()
method not available - call not analyzed	Info	call on String com.dmdirc.addons.nickcolours. NickColourPlugin:getDomain()
method not available - call not analyzed	Info	call on void com.dmdirc.config.Identity:setOption(S tring, String, String)