NickColourPanel.java

NickColourPanel.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	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 com.dmdirc.Main:getUI
unanalyzed	call on com.dmdirc.addons.nickcolours. NickColourInputDialog:add
unanalyzed	call on com.dmdirc.addons.nickcolours. NickColourInputDialog:pack
unanalyzed	call on com.dmdirc.addons.nickcolours. NickColourInputDialog:setDefaultCloseOperation
unanalyzed	call on com.dmdirc.addons.nickcolours. NickColourInputDialog:setLayout
unanalyzed	call on com.dmdirc.addons.nickcolours. NickColourInputDialog:setLocationRelativeTo
unanalyzed	call on com.dmdirc.addons.nickcolours. NickColourInputDialog:setTitle
unanalyzed	call on com.dmdirc.addons.nickcolours. NickColourInputDialog:setVisible
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ColourChooser:add
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ColourChooser:setLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardDialog
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardDialog:setIconImages
unanalyzed	call on com.dmdirc.ui.interfaces.UIController:getMa inWindow
unanalyzed	call on com.dmdirc.ui.messages.ColourManager:getCol our
unanalyzed	call on com.dmdirc.ui.messages.ColourManager:parseC olour
unanalyzed	call on getCancelButton
unanalyzed	call on getLeftButton
unanalyzed	call on getOkButton
unanalyzed	call on getRightButton
unanalyzed	call on isWindowsUI
unanalyzed	call on java.awt.Dimension
unanalyzed	call on java.awt.Frame:getIconImages
unanalyzed	call on java.awt.Insets
unanalyzed	call on java.lang.Class:getName
unanalyzed	call on java.lang.Object:getClass
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on java.lang.String:startsWith
unanalyzed	call on java.lang.String:toLowerCase
unanalyzed	call on java.lang.System:getProperty
unanalyzed	call on javax.swing.BorderFactory:createLineBorder
unanalyzed	call on javax.swing.JButton
unanalyzed	call on javax.swing.JButton:addActionListener
unanalyzed	call on javax.swing.JButton:setDefaultCapable
unanalyzed	call on javax.swing.JButton:setMargin
unanalyzed	call on javax.swing.JButton:setMinimumSize
unanalyzed	call on javax.swing.JButton:setPreferredSize
unanalyzed	call on javax.swing.JButton:setText
unanalyzed	call on javax.swing.JDialog
unanalyzed	call on javax.swing.JLabel
unanalyzed	call on javax.swing.JPanel
unanalyzed	call on javax.swing.JPanel:setBackground
unanalyzed	call on javax.swing.JPanel:setBorder
unanalyzed	call on javax.swing.JPanel:setPreferredSize
unanalyzed	call on javax.swing.JPanel:setToolTipText
unanalyzed	call on javax.swing.JTextField
unanalyzed	call on javax.swing.UIManager:getLookAndFeel
unanalyzed	call on javax.swing.event.EventListenerList
unanalyzed	call on net.miginfocom.swing.MigLayout
unanalyzed	call on orderButtons
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}

void addRow(String, String, String, String)

Kind	Annotation Text
pre	this.table != null
presumption	javax.swing.JTable:getModel(...)@187 != null

void com.dmdirc.addons.nickcolours.NickColourPanel$1(NickColourPanel, TableModel)

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

com.dmdirc.addons.nickcolours.NickColourPanel$1__static_init

Kind	Annotation Text

void com.dmdirc.addons.nickcolours.NickColourPanel(NickColourPlugin)

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

com.dmdirc.addons.nickcolours.NickColourPanel__static_init

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

TableCellRenderer getCellRenderer(int, int)

Kind	Annotation Text
post	init'ed(return_value)
test_vector	column: {2}, {-2³¹..1, 4..2³²-1}, {3}

List getData()

Kind	Annotation Text
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	new ArrayList(getData#1) num objects == 1
post	return_value == &new ArrayList(getData#1)
test_vector	java.util.Iterator:hasNext(...)@200: {0}, {1}

bool isCellEditable(int, int)

Kind	Annotation Text
post	return_value == 0

void removeRow(int)

Kind	Annotation Text
pre	this.table != null
presumption	javax.swing.JTable:getModel(...)@174 != null

void save()

Kind	Annotation Text
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.addons.nickcolours. NickColourPlugin:getDomain
unanalyzed	call on com.dmdirc.config.ConfigManager:getOption
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptions
unanalyzed	call on com.dmdirc.config.IdentityManager:getGlobal Config
unanalyzed	call on java.lang.String:indexOf
unanalyzed	call on java.lang.String:split
unanalyzed	call on java.lang.String:startsWith
unanalyzed	call on java.lang.String:substring
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.List:add
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.util.List:size
unanalyzed	call on java.util.Map:keySet
unanalyzed	call on java.util.Set:iterator
unanalyzed	call on java.util.Vector:elementAt
unanalyzed	call on java.util.Vector:iterator
unanalyzed	call on javax.swing.JTable:getModel
unanalyzed	call on javax.swing.table.DefaultTableModel:getData Vector
test_vector	java.util.Iterator:hasNext(...)@220: {0}, {1}