Messages

Last Msg First Msg

method

com.dmdirc.installer.ui.InstallerDialog$1__static_ init

method

com.dmdirc.installer.ui.InstallerDialog__static_ init

method	void com.dmdirc.installer.ui.InstallerDialog(Strin g)
presumption	java.awt.Toolkit:getDefaultToolkit(...)@90 != null
presumption	java.lang.Thread:currentThread(...)@90 != null
presumption	java.lang.Thread:getContextClassLoader(...)@90 != null
post	this.control == &new WizardControlPanel(Install erDialog#3)
post	this.listeners == &new ListenerList(InstallerDi alog#4)
post	this.title == &new TitlePanel(InstallerDialog#1 )
post	this.wizard == &new WizardPanel(InstallerDialog #2)
post	new ArrayList(StepLayout#1) num objects == 1
post	new JButton(WizardControlPanel#1) num objects == 1
post	new JButton(WizardControlPanel#2) num objects == 1
post	new JLabel(TitlePanel#2) num objects == 1
post	new JLabel(TitlePanel#3) num objects == 1
post	new JLabel(WizardControlPanel#3) num objects == 1
post	new ListenerList(InstallerDialog#4) num objects == 1
post	new StepLayout(WizardPanel#1) num objects == 1
post	new TitlePanel(InstallerDialog#1) num objects == 1
post	new WizardControlPanel(InstallerDialog#3) num objects == 1
post	new WizardPanel(InstallerDialog#2) num objects == 1
post	init'ed(new StepLayout(WizardPanel#1).currentStep)
post	init'ed(new StepLayout(WizardPanel#1).hGap)
post	init'ed(new StepLayout(WizardPanel#1).parent)
post	new StepLayout(WizardPanel#1).steps == &new ArrayList(StepLayout#1)
post	init'ed(new StepLayout(WizardPanel#1).vGap)
post	this.title.image == &new JLabel(TitlePanel#3)
post	this.title.title == &new JLabel(TitlePanel#2)
post	this.control.next == &new JButton(WizardControl Panel#2)
post	this.control.prev == &new JButton(WizardControl Panel#1)
post	this.control.progress == &new JLabel(WizardCont rolPanel#3)
post	init'ed(this.control.step)
post	init'ed(this.control.total)
post	this.wizard.dialog == this
post	this.wizard.dialog != null
post	this.wizard.layout == &new StepLayout(WizardPan el#1)
unanalyzed	call on javax.swing.JLabel:setText
unanalyzed	call on javax.swing.JLabel:setIcon
unanalyzed	call on getStepDescription
unanalyzed	call on java.lang.String:equals
unanalyzed	call on getStepName
unanalyzed	call on getIcon
unanalyzed	call on javax.swing.ImageIcon
unanalyzed	call on java.awt.BorderLayout
unanalyzed	call on javax.swing.JPanel
unanalyzed	call on javax.swing.JLabel
unanalyzed	call on javax.swing.JLabel:getFont
unanalyzed	call on java.awt.Font:getSize
unanalyzed	call on java.awt.Font:deriveFont
unanalyzed	call on javax.swing.JLabel:setFont
unanalyzed	call on com.dmdirc.installer.ui.TitlePanel:add
unanalyzed	call on com.dmdirc.installer.ui.TitlePanel:setBackg round
unanalyzed	call on javax.swing.border.EtchedBorder
unanalyzed	call on com.dmdirc.installer.ui.TitlePanel:setBorde r
unanalyzed	call on java.util.ArrayList
unanalyzed	call on com.dmdirc.installer.ui.WizardPanel:setLayo ut
unanalyzed	call on javax.swing.JButton
unanalyzed	call on javax.swing.JButton:getFont
unanalyzed	call on java.awt.Dimension
unanalyzed	call on javax.swing.JButton:setPreferredSize
unanalyzed	call on com.dmdirc.installer.ui.WizardControlPanel: setBorder
unanalyzed	call on javax.swing.BoxLayout
unanalyzed	call on com.dmdirc.installer.ui.WizardControlPanel: setLayout
unanalyzed	call on com.dmdirc.installer.ui.WizardControlPanel: add
unanalyzed	call on javax.swing.Box:createHorizontalGlue
unanalyzed	call on javax.swing.Box:createHorizontalStrut
unanalyzed	call on java.awt.Toolkit:getDefaultToolkit
unanalyzed	call on java.lang.ClassLoader:getSystemResource
unanalyzed	call on java.awt.Toolkit:createImage

method not available - call not analyzed Info call on void com.dmdirc.util.ListenerList()

method not available - call not analyzed Info call on void com.dmdirc.installer.ui. InstallerDialog:setLayout(LayoutManager)

method not available - call not analyzed Info call on Border com.dmdirc.installer.ui. TitlePanel:getBorder()

method not available - call not analyzed Info call on void com.dmdirc.installer.ui. TitlePanel:setBorder(Border)

method not available - call not analyzed Info call on Border com.dmdirc.installer.ui. WizardPanel:getBorder()

method not available - call not analyzed Info call on void com.dmdirc.installer.ui. WizardPanel:setBorder(Border)

method not available - call not analyzed Info call on Border com.dmdirc.installer.ui. WizardControlPanel:getBorder()

method not available - call not analyzed Info call on void com.dmdirc.installer.ui. WizardControlPanel:setBorder(Border)

method not available - call not analyzed Info call on void com.dmdirc.installer.ui. InstallerDialog:add(Component, Object)

method not available - call not analyzed Info call on void com.dmdirc.installer.ui. InstallerDialog:setIconImage(Image)

method not available - call not analyzed Info call on void com.dmdirc.installer.ui. InstallerDialog:setPreferredSize(Dimension)

method not available - call not analyzed Info call on void com.dmdirc.installer.ui. InstallerDialog:setMaximumSize(Dimension)

method	void addStep(SwingStep)
pre	step != null
pre	this.wizard != null
unanalyzed	call on com.dmdirc.installer.ui.SwingStep:getStepNa me
unanalyzed	call on com.dmdirc.installer.ui.WizardPanel:add

method	void display()
pre	init'ed(this.control.step)
pre	init'ed(this.wizard.layout.currentStep)
pre	this.control != null
pre	this.control.progress != null
pre	this.listeners != null
pre	this.title != null
pre	this.title.image != null
pre	this.title.title != null
pre	this.wizard != null
pre	this.wizard.layout != null
pre	(soft) this.control.next != null
pre	(soft) this.control.prev != null
pre	(soft) this.wizard.layout.steps != null
post	this.control.step >= -2³¹+1
post	init'ed(this.control.total)
post	this.wizard.layout.currentStep <= 2³²-2
unanalyzed	call on java.util.List:get
unanalyzed	call on com.dmdirc.util.ListenerList:get
unanalyzed	call on java.util.List:iterator
unanalyzed	call on stepAboutToDisplay
unanalyzed	call on java.util.List:size
unanalyzed	call on java.awt.Container:getTreeLock
unanalyzed	call on java.awt.Container:getComponentCount
unanalyzed	call on java.awt.Container:getComponent
unanalyzed	call on java.awt.Component:isVisible
unanalyzed	call on java.awt.Component:setVisible
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.awt.Container:validate
unanalyzed	call on javax.swing.JLabel:setText
unanalyzed	call on javax.swing.JLabel:setIcon
unanalyzed	call on getStepDescription
unanalyzed	call on java.lang.String:equals
unanalyzed	call on getStepName
unanalyzed	call on getIcon
unanalyzed	call on javax.swing.ImageIcon
unanalyzed	call on javax.swing.JButton:setText
unanalyzed	call on javax.swing.JButton:setEnabled
unanalyzed	call on showFirst
unanalyzed	call on java.awt.event.WindowAdapter
unanalyzed	call on java.awt.MouseInfo:getPointerInfo
unanalyzed	call on java.awt.PointerInfo:getDevice
unanalyzed	call on java.awt.GraphicsDevice:getDefaultConfigura tion
unanalyzed	call on java.awt.GraphicsConfiguration:getBounds
unanalyzed	call on java.awt.Window:getWidth
unanalyzed	call on java.awt.Window:getHeight
unanalyzed	call on java.awt.Window:setLocation
unanalyzed	call on java.awt.Toolkit:getDefaultToolkit
unanalyzed	call on java.lang.ClassLoader:getSystemResource
unanalyzed	call on java.awt.Toolkit:createImage

Prev Msg Next Msg

precondition failure

click for all messages in this file Low Prob.

com/dmdirc/installer/ui/WizardControlPanel. setProgress: step <= 2³²-2

Prev Msg Next Msg

method

void com.dmdirc.installer.ui.InstallerDialog$1(Ins tallerDialog)

method not available - call not analyzed Info call on void com.dmdirc.installer.ui. InstallerDialog:addWindowListener(WindowListener)

method	void windowClosing(WindowEvent)
pre	this.listeners != null
unanalyzed	call on com.dmdirc.util.ListenerList:get
unanalyzed	call on java.util.List:iterator
unanalyzed	call on wizardCancelled

method not available - call not analyzed Info call on void com.dmdirc.installer.ui. InstallerDialog:pack()

method not available - call not analyzed Info call on void com.dmdirc.installer.ui. InstallerDialog:setDefaultCloseOperation(int)

method not available - call not analyzed Info call on void com.dmdirc.installer.ui. InstallerDialog:setVisible(bool)

method	void display(List)
pre	init'ed(this.control.step)
pre	init'ed(this.wizard.layout.currentStep)
pre	steps != null
pre	this.control != null
pre	this.control.progress != null
pre	this.listeners != null
pre	this.title != null
pre	this.title.image != null
pre	this.title.title != null
pre	this.wizard != null
pre	this.wizard.layout != null
pre	(soft) this.control.next != null
pre	(soft) this.control.prev != null
pre	(soft) this.wizard.layout.steps != null
post	this.control.step >= -2³¹+1
post	init'ed(this.control.total)
post	this.wizard.layout.currentStep <= 2³²-2
unanalyzed	call on java.util.List:get
unanalyzed	call on com.dmdirc.util.ListenerList:get
unanalyzed	call on java.util.List:iterator
unanalyzed	call on stepAboutToDisplay
unanalyzed	call on java.util.List:size
unanalyzed	call on java.awt.Container:getTreeLock
unanalyzed	call on java.awt.Container:getComponentCount
unanalyzed	call on java.awt.Container:getComponent
unanalyzed	call on java.awt.Component:isVisible
unanalyzed	call on java.awt.Component:setVisible
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.awt.Container:validate
unanalyzed	call on javax.swing.JLabel:setText
unanalyzed	call on javax.swing.JLabel:setIcon
unanalyzed	call on getStepDescription
unanalyzed	call on java.lang.String:equals
unanalyzed	call on getStepName
unanalyzed	call on getIcon
unanalyzed	call on javax.swing.ImageIcon
unanalyzed	call on javax.swing.JButton:setText
unanalyzed	call on javax.swing.JButton:setEnabled
unanalyzed	call on showFirst
unanalyzed	call on java.awt.event.WindowAdapter
unanalyzed	call on com.dmdirc.installer.ui.InstallerDialog:add WindowListener
unanalyzed	call on com.dmdirc.installer.ui.InstallerDialog:pac k
unanalyzed	call on com.dmdirc.installer.ui.InstallerDialog:set DefaultCloseOperation
unanalyzed	call on java.awt.MouseInfo:getPointerInfo
unanalyzed	call on java.awt.PointerInfo:getDevice
unanalyzed	call on java.awt.GraphicsDevice:getDefaultConfigura tion
unanalyzed	call on java.awt.GraphicsConfiguration:getBounds
unanalyzed	call on java.awt.Window:getWidth
unanalyzed	call on java.awt.Window:getHeight
unanalyzed	call on java.awt.Window:setLocation
unanalyzed	call on com.dmdirc.installer.ui.InstallerDialog:set Visible
unanalyzed	call on java.awt.Toolkit:getDefaultToolkit
unanalyzed	call on java.lang.ClassLoader:getSystemResource
unanalyzed	call on java.awt.Toolkit:createImage
test_vector	java.util.Iterator:hasNext(...)@140: {0}, {1}

method	void enableNextStep(bool)
pre	this.control != null
pre	this.control.next != null

method	void enablePreviousStep(bool)
pre	this.control != null
pre	this.control.prev != null

method	bool showCancelConfirmation()
post	init'ed(return_value)

method	Step getStep(int)
pre	this.wizard != null
pre	this.wizard.layout != null
pre	this.wizard.layout.steps != null
post	init'ed(return_value)
unanalyzed	call on java.util.List:get

method	Step getStep(String)
pre	this.wizard != null
pre	this.wizard.layout != null
pre	this.wizard.layout.steps != null
pre	(soft) name != null
post	init'ed(return_value)
unanalyzed	call on com.dmdirc.installer.ui.SwingStep:getStepNa me
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.lang.String:equals

method	Step getCurrentStep()
pre	this.wizard != null
pre	this.wizard.layout != null
pre	init'ed(this.wizard.layout.currentStep)
pre	this.wizard.layout.steps != null
post	init'ed(return_value)
unanalyzed	call on java.util.List:get

method	int getCurrentStepIndex()
pre	this.wizard != null
pre	this.wizard.layout != null
pre	init'ed(this.wizard.layout.currentStep)
post	return_value == this.wizard.layout.currentStep
post	init'ed(return_value)

method	String getCurrentStepName()
pre	this.wizard != null
pre	this.wizard.layout != null
pre	init'ed(this.wizard.layout.currentStep)
pre	this.wizard.layout.steps != null
post	init'ed(return_value)
unanalyzed	call on java.util.List:get
unanalyzed	call on com.dmdirc.installer.ui.SwingStep:getStepNa me

method	void fireStepAboutToBeDisplayed(Step)
pre	this.listeners != null
presumption	com.dmdirc.util.ListenerList:get(...)@232 != null
presumption	java.util.Iterator:next(...)@232 != null
test_vector	java.util.Iterator:hasNext(...)@232: {0}, {1}

method not available - call not analyzed Info call on List com.dmdirc.util.ListenerList:get(Class )

method not available - call not analyzed Info call on void stepAboutToDisplay(Step)

method	void fireStepHidden(Step)
pre	this.listeners != null
presumption	com.dmdirc.util.ListenerList:get(...)@243 != null
presumption	java.util.Iterator:next(...)@243 != null
test_vector	java.util.Iterator:hasNext(...)@243: {0}, {1}

method not available - call not analyzed Info call on List com.dmdirc.util.ListenerList:get(Class )

method not available - call not analyzed Info call on void stepHidden(Step)

method	void addStepListener(StepListener)
pre	this.listeners != null

method not available - call not analyzed Info call on void com.dmdirc.util.ListenerList:add(Class , Object)

method	void removeStepListener(StepListener)
pre	this.listeners != null

method not available - call not analyzed Info call on void com.dmdirc.util.ListenerList:remove(Cl ass, Object)

method	void fireWizardCancelled()
pre	this.listeners != null
presumption	com.dmdirc.util.ListenerList:get(...)@271 != null
presumption	java.util.Iterator:next(...)@271 != null
test_vector	java.util.Iterator:hasNext(...)@271: {0}, {1}

method not available - call not analyzed Info call on List com.dmdirc.util.ListenerList:get(Class )

method not available - call not analyzed Info call on void wizardCancelled()

method	void fireWizardFinished()
pre	this.listeners != null
presumption	com.dmdirc.util.ListenerList:get(...)@280 != null
presumption	java.util.Iterator:next(...)@280 != null
test_vector	java.util.Iterator:hasNext(...)@280: {0}, {1}

method not available - call not analyzed Info call on List com.dmdirc.util.ListenerList:get(Class )

method not available - call not analyzed Info call on void wizardFinished()

method	void addWizardListener(WizardListener)
pre	this.listeners != null

method not available - call not analyzed Info call on void com.dmdirc.util.ListenerList:add(Class , Object)

method	void removeWizardListener(WizardListener)
pre	this.listeners != null

method not available - call not analyzed Info call on void com.dmdirc.util.ListenerList:remove(Cl ass, Object)

method

void initUISettings()

method	void actionPerformed(ActionEvent)
pre	e != null
pre	this.control != null
pre	this.wizard != null
pre	this.wizard.layout != null
pre	(soft) this.wizard.layout.currentStep in {-2³¹+1..2³²-2}
pre	(soft) this.control.next != null
pre	(soft) this.control.prev != null
pre	(soft) this.control.progress != null
pre	(soft) init'ed(this.control.total)
pre	(soft) this.listeners != null
pre	(soft) this.title != null
pre	(soft) this.title.image != null
pre	(soft) this.title.title != null
pre	(soft) this.wizard.layout.steps != null
post	possibly_updated(this.control.step)
post	this.wizard.layout.currentStep <= 2³²-2
unanalyzed	call on java.util.List:get
unanalyzed	call on com.dmdirc.util.ListenerList:get
unanalyzed	call on java.util.List:iterator
unanalyzed	call on stepHidden
unanalyzed	call on stepAboutToDisplay
unanalyzed	call on java.util.List:size
unanalyzed	call on java.awt.Container:getTreeLock
unanalyzed	call on java.awt.Container:getComponentCount
unanalyzed	call on java.awt.Container:getComponent
unanalyzed	call on java.awt.Component:isVisible
unanalyzed	call on java.awt.Component:setVisible
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.awt.Container:validate
unanalyzed	call on javax.swing.JLabel:setText
unanalyzed	call on javax.swing.JLabel:setIcon
unanalyzed	call on getStepDescription
unanalyzed	call on java.lang.String:equals
unanalyzed	call on getStepName
unanalyzed	call on getIcon
unanalyzed	call on javax.swing.ImageIcon
unanalyzed	call on javax.swing.JButton:setText
unanalyzed	call on javax.swing.JButton:setEnabled
unanalyzed	call on wizardFinished
unanalyzed	call on java.awt.Toolkit:getDefaultToolkit
unanalyzed	call on java.lang.ClassLoader:getSystemResource
unanalyzed	call on java.awt.Toolkit:createImage
test_vector	java.lang.String:equals(...)@342: {0}, {1}

method not available - call not analyzed Info call on void com.dmdirc.installer.ui. InstallerDialog:dispose()

Prev Msg Next Msg

precondition failure

click for all messages in this file Low Prob.

com/dmdirc/installer/ui/WizardControlPanel. setProgress: step <= 2³²-2

Prev Msg Next Msg

	method not available - call not analyzed	Info	call on Border com.dmdirc.installer.ui. TitlePanel:getBorder()
	method not available - call not analyzed	Info	call on void com.dmdirc.installer.ui. TitlePanel:setBorder(Border)