DurationEditor.java

DurationEditor.java

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

Filter Options

Annotation Kind:

pre

presumption

post

unanalyzed

test_vector

void actionPerformed(ActionEvent)

Kind	Annotation Text
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
pre	e != null
pre	init'ed(this.okButton)
unanalyzed	call on com.dmdirc.config.prefs.PreferencesSetting: setValue
unanalyzed	call on com.dmdirc.ui.messages.Formatter:formatDura tion
unanalyzed	call on com.dmdirc.util.ListenerList:get
unanalyzed	call on durationUpdated
unanalyzed	call on fireDurationListener
unanalyzed	call on java.lang.Number:intValue
unanalyzed	call on java.lang.String:valueOf
unanalyzed	call on java.util.List:iterator
unanalyzed	call on javax.swing.JLabel:setText
unanalyzed	call on javax.swing.JSpinner:getValue

void addDurationListener(DurationListener)

Kind	Annotation Text
pre	(soft) this.listeners != null
test_vector	listener: Inverse{null}, Addr_Set{null}

void addListeners()

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

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

Kind	Annotation Text

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

Kind	Annotation Text

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

Kind	Annotation Text
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
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
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardDialog
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardDialog:setIconImages
unanalyzed	call on com.dmdirc.addons.ui_swing.components. durationeditor.DurationEditor:add
unanalyzed	call on com.dmdirc.addons.ui_swing.components. durationeditor.DurationEditor:pack
unanalyzed	call on com.dmdirc.addons.ui_swing.components. durationeditor.DurationEditor:setDefaultCloseOperat ion
unanalyzed	call on com.dmdirc.addons.ui_swing.components. durationeditor.DurationEditor:setLayout
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 com.dmdirc.util.ListenerList
unanalyzed	call on getCancelButton
unanalyzed	call on getLeftButton
unanalyzed	call on getOkButton
unanalyzed	call on getRightButton
unanalyzed	call on java.awt.Dimension
unanalyzed	call on java.awt.Window:addWindowListener
unanalyzed	call on java.awt.Window:getIconImages
unanalyzed	call on java.awt.event.WindowAdapter
unanalyzed	call on java.lang.Integer:valueOf
unanalyzed	call on java.lang.String:startsWith
unanalyzed	call on java.lang.String:toLowerCase
unanalyzed	call on java.lang.System:getProperty
unanalyzed	call on javax.swing.JButton
unanalyzed	call on javax.swing.JButton:addActionListener
unanalyzed	call on javax.swing.JButton:setDefaultCapable
unanalyzed	call on javax.swing.JButton:setMinimumSize
unanalyzed	call on javax.swing.JButton:setPreferredSize
unanalyzed	call on javax.swing.JButton:setText
unanalyzed	call on javax.swing.JDialog
unanalyzed	call on javax.swing.JLabel
unanalyzed	call on javax.swing.JSpinner
unanalyzed	call on javax.swing.JSpinner:setValue
unanalyzed	call on javax.swing.SpinnerNumberModel
unanalyzed	call on net.miginfocom.swing.MigLayout
unanalyzed	call on orderButtons

void com.dmdirc.addons.ui_swing.components.durationeditor.DurationEditor(long)

Kind	Annotation Text
pre	duration in {-185_542_587_273_599..371_085_174_374_ 399}
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
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
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardDialog
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardDialog:setIconImages
unanalyzed	call on com.dmdirc.addons.ui_swing.components. durationeditor.DurationEditor:add
unanalyzed	call on com.dmdirc.addons.ui_swing.components. durationeditor.DurationEditor:pack
unanalyzed	call on com.dmdirc.addons.ui_swing.components. durationeditor.DurationEditor:setDefaultCloseOperat ion
unanalyzed	call on com.dmdirc.addons.ui_swing.components. durationeditor.DurationEditor:setLayout
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 com.dmdirc.util.ListenerList
unanalyzed	call on getCancelButton
unanalyzed	call on getLeftButton
unanalyzed	call on getOkButton
unanalyzed	call on getRightButton
unanalyzed	call on java.awt.Dimension
unanalyzed	call on java.awt.Window:addWindowListener
unanalyzed	call on java.awt.Window:getIconImages
unanalyzed	call on java.awt.event.WindowAdapter
unanalyzed	call on java.lang.Integer:valueOf
unanalyzed	call on java.lang.String:startsWith
unanalyzed	call on java.lang.String:toLowerCase
unanalyzed	call on java.lang.System:getProperty
unanalyzed	call on javax.swing.JButton
unanalyzed	call on javax.swing.JButton:addActionListener
unanalyzed	call on javax.swing.JButton:setDefaultCapable
unanalyzed	call on javax.swing.JButton:setMinimumSize
unanalyzed	call on javax.swing.JButton:setPreferredSize
unanalyzed	call on javax.swing.JButton:setText
unanalyzed	call on javax.swing.JDialog
unanalyzed	call on javax.swing.JLabel
unanalyzed	call on javax.swing.JSpinner
unanalyzed	call on javax.swing.JSpinner:setValue
unanalyzed	call on javax.swing.SpinnerNumberModel
unanalyzed	call on net.miginfocom.swing.MigLayout
unanalyzed	call on orderButtons

void com.dmdirc.addons.ui_swing.components.durationeditor.DurationEditor(Window)

Kind	Annotation Text
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
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
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardDialog
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardDialog:setIconImages
unanalyzed	call on com.dmdirc.addons.ui_swing.components. durationeditor.DurationEditor:add
unanalyzed	call on com.dmdirc.addons.ui_swing.components. durationeditor.DurationEditor:pack
unanalyzed	call on com.dmdirc.addons.ui_swing.components. durationeditor.DurationEditor:setDefaultCloseOperat ion
unanalyzed	call on com.dmdirc.addons.ui_swing.components. durationeditor.DurationEditor:setLayout
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 com.dmdirc.util.ListenerList
unanalyzed	call on getCancelButton
unanalyzed	call on getLeftButton
unanalyzed	call on getOkButton
unanalyzed	call on getRightButton
unanalyzed	call on java.awt.Dimension
unanalyzed	call on java.awt.Window:addWindowListener
unanalyzed	call on java.awt.Window:getIconImages
unanalyzed	call on java.awt.event.WindowAdapter
unanalyzed	call on java.lang.Integer:valueOf
unanalyzed	call on java.lang.String:startsWith
unanalyzed	call on java.lang.String:toLowerCase
unanalyzed	call on java.lang.System:getProperty
unanalyzed	call on javax.swing.JButton
unanalyzed	call on javax.swing.JButton:addActionListener
unanalyzed	call on javax.swing.JButton:setDefaultCapable
unanalyzed	call on javax.swing.JButton:setMinimumSize
unanalyzed	call on javax.swing.JButton:setPreferredSize
unanalyzed	call on javax.swing.JButton:setText
unanalyzed	call on javax.swing.JDialog
unanalyzed	call on javax.swing.JLabel
unanalyzed	call on javax.swing.JSpinner
unanalyzed	call on javax.swing.JSpinner:setValue
unanalyzed	call on javax.swing.SpinnerNumberModel
unanalyzed	call on net.miginfocom.swing.MigLayout
unanalyzed	call on orderButtons

void com.dmdirc.addons.ui_swing.components.durationeditor.DurationEditor(Window, long)

Kind	Annotation Text
pre	duration in {-185_542_587_273_599..371_085_174_374_ 399}
presumption	init'ed(java.awt.Dialog$ModalityType.MODELESS)
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
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
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardDialog:setIconImages
unanalyzed	call on com.dmdirc.addons.ui_swing.components. durationeditor.DurationEditor:add
unanalyzed	call on com.dmdirc.addons.ui_swing.components. durationeditor.DurationEditor:pack
unanalyzed	call on com.dmdirc.addons.ui_swing.components. durationeditor.DurationEditor:setDefaultCloseOperat ion
unanalyzed	call on com.dmdirc.addons.ui_swing.components. durationeditor.DurationEditor:setLayout
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 getCancelButton
unanalyzed	call on getLeftButton
unanalyzed	call on getOkButton
unanalyzed	call on getRightButton
unanalyzed	call on java.awt.Dimension
unanalyzed	call on java.awt.Window:addWindowListener
unanalyzed	call on java.awt.Window:getIconImages
unanalyzed	call on java.awt.event.WindowAdapter
unanalyzed	call on java.lang.Integer:valueOf
unanalyzed	call on java.lang.String:startsWith
unanalyzed	call on java.lang.String:toLowerCase
unanalyzed	call on java.lang.System:getProperty
unanalyzed	call on javax.swing.JButton
unanalyzed	call on javax.swing.JButton:addActionListener
unanalyzed	call on javax.swing.JButton:setDefaultCapable
unanalyzed	call on javax.swing.JButton:setMinimumSize
unanalyzed	call on javax.swing.JButton:setPreferredSize
unanalyzed	call on javax.swing.JButton:setText
unanalyzed	call on javax.swing.JDialog
unanalyzed	call on javax.swing.JLabel
unanalyzed	call on javax.swing.JSpinner
unanalyzed	call on javax.swing.JSpinner:setValue
unanalyzed	call on javax.swing.SpinnerNumberModel
unanalyzed	call on net.miginfocom.swing.MigLayout
unanalyzed	call on orderButtons

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

Kind	Annotation Text

void fireDurationListener(int)

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

int getDuration()

Kind	Annotation Text
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(...)@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(...)@18760 + java.lang.Number:intValue(...)@186 + java.lang.Number:intValue(...)@1883_600 in {-2³¹..2³²-1}
presumption	java.lang.Number:intValue(...)@187*60 + java.lang.Number:intValue(...)@186 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)

void initComponents(long)

Kind	Annotation Text
pre	duration in {-185_542_587_273_599..371_085_174_374_ 399}
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	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)
unanalyzed	call on java.awt.Dimension
unanalyzed	call on java.lang.String:startsWith
unanalyzed	call on java.lang.String:toLowerCase
unanalyzed	call on java.lang.System:getProperty
unanalyzed	call on javax.swing.JButton:setDefaultCapable
unanalyzed	call on javax.swing.JButton:setMinimumSize
unanalyzed	call on javax.swing.JButton:setPreferredSize
unanalyzed	call on javax.swing.JButton:setText

void layoutComponents()

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

void removeDurationListener(DurationListener)

Kind	Annotation Text
pre	this.listeners != null

void setWindow(Window)

Kind	Annotation Text
post	init'ed(this.window)
post	this.window == window
unanalyzed	call on java.awt.event.WindowAdapter
test_vector	window: Addr_Set{null}, Inverse{null}

void windowClosed(WindowEvent)

Kind	Annotation Text