Messages

method

com.dmdirc.addons.nowplaying.ConfigPanel$2__ static_init

method

com.dmdirc.addons.nowplaying.ConfigPanel__static_ init

method

com.dmdirc.addons.nowplaying.ConfigPanel$1__ static_init

method

com.dmdirc.addons.nowplaying.ConfigPanel$DummyMedi aSource__static_init

method	JPanel access$100(ConfigPanel)
pre	x0 != null
pre	init'ed(x0.previewPanel)
post	return_value == x0.previewPanel
post	init'ed(return_value)

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

method	void com.dmdirc.addons.nowplaying.ConfigPanel(NowP layingPlugin, List)
pre	plugin != null
post	this.list == &new ReorderableJList(initComponen ts#1)
post	this.plugin == plugin
post	this.plugin != null
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)
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	new LinkedList(ConfigPanel#1) num objects <= 1
post	new LinkedList(ConfigPanel#2) num objects <= 1
unanalyzed	call on java.util.Timer:cancel
unanalyzed	call on java.util.Timer
unanalyzed	call on java.util.TimerTask
unanalyzed	call on java.util.Timer:schedule
unanalyzed	call on com.dmdirc.addons.ui_swing.components. reorderablelist.ReorderableJList
unanalyzed	call on java.util.List:iterator
unanalyzed	call on com.dmdirc.addons.ui_swing.components. reorderablelist.ReorderableJList:getModel
unanalyzed	call on javax.swing.DefaultListModel:addElement
unanalyzed	call on com.dmdirc.config.IdentityManager:getGlobal Config
unanalyzed	call on com.dmdirc.addons.nowplaying. NowPlayingPlugin:getDomain
unanalyzed	call on com.dmdirc.config.ConfigManager:getOption
unanalyzed	call on javax.swing.JTextField
unanalyzed	call on javax.swing.JTextField:addKeyListener
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel
unanalyzed	call on net.miginfocom.swing.MigLayout
unanalyzed	call on com.dmdirc.addons.nowplaying. ConfigPanel:setLayout
unanalyzed	call on javax.swing.JPanel
unanalyzed	call on javax.swing.BorderFactory:createTitledBorde r
unanalyzed	call on javax.swing.JPanel:setBorder
unanalyzed	call on javax.swing.JPanel:setLayout
unanalyzed	call on javax.swing.JLabel
unanalyzed	call on javax.swing.JPanel:add
unanalyzed	call on javax.swing.JScrollPane
unanalyzed	call on com.dmdirc.addons.nowplaying. ConfigPanel:add
unanalyzed	call on java.util.Arrays:asList
unanalyzed	call on com.dmdirc.addons.ui_swing.components. substitutions.SubstitutionsPanel
test_vector	sources: Inverse{null}, Addr_Set{null}

method	void initComponents()
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	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)
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
unanalyzed	call on java.util.Timer:cancel
unanalyzed	call on java.util.Timer
unanalyzed	call on java.util.TimerTask
unanalyzed	call on java.util.Timer:schedule
unanalyzed	call on com.dmdirc.addons.ui_swing.components. substitutions.SubstitutionsPanel
test_vector	java.util.Iterator:hasNext(...)@106: {0}, {1}

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. reorderablelist.ReorderableJList()

method not available - call not analyzed Info call on DefaultListModel com.dmdirc.addons.ui_ swing.components.reorderablelist.ReorderableJList:g etModel()

method not available - call not analyzed Info call on ConfigManager com.dmdirc.config. IdentityManager:getGlobalConfig()

method not available - call not analyzed Info call on String com.dmdirc.addons.nowplaying. NowPlayingPlugin:getDomain()

method not available - call not analyzed Info call on String com.dmdirc.config.ConfigManager:getO ption(String, String)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. text.TextLabel(String)

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.nowplaying. ConfigPanel:setLayout(LayoutManager)

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.nowplaying. ConfigPanel:add(Component, Object)

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.nowplaying. ConfigPanel:add(Component, Object)

method	void updatePreview()
pre	this.plugin != null
pre	this.plugin.managers != null
pre	init'ed(this.plugin.order)
pre	this.preview != null
pre	this.textfield != null
pre	this.updateTimer != null
presumption	javax.swing.JTextField:getText(...)@156 != null
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.List:iterator
unanalyzed	call on getSources
unanalyzed	call on java.util.List:addAll
unanalyzed	call on getState
unanalyzed	call on java.util.Collections:sort
unanalyzed	call on getArtist
unanalyzed	call on getTitle
unanalyzed	call on getAlbum
unanalyzed	call on getAppName
unanalyzed	call on getBitrate
unanalyzed	call on getFormat
unanalyzed	call on getLength
unanalyzed	call on getTime
unanalyzed	call on java.lang.String:replaceAll

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. text.TextLabel:setText(String)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. text.TextLabel:repaint()

method

void com.dmdirc.addons.nowplaying.ConfigPanel$1(Co nfigPanel)

method	void run()
pre	this.previewPanel != null

method not available - call not analyzed Info call on void com.dmdirc.addons.nowplaying. ConfigPanel:revalidate()

method	List getSources()
pre	this.list != null
presumption	com.dmdirc.addons.ui_swing.components. reorderablelist.ReorderableJList:getModel(...)@177 != null
presumption	javax.swing.DefaultListModel:elements(...)@177 != null
post	return_value == &new LinkedList(getSources#1)
post	new LinkedList(getSources#1) num objects == 1
test_vector	java.util.Enumeration:hasMoreElements(...)@179: {0}, {1}

method not available - call not analyzed Info call on DefaultListModel com.dmdirc.addons.ui_ swing.components.reorderablelist.ReorderableJList:g etModel()

method	void save()
pre	this.list != null
pre	this.plugin != null
pre	this.textfield != null
presumption	com.dmdirc.config.IdentityManager:getConfigIdentity (...)@190 != null
post	this.plugin.order == &new LinkedList(getSources #1)
post	new LinkedList(getSources#1) num objects == 1
unanalyzed	call on com.dmdirc.addons.ui_swing.components. reorderablelist.ReorderableJList:getModel
unanalyzed	call on java.util.LinkedList
unanalyzed	call on javax.swing.DefaultListModel:elements
unanalyzed	call on java.util.Enumeration:hasMoreElements
unanalyzed	call on java.util.Enumeration:nextElement
unanalyzed	call on java.util.List:add
unanalyzed	call on com.dmdirc.addons.nowplaying. NowPlayingPlugin:getDomain
unanalyzed	call on com.dmdirc.config.IdentityManager:getConfig Identity
unanalyzed	call on com.dmdirc.config.Identity:setOption

method not available - call not analyzed Info call on Identity com.dmdirc.config.IdentityManager: getConfigIdentity()

method not available - call not analyzed Info call on String com.dmdirc.addons.nowplaying. NowPlayingPlugin:getDomain()

method not available - call not analyzed Info call on void com.dmdirc.config.Identity:setOption(S tring, String, String)

method

void keyTyped(KeyEvent)

method

void keyPressed(KeyEvent)

method	void keyReleased(KeyEvent)
pre	init'ed(this.updateTimer)
post	this.updateTimer == &new Timer(schedulePreviewU pdate#1)
post	new Timer(schedulePreviewUpdate#1) num objects == 1
unanalyzed	call on java.util.Timer:cancel
unanalyzed	call on java.util.Timer
unanalyzed	call on java.util.TimerTask
unanalyzed	call on java.util.Timer:schedule

method	void schedulePreviewUpdate()
pre	init'ed(this.updateTimer)
post	this.updateTimer == &new Timer(schedulePreviewU pdate#1)
post	new Timer(schedulePreviewUpdate#1) num objects == 1
unanalyzed	call on java.util.TimerTask
test_vector	this.updateTimer: Addr_Set{null}, Inverse{null}

method

void com.dmdirc.addons.nowplaying.ConfigPanel$2(Co nfigPanel)

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

method

void com.dmdirc.addons.nowplaying.ConfigPanel$Dumm yMediaSource(ConfigPanel)

method

void com.dmdirc.addons.nowplaying.ConfigPanel$Dumm yMediaSource(ConfigPanel, ConfigPanel$1)

method	MediaSourceState getState()
post	return_value == &com.dmdirc.addons.nowplaying. MediaSourceState__static_init.new MediaSourceState( MediaSourceState__static_init#4)

method	String getAppName()
post	return_value == &"MyProgram"

method	String getArtist()
post	return_value == &"The Artist"

method	String getTitle()
post	return_value == &"Song about nothing"

method	String getAlbum()
post	return_value == &"Album 45"

method	String getLength()
post	return_value == &"3:45"

method	String getTime()
post	return_value == &"1:20"

method	String getFormat()
post	return_value == &"flac"

method	String getBitrate()
post	return_value == &"128"

method not available - call not analyzed	Info	call on ConfigManager com.dmdirc.config. IdentityManager:getGlobalConfig()
method not available - call not analyzed	Info	call on String com.dmdirc.addons.nowplaying. NowPlayingPlugin:getDomain()
method not available - call not analyzed	Info	call on String com.dmdirc.config.ConfigManager:getO ption(String, String)

	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.nowplaying. ConfigPanel:setLayout(LayoutManager)

method not available - call not analyzed	Info	call on Identity com.dmdirc.config.IdentityManager: getConfigIdentity()
method not available - call not analyzed	Info	call on String com.dmdirc.addons.nowplaying. NowPlayingPlugin:getDomain()
method not available - call not analyzed	Info	call on void com.dmdirc.config.Identity:setOption(S tring, String, String)