method com.dmdirc.installer.ui.WizardControlPanel__ static_init










method void com.dmdirc.installer.ui.WizardControlPanel()
postthis.next == &new JButton(WizardControlPanel#2)
postthis.prev == &new JButton(WizardControlPanel#1)
postthis.progress == &new JLabel(WizardControlPanel #3)
postinit'ed(this.step)
postthis.total == 0
postnew JButton(WizardControlPanel#1) num objects == 1
postnew JButton(WizardControlPanel#2) num objects == 1
postnew JLabel(WizardControlPanel#3) num objects == 1
unanalyzedcall on javax.swing.JLabel:setText
unanalyzedcall on javax.swing.JPanel
unanalyzedcall on javax.swing.JButton
unanalyzedcall on javax.swing.JLabel
unanalyzedcall on javax.swing.JButton:getFont
unanalyzedcall on java.awt.Font:getSize
unanalyzedcall on java.awt.Dimension
unanalyzedcall on javax.swing.JButton:setPreferredSize
unanalyzedcall on javax.swing.border.EtchedBorder
unanalyzedcall on com.dmdirc.installer.ui.WizardControlPanel: setBorder
unanalyzedcall on javax.swing.BoxLayout
unanalyzedcall on com.dmdirc.installer.ui.WizardControlPanel: setLayout
unanalyzedcall on com.dmdirc.installer.ui.WizardControlPanel: add
unanalyzedcall on javax.swing.Box:createHorizontalGlue
unanalyzedcall on javax.swing.Box:createHorizontalStrut










method void com.dmdirc.installer.ui.WizardControlPanel(in t)
presumptionjava.awt.Font:getSize(...)@69 <= 4_294_967_285
presumptionjava.awt.Font:getSize(...)@70 <= 4_294_967_285
presumptionjavax.swing.JButton:getFont(...)@69 != null
presumptionjavax.swing.JButton:getFont(...)@70 != null
postthis.next == &amp;new JButton(WizardControlPanel#2)
postthis.prev == &amp;new JButton(WizardControlPanel#1)
postthis.progress == &amp;new JLabel(WizardControlPanel #3)
postinit'ed(this.step)
postthis.total == total
postinit'ed(this.total)
postnew JButton(WizardControlPanel#1) num objects == 1
postnew JButton(WizardControlPanel#2) num objects == 1
postnew JLabel(WizardControlPanel#3) num objects == 1
unanalyzedcall on javax.swing.JLabel:setText
unanalyzedcall on javax.swing.border.EtchedBorder









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










  method not available - call not analyzedInfocall on void com.dmdirc.installer.ui. WizardControlPanel:setLayout(LayoutManager)










  method not available - call not analyzedInfocall on Component com.dmdirc.installer.ui. WizardControlPanel:add(Component)










  method not available - call not analyzedInfocall on Component com.dmdirc.installer.ui. WizardControlPanel:add(Component)










  method not available - call not analyzedInfocall on Component com.dmdirc.installer.ui. WizardControlPanel:add(Component)










  method not available - call not analyzedInfocall on Component com.dmdirc.installer.ui. WizardControlPanel:add(Component)










  method not available - call not analyzedInfocall on Component com.dmdirc.installer.ui. WizardControlPanel:add(Component)











method JButton getPrevButton()
postreturn_value == this.prev
postinit'ed(return_value)










method JButton getNextButton()
postreturn_value == this.next
postinit'ed(return_value)










method JLabel getProgressLabel()
postreturn_value == this.progress
postinit'ed(return_value)










method void updateProgressLabel()
prethis.progress != null
preinit'ed(this.step)
preinit'ed(this.total)










method void setTotal(int)
prethis.progress != null
preinit'ed(this.step)
postthis.total == total
postinit'ed(this.total)
unanalyzedcall on javax.swing.JLabel:setText










method void setProgress(int)
prestep <= 232-2
prethis.progress != null
preinit'ed(this.total)
pre(soft) this.next != null
pre(soft) this.prev != null
postthis.step == step + 1
postthis.step >= -231+1
unanalyzedcall on javax.swing.JLabel:setText
test_vectorstep: {-231..-1}, {0}, {1.. 232-2}
test_vectorthis.total - step: {-231+1..0, 2..232-2}, {1}