NickColourInputDialog.java

NickColourInputDialog.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	(soft) init'ed(this.isnew)
pre	(soft) init'ed(this.nicklistColour.value)
pre	(soft) init'ed(this.row)
pre	(soft) init'ed(this.textColour.value)
pre	(soft) this.network != null
pre	(soft) this.nicklistColour != null
pre	(soft) this.nickname != null
pre	(soft) this.panel != null
pre	(soft) this.panel.table != null
pre	(soft) this.textColour != null
pre	e != null
pre	init'ed(this.okButton)
unanalyzed	call on java.lang.String:toLowerCase
unanalyzed	call on javax.swing.JTable:getModel
unanalyzed	call on javax.swing.JTextField:getText
unanalyzed	call on javax.swing.table.DefaultTableModel:addRow
unanalyzed	call on javax.swing.table.DefaultTableModel:removeR ow

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

Kind	Annotation Text
post	init'ed(new ColourChooser(initComponents#5). window)
post	init'ed(new ColourChooser(initComponents#6). window)
post	init'ed(this.panel)
post	new ColourChooser(initComponents#5) num objects == 1
post	new ColourChooser(initComponents#5).command == &""
post	new ColourChooser(initComponents#5).editButton == &new JButton(ColourChooser#2)
post	new ColourChooser(initComponents#5).listeners == &new EventListenerList(ColourChooser#1)
post	new ColourChooser(initComponents#5).previewPanel == &new JPanel(ColourChooser#5)
post	new ColourChooser(initComponents#5).showHex == 1
post	new ColourChooser(initComponents#5).showIRC == 1
post	new ColourChooser(initComponents#5).value == &""
post	new ColourChooser(initComponents#6) num objects == 1
post	new ColourChooser(initComponents#6).command == &""
post	new ColourChooser(initComponents#6).editButton == &new JButton(ColourChooser#2)
post	new ColourChooser(initComponents#6).listeners == &new EventListenerList(ColourChooser#1)
post	new ColourChooser(initComponents#6).previewPanel == &new JPanel(ColourChooser#5)
post	new ColourChooser(initComponents#6).showHex == 1
post	new ColourChooser(initComponents#6).showIRC == 1
post	new ColourChooser(initComponents#6).value == &""
post	new EventListenerList(ColourChooser#1) num objects == 1
post	new JButton(ColourChooser#2) num objects == 1
post	new JButton(initComponents#1) num objects == 1
post	new JButton(initComponents#2) num objects == 1
post	new JPanel(ColourChooser#5) num objects == 1
post	new JTextField(initComponents#3) num objects == 1
post	new JTextField(initComponents#4) num objects == 1
post	this.cancelButton == One-of{&new JButton(initComponents#2), &new JButton(initComponents#1)}
post	this.cancelButton in Addr_Set{&new JButton(initComponents#1),&new JButton(initComponents#2)}
post	this.isnew == 1
post	this.network == &new JTextField(initComponents# 4)
post	this.nicklistColour == &new ColourChooser(initC omponents#6)
post	this.nickname == &new JTextField(initComponents #3)
post	this.okButton == One-of{&new JButton(initCompon ents#1), &new JButton(initComponents#2)}
post	this.okButton in Addr_Set{&new JButton(initComp onents#1),&new JButton(initComponents#2)}
post	this.panel == panel
post	this.row == -1
post	this.textColour == &new ColourChooser(initCompo nents#5)
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

void com.dmdirc.addons.nickcolours.NickColourInputDialog(NickColourPanel, int, String, String, String, String)

Kind	Annotation Text
presumption	com.dmdirc.Main:getUI(...)@83 != null
presumption	com.dmdirc.Main:getUI(...)@96 != null
post	init'ed(new ColourChooser(initComponents#5).value)
post	init'ed(new ColourChooser(initComponents#5). window)
post	init'ed(new ColourChooser(initComponents#6).value)
post	init'ed(new ColourChooser(initComponents#6). window)
post	init'ed(this.panel)
post	init'ed(this.row)
post	new ColourChooser(initComponents#5) num objects == 1
post	new ColourChooser(initComponents#5).command == &""
post	new ColourChooser(initComponents#5).editButton == &new JButton(ColourChooser#2)
post	new ColourChooser(initComponents#5).listeners == &new EventListenerList(ColourChooser#1)
post	new ColourChooser(initComponents#5).previewPanel == &new JPanel(ColourChooser#5)
post	new ColourChooser(initComponents#5).showHex == 1
post	new ColourChooser(initComponents#5).showIRC == 1
post	new ColourChooser(initComponents#5).value == textcolour
post	new ColourChooser(initComponents#6) num objects == 1
post	new ColourChooser(initComponents#6).command == &""
post	new ColourChooser(initComponents#6).editButton == &new JButton(ColourChooser#2)
post	new ColourChooser(initComponents#6).listeners == &new EventListenerList(ColourChooser#1)
post	new ColourChooser(initComponents#6).previewPanel == &new JPanel(ColourChooser#5)
post	new ColourChooser(initComponents#6).showHex == 1
post	new ColourChooser(initComponents#6).showIRC == 1
post	new ColourChooser(initComponents#6).value == nickcolour
post	new EventListenerList(ColourChooser#1) num objects == 1
post	new JButton(ColourChooser#2) num objects == 1
post	new JButton(initComponents#1) num objects == 1
post	new JButton(initComponents#2) num objects == 1
post	new JPanel(ColourChooser#5) num objects == 1
post	new JTextField(initComponents#3) num objects == 1
post	new JTextField(initComponents#4) num objects == 1
post	this.cancelButton == One-of{&new JButton(initComponents#2), &new JButton(initComponents#1)}
post	this.cancelButton in Addr_Set{&new JButton(initComponents#1),&new JButton(initComponents#2)}
post	this.network == &new JTextField(initComponents# 4)
post	this.nicklistColour == &new ColourChooser(initC omponents#6)
post	this.nickname == &new JTextField(initComponents #3)
post	this.okButton == One-of{&new JButton(initCompon ents#1), &new JButton(initComponents#2)}
post	this.okButton in Addr_Set{&new JButton(initComp onents#1),&new JButton(initComponents#2)}
post	this.panel == panel
post	this.row == row
post	this.textColour == &new ColourChooser(initCompo nents#5)
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:setLayout
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:setIconImages
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

com.dmdirc.addons.nickcolours.NickColourInputDialog__static_init

Kind	Annotation Text

void initComponents(String, String, String, String)

Kind	Annotation Text
post	init'ed(this.nicklistColour.value)
post	init'ed(this.textColour.value)
post	new ColourChooser(initComponents#5) num objects == 1
post	new ColourChooser(initComponents#6) num objects == 1
post	new EventListenerList(ColourChooser#1) num objects == 1
post	new JButton(ColourChooser#2) num objects == 1
post	new JButton(initComponents#1) num objects == 1
post	new JButton(initComponents#2) num objects == 1
post	new JPanel(ColourChooser#5) num objects == 1
post	new JTextField(initComponents#3) num objects == 1
post	new JTextField(initComponents#4) num objects == 1
post	this.cancelButton == One-of{&new JButton(initComponents#2), &new JButton(initComponents#1)}
post	this.cancelButton in Addr_Set{&new JButton(initComponents#1),&new JButton(initComponents#2)}
post	this.network == &new JTextField(initComponents# 4)
post	this.nicklistColour == &new ColourChooser(initC omponents#6)
post	this.nicklistColour.command == &""
post	this.nicklistColour.editButton == &new JButton(ColourChooser#2)
post	this.nicklistColour.listeners == &new EventListenerList(ColourChooser#1)
post	this.nicklistColour.previewPanel == &new JPanel(ColourChooser#5)
post	this.nicklistColour.showHex == 1
post	this.nicklistColour.showIRC == 1
post	this.nicklistColour.value == defaultNickColour
post	this.nicklistColour.window == null
post	this.nickname == &new JTextField(initComponents #3)
post	this.okButton == One-of{&new JButton(initCompon ents#1), &new JButton(initComponents#2)}
post	this.okButton in Addr_Set{&new JButton(initComp onents#1),&new JButton(initComponents#2)}
post	this.textColour == &new ColourChooser(initCompo nents#5)
post	this.textColour.command == &""
post	this.textColour.editButton == &new JButton(ColourChooser#2)
post	this.textColour.listeners == &new EventListenerList(ColourChooser#1)
post	this.textColour.previewPanel == &new JPanel(ColourChooser#5)
post	this.textColour.showHex == 1
post	this.textColour.showIRC == 1
post	this.textColour.value == defaultTextColour
post	this.textColour.window == null
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.ui.messages.ColourManager:getCol our
unanalyzed	call on com.dmdirc.ui.messages.ColourManager:parseC olour
unanalyzed	call on isWindowsUI
unanalyzed	call on java.awt.Dimension
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.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.UIManager:getLookAndFeel
unanalyzed	call on javax.swing.event.EventListenerList
unanalyzed	call on net.miginfocom.swing.MigLayout

void initListeners()

Kind	Annotation Text
pre	this.cancelButton != null
pre	this.okButton != null

void layoutComponents()

Kind	Annotation Text
pre	(soft) init'ed(this.cancelButton)
pre	(soft) init'ed(this.okButton)
pre	init'ed(this.network)
pre	init'ed(this.nicklistColour)
pre	init'ed(this.nickname)
pre	init'ed(this.textColour)
unanalyzed	call on java.lang.String:startsWith
unanalyzed	call on java.lang.String:toLowerCase
unanalyzed	call on java.lang.System:getProperty

void saveSettings()

Kind	Annotation Text
pre	(soft) init'ed(this.row)
pre	init'ed(this.isnew)
pre	init'ed(this.nicklistColour.value)
pre	init'ed(this.textColour.value)
pre	this.network != null
pre	this.nicklistColour != null
pre	this.nickname != null
pre	this.panel != null
pre	this.panel.table != null
pre	this.textColour != null
presumption	javax.swing.JTextField:getText(...)@173 != null
presumption	javax.swing.JTextField:getText(...)@174 != null
unanalyzed	call on javax.swing.JTable:getModel
unanalyzed	call on javax.swing.table.DefaultTableModel:addRow
unanalyzed	call on javax.swing.table.DefaultTableModel:removeR ow
test_vector	this.isnew: {1}, {0}