Main.java

Main.java

current inspection = 2009-09-03 21:56:13 (id #1)

Filter Options

Annotation Kind:

pre

presumption

post

unanalyzed

test_vector

void com.dmdirc.installer.Main()

Kind	Annotation Text
pre	(soft) init'ed(com/dmdirc/installer/cliparser/CLIPa rser.me)
pre	(soft) init'ed(myInstaller)
pre	cli != null
pre	cli.params != null
presumption	getCLIParser(...).params != null
presumption	java.lang.System:getProperty(...)@68 != null
post	com/dmdirc/installer/cliparser/CLIParser.me == One-of{old com/dmdirc/installer/cliparser/CLIParse r.me, &new CLIParser(getCLIParser#1)}
post	init'ed(com/dmdirc/installer/cliparser/CLIParser. me)
post	init'ed(myInstaller)
post	init'ed(new CLIParser(getCLIParser#1).helpParam)
post	init'ed(new CLIParser(getCLIParser#1).paramList)
post	init'ed(new CLIParser(getCLIParser#1).params)
post	init'ed(new CLIParser(getCLIParser#1).redundant)
post	init'ed(wizardDialog.control.step)
post	init'ed(wizardDialog.control.total)
post	init'ed(wizardDialog.wizard.layout.currentStep)
post	init'ed(wizardDialog.wizard.layout.hGap)
post	init'ed(wizardDialog.wizard.layout.parent)
post	init'ed(wizardDialog.wizard.layout.vGap)
post	myInstaller == One-of{old myInstaller, &new WindowsInstaller(getInstaller#1), &new LinuxInstaller(getInstaller#2)}
post	new ArrayList(CLIParser#2) num objects <= 1
post	new ArrayList(CLIParser#3) num objects <= 1
post	new ArrayList(StepLayout#1) num objects == 1
post	new CLIParser(getCLIParser#1) num objects <= 1
post	new Hashtable(CLIParser#1) num objects <= 1
post	new InstallerDialog(Main#2) 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 LinuxInstaller(getInstaller#2) num objects == 0
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 WindowsInstaller(getInstaller#1) num objects == 0
post	new WizardControlPanel(InstallerDialog#3) num objects == 1
post	new WizardPanel(InstallerDialog#2) num objects == 1
post	wizardDialog == &new InstallerDialog(Main#2)
post	wizardDialog.control == &new WizardControlPanel (InstallerDialog#3)
post	wizardDialog.control.next == &new JButton(WizardControlPanel#2)
post	wizardDialog.control.prev == &new JButton(WizardControlPanel#1)
post	wizardDialog.control.progress == &new JLabel(WizardControlPanel#3)
post	wizardDialog.listeners == &new ListenerList(Ins tallerDialog#4)
post	wizardDialog.title == &new TitlePanel(Installer Dialog#1)
post	wizardDialog.title.image == &new JLabel(TitlePanel#3)
post	wizardDialog.title.title == &new JLabel(TitlePanel#2)
post	wizardDialog.wizard == &new WizardPanel(Install erDialog#2)
post	wizardDialog.wizard.dialog == &new InstallerDialog(Main#2)
post	wizardDialog.wizard.layout == &new StepLayout(WizardPanel#1)
post	wizardDialog.wizard.layout.steps == &new ArrayList(StepLayout#1)
unanalyzed	call on com.dmdirc.installer.DefaultSettings
unanalyzed	call on com.dmdirc.installer.DefaultSettings:getSho rtcutDesktopState
unanalyzed	call on com.dmdirc.installer.DefaultSettings:getSho rtcutMenuState
unanalyzed	call on com.dmdirc.installer.DefaultSettings:getSho rtcutProtocolState
unanalyzed	call on com.dmdirc.installer.DefaultSettings:getSho rtcutQuickState
unanalyzed	call on com.dmdirc.installer.Installer
unanalyzed	call on com.dmdirc.installer.Installer:defaultInsta llLocation
unanalyzed	call on com.dmdirc.installer.Installer:getMenuName
unanalyzed	call on com.dmdirc.installer.Installer:supportsShor tcut
unanalyzed	call on com.dmdirc.installer.LinuxInstaller
unanalyzed	call on com.dmdirc.installer.Main
unanalyzed	call on com.dmdirc.installer.ui.InstallerDialog:add
unanalyzed	call on com.dmdirc.installer.ui.InstallerDialog:set IconImage
unanalyzed	call on com.dmdirc.installer.ui.InstallerDialog:set Layout
unanalyzed	call on com.dmdirc.installer.ui.InstallerDialog:set MaximumSize
unanalyzed	call on com.dmdirc.installer.ui.InstallerDialog:set PreferredSize
unanalyzed	call on com.dmdirc.installer.ui.StepConfirm:add
unanalyzed	call on com.dmdirc.installer.ui.StepConfirm:setLayo ut
unanalyzed	call on com.dmdirc.installer.ui.StepError:add
unanalyzed	call on com.dmdirc.installer.ui.StepError:setLayout
unanalyzed	call on com.dmdirc.installer.ui.StepInstall:add
unanalyzed	call on com.dmdirc.installer.ui.StepInstall:setLayo ut
unanalyzed	call on com.dmdirc.installer.ui.StepSettings:add
unanalyzed	call on com.dmdirc.installer.ui.StepSettings:setLay out
unanalyzed	call on com.dmdirc.installer.ui.StepWelcome:add
unanalyzed	call on com.dmdirc.installer.ui.StepWelcome:setLayo ut
unanalyzed	call on com.dmdirc.installer.ui.SwingStep
unanalyzed	call on com.dmdirc.installer.ui.SwingStep:getStepNa me
unanalyzed	call on com.dmdirc.installer.ui.TextLabel:setEditab le
unanalyzed	call on com.dmdirc.installer.ui.TextLabel:setHighli ghter
unanalyzed	call on com.dmdirc.installer.ui.TextLabel:setMargin
unanalyzed	call on com.dmdirc.installer.ui.TextLabel:setOpaque
unanalyzed	call on com.dmdirc.installer.ui.TextLabel:setText
unanalyzed	call on com.dmdirc.installer.ui.TitlePanel:add
unanalyzed	call on com.dmdirc.installer.ui.TitlePanel:getBorde r
unanalyzed	call on com.dmdirc.installer.ui.TitlePanel:setBackg round
unanalyzed	call on com.dmdirc.installer.ui.TitlePanel:setBorde r
unanalyzed	call on com.dmdirc.installer.ui.WizardControlPanel: add
unanalyzed	call on com.dmdirc.installer.ui.WizardControlPanel: getBorder
unanalyzed	call on com.dmdirc.installer.ui.WizardControlPanel: setBorder
unanalyzed	call on com.dmdirc.installer.ui.WizardControlPanel: setLayout
unanalyzed	call on com.dmdirc.installer.ui.WizardPanel:add
unanalyzed	call on com.dmdirc.installer.ui.WizardPanel:getBord er
unanalyzed	call on com.dmdirc.installer.ui.WizardPanel:setBord er
unanalyzed	call on com.dmdirc.installer.ui.WizardPanel:setLayo ut
unanalyzed	call on com.dmdirc.util.ListenerList
unanalyzed	call on com.dmdirc.util.ListenerList:add
unanalyzed	call on getIcon
unanalyzed	call on getStepDescription
unanalyzed	call on getStepName
unanalyzed	call on java.awt.BorderLayout
unanalyzed	call on java.awt.Dimension
unanalyzed	call on java.awt.Font:deriveFont
unanalyzed	call on java.awt.Font:getSize
unanalyzed	call on java.awt.GridBagConstraints
unanalyzed	call on java.awt.GridBagLayout
unanalyzed	call on java.awt.Insets
unanalyzed	call on java.awt.Toolkit:createImage
unanalyzed	call on java.awt.Toolkit:getDefaultToolkit
unanalyzed	call on java.lang.Boolean:valueOf
unanalyzed	call on java.lang.ClassLoader:getResource
unanalyzed	call on java.lang.ClassLoader:getSystemResource
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.lang.String:startsWith
unanalyzed	call on java.lang.String:valueOf
unanalyzed	call on java.lang.System:getProperty
unanalyzed	call on java.lang.Thread:currentThread
unanalyzed	call on java.lang.Thread:getContextClassLoader
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.lang.UnsupportedOperationException
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.Hashtable
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
unanalyzed	call on javax.swing.BorderFactory:createCompoundBor der
unanalyzed	call on javax.swing.BorderFactory:createEmptyBorder
unanalyzed	call on javax.swing.Box:createHorizontalGlue
unanalyzed	call on javax.swing.Box:createHorizontalStrut
unanalyzed	call on javax.swing.Box:createVerticalGlue
unanalyzed	call on javax.swing.BoxLayout
unanalyzed	call on javax.swing.ImageIcon
unanalyzed	call on javax.swing.JButton
unanalyzed	call on javax.swing.JButton:addActionListener
unanalyzed	call on javax.swing.JButton:getFont
unanalyzed	call on javax.swing.JButton:setPreferredSize
unanalyzed	call on javax.swing.JCheckBox
unanalyzed	call on javax.swing.JCheckBox:setSelected
unanalyzed	call on javax.swing.JFrame
unanalyzed	call on javax.swing.JLabel
unanalyzed	call on javax.swing.JLabel:getFont
unanalyzed	call on javax.swing.JLabel:setFont
unanalyzed	call on javax.swing.JLabel:setIcon
unanalyzed	call on javax.swing.JLabel:setText
unanalyzed	call on javax.swing.JPanel
unanalyzed	call on javax.swing.JScrollPane
unanalyzed	call on javax.swing.JTextField
unanalyzed	call on javax.swing.JTextPane
unanalyzed	call on javax.swing.UIManager:getSystemLookAndFeelC lassName
unanalyzed	call on javax.swing.UIManager:put
unanalyzed	call on javax.swing.UIManager:setLookAndFeel
unanalyzed	call on javax.swing.border.EtchedBorder
unanalyzed	call on javax.swing.text.DefaultStyledDocument
test_vector	java.lang.String:startsWith(...)@70: {0}, {1}

com.dmdirc.installer.Main__static_init

Kind	Annotation Text
pre	init'ed(com/dmdirc/installer/cliparser/CLIParser. me)
post	cli != null
post	cli == One-of{old com/dmdirc/installer/cliparser/CL IParser.me, &new CLIParser(getCLIParser#1)}
post	com/dmdirc/installer/cliparser/CLIParser.me == cli
post	new ArrayList(CLIParser#2) num objects <= 1
post	new ArrayList(CLIParser#3) num objects == new ArrayList(CLIParser#2) num objects
post	new CLIParser(getCLIParser#1) num objects == new ArrayList(CLIParser#2) num objects
post	new CLIParser(getCLIParser#1).helpParam == null
post	new CLIParser(getCLIParser#1).paramList == &new ArrayList(CLIParser#2)
post	new CLIParser(getCLIParser#1).params == &new Hashtable(CLIParser#1)
post	new CLIParser(getCLIParser#1).redundant == &new ArrayList(CLIParser#3)
post	new Hashtable(CLIParser#1) num objects == new ArrayList(CLIParser#2) num objects
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.Hashtable

void disposeOfInstaller()

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

Installer getInstaller()

Kind	Annotation Text
pre	init'ed(myInstaller)
presumption	java.lang.System:getProperty(...)@101 != null
post	init'ed(myInstaller)
post	myInstaller == One-of{old myInstaller, &new WindowsInstaller(getInstaller#1), &new LinuxInstaller(getInstaller#2)}
post	new LinuxInstaller(getInstaller#2) num objects <= 1
post	new WindowsInstaller(getInstaller#1) num objects <= 1
post	return_value == myInstaller
unanalyzed	call on com.dmdirc.installer.Installer
test_vector	java.lang.String:startsWith(...)@104: {0}, {1}
test_vector	myInstaller: Inverse{null}, Addr_Set{null}

InstallerDialog getWizardFrame()

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

void main(String[])

Kind	Annotation Text
pre	args != null
pre	args.length <= 2³²-1
pre	args[...] != null
pre	cli != null
pre	cli.paramList != null
pre	cli.params != null
pre	cli.redundant != null
pre	init'ed(wizardDialog.control.step)
pre	init'ed(wizardDialog.wizard.layout.currentStep)
pre	wizardDialog != null
pre	wizardDialog.control != null
pre	wizardDialog.control.next != null
pre	wizardDialog.control.prev != null
pre	wizardDialog.control.progress != null
pre	wizardDialog.listeners != null
pre	wizardDialog.title != null
pre	wizardDialog.title.image != null
pre	wizardDialog.title.title != null
pre	wizardDialog.wizard != null
pre	wizardDialog.wizard.layout != null
pre	wizardDialog.wizard.layout.steps != null
presumption	cli.helpParam.stringFlag@165 != null
post	init'ed(cli.helpParam)
post	init'ed(java.lang.String:substring(...)._tainted)
post	init'ed(wizardDialog.control.total)
post	wizardDialog.control.step >= -2³¹+1
post	wizardDialog.wizard.layout.currentStep <= 2³²-2
unanalyzed	call on com.dmdirc.installer.Main
unanalyzed	call on com.dmdirc.installer.cliparser.CLIParam
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 com.dmdirc.installer.ui.InstallerDialog:set Visible
unanalyzed	call on com.dmdirc.util.ListenerList:get
unanalyzed	call on getIcon
unanalyzed	call on getStepDescription
unanalyzed	call on getStepName
unanalyzed	call on java.awt.Component:isVisible
unanalyzed	call on java.awt.Component:setVisible
unanalyzed	call on java.awt.Container:getComponent
unanalyzed	call on java.awt.Container:getComponentCount
unanalyzed	call on java.awt.Container:getTreeLock
unanalyzed	call on java.awt.Container:validate
unanalyzed	call on java.awt.GraphicsConfiguration:getBounds
unanalyzed	call on java.awt.GraphicsDevice:getDefaultConfigura tion
unanalyzed	call on java.awt.MouseInfo:getPointerInfo
unanalyzed	call on java.awt.PointerInfo:getDevice
unanalyzed	call on java.awt.Toolkit:createImage
unanalyzed	call on java.awt.Toolkit:getDefaultToolkit
unanalyzed	call on java.awt.Window:getHeight
unanalyzed	call on java.awt.Window:getWidth
unanalyzed	call on java.awt.Window:setLocation
unanalyzed	call on java.awt.event.WindowAdapter
unanalyzed	call on java.io.PrintStream:print
unanalyzed	call on java.io.PrintStream:println
unanalyzed	call on java.lang.Character:valueOf
unanalyzed	call on java.lang.ClassLoader:getSystemResource
unanalyzed	call on java.lang.Integer:parseInt
unanalyzed	call on java.lang.String:charAt
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.lang.String:equalsIgnoreCase
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.String:substring
unanalyzed	call on java.lang.String:valueOf
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.List:add
unanalyzed	call on java.util.List:clear
unanalyzed	call on java.util.List:get
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.util.List:size
unanalyzed	call on java.util.Map:clear
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.util.Map:put
unanalyzed	call on javax.swing.ImageIcon
unanalyzed	call on javax.swing.JButton:setEnabled
unanalyzed	call on javax.swing.JButton:setText
unanalyzed	call on javax.swing.JLabel:setIcon
unanalyzed	call on javax.swing.JLabel:setText
unanalyzed	call on setValue
unanalyzed	call on showFirst
unanalyzed	call on stepAboutToDisplay

void setWizardFrame(InstallerDialog)

Kind	Annotation Text
post	init'ed(wizardDialog)
post	wizardDialog == dialog

void setupCLIParser()

Kind	Annotation Text
pre	cli != null
pre	cli.paramList != null
pre	cli.params != null
pre	cli.redundant != null
post	init'ed(cli.helpParam)
unanalyzed	call on com.dmdirc.installer.cliparser.CLIParam
unanalyzed	call on java.lang.Character:valueOf
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on java.lang.String:valueOf
unanalyzed	call on java.util.List:add
unanalyzed	call on java.util.List:clear
unanalyzed	call on java.util.Map:clear
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.util.Map:put