URLDialog.java

URLDialog.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(me)
pre	(soft) init'ed(this.url)
pre	(soft) this.panel != null
pre	e != null
presumption	com.dmdirc.util.URLHandler:getURLHander(...)@147 != null
post	init'ed(me)
post	me == One-of{old me, null}
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardDialog:dispose
unanalyzed	call on java.lang.Throwable:__curr_excep_obj

void addListeners()

Kind	Annotation Text
presumption	com.dmdirc.addons.ui_swing.dialogs.url. URLDialog:getCancelButton(...)@134 != null
presumption	com.dmdirc.addons.ui_swing.dialogs.url. URLDialog:getOkButton(...)@133 != null

void com.dmdirc.addons.ui_swing.dialogs.url.URLDialog(URI, Window)

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

com.dmdirc.addons.ui_swing.dialogs.url.URLDialog__static_init

Kind	Annotation Text

void dispose()

Kind	Annotation Text
pre	init'ed(me)
post	me == null
test_vector	me: Inverse{null}, Addr_Set{null}

URLDialog getURLDialog(URI, Window)

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

void initComponents()

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

void layoutComponents()

Kind	Annotation Text
pre	init'ed(this.blurb)
pre	init'ed(this.panel)

void showURLDialog(URI, Window)

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

void validate()

Kind	Annotation Text
pre	init'ed(this.parentWindow)