Messages

method

com.dmdirc.addons.ui_swing.components. durationeditor.DurationEditor$1__static_init

method

com.dmdirc.addons.ui_swing.components. durationeditor.DurationEditor__static_init

method	void com.dmdirc.addons.ui_swing.components. durationeditor.DurationEditor()
post	this.cancelButton == One-of{&new JButton(initComponents#2), &new JButton(initComponents#1)}
post	this.cancelButton in Addr_Set{&new JButton(initComponents#1),&new JButton(initComponents#2)}
post	this.daysSpinner == &new JSpinner(initComponent s#3)
post	this.hoursSpinner == &new JSpinner(initComponen ts#5)
post	this.listeners == &new ListenerList(DurationEdi tor#1)
post	this.minutesSpinner == &new JSpinner(initCompon ents#7)
post	this.okButton == One-of{&new JButton(initCompon ents#1), &new JButton(initComponents#2)}
post	this.okButton in Addr_Set{&new JButton(initComp onents#1),&new JButton(initComponents#2)}
post	this.secondsSpinner == &new JSpinner(initCompon ents#9)
post	this.window == null
post	new JButton(initComponents#1) num objects == 1
post	new JButton(initComponents#2) num objects == 1
post	new JSpinner(initComponents#3) num objects == 1
post	new JSpinner(initComponents#5) num objects == 1
post	new JSpinner(initComponents#7) num objects == 1
post	new JSpinner(initComponents#9) num objects == 1
post	new ListenerList(DurationEditor#1) num objects == 1
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 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	void com.dmdirc.addons.ui_swing.components. durationeditor.DurationEditor(Window)
post	this.cancelButton == One-of{&new JButton(initComponents#2), &new JButton(initComponents#1)}
post	this.cancelButton in Addr_Set{&new JButton(initComponents#1),&new JButton(initComponents#2)}
post	this.daysSpinner == &new JSpinner(initComponent s#3)
post	this.hoursSpinner == &new JSpinner(initComponen ts#5)
post	this.listeners == &new ListenerList(DurationEdi tor#1)
post	this.minutesSpinner == &new JSpinner(initCompon ents#7)
post	this.okButton == One-of{&new JButton(initCompon ents#1), &new JButton(initComponents#2)}
post	this.okButton in Addr_Set{&new JButton(initComp onents#1),&new JButton(initComponents#2)}
post	this.secondsSpinner == &new JSpinner(initCompon ents#9)
post	this.window == window
post	init'ed(this.window)
post	new JButton(initComponents#1) num objects == 1
post	new JButton(initComponents#2) num objects == 1
post	new JSpinner(initComponents#3) num objects == 1
post	new JSpinner(initComponents#5) num objects == 1
post	new JSpinner(initComponents#7) num objects == 1
post	new JSpinner(initComponents#9) num objects == 1
post	new ListenerList(DurationEditor#1) num objects == 1
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 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	void com.dmdirc.addons.ui_swing.components. durationeditor.DurationEditor(long)
pre	duration in {-185_542_587_273_599..371_085_174_374_ 399}
post	this.cancelButton == One-of{&new JButton(initComponents#2), &new JButton(initComponents#1)}
post	this.cancelButton in Addr_Set{&new JButton(initComponents#1),&new JButton(initComponents#2)}
post	this.daysSpinner == &new JSpinner(initComponent s#3)
post	this.hoursSpinner == &new JSpinner(initComponen ts#5)
post	this.listeners == &new ListenerList(DurationEdi tor#1)
post	this.minutesSpinner == &new JSpinner(initCompon ents#7)
post	this.okButton == One-of{&new JButton(initCompon ents#1), &new JButton(initComponents#2)}
post	this.okButton in Addr_Set{&new JButton(initComp onents#1),&new JButton(initComponents#2)}
post	this.secondsSpinner == &new JSpinner(initCompon ents#9)
post	this.window == null
post	new JButton(initComponents#1) num objects == 1
post	new JButton(initComponents#2) num objects == 1
post	new JSpinner(initComponents#3) num objects == 1
post	new JSpinner(initComponents#5) num objects == 1
post	new JSpinner(initComponents#7) num objects == 1
post	new JSpinner(initComponents#9) num objects == 1
post	new ListenerList(DurationEditor#1) num objects == 1
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 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	void com.dmdirc.addons.ui_swing.components. durationeditor.DurationEditor(Window, long)
pre	duration in {-185_542_587_273_599..371_085_174_374_ 399}
presumption	init'ed(java.awt.Dialog$ModalityType.MODELESS)
post	this.cancelButton == One-of{&new JButton(initComponents#2), &new JButton(initComponents#1)}
post	this.cancelButton in Addr_Set{&new JButton(initComponents#1),&new JButton(initComponents#2)}
post	this.daysSpinner == &new JSpinner(initComponent s#3)
post	this.hoursSpinner == &new JSpinner(initComponen ts#5)
post	this.listeners == &new ListenerList(DurationEdi tor#1)
post	this.minutesSpinner == &new JSpinner(initCompon ents#7)
post	this.okButton == One-of{&new JButton(initCompon ents#1), &new JButton(initComponents#2)}
post	this.okButton in Addr_Set{&new JButton(initComp onents#1),&new JButton(initComponents#2)}
post	this.secondsSpinner == &new JSpinner(initCompon ents#9)
post	this.window == window
post	init'ed(this.window)
post	new JButton(initComponents#1) num objects == 1
post	new JButton(initComponents#2) num objects == 1
post	new JSpinner(initComponents#3) num objects == 1
post	new JSpinner(initComponents#5) num objects == 1
post	new JSpinner(initComponents#7) num objects == 1
post	new JSpinner(initComponents#9) num objects == 1
post	new ListenerList(DurationEditor#1) num objects == 1
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 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.util.ListenerList()

method	void initComponents(long)
pre	duration in {-185_542_587_273_599..371_085_174_374_ 399}
post	this.cancelButton == One-of{&new JButton(initComponents#2), &new JButton(initComponents#1)}
post	this.cancelButton in Addr_Set{&new JButton(initComponents#1),&new JButton(initComponents#2)}
post	this.daysSpinner == &new JSpinner(initComponent s#3)
post	this.hoursSpinner == &new JSpinner(initComponen ts#5)
post	this.minutesSpinner == &new JSpinner(initCompon ents#7)
post	this.okButton == One-of{&new JButton(initCompon ents#1), &new JButton(initComponents#2)}
post	this.okButton in Addr_Set{&new JButton(initComp onents#1),&new JButton(initComponents#2)}
post	this.secondsSpinner == &new JSpinner(initCompon ents#9)
post	new JButton(initComponents#1) num objects == 1
post	new JButton(initComponents#2) num objects == 1
post	new JSpinner(initComponents#3) num objects == 1
post	new JSpinner(initComponents#5) num objects == 1
post	new JSpinner(initComponents#7) num objects == 1
post	new JSpinner(initComponents#9) num objects == 1
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

method	void addListeners()
pre	init'ed(this.window)
pre	this.cancelButton != null
pre	this.okButton != null
post	this.window == old this.window
post	init'ed(this.window)
unanalyzed	call on java.awt.event.WindowAdapter
unanalyzed	call on java.awt.Window:addWindowListener

method	void layoutComponents()
pre	init'ed(this.daysSpinner)
pre	init'ed(this.hoursSpinner)
pre	init'ed(this.minutesSpinner)
pre	init'ed(this.secondsSpinner)
pre	(soft) init'ed(this.cancelButton)
pre	(soft) init'ed(this.okButton)
unanalyzed	call on java.lang.System:getProperty
unanalyzed	call on java.lang.String:toLowerCase
unanalyzed	call on java.lang.String:startsWith

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.DurationEditor:setLayout(LayoutManag er)

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

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

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

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

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

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

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

method	void actionPerformed(ActionEvent)
pre	e != null
pre	init'ed(this.okButton)
pre	(soft) this.daysSpinner != null
pre	(soft) this.hoursSpinner != null
pre	(soft) this.listeners != null
pre	(soft) this.minutesSpinner != null
pre	(soft) this.secondsSpinner != null
unanalyzed	call on javax.swing.JSpinner:getValue
unanalyzed	call on java.lang.Number:intValue
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 javax.swing.JLabel:setText
unanalyzed	call on com.dmdirc.ui.messages.Formatter:formatDura tion
unanalyzed	call on fireDurationListener
unanalyzed	call on durationUpdated

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

method	int getDuration()
pre	this.daysSpinner != null
pre	this.hoursSpinner != null
pre	this.minutesSpinner != null
pre	this.secondsSpinner != null
presumption	java.lang.Number:intValue(...)@187 in {-107_374_182..107_374_182}
presumption	java.lang.Number:intValue(...)@187*60 + java.lang.Number:intValue(...)@186 in {-2³¹..2³²-1}
presumption	java.lang.Number:intValue(...)@18760 + java.lang.Number:intValue(...)@186 + java.lang.Number:intValue(...)@1883_600 in {-2³¹..2³²-1}
presumption	java.lang.Number:intValue(...)@18760 + java.lang.Number:intValue(...)@186 + java.lang.Number:intValue(...)@1883_600 + java.lang.Number:intValue(...)@189*86_400 in {-2³¹..2³²-1}
presumption	java.lang.Number:intValue(...)@188 in {-1_789_569..1_789_569}
presumption	java.lang.Number:intValue(...)@189 in {-74_565..74_565}
presumption	javax.swing.JSpinner:getValue(...)@186 != null
presumption	javax.swing.JSpinner:getValue(...)@187 != null
presumption	javax.swing.JSpinner:getValue(...)@188 != null
presumption	javax.swing.JSpinner:getValue(...)@189 != null
post	init'ed(return_value)

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(...)@224 != null
presumption	java.util.Iterator:next(...)@224 != null
unanalyzed	call on java.lang.String:valueOf
unanalyzed	call on com.dmdirc.config.prefs.PreferencesSetting: setValue
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 durationUpdated
test_vector	java.util.Iterator:hasNext(...)@224: {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)
unanalyzed	call on java.awt.event.WindowAdapter
test_vector	window: Addr_Set{null}, Inverse{null}

method

void com.dmdirc.addons.ui_swing.components. durationeditor.DurationEditor$1(DurationEditor)

method

void windowClosed(WindowEvent)

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

	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.DurationEditor:setLayout(LayoutManag er)