Messages

method

com.dmdirc.addons.ui_swing.components. URLProtocolPanel__static_init

method	void com.dmdirc.addons.ui_swing.components. URLProtocolPanel(URI, bool)
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	init'ed(this.uri)
post	this.useInsets == useInsets
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
unanalyzed	call on java.awt.event.ActionEvent:getSource
unanalyzed	call on javax.swing.JFileChooser
unanalyzed	call on javax.swing.filechooser.FileFilter
unanalyzed	call on javax.swing.JFileChooser:addChoosableFileFi lter
unanalyzed	call on javax.swing.JFileChooser:setFileSelectionMo de
unanalyzed	call on javax.swing.JFileChooser:showDialog
unanalyzed	call on javax.swing.JFileChooser:getSelectedFile
unanalyzed	call on java.io.File:toString
unanalyzed	call on javax.swing.JTextField:setText
unanalyzed	call on javax.swing.JRadioButton:isSelected
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.url. URLSubsitutionsPanel:setVisible
unanalyzed	call on javax.swing.ButtonGroup:getSelection
unanalyzed	call on javax.swing.JRadioButton:getModel
unanalyzed	call on javax.swing.JTextField:setEnabled
unanalyzed	call on javax.swing.JButton:setEnabled
unanalyzed	call on javax.swing.JLabel:setEnabled
unanalyzed	call on com.dmdirc.addons.ui_swing.components. URLProtocolPanel:validate
unanalyzed	call on javax.swing.JPanel:setEnabled
unanalyzed	call on javax.swing.ButtonGroup:getElements
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.JTextField:getText
unanalyzed	call on net.miginfocom.swing.MigLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.components. URLProtocolPanel:setLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.components. URLProtocolPanel:add
unanalyzed	call on javax.swing.JButton:addActionListener
unanalyzed	call on javax.swing.JRadioButton:addActionListener
unanalyzed	call on javax.swing.JTextField:getDocument
unanalyzed	call on javax.swing.text.Document:addDocumentListen er
unanalyzed	call on java.net.URI:getScheme
unanalyzed	call on com.dmdirc.config.IdentityManager:getGlobal Config
unanalyzed	call on com.dmdirc.config.ConfigManager:hasOptionSt ring
unanalyzed	call on com.dmdirc.config.ConfigManager:getOption
unanalyzed	call on java.lang.String:equals
unanalyzed	call on javax.swing.ButtonGroup:setSelected
unanalyzed	call on javax.swing.ButtonGroup:clearSelection
unanalyzed	call on updateExample
unanalyzed	call on javax.swing.JLabel:setText
unanalyzed	call on com.dmdirc.util.URLHandler:getURLHander
unanalyzed	call on com.dmdirc.util.URLHandler:substituteParams
unanalyzed	call on javax.swing.JButton
unanalyzed	call on javax.swing.JTextField
unanalyzed	call on javax.swing.ButtonGroup
unanalyzed	call on javax.swing.JRadioButton
unanalyzed	call on javax.swing.JLabel
unanalyzed	call on javax.swing.ButtonGroup:add
unanalyzed	call on java.util.Arrays:asList
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.url. URLSubsitutionsPanel

method	void initComponents()
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	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
unanalyzed	call on java.awt.event.ActionEvent:getSource
unanalyzed	call on javax.swing.JFileChooser
unanalyzed	call on javax.swing.filechooser.FileFilter
unanalyzed	call on javax.swing.JFileChooser:addChoosableFileFi lter
unanalyzed	call on javax.swing.JFileChooser:setFileSelectionMo de
unanalyzed	call on javax.swing.JFileChooser:showDialog
unanalyzed	call on javax.swing.JFileChooser:getSelectedFile
unanalyzed	call on java.io.File:toString
unanalyzed	call on javax.swing.JTextField:setText
unanalyzed	call on javax.swing.JRadioButton:isSelected
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.url. URLSubsitutionsPanel:setVisible
unanalyzed	call on javax.swing.ButtonGroup:getSelection
unanalyzed	call on javax.swing.JRadioButton:getModel
unanalyzed	call on javax.swing.JTextField:setEnabled
unanalyzed	call on javax.swing.JButton:setEnabled
unanalyzed	call on javax.swing.JLabel:setEnabled
unanalyzed	call on com.dmdirc.addons.ui_swing.components. URLProtocolPanel:validate
unanalyzed	call on javax.swing.JPanel:setEnabled
unanalyzed	call on javax.swing.ButtonGroup:getElements
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.JTextField:getText
unanalyzed	call on java.net.URI:getScheme
unanalyzed	call on com.dmdirc.config.IdentityManager:getGlobal Config
unanalyzed	call on com.dmdirc.config.ConfigManager:hasOptionSt ring
unanalyzed	call on com.dmdirc.config.ConfigManager:getOption
unanalyzed	call on java.lang.String:equals
unanalyzed	call on javax.swing.ButtonGroup:setSelected
unanalyzed	call on javax.swing.ButtonGroup:clearSelection
unanalyzed	call on updateExample
unanalyzed	call on javax.swing.JLabel:setText
unanalyzed	call on com.dmdirc.util.URLHandler:getURLHander
unanalyzed	call on com.dmdirc.util.URLHandler:substituteParams

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. url.URLSubsitutionsPanel(List)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. url.URLSubsitutionsPanel:setVisible(bool)

method	void layoutComponents()
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}

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.components. URLProtocolPanel:setLayout(LayoutManager)

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

method	void addListeners()
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

method	void save()
pre	this.dmdirc != null
pre	this.optionType != null
pre	this.uri != null
pre	(soft) this.browser != null
pre	(soft) this.commandPath != null
pre	(soft) this.custom != null
pre	(soft) this.mail != 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

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

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

method	String getSelection()
pre	this.dmdirc != null
pre	this.optionType != null
pre	(soft) this.browser != null
pre	(soft) this.commandPath != null
pre	(soft) this.custom != null
pre	(soft) this.mail != null
post	init'ed(return_value)

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

method not available - call not analyzed Info call on URLHandler com.dmdirc.util.URLHandler:getUR LHander()

method not available - call not analyzed Info call on String com.dmdirc.util.URLHandler:substitut eParams(URI, String)

method	void updateSelection()
pre	this.optionType != null
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
presumption	com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@207 != null
presumption	com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@209 != null
unanalyzed	call on java.awt.event.ActionEvent:getSource
unanalyzed	call on javax.swing.JFileChooser
unanalyzed	call on javax.swing.filechooser.FileFilter
unanalyzed	call on javax.swing.JFileChooser:addChoosableFileFi lter
unanalyzed	call on javax.swing.JFileChooser:setFileSelectionMo de
unanalyzed	call on javax.swing.JFileChooser:showDialog
unanalyzed	call on javax.swing.JFileChooser:getSelectedFile
unanalyzed	call on java.io.File:toString
unanalyzed	call on javax.swing.JTextField:setText
unanalyzed	call on javax.swing.JRadioButton:isSelected
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.url. URLSubsitutionsPanel:setVisible
unanalyzed	call on javax.swing.ButtonGroup:getSelection
unanalyzed	call on javax.swing.JRadioButton:getModel
unanalyzed	call on javax.swing.JTextField:setEnabled
unanalyzed	call on javax.swing.JButton:setEnabled
unanalyzed	call on javax.swing.JLabel:setEnabled
unanalyzed	call on com.dmdirc.addons.ui_swing.components. URLProtocolPanel:validate
unanalyzed	call on javax.swing.JPanel:setEnabled
unanalyzed	call on javax.swing.ButtonGroup:getElements
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.JTextField:getText
unanalyzed	call on javax.swing.JLabel:setText
unanalyzed	call on com.dmdirc.util.URLHandler:getURLHander
unanalyzed	call on com.dmdirc.util.URLHandler:substituteParams
test_vector	this.uri: Addr_Set{null}, Inverse{null}
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}

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

method not available - call not analyzed Info call on bool com.dmdirc.config.ConfigManager:hasOpt ionString(String, String)

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

method not available - call not analyzed Info call on String com.dmdirc.config.ConfigManager:getO ption(String, String)

method	void setEnabled(bool)
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}

method	void actionPerformed(ActionEvent)
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}

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. url.URLSubsitutionsPanel:setVisible(bool)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. URLProtocolPanel:validate()

method	void insertUpdate(DocumentEvent)
pre	this.exampleLabel != null
pre	(soft) this.commandPath != null
pre	(soft) this.optionType != null
unanalyzed	call on javax.swing.JPanel:setEnabled
unanalyzed	call on javax.swing.ButtonGroup:getElements
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.JTextField:getText
unanalyzed	call on javax.swing.JLabel:setText
unanalyzed	call on com.dmdirc.util.URLHandler:getURLHander
unanalyzed	call on com.dmdirc.util.URLHandler:substituteParams

method	void removeUpdate(DocumentEvent)
pre	this.exampleLabel != null
pre	(soft) this.commandPath != null
pre	(soft) this.optionType != null
unanalyzed	call on javax.swing.JPanel:setEnabled
unanalyzed	call on javax.swing.ButtonGroup:getElements
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.JTextField:getText
unanalyzed	call on javax.swing.JLabel:setText
unanalyzed	call on com.dmdirc.util.URLHandler:getURLHander
unanalyzed	call on com.dmdirc.util.URLHandler:substituteParams

method

void changedUpdate(DocumentEvent)

	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.components. URLProtocolPanel: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 void com.dmdirc.config.Identity:setOption(S tring, String, String)

	method not available - call not analyzed	Info	call on URLHandler com.dmdirc.util.URLHandler:getUR LHander()
	method not available - call not analyzed	Info	call on String com.dmdirc.util.URLHandler:substitut eParams(URI, String)

	method not available - call not analyzed	Info	call on ConfigManager com.dmdirc.config. IdentityManager:getGlobalConfig()
	method not available - call not analyzed	Info	call on bool com.dmdirc.config.ConfigManager:hasOpt ionString(String, String)