ConfigPanel.java


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


Filter Options
Annotation Kind:
pre
presumption
post
unanalyzed
test_vector


  • JPanel access$100(ConfigPanel)

  • Kind Annotation Text
    preinit'ed(x0.previewPanel)
    prex0 != null
    postinit'ed(return_value)
    postreturn_value == x0.previewPanel

  • void access$200(ConfigPanel)

  • Kind Annotation Text
    preinit'ed(x0.plugin.order)
    prex0 != null
    prex0.plugin != null
    prex0.plugin.managers != null
    prex0.preview != null
    prex0.textfield != null
    prex0.updateTimer != null
    unanalyzedcall on com.dmdirc.addons.nowplaying.ConfigPanel$1
    unanalyzedcall on com.dmdirc.addons.nowplaying. ConfigPanel$DummyMediaSource
    unanalyzedcall on com.dmdirc.addons.ui_swing.components.text. TextLabel:repaint
    unanalyzedcall on com.dmdirc.addons.ui_swing.components.text. TextLabel:setText
    unanalyzedcall on getAlbum
    unanalyzedcall on getAppName
    unanalyzedcall on getArtist
    unanalyzedcall on getBitrate
    unanalyzedcall on getFormat
    unanalyzedcall on getLength
    unanalyzedcall on getSources
    unanalyzedcall on getState
    unanalyzedcall on getTime
    unanalyzedcall on getTitle
    unanalyzedcall on java.lang.String:replaceAll
    unanalyzedcall on java.util.ArrayList
    unanalyzedcall on java.util.Collections:sort
    unanalyzedcall on java.util.List:addAll
    unanalyzedcall on java.util.List:iterator
    unanalyzedcall on java.util.Timer:cancel
    unanalyzedcall on javax.swing.JTextField:getText
    unanalyzedcall on javax.swing.SwingUtilities:invokeLater

  • void com.dmdirc.addons.nowplaying.ConfigPanel$1(ConfigPanel)

  • Kind Annotation Text

  • com.dmdirc.addons.nowplaying.ConfigPanel$1__static_init

  • Kind Annotation Text

  • void com.dmdirc.addons.nowplaying.ConfigPanel$2(ConfigPanel)

  • Kind Annotation Text

  • com.dmdirc.addons.nowplaying.ConfigPanel$2__static_init

  • Kind Annotation Text

  • void com.dmdirc.addons.nowplaying.ConfigPanel$DummyMediaSource(ConfigPanel)

  • Kind Annotation Text

  • void com.dmdirc.addons.nowplaying.ConfigPanel$DummyMediaSource(ConfigPanel, ConfigPanel$1)

  • Kind Annotation Text

  • com.dmdirc.addons.nowplaying.ConfigPanel$DummyMediaSource__static_init

  • Kind Annotation Text

  • void com.dmdirc.addons.nowplaying.ConfigPanel(NowPlayingPlugin, List)

  • Kind Annotation Text
    preplugin != null
    postnew JPanel(initComponents#5) num objects == 1
    postnew JPanel(initComponents#9) num objects == 1
    postnew JTextField(initComponents#2) num objects == 1
    postnew LinkedList(ConfigPanel#1) num objects <= 1
    postnew LinkedList(ConfigPanel#2) num objects <= 1
    postnew ReorderableJList(initComponents#1) num objects == 1
    postnew TextLabel(initComponents#3) num objects == 1
    postnew Timer(schedulePreviewUpdate#1) num objects == 1
    postthis.list == &amp;new ReorderableJList(initComponen ts#1)
    postthis.plugin != null
    postthis.plugin == plugin
    postthis.preview == &amp;new TextLabel(initComponents#3 )
    postthis.previewPanel == &amp;new JPanel(initComponents #9)
    postthis.sources in Addr_Set{&amp;new LinkedList(Config Panel#2),&amp;new LinkedList(ConfigPanel#1)}
    postthis.textfield == &amp;new JTextField(initComponent s#2)
    postthis.updateTimer == &amp;new Timer(schedulePreviewU pdate#1)
    unanalyzedcall on com.dmdirc.addons.nowplaying. ConfigPanel:add
    unanalyzedcall on com.dmdirc.addons.nowplaying. ConfigPanel:setLayout
    unanalyzedcall on com.dmdirc.addons.nowplaying. NowPlayingPlugin:getDomain
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. reorderablelist.ReorderableJList
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. reorderablelist.ReorderableJList:getModel
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. substitutions.SubstitutionsPanel
    unanalyzedcall on com.dmdirc.addons.ui_swing.components.text. TextLabel
    unanalyzedcall on com.dmdirc.config.ConfigManager:getOption
    unanalyzedcall on com.dmdirc.config.IdentityManager:getGlobal Config
    unanalyzedcall on java.util.Arrays:asList
    unanalyzedcall on java.util.List:iterator
    unanalyzedcall on java.util.Timer
    unanalyzedcall on java.util.Timer:cancel
    unanalyzedcall on java.util.Timer:schedule
    unanalyzedcall on java.util.TimerTask
    unanalyzedcall on javax.swing.BorderFactory:createTitledBorde r
    unanalyzedcall on javax.swing.DefaultListModel:addElement
    unanalyzedcall on javax.swing.JLabel
    unanalyzedcall on javax.swing.JPanel
    unanalyzedcall on javax.swing.JPanel:add
    unanalyzedcall on javax.swing.JPanel:setBorder
    unanalyzedcall on javax.swing.JPanel:setLayout
    unanalyzedcall on javax.swing.JScrollPane
    unanalyzedcall on javax.swing.JTextField
    unanalyzedcall on javax.swing.JTextField:addKeyListener
    unanalyzedcall on net.miginfocom.swing.MigLayout
    test_vectorsources: Inverse{null}, Addr_Set{null}

  • com.dmdirc.addons.nowplaying.ConfigPanel__static_init

  • Kind Annotation Text

  • String getAlbum()

  • Kind Annotation Text
    postreturn_value == &amp;"Album 45"

  • String getAppName()

  • Kind Annotation Text
    postreturn_value == &amp;"MyProgram"

  • String getArtist()

  • Kind Annotation Text
    postreturn_value == &amp;"The Artist"

  • String getBitrate()

  • Kind Annotation Text
    postreturn_value == &amp;"128"

  • String getFormat()

  • Kind Annotation Text
    postreturn_value == &amp;"flac"

  • String getLength()

  • Kind Annotation Text
    postreturn_value == &amp;"3:45"

  • List getSources()

  • Kind Annotation Text
    prethis.list != null
    presumptioncom.dmdirc.addons.ui_swing.components. reorderablelist.ReorderableJList:getModel(...)@177 != null
    presumptionjavax.swing.DefaultListModel:elements(...)@177 != null
    postnew LinkedList(getSources#1) num objects == 1
    postreturn_value == &amp;new LinkedList(getSources#1)
    test_vectorjava.util.Enumeration:hasMoreElements(...)@179: {0}, {1}

  • MediaSourceState getState()

  • Kind Annotation Text
    postreturn_value == &amp;com.dmdirc.addons.nowplaying. MediaSourceState__static_init.new MediaSourceState( MediaSourceState__static_init#4)

  • String getTime()

  • Kind Annotation Text
    postreturn_value == &amp;"1:20"

  • String getTitle()

  • Kind Annotation Text
    postreturn_value == &amp;"Song about nothing"

  • void initComponents()

  • Kind Annotation Text
    preinit'ed(this.updateTimer)
    prethis.plugin != null
    prethis.sources != null
    presumptioncom.dmdirc.addons.ui_swing.components. reorderablelist.ReorderableJList:getModel(...)@107 != null
    presumptioncom.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@110 != null
    postnew JPanel(initComponents#5) num objects == 1
    postnew JPanel(initComponents#9) num objects == 1
    postnew JTextField(initComponents#2) num objects == 1
    postnew ReorderableJList(initComponents#1) num objects == 1
    postnew TextLabel(initComponents#3) num objects == 1
    postnew Timer(schedulePreviewUpdate#1) num objects == 1
    postthis.list == &amp;new ReorderableJList(initComponen ts#1)
    postthis.preview == &amp;new TextLabel(initComponents#3 )
    postthis.previewPanel == &amp;new JPanel(initComponents #9)
    postthis.textfield == &amp;new JTextField(initComponent s#2)
    postthis.updateTimer == &amp;new Timer(schedulePreviewU pdate#1)
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. substitutions.SubstitutionsPanel
    unanalyzedcall on java.util.Timer
    unanalyzedcall on java.util.Timer:cancel
    unanalyzedcall on java.util.Timer:schedule
    unanalyzedcall on java.util.TimerTask
    test_vectorjava.util.Iterator:hasNext(...)@106: {0}, {1}

  • void keyPressed(KeyEvent)

  • Kind Annotation Text

  • void keyReleased(KeyEvent)

  • Kind Annotation Text
    preinit'ed(this.updateTimer)
    postnew Timer(schedulePreviewUpdate#1) num objects == 1
    postthis.updateTimer == &amp;new Timer(schedulePreviewU pdate#1)
    unanalyzedcall on java.util.Timer
    unanalyzedcall on java.util.Timer:cancel
    unanalyzedcall on java.util.Timer:schedule
    unanalyzedcall on java.util.TimerTask

  • void keyTyped(KeyEvent)

  • Kind Annotation Text

  • void run()

  • Kind Annotation Text
    preinit'ed(this.plugin.order)
    prethis.plugin != null
    prethis.plugin.managers != null
    prethis.preview != null
    prethis.textfield != null
    prethis.updateTimer != null
    unanalyzedcall on com.dmdirc.addons.nowplaying.ConfigPanel$1
    unanalyzedcall on com.dmdirc.addons.nowplaying. ConfigPanel$DummyMediaSource
    unanalyzedcall on com.dmdirc.addons.ui_swing.components.text. TextLabel:repaint
    unanalyzedcall on com.dmdirc.addons.ui_swing.components.text. TextLabel:setText
    unanalyzedcall on getAlbum
    unanalyzedcall on getAppName
    unanalyzedcall on getArtist
    unanalyzedcall on getBitrate
    unanalyzedcall on getFormat
    unanalyzedcall on getLength
    unanalyzedcall on getSources
    unanalyzedcall on getState
    unanalyzedcall on getTime
    unanalyzedcall on getTitle
    unanalyzedcall on java.lang.String:replaceAll
    unanalyzedcall on java.util.ArrayList
    unanalyzedcall on java.util.Collections:sort
    unanalyzedcall on java.util.List:addAll
    unanalyzedcall on java.util.List:iterator
    unanalyzedcall on java.util.Timer:cancel
    unanalyzedcall on javax.swing.JTextField:getText
    unanalyzedcall on javax.swing.SwingUtilities:invokeLater

  • void run()

  • Kind Annotation Text
    prethis.previewPanel != null

  • void save()

  • Kind Annotation Text
    prethis.list != null
    prethis.plugin != null
    prethis.textfield != null
    presumptioncom.dmdirc.config.IdentityManager:getConfigIdentity (...)@190 != null
    postnew LinkedList(getSources#1) num objects == 1
    postthis.plugin.order == &amp;new LinkedList(getSources #1)
    unanalyzedcall on com.dmdirc.addons.nowplaying. NowPlayingPlugin:getDomain
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. reorderablelist.ReorderableJList:getModel
    unanalyzedcall on com.dmdirc.config.Identity:setOption
    unanalyzedcall on com.dmdirc.config.IdentityManager:getConfig Identity
    unanalyzedcall on java.util.Enumeration:hasMoreElements
    unanalyzedcall on java.util.Enumeration:nextElement
    unanalyzedcall on java.util.LinkedList
    unanalyzedcall on java.util.List:add
    unanalyzedcall on javax.swing.DefaultListModel:elements

  • void schedulePreviewUpdate()

  • Kind Annotation Text
    preinit'ed(this.updateTimer)
    postnew Timer(schedulePreviewUpdate#1) num objects == 1
    postthis.updateTimer == &amp;new Timer(schedulePreviewU pdate#1)
    unanalyzedcall on java.util.TimerTask
    test_vectorthis.updateTimer: Addr_Set{null}, Inverse{null}

  • void updatePreview()

  • Kind Annotation Text
    preinit'ed(this.plugin.order)
    prethis.plugin != null
    prethis.plugin.managers != null
    prethis.preview != null
    prethis.textfield != null
    prethis.updateTimer != null
    presumptionjavax.swing.JTextField:getText(...)@156 != null
    unanalyzedcall on getAlbum
    unanalyzedcall on getAppName
    unanalyzedcall on getArtist
    unanalyzedcall on getBitrate
    unanalyzedcall on getFormat
    unanalyzedcall on getLength
    unanalyzedcall on getSources
    unanalyzedcall on getState
    unanalyzedcall on getTime
    unanalyzedcall on getTitle
    unanalyzedcall on java.lang.String:replaceAll
    unanalyzedcall on java.util.ArrayList
    unanalyzedcall on java.util.Collections:sort
    unanalyzedcall on java.util.List:addAll
    unanalyzedcall on java.util.List:iterator