| Kind |
Annotation Text |
| pre | init'ed(x0.plugin.order) |
| pre | x0 != null |
| pre | x0.plugin != null |
| pre | x0.plugin.managers != null |
| pre | x0.preview != null |
| pre | x0.textfield != null |
| pre | x0.updateTimer != null |
| unanalyzed | call on com.dmdirc.addons.nowplaying.ConfigPanel$1 |
| unanalyzed | call on com.dmdirc.addons.nowplaying. ConfigPanel$DummyMediaSource |
| unanalyzed | call on com.dmdirc.addons.ui_swing.components.text. TextLabel:repaint |
| unanalyzed | call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setText |
| unanalyzed | call on getAlbum |
| unanalyzed | call on getAppName |
| unanalyzed | call on getArtist |
| unanalyzed | call on getBitrate |
| unanalyzed | call on getFormat |
| unanalyzed | call on getLength |
| unanalyzed | call on getSources |
| unanalyzed | call on getState |
| unanalyzed | call on getTime |
| unanalyzed | call on getTitle |
| unanalyzed | call on java.lang.String:replaceAll |
| unanalyzed | call on java.util.ArrayList |
| unanalyzed | call on java.util.Collections:sort |
| unanalyzed | call on java.util.List:addAll |
| unanalyzed | call on java.util.List:iterator |
| unanalyzed | call on java.util.Timer:cancel |
| unanalyzed | call on javax.swing.JTextField:getText |
| unanalyzed | call on javax.swing.SwingUtilities:invokeLater |
| Kind |
Annotation Text |
| pre | plugin != null |
| post | new JPanel(initComponents#5) num objects == 1 |
| post | new JPanel(initComponents#9) num objects == 1 |
| post | new JTextField(initComponents#2) num objects == 1 |
| post | new LinkedList(ConfigPanel#1) num objects <= 1 |
| post | new LinkedList(ConfigPanel#2) num objects <= 1 |
| post | new ReorderableJList(initComponents#1) num objects == 1 |
| post | new TextLabel(initComponents#3) num objects == 1 |
| post | new Timer(schedulePreviewUpdate#1) num objects == 1 |
| post | this.list == &new ReorderableJList(initComponen ts#1) |
| post | this.plugin != null |
| post | this.plugin == plugin |
| post | this.preview == &new TextLabel(initComponents#3 ) |
| post | this.previewPanel == &new JPanel(initComponents #9) |
| post | this.sources in Addr_Set{&new LinkedList(Config Panel#2),&new LinkedList(ConfigPanel#1)} |
| post | this.textfield == &new JTextField(initComponent s#2) |
| post | this.updateTimer == &new Timer(schedulePreviewU pdate#1) |
| unanalyzed | call on com.dmdirc.addons.nowplaying. ConfigPanel:add |
| unanalyzed | call on com.dmdirc.addons.nowplaying. ConfigPanel:setLayout |
| unanalyzed | call on com.dmdirc.addons.nowplaying. NowPlayingPlugin:getDomain |
| unanalyzed | call on com.dmdirc.addons.ui_swing.components. reorderablelist.ReorderableJList |
| unanalyzed | call on com.dmdirc.addons.ui_swing.components. reorderablelist.ReorderableJList:getModel |
| unanalyzed | call on com.dmdirc.addons.ui_swing.components. substitutions.SubstitutionsPanel |
| unanalyzed | call on com.dmdirc.addons.ui_swing.components.text. TextLabel |
| unanalyzed | call on com.dmdirc.config.ConfigManager:getOption |
| unanalyzed | call on com.dmdirc.config.IdentityManager:getGlobal Config |
| unanalyzed | call on java.util.Arrays:asList |
| unanalyzed | call on java.util.List:iterator |
| unanalyzed | call on java.util.Timer |
| unanalyzed | call on java.util.Timer:cancel |
| unanalyzed | call on java.util.Timer:schedule |
| unanalyzed | call on java.util.TimerTask |
| unanalyzed | call on javax.swing.BorderFactory:createTitledBorde r |
| unanalyzed | call on javax.swing.DefaultListModel:addElement |
| unanalyzed | call on javax.swing.JLabel |
| unanalyzed | call on javax.swing.JPanel |
| unanalyzed | call on javax.swing.JPanel:add |
| unanalyzed | call on javax.swing.JPanel:setBorder |
| unanalyzed | call on javax.swing.JPanel:setLayout |
| unanalyzed | call on javax.swing.JScrollPane |
| unanalyzed | call on javax.swing.JTextField |
| unanalyzed | call on javax.swing.JTextField:addKeyListener |
| unanalyzed | call on net.miginfocom.swing.MigLayout |
| test_vector | sources: Inverse{null}, Addr_Set{null} |
| Kind |
Annotation Text |
| pre | init'ed(this.updateTimer) |
| pre | this.plugin != null |
| pre | this.sources != null |
| presumption | com.dmdirc.addons.ui_swing.components. reorderablelist.ReorderableJList:getModel(...)@107 != null |
| presumption | com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@110 != null |
| post | new JPanel(initComponents#5) num objects == 1 |
| post | new JPanel(initComponents#9) num objects == 1 |
| post | new JTextField(initComponents#2) num objects == 1 |
| post | new ReorderableJList(initComponents#1) num objects == 1 |
| post | new TextLabel(initComponents#3) num objects == 1 |
| post | new Timer(schedulePreviewUpdate#1) num objects == 1 |
| post | this.list == &new ReorderableJList(initComponen ts#1) |
| post | this.preview == &new TextLabel(initComponents#3 ) |
| post | this.previewPanel == &new JPanel(initComponents #9) |
| post | this.textfield == &new JTextField(initComponent s#2) |
| post | this.updateTimer == &new Timer(schedulePreviewU pdate#1) |
| unanalyzed | call on com.dmdirc.addons.ui_swing.components. substitutions.SubstitutionsPanel |
| unanalyzed | call on java.util.Timer |
| unanalyzed | call on java.util.Timer:cancel |
| unanalyzed | call on java.util.Timer:schedule |
| unanalyzed | call on java.util.TimerTask |
| test_vector | java.util.Iterator:hasNext(...)@106: {0}, {1} |
| Kind |
Annotation Text |
| pre | init'ed(this.plugin.order) |
| pre | this.plugin != null |
| pre | this.plugin.managers != null |
| pre | this.preview != null |
| pre | this.textfield != null |
| pre | this.updateTimer != null |
| unanalyzed | call on com.dmdirc.addons.nowplaying.ConfigPanel$1 |
| unanalyzed | call on com.dmdirc.addons.nowplaying. ConfigPanel$DummyMediaSource |
| unanalyzed | call on com.dmdirc.addons.ui_swing.components.text. TextLabel:repaint |
| unanalyzed | call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setText |
| unanalyzed | call on getAlbum |
| unanalyzed | call on getAppName |
| unanalyzed | call on getArtist |
| unanalyzed | call on getBitrate |
| unanalyzed | call on getFormat |
| unanalyzed | call on getLength |
| unanalyzed | call on getSources |
| unanalyzed | call on getState |
| unanalyzed | call on getTime |
| unanalyzed | call on getTitle |
| unanalyzed | call on java.lang.String:replaceAll |
| unanalyzed | call on java.util.ArrayList |
| unanalyzed | call on java.util.Collections:sort |
| unanalyzed | call on java.util.List:addAll |
| unanalyzed | call on java.util.List:iterator |
| unanalyzed | call on java.util.Timer:cancel |
| unanalyzed | call on javax.swing.JTextField:getText |
| unanalyzed | call on javax.swing.SwingUtilities:invokeLater |
| Kind |
Annotation Text |
| pre | this.list != null |
| pre | this.plugin != null |
| pre | this.textfield != null |
| presumption | com.dmdirc.config.IdentityManager:getConfigIdentity (...)@190 != null |
| post | new LinkedList(getSources#1) num objects == 1 |
| post | this.plugin.order == &new LinkedList(getSources #1) |
| unanalyzed | call on com.dmdirc.addons.nowplaying. NowPlayingPlugin:getDomain |
| unanalyzed | call on com.dmdirc.addons.ui_swing.components. reorderablelist.ReorderableJList:getModel |
| unanalyzed | call on com.dmdirc.config.Identity:setOption |
| unanalyzed | call on com.dmdirc.config.IdentityManager:getConfig Identity |
| unanalyzed | call on java.util.Enumeration:hasMoreElements |
| unanalyzed | call on java.util.Enumeration:nextElement |
| unanalyzed | call on java.util.LinkedList |
| unanalyzed | call on java.util.List:add |
| unanalyzed | call on javax.swing.DefaultListModel:elements |