Messages

method

com.dmdirc.addons.ui_swing.components. durationeditor.DurationDisplay__static_init

method	void com.dmdirc.addons.ui_swing.components. durationeditor.DurationDisplay()
post	this.button == &new JButton(initComponents#1)
post	init'ed(this.duration)
post	this.durationLabel == &new JLabel(initComponent s#2)
post	this.listeners == &new ListenerList(DurationDis play#1)
post	this.window == null
post	new JButton(initComponents#1) num objects == 1
post	new JLabel(initComponents#2) num objects == 1
post	new ListenerList(DurationDisplay#1) num objects == 1
unanalyzed	call on javax.swing.JButton
unanalyzed	call on javax.swing.JLabel
unanalyzed	call on javax.swing.JLabel:setText
unanalyzed	call on com.dmdirc.ui.messages.Formatter:formatDura tion
unanalyzed	call on isWindowsUI
unanalyzed	call on java.awt.Insets
unanalyzed	call on javax.swing.JButton:setMargin
unanalyzed	call on javax.swing.JButton:addActionListener
unanalyzed	call on net.miginfocom.swing.MigLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.components. durationeditor.DurationDisplay:setLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.components. durationeditor.DurationDisplay:add
unanalyzed	call on javax.swing.JPanel
unanalyzed	call on java.lang.Long:valueOf
unanalyzed	call on java.lang.Long:intValue
unanalyzed	call on com.dmdirc.util.ListenerList
unanalyzed	call on javax.swing.UIManager:getLookAndFeel
unanalyzed	call on java.lang.Object:getClass
unanalyzed	call on java.lang.Class:getName
unanalyzed	call on java.lang.String:equals

method	void com.dmdirc.addons.ui_swing.components. durationeditor.DurationDisplay(Window)
post	this.button == &new JButton(initComponents#1)
post	init'ed(this.duration)
post	this.durationLabel == &new JLabel(initComponent s#2)
post	this.listeners == &new ListenerList(DurationDis play#1)
post	this.window == window
post	init'ed(this.window)
post	new JButton(initComponents#1) num objects == 1
post	new JLabel(initComponents#2) num objects == 1
post	new ListenerList(DurationDisplay#1) num objects == 1
unanalyzed	call on javax.swing.JButton
unanalyzed	call on javax.swing.JLabel
unanalyzed	call on javax.swing.JLabel:setText
unanalyzed	call on com.dmdirc.ui.messages.Formatter:formatDura tion
unanalyzed	call on isWindowsUI
unanalyzed	call on java.awt.Insets
unanalyzed	call on javax.swing.JButton:setMargin
unanalyzed	call on javax.swing.JButton:addActionListener
unanalyzed	call on net.miginfocom.swing.MigLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.components. durationeditor.DurationDisplay:setLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.components. durationeditor.DurationDisplay:add
unanalyzed	call on javax.swing.JPanel
unanalyzed	call on java.lang.Long:valueOf
unanalyzed	call on java.lang.Long:intValue
unanalyzed	call on com.dmdirc.util.ListenerList
unanalyzed	call on javax.swing.UIManager:getLookAndFeel
unanalyzed	call on java.lang.Object:getClass
unanalyzed	call on java.lang.Class:getName
unanalyzed	call on java.lang.String:equals

method	void com.dmdirc.addons.ui_swing.components. durationeditor.DurationDisplay(long)
post	this.button == &new JButton(initComponents#1)
post	init'ed(this.duration)
post	this.durationLabel == &new JLabel(initComponent s#2)
post	this.listeners == &new ListenerList(DurationDis play#1)
post	this.window == null
post	new JButton(initComponents#1) num objects == 1
post	new JLabel(initComponents#2) num objects == 1
post	new ListenerList(DurationDisplay#1) num objects == 1
unanalyzed	call on javax.swing.JButton
unanalyzed	call on javax.swing.JLabel
unanalyzed	call on javax.swing.JLabel:setText
unanalyzed	call on com.dmdirc.ui.messages.Formatter:formatDura tion
unanalyzed	call on isWindowsUI
unanalyzed	call on java.awt.Insets
unanalyzed	call on javax.swing.JButton:setMargin
unanalyzed	call on javax.swing.JButton:addActionListener
unanalyzed	call on net.miginfocom.swing.MigLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.components. durationeditor.DurationDisplay:setLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.components. durationeditor.DurationDisplay:add
unanalyzed	call on javax.swing.JPanel
unanalyzed	call on java.lang.Long:valueOf
unanalyzed	call on java.lang.Long:intValue
unanalyzed	call on com.dmdirc.util.ListenerList
unanalyzed	call on javax.swing.UIManager:getLookAndFeel
unanalyzed	call on java.lang.Object:getClass
unanalyzed	call on java.lang.Class:getName
unanalyzed	call on java.lang.String:equals

method	void com.dmdirc.addons.ui_swing.components. durationeditor.DurationDisplay(Window, long)
presumption	java.lang.Long:valueOf(...)@100 != null
post	this.button == &new JButton(initComponents#1)
post	init'ed(this.duration)
post	this.durationLabel == &new JLabel(initComponent s#2)
post	this.listeners == &new ListenerList(DurationDis play#1)
post	this.window == window
post	init'ed(this.window)
post	new JButton(initComponents#1) num objects == 1
post	new JLabel(initComponents#2) num objects == 1
post	new ListenerList(DurationDisplay#1) num objects == 1
unanalyzed	call on javax.swing.JButton
unanalyzed	call on javax.swing.JLabel
unanalyzed	call on javax.swing.JLabel:setText
unanalyzed	call on com.dmdirc.ui.messages.Formatter:formatDura tion
unanalyzed	call on isWindowsUI
unanalyzed	call on java.awt.Insets
unanalyzed	call on javax.swing.JButton:setMargin
unanalyzed	call on javax.swing.JButton:addActionListener
unanalyzed	call on net.miginfocom.swing.MigLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.components. durationeditor.DurationDisplay:setLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.components. durationeditor.DurationDisplay:add
unanalyzed	call on javax.swing.UIManager:getLookAndFeel
unanalyzed	call on java.lang.Object:getClass
unanalyzed	call on java.lang.Class:getName
unanalyzed	call on java.lang.String:equals

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

method	void initComponents()
pre	init'ed(this.duration)
post	this.button == &new JButton(initComponents#1)
post	this.durationLabel == &new JLabel(initComponent s#2)
post	new JButton(initComponents#1) num objects == 1
post	new JLabel(initComponents#2) num objects == 1
unanalyzed	call on javax.swing.UIManager:getLookAndFeel
unanalyzed	call on java.lang.Object:getClass
unanalyzed	call on java.lang.Class:getName
unanalyzed	call on java.lang.String:equals
test_vector	this.duration: {-2³¹..-1, 1..2³²-1}, {0}

method not available - call not analyzed Info call on String com.dmdirc.ui.messages. Formatter:formatDuration(int)

method	void addListeners()
pre	this.button != null

method	void layoutComponents()
pre	init'ed(this.button)
pre	init'ed(this.durationLabel)

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.components. durationeditor.DurationDisplay:setLayout(LayoutMana ger)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. durationeditor.DurationDisplay:add(Component, Object)

method	void actionPerformed(ActionEvent)
pre	init'ed(this.duration)
pre	init'ed(this.window)
unanalyzed	call on javax.swing.JButton
unanalyzed	call on orderButtons
unanalyzed	call on javax.swing.SpinnerNumberModel
unanalyzed	call on javax.swing.JSpinner
unanalyzed	call on java.lang.Integer:valueOf
unanalyzed	call on javax.swing.JSpinner:setValue
unanalyzed	call on java.awt.event.WindowAdapter
unanalyzed	call on java.awt.Window:addWindowListener
unanalyzed	call on net.miginfocom.swing.MigLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.components. durationeditor.DurationEditor:setLayout
unanalyzed	call on javax.swing.JLabel
unanalyzed	call on com.dmdirc.addons.ui_swing.components. durationeditor.DurationEditor:add
unanalyzed	call on getLeftButton
unanalyzed	call on getRightButton
unanalyzed	call on com.dmdirc.addons.ui_swing.components. durationeditor.DurationEditor:setDefaultCloseOperat ion
unanalyzed	call on com.dmdirc.addons.ui_swing.components. durationeditor.DurationEditor:pack
unanalyzed	call on com.dmdirc.addons.ui_swing.components. durationeditor.DurationEditor:setResizable
unanalyzed	call on com.dmdirc.addons.ui_swing.components. durationeditor.DurationEditor:setVisible
unanalyzed	call on getOkButton
unanalyzed	call on javax.swing.JButton:addActionListener
unanalyzed	call on getCancelButton
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardDialog
unanalyzed	call on com.dmdirc.util.ListenerList
unanalyzed	call on com.dmdirc.util.ListenerList:add
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on javax.swing.JButton:setText
unanalyzed	call on javax.swing.JButton:setDefaultCapable
unanalyzed	call on java.lang.System:getProperty
unanalyzed	call on java.lang.String:toLowerCase
unanalyzed	call on java.lang.String:startsWith
unanalyzed	call on java.awt.Dimension
unanalyzed	call on javax.swing.JButton:setPreferredSize
unanalyzed	call on javax.swing.JButton:setMinimumSize
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardDialog:setIconImages
unanalyzed	call on javax.swing.JDialog
unanalyzed	call on java.awt.Window:getIconImages

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. durationeditor.DurationEditor:setLocationRelativeTo (Component)

method	void durationUpdated(int)
pre	newDuration in {-2_147_483..4_294_967}
pre	this.durationLabel != null
pre	this.listeners != null
post	this.duration == newDuration
post	this.duration in {-2_147_483..4_294_967}
unanalyzed	call on javax.swing.JLabel:setText
unanalyzed	call on com.dmdirc.ui.messages.Formatter:formatDura tion
unanalyzed	call on fireDurationListener
unanalyzed	call on com.dmdirc.util.ListenerList:get
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.lang.String:valueOf
unanalyzed	call on com.dmdirc.config.prefs.PreferencesSetting: setValue
unanalyzed	call on durationUpdated
test_vector	newDuration: {-2_147_483..-1, 1..4_294_967}, {0}

method not available - call not analyzed Info call on String com.dmdirc.ui.messages. Formatter:formatDuration(int)

method	long getDuration()
pre	init'ed(this.duration)
post	return_value == this.duration*1_000
post	return_value in {-2_147_483_648_000.. 4_294_967_295_000}

method	void addDurationListener(DurationListener)
pre	(soft) this.listeners != null
test_vector	listener: Inverse{null}, Addr_Set{null}

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

method	void removeDurationListener(DurationListener)
pre	this.listeners != null

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

method	void fireDurationListener(int)
pre	this.listeners != null
presumption	com.dmdirc.util.ListenerList:get(...)@208 != null
presumption	java.util.Iterator:next(...)@208 != null
unanalyzed	call on javax.swing.JLabel:setText
unanalyzed	call on com.dmdirc.ui.messages.Formatter:formatDura tion
unanalyzed	call on fireDurationListener
unanalyzed	call on com.dmdirc.util.ListenerList:get
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.lang.String:valueOf
unanalyzed	call on com.dmdirc.config.prefs.PreferencesSetting: setValue
unanalyzed	call on durationUpdated
test_vector	java.util.Iterator:hasNext(...)@208: {0}, {1}

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

method	void setWindow(Window)
post	this.window == window
post	init'ed(this.window)

	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.components. durationeditor.DurationDisplay:setLayout(LayoutMana ger)