DurationDisplay.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
    preinit'ed(this.duration)
    preinit'ed(this.window)
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. StandardDialog
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. StandardDialog:setIconImages
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. durationeditor.DurationEditor:add
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. durationeditor.DurationEditor:pack
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. durationeditor.DurationEditor:setDefaultCloseOperat ion
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. durationeditor.DurationEditor:setLayout
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. durationeditor.DurationEditor:setResizable
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. durationeditor.DurationEditor:setVisible
    unanalyzedcall on com.dmdirc.util.ListenerList
    unanalyzedcall on com.dmdirc.util.ListenerList:add
    unanalyzedcall on getCancelButton
    unanalyzedcall on getLeftButton
    unanalyzedcall on getOkButton
    unanalyzedcall on getRightButton
    unanalyzedcall on java.awt.Dimension
    unanalyzedcall on java.awt.Window:addWindowListener
    unanalyzedcall on java.awt.Window:getIconImages
    unanalyzedcall on java.awt.event.WindowAdapter
    unanalyzedcall on java.lang.Integer:valueOf
    unanalyzedcall on java.lang.String:startsWith
    unanalyzedcall on java.lang.String:toLowerCase
    unanalyzedcall on java.lang.System:getProperty
    unanalyzedcall on java.lang.Throwable:__curr_excep_obj
    unanalyzedcall on javax.swing.JButton
    unanalyzedcall on javax.swing.JButton:addActionListener
    unanalyzedcall on javax.swing.JButton:setDefaultCapable
    unanalyzedcall on javax.swing.JButton:setMinimumSize
    unanalyzedcall on javax.swing.JButton:setPreferredSize
    unanalyzedcall on javax.swing.JButton:setText
    unanalyzedcall on javax.swing.JDialog
    unanalyzedcall on javax.swing.JLabel
    unanalyzedcall on javax.swing.JSpinner
    unanalyzedcall on javax.swing.JSpinner:setValue
    unanalyzedcall on javax.swing.SpinnerNumberModel
    unanalyzedcall on net.miginfocom.swing.MigLayout
    unanalyzedcall on orderButtons

  • void addDurationListener(DurationListener)

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

  • void addListeners()

    • Kind Annotation Text
    prethis.button != null

  • void com.dmdirc.addons.ui_swing.components.durationeditor.DurationDisplay()

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

  • void com.dmdirc.addons.ui_swing.components.durationeditor.DurationDisplay(long)

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

  • void com.dmdirc.addons.ui_swing.components.durationeditor.DurationDisplay(Window)

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

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

    • Kind Annotation Text
    presumptionjava.lang.Long:valueOf(...)@100 != null
    postinit'ed(this.duration)
    postinit'ed(this.window)
    postnew JButton(initComponents#1) num objects == 1
    postnew JLabel(initComponents#2) num objects == 1
    postnew ListenerList(DurationDisplay#1) num objects == 1
    postthis.button == &new JButton(initComponents#1)
    postthis.durationLabel == &new JLabel(initComponent s#2)
    postthis.listeners == &new ListenerList(DurationDis play#1)
    postthis.window == window
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. durationeditor.DurationDisplay:add
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. durationeditor.DurationDisplay:setLayout
    unanalyzedcall on com.dmdirc.ui.messages.Formatter:formatDura tion
    unanalyzedcall on isWindowsUI
    unanalyzedcall on java.awt.Insets
    unanalyzedcall on java.lang.Class:getName
    unanalyzedcall on java.lang.Object:getClass
    unanalyzedcall on java.lang.String:equals
    unanalyzedcall on javax.swing.JButton
    unanalyzedcall on javax.swing.JButton:addActionListener
    unanalyzedcall on javax.swing.JButton:setMargin
    unanalyzedcall on javax.swing.JLabel
    unanalyzedcall on javax.swing.JLabel:setText
    unanalyzedcall on javax.swing.UIManager:getLookAndFeel
    unanalyzedcall on net.miginfocom.swing.MigLayout

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

    • Kind Annotation Text

  • void durationUpdated(int)

    • Kind Annotation Text
    prenewDuration in {-2_147_483..4_294_967}
    prethis.durationLabel != null
    prethis.listeners != null
    postthis.duration == newDuration
    postthis.duration in {-2_147_483..4_294_967}
    unanalyzedcall on com.dmdirc.config.prefs.PreferencesSetting: setValue
    unanalyzedcall on com.dmdirc.ui.messages.Formatter:formatDura tion
    unanalyzedcall on com.dmdirc.util.ListenerList:get
    unanalyzedcall on durationUpdated
    unanalyzedcall on fireDurationListener
    unanalyzedcall on java.lang.String:valueOf
    unanalyzedcall on java.util.List:iterator
    unanalyzedcall on javax.swing.JLabel:setText
    test_vectornewDuration: {-2_147_483..-1, 1..4_294_967}, {0}

  • void fireDurationListener(int)

    • Kind Annotation Text
    prethis.listeners != null
    presumptioncom.dmdirc.util.ListenerList:get(...)@208 != null
    presumptionjava.util.Iterator:next(...)@208 != null
    unanalyzedcall on com.dmdirc.config.prefs.PreferencesSetting: setValue
    unanalyzedcall on com.dmdirc.ui.messages.Formatter:formatDura tion
    unanalyzedcall on com.dmdirc.util.ListenerList:get
    unanalyzedcall on durationUpdated
    unanalyzedcall on fireDurationListener
    unanalyzedcall on java.lang.String:valueOf
    unanalyzedcall on java.util.List:iterator
    unanalyzedcall on javax.swing.JLabel:setText
    test_vectorjava.util.Iterator:hasNext(...)@208: {0}, {1}

  • long getDuration()

    • Kind Annotation Text
    preinit'ed(this.duration)
    postreturn_value == this.duration*1_000
    postreturn_value in {-2_147_483_648_000.. 4_294_967_295_000}

  • void initComponents()

    • Kind Annotation Text
    preinit'ed(this.duration)
    postnew JButton(initComponents#1) num objects == 1
    postnew JLabel(initComponents#2) num objects == 1
    postthis.button == &new JButton(initComponents#1)
    postthis.durationLabel == &new JLabel(initComponent s#2)
    unanalyzedcall on java.lang.Class:getName
    unanalyzedcall on java.lang.Object:getClass
    unanalyzedcall on java.lang.String:equals
    unanalyzedcall on javax.swing.UIManager:getLookAndFeel
    test_vectorthis.duration: {-231..-1, 1..232-1}, {0}

  • void layoutComponents()

    • Kind Annotation Text
    preinit'ed(this.button)
    preinit'ed(this.durationLabel)

  • void removeDurationListener(DurationListener)

    • Kind Annotation Text
    prethis.listeners != null

  • void setWindow(Window)

    • Kind Annotation Text
    postinit'ed(this.window)
    postthis.window == window