Messages

method

com.dmdirc.addons.ui_swing.dialogs.url.URLDialog__ static_init

method	void com.dmdirc.addons.ui_swing.dialogs.url. URLDialog(URI, Window)
pre	url != null
presumption	init'ed(java.awt.Dialog$ModalityType.MODELESS)
post	this.blurb == &new TextLabel(initComponents#3)
post	this.panel == &new URLProtocolPanel(initCompone nts#5)
post	this.parentWindow == parentWindow
post	init'ed(this.parentWindow)
post	this.url == url
post	this.url != null
post	new TextLabel(initComponents#3) num objects == 1
post	new URLProtocolPanel(initComponents#5) num objects == 1
unanalyzed	call on javax.swing.JButton
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.url. URLDialog:orderButtons
unanalyzed	call on java.net.URI:getScheme
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel
unanalyzed	call on com.dmdirc.addons.ui_swing.components. URLProtocolPanel
unanalyzed	call on net.miginfocom.swing.MigLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.url. URLDialog:setLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.url. URLDialog:add
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.url. URLDialog:getLeftButton
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.url. URLDialog:getRightButton
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.url. URLDialog:getOkButton
unanalyzed	call on javax.swing.JButton:addActionListener
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.url. URLDialog:getCancelButton

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. StandardDialog(Window, Dialog$ModalityType)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. url.URLDialog:setTitle(String)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. url.URLDialog:pack()

method	void showURLDialog(URI, Window)
pre	init'ed(me)
pre	(soft) url != null
post	me == One-of{old me, &new URLDialog(getURLDialo g#1)}
post	me != null
post	new TextLabel(initComponents#3) num objects <= 1
post	new URLDialog(getURLDialog#1) num objects == new TextLabel(initComponents#3) num objects
post	new URLProtocolPanel(initComponents#5) num objects == new TextLabel(initComponents#3) num objects
post	new URLDialog(getURLDialog#1).blurb == &new TextLabel(initComponents#3)
post	new URLDialog(getURLDialog#1).panel == &new URLProtocolPanel(initComponents#5)
post	new URLDialog(getURLDialog#1).parentWindow == parentWindow
post	init'ed(new URLDialog(getURLDialog#1). parentWindow)
post	new URLDialog(getURLDialog#1).url == url
post	new URLDialog(getURLDialog#1).url != null
unanalyzed	call on javax.swing.JButton
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.url. URLDialog:orderButtons
unanalyzed	call on java.net.URI:getScheme
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel
unanalyzed	call on com.dmdirc.addons.ui_swing.components. URLProtocolPanel
unanalyzed	call on net.miginfocom.swing.MigLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.url. URLDialog:setLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.url. URLDialog:add
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.url. URLDialog:getLeftButton
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.url. URLDialog:getRightButton
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.url. URLDialog:getOkButton
unanalyzed	call on javax.swing.JButton:addActionListener
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.url. URLDialog:getCancelButton
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardDialog
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.url. URLDialog:setTitle
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.url. URLDialog:pack
unanalyzed	call on java.lang.Throwable:__curr_excep_obj

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. url.URLDialog:setLocationRelativeTo(Component)

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

method not available - call not analyzed Info call on bool com.dmdirc.addons.ui_swing.dialogs. url.URLDialog:requestFocusInWindow()

method	URLDialog getURLDialog(URI, Window)
pre	init'ed(me)
pre	(soft) url != null
post	me == One-of{old me, &new URLDialog(getURLDialo g#1)}
post	me != null
post	return_value == One-of{old me, &new URLDialog(getURLDialog#1)}
post	return_value != null
post	new TextLabel(initComponents#3) num objects <= 1
post	new URLDialog(getURLDialog#1) num objects <= 1
post	new URLDialog(getURLDialog#1).blurb == &new TextLabel(initComponents#3)
post	new URLDialog(getURLDialog#1).panel == &new URLProtocolPanel(initComponents#5)
post	new URLDialog(getURLDialog#1).parentWindow == parentWindow
post	init'ed(new URLDialog(getURLDialog#1). parentWindow)
post	new URLDialog(getURLDialog#1).url == url
post	new URLDialog(getURLDialog#1).url != null
post	new URLProtocolPanel(initComponents#5) num objects <= 1
unanalyzed	call on javax.swing.JButton
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.url. URLDialog:orderButtons
unanalyzed	call on java.net.URI:getScheme
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel
unanalyzed	call on com.dmdirc.addons.ui_swing.components. URLProtocolPanel
unanalyzed	call on net.miginfocom.swing.MigLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.url. URLDialog:setLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.url. URLDialog:add
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.url. URLDialog:getLeftButton
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.url. URLDialog:getRightButton
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.url. URLDialog:getOkButton
unanalyzed	call on javax.swing.JButton:addActionListener
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.url. URLDialog:getCancelButton
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardDialog
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.url. URLDialog:setTitle
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.url. URLDialog:pack

method	void initComponents()
pre	this.url != null
post	this.blurb == &new TextLabel(initComponents#3)
post	this.panel == &new URLProtocolPanel(initCompone nts#5)
post	new TextLabel(initComponents#3) num objects == 1
post	new URLProtocolPanel(initComponents#5) num objects == 1

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. url.URLDialog:orderButtons(JButton, JButton)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. text.TextLabel(String)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. URLProtocolPanel(URI, bool)

method	void layoutComponents()
pre	init'ed(this.blurb)
pre	init'ed(this.panel)

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.dialogs. url.URLDialog:setLayout(LayoutManager)

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

method not available - call not analyzed Info call on JButton com.dmdirc.addons.ui_swing.dialogs. url.URLDialog:getLeftButton()

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

method not available - call not analyzed Info call on JButton com.dmdirc.addons.ui_swing.dialogs. url.URLDialog:getRightButton()

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

method	void addListeners()
presumption	com.dmdirc.addons.ui_swing.dialogs.url. URLDialog:getCancelButton(...)@134 != null
presumption	com.dmdirc.addons.ui_swing.dialogs.url. URLDialog:getOkButton(...)@133 != null

method not available - call not analyzed Info call on JButton com.dmdirc.addons.ui_swing.dialogs. url.URLDialog:getOkButton()

method not available - call not analyzed Info call on JButton com.dmdirc.addons.ui_swing.dialogs. url.URLDialog:getCancelButton()

method	void actionPerformed(ActionEvent)
pre	e != null
pre	(soft) init'ed(me)
pre	(soft) this.panel != null
pre	(soft) init'ed(this.url)
presumption	com.dmdirc.util.URLHandler:getURLHander(...)@147 != null
post	me == One-of{old me, null}
post	init'ed(me)
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardDialog:dispose

method not available - call not analyzed Info call on JButton com.dmdirc.addons.ui_swing.dialogs. url.URLDialog:getOkButton()

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

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 void com.dmdirc.util.URLHandler:launchApp(U RI)

method not available - call not analyzed Info call on JButton com.dmdirc.addons.ui_swing.dialogs. url.URLDialog:getCancelButton()

method	void validate()
pre	init'ed(this.parentWindow)

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

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. url.URLDialog:setLocationRelativeTo(Component)

method	void dispose()
pre	init'ed(me)
post	me == null
test_vector	me: Inverse{null}, Addr_Set{null}

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

	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.dialogs. url.URLDialog:setLayout(LayoutManager)

	method not available - call not analyzed	Info	call on JButton com.dmdirc.addons.ui_swing.dialogs. url.URLDialog:getLeftButton()
	method not available - call not analyzed	Info	call on void com.dmdirc.addons.ui_swing.dialogs. url.URLDialog:add(Component, Object)

	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 void com.dmdirc.util.URLHandler:launchApp(U RI)