URLProtocolPanel.java

URLProtocolPanel.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) this.commandPath != null
pre	(soft) this.custom != null
pre	(soft) this.exampleLabel != null
pre	(soft) this.optionType != null
pre	(soft) this.showFileChooser != null
pre	(soft) this.subsLabel != null
pre	(soft) this.subsPanel != null
presumption	javax.swing.JFileChooser:getSelectedFile(...)@255 != null
unanalyzed	call on javax.swing.filechooser.FileFilter
test_vector	e: Addr_Set{null}, Inverse{null}
test_vector	javax.swing.JFileChooser:showDialog(...)@253: {-2³¹..-1, 1..2³²-1}, {0}

void addListeners()

Kind	Annotation Text
pre	this.browser != null
pre	this.commandPath != null
pre	this.custom != null
pre	this.dmdirc != null
pre	this.mail != null
pre	this.showFileChooser != null
presumption	javax.swing.JTextField:getDocument(...)@159 != null

void changedUpdate(DocumentEvent)

Kind	Annotation Text

void com.dmdirc.addons.ui_swing.components.URLProtocolPanel(URI, bool)

Kind	Annotation Text
post	init'ed(this.uri)
post	init'ed(this.useInsets)
post	new ButtonGroup(initComponents#3) num objects == 1
post	new JButton(initComponents#1) num objects == 1
post	new JLabel(initComponents#8) num objects == 1
post	new JLabel(initComponents#9) num objects == 1
post	new JRadioButton(initComponents#4) num objects == 1
post	new JRadioButton(initComponents#5) num objects == 1
post	new JRadioButton(initComponents#6) num objects == 1
post	new JRadioButton(initComponents#7) num objects == 1
post	new JTextField(initComponents#2) num objects == 1
post	new URLSubsitutionsPanel(initComponents#10) num objects == 1
post	this.browser == &new JRadioButton(initComponent s#5)
post	this.commandPath == &new JTextField(initCompone nts#2)
post	this.custom == &new JRadioButton(initComponents #7)
post	this.dmdirc == &new JRadioButton(initComponents #4)
post	this.exampleLabel == &new JLabel(initComponents #9)
post	this.mail == &new JRadioButton(initComponents#6 )
post	this.optionType == &new ButtonGroup(initCompone nts#3)
post	this.showFileChooser == &new JButton(initCompon ents#1)
post	this.subsLabel == &new JLabel(initComponents#8)
post	this.subsPanel == &new URLSubsitutionsPanel(ini tComponents#10)
post	this.uri == url
post	this.useInsets == useInsets
unanalyzed	call on com.dmdirc.addons.ui_swing.components. URLProtocolPanel:add
unanalyzed	call on com.dmdirc.addons.ui_swing.components. URLProtocolPanel:setLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.components. URLProtocolPanel:validate
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.url. URLSubsitutionsPanel
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.url. URLSubsitutionsPanel:setVisible
unanalyzed	call on com.dmdirc.config.ConfigManager:getOption
unanalyzed	call on com.dmdirc.config.ConfigManager:hasOptionSt ring
unanalyzed	call on com.dmdirc.config.IdentityManager:getGlobal Config
unanalyzed	call on com.dmdirc.util.URLHandler:getURLHander
unanalyzed	call on com.dmdirc.util.URLHandler:substituteParams
unanalyzed	call on java.awt.event.ActionEvent:getSource
unanalyzed	call on java.io.File:toString
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.net.URI:getScheme
unanalyzed	call on java.util.Arrays:asList
unanalyzed	call on java.util.Enumeration:hasMoreElements
unanalyzed	call on java.util.Enumeration:nextElement
unanalyzed	call on javax.swing.AbstractButton:setEnabled
unanalyzed	call on javax.swing.ButtonGroup
unanalyzed	call on javax.swing.ButtonGroup:add
unanalyzed	call on javax.swing.ButtonGroup:clearSelection
unanalyzed	call on javax.swing.ButtonGroup:getElements
unanalyzed	call on javax.swing.ButtonGroup:getSelection
unanalyzed	call on javax.swing.ButtonGroup:setSelected
unanalyzed	call on javax.swing.JButton
unanalyzed	call on javax.swing.JButton:addActionListener
unanalyzed	call on javax.swing.JButton:setEnabled
unanalyzed	call on javax.swing.JFileChooser
unanalyzed	call on javax.swing.JFileChooser:addChoosableFileFi lter
unanalyzed	call on javax.swing.JFileChooser:getSelectedFile
unanalyzed	call on javax.swing.JFileChooser:setFileSelectionMo de
unanalyzed	call on javax.swing.JFileChooser:showDialog
unanalyzed	call on javax.swing.JLabel
unanalyzed	call on javax.swing.JLabel:setEnabled
unanalyzed	call on javax.swing.JLabel:setText
unanalyzed	call on javax.swing.JPanel:setEnabled
unanalyzed	call on javax.swing.JRadioButton
unanalyzed	call on javax.swing.JRadioButton:addActionListener
unanalyzed	call on javax.swing.JRadioButton:getModel
unanalyzed	call on javax.swing.JRadioButton:isSelected
unanalyzed	call on javax.swing.JTextField
unanalyzed	call on javax.swing.JTextField:getDocument
unanalyzed	call on javax.swing.JTextField:getText
unanalyzed	call on javax.swing.JTextField:setEnabled
unanalyzed	call on javax.swing.JTextField:setText
unanalyzed	call on javax.swing.filechooser.FileFilter
unanalyzed	call on javax.swing.text.Document:addDocumentListen er
unanalyzed	call on net.miginfocom.swing.MigLayout
unanalyzed	call on updateExample

com.dmdirc.addons.ui_swing.components.URLProtocolPanel__static_init

Kind	Annotation Text

String getSelection()

Kind	Annotation Text
pre	(soft) this.browser != null
pre	(soft) this.commandPath != null
pre	(soft) this.custom != null
pre	(soft) this.mail != null
pre	this.dmdirc != null
pre	this.optionType != null
post	init'ed(return_value)

void initComponents()

Kind	Annotation Text
post	new ButtonGroup(initComponents#3) num objects == 1
post	new JButton(initComponents#1) num objects == 1
post	new JLabel(initComponents#8) num objects == 1
post	new JLabel(initComponents#9) num objects == 1
post	new JRadioButton(initComponents#4) num objects == 1
post	new JRadioButton(initComponents#5) num objects == 1
post	new JRadioButton(initComponents#6) num objects == 1
post	new JRadioButton(initComponents#7) num objects == 1
post	new JTextField(initComponents#2) num objects == 1
post	new URLSubsitutionsPanel(initComponents#10) num objects == 1
post	this.browser == &new JRadioButton(initComponent s#5)
post	this.commandPath == &new JTextField(initCompone nts#2)
post	this.custom == &new JRadioButton(initComponents #7)
post	this.dmdirc == &new JRadioButton(initComponents #4)
post	this.exampleLabel == &new JLabel(initComponents #9)
post	this.mail == &new JRadioButton(initComponents#6 )
post	this.optionType == &new ButtonGroup(initCompone nts#3)
post	this.showFileChooser == &new JButton(initCompon ents#1)
post	this.subsLabel == &new JLabel(initComponents#8)
post	this.subsPanel == &new URLSubsitutionsPanel(ini tComponents#10)
unanalyzed	call on com.dmdirc.addons.ui_swing.components. URLProtocolPanel:validate
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.url. URLSubsitutionsPanel:setVisible
unanalyzed	call on com.dmdirc.config.ConfigManager:getOption
unanalyzed	call on com.dmdirc.config.ConfigManager:hasOptionSt ring
unanalyzed	call on com.dmdirc.config.IdentityManager:getGlobal Config
unanalyzed	call on com.dmdirc.util.URLHandler:getURLHander
unanalyzed	call on com.dmdirc.util.URLHandler:substituteParams
unanalyzed	call on java.awt.event.ActionEvent:getSource
unanalyzed	call on java.io.File:toString
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.net.URI:getScheme
unanalyzed	call on java.util.Enumeration:hasMoreElements
unanalyzed	call on java.util.Enumeration:nextElement
unanalyzed	call on javax.swing.AbstractButton:setEnabled
unanalyzed	call on javax.swing.ButtonGroup:clearSelection
unanalyzed	call on javax.swing.ButtonGroup:getElements
unanalyzed	call on javax.swing.ButtonGroup:getSelection
unanalyzed	call on javax.swing.ButtonGroup:setSelected
unanalyzed	call on javax.swing.JButton:setEnabled
unanalyzed	call on javax.swing.JFileChooser
unanalyzed	call on javax.swing.JFileChooser:addChoosableFileFi lter
unanalyzed	call on javax.swing.JFileChooser:getSelectedFile
unanalyzed	call on javax.swing.JFileChooser:setFileSelectionMo de
unanalyzed	call on javax.swing.JFileChooser:showDialog
unanalyzed	call on javax.swing.JLabel:setEnabled
unanalyzed	call on javax.swing.JLabel:setText
unanalyzed	call on javax.swing.JPanel:setEnabled
unanalyzed	call on javax.swing.JRadioButton:getModel
unanalyzed	call on javax.swing.JRadioButton:isSelected
unanalyzed	call on javax.swing.JTextField:getText
unanalyzed	call on javax.swing.JTextField:setEnabled
unanalyzed	call on javax.swing.JTextField:setText
unanalyzed	call on javax.swing.filechooser.FileFilter
unanalyzed	call on updateExample

void insertUpdate(DocumentEvent)

Kind	Annotation Text
pre	(soft) this.commandPath != null
pre	(soft) this.optionType != null
pre	this.exampleLabel != null
unanalyzed	call on com.dmdirc.util.URLHandler:getURLHander
unanalyzed	call on com.dmdirc.util.URLHandler:substituteParams
unanalyzed	call on java.util.Enumeration:hasMoreElements
unanalyzed	call on java.util.Enumeration:nextElement
unanalyzed	call on javax.swing.AbstractButton:setEnabled
unanalyzed	call on javax.swing.ButtonGroup:getElements
unanalyzed	call on javax.swing.JLabel:setText
unanalyzed	call on javax.swing.JPanel:setEnabled
unanalyzed	call on javax.swing.JTextField:getText

void layoutComponents()

Kind	Annotation Text
pre	init'ed(this.browser)
pre	init'ed(this.commandPath)
pre	init'ed(this.custom)
pre	init'ed(this.dmdirc)
pre	init'ed(this.exampleLabel)
pre	init'ed(this.mail)
pre	init'ed(this.showFileChooser)
pre	init'ed(this.subsLabel)
pre	init'ed(this.subsPanel)
test_vector	this.useInsets: {0}, {1}

void removeUpdate(DocumentEvent)

Kind	Annotation Text
pre	(soft) this.commandPath != null
pre	(soft) this.optionType != null
pre	this.exampleLabel != null
unanalyzed	call on com.dmdirc.util.URLHandler:getURLHander
unanalyzed	call on com.dmdirc.util.URLHandler:substituteParams
unanalyzed	call on java.util.Enumeration:hasMoreElements
unanalyzed	call on java.util.Enumeration:nextElement
unanalyzed	call on javax.swing.AbstractButton:setEnabled
unanalyzed	call on javax.swing.ButtonGroup:getElements
unanalyzed	call on javax.swing.JLabel:setText
unanalyzed	call on javax.swing.JPanel:setEnabled
unanalyzed	call on javax.swing.JTextField:getText

void save()

Kind	Annotation Text
pre	(soft) this.browser != null
pre	(soft) this.commandPath != null
pre	(soft) this.custom != null
pre	(soft) this.mail != null
pre	this.dmdirc != null
pre	this.optionType != null
pre	this.uri != null
presumption	com.dmdirc.config.IdentityManager:getConfigIdentity (...)@164 != null
unanalyzed	call on javax.swing.ButtonGroup:getSelection
unanalyzed	call on javax.swing.JRadioButton:getModel
unanalyzed	call on javax.swing.JTextField:getText

void setEnabled(bool)

Kind	Annotation Text
pre	this.optionType != null
presumption	java.util.Enumeration:nextElement(...)@238 != null
presumption	javax.swing.ButtonGroup:getElements(...)@236 != null
test_vector	java.util.Enumeration:hasMoreElements(...)@237: {0}, {1}

void updateExample()

Kind	Annotation Text
pre	(soft) this.commandPath != null
pre	(soft) this.optionType != null
pre	this.exampleLabel != null
presumption	com.dmdirc.util.URLHandler:getURLHander(...)@198 != null
unanalyzed	call on java.util.Enumeration:hasMoreElements
unanalyzed	call on java.util.Enumeration:nextElement
unanalyzed	call on javax.swing.AbstractButton:setEnabled
unanalyzed	call on javax.swing.ButtonGroup:getElements
unanalyzed	call on javax.swing.JPanel:setEnabled
test_vector	this.uri: Inverse{null}, Addr_Set{null}

void updateSelection()

Kind	Annotation Text
pre	(soft) this.browser != null
pre	(soft) this.commandPath != null
pre	(soft) this.custom != null
pre	(soft) this.dmdirc != null
pre	(soft) this.exampleLabel != null
pre	(soft) this.mail != null
pre	(soft) this.showFileChooser != null
pre	(soft) this.subsLabel != null
pre	(soft) this.subsPanel != null
pre	this.optionType != null
presumption	com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@207 != null
presumption	com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@209 != null
unanalyzed	call on com.dmdirc.addons.ui_swing.components. URLProtocolPanel:validate
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.url. URLSubsitutionsPanel:setVisible
unanalyzed	call on com.dmdirc.util.URLHandler:getURLHander
unanalyzed	call on com.dmdirc.util.URLHandler:substituteParams
unanalyzed	call on java.awt.event.ActionEvent:getSource
unanalyzed	call on java.io.File:toString
unanalyzed	call on java.util.Enumeration:hasMoreElements
unanalyzed	call on java.util.Enumeration:nextElement
unanalyzed	call on javax.swing.AbstractButton:setEnabled
unanalyzed	call on javax.swing.ButtonGroup:getElements
unanalyzed	call on javax.swing.ButtonGroup:getSelection
unanalyzed	call on javax.swing.JButton:setEnabled
unanalyzed	call on javax.swing.JFileChooser
unanalyzed	call on javax.swing.JFileChooser:addChoosableFileFi lter
unanalyzed	call on javax.swing.JFileChooser:getSelectedFile
unanalyzed	call on javax.swing.JFileChooser:setFileSelectionMo de
unanalyzed	call on javax.swing.JFileChooser:showDialog
unanalyzed	call on javax.swing.JLabel:setEnabled
unanalyzed	call on javax.swing.JLabel:setText
unanalyzed	call on javax.swing.JPanel:setEnabled
unanalyzed	call on javax.swing.JRadioButton:getModel
unanalyzed	call on javax.swing.JRadioButton:isSelected
unanalyzed	call on javax.swing.JTextField:getText
unanalyzed	call on javax.swing.JTextField:setEnabled
unanalyzed	call on javax.swing.JTextField:setText
unanalyzed	call on javax.swing.filechooser.FileFilter
test_vector	com.dmdirc.config.ConfigManager:hasOptionString(... )@207: {0}, {1}
test_vector	java.lang.String:equals(...)@213: {0}, {1}
test_vector	java.lang.String:equals(...)@215: {0}, {1}
test_vector	java.lang.String:equals(...)@217: {0}, {1}
test_vector	this.uri: Addr_Set{null}, Inverse{null}