Messages

Last Msg First Msg

method

com.dmdirc.addons.nowplaying.NowPlayingPlugin__ static_init

method	void com.dmdirc.addons.nowplaying.NowPlayingPlugin ()
post	this.managers == &new ArrayList(NowPlayingPlugi n#2)
post	this.sources == &new ArrayList(NowPlayingPlugin #1)
post	new ArrayList(NowPlayingPlugin#1) num objects == 1
post	new ArrayList(NowPlayingPlugin#2) num objects == 1

method not available - call not analyzed Info call on void com.dmdirc.plugins.Plugin()

method	void onLoad()
pre	this.managers != null
pre	this.sources != null
presumption	init'ed(com.dmdirc.actions.CoreActionType.PLUGIN_ LOADED)
presumption	init'ed(com.dmdirc.actions.CoreActionType.PLUGIN_ UNLOADED)
presumption	com.dmdirc.plugins.PluginManager:getPluginInfos(... )@79 != null
presumption	com.dmdirc.plugins.PluginManager:getPluginManager(. ..)@79 != null
presumption	java.util.Iterator:next(...)@79 != null
post	this.command == &new NowPlayingCommand(onLoad#2 )
post	init'ed(this.order)
post	new ArrayList(loadSettings#1) num objects <= 1
post	new NowPlayingCommand(onLoad#2) num objects == 1
post	this.command.parent == this
post	this.command.parent != null
unanalyzed	call on java.util.ArrayList
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:hasOptionSt ring
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptionLi st
unanalyzed	call on com.dmdirc.plugins.PluginInfo:getPlugin
unanalyzed	call on java.util.List:iterator
unanalyzed	call on getSources
unanalyzed	call on getAppName
unanalyzed	call on java.util.List:contains
unanalyzed	call on java.util.List:add
unanalyzed	call on com.dmdirc.commandparser.commands. ChatCommand
unanalyzed	call on com.dmdirc.commandparser.CommandManager:reg isterCommand
test_vector	com.dmdirc.plugins.PluginInfo:isLoaded(...)@80: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@79: {0}, {1}

method not available - call not analyzed Info call on void com.dmdirc.actions.ActionManager:addLi stener(ActionListener, ActionType[])

method not available - call not analyzed Info call on PluginManager com.dmdirc.plugins. PluginManager:getPluginManager()

method not available - call not analyzed Info call on Collection com.dmdirc.plugins. PluginManager:getPluginInfos()

method not available - call not analyzed Info call on bool com.dmdirc.plugins.PluginInfo:isLoaded ()

method	void onUnload()
pre	init'ed(this.command)
pre	this.managers != null
pre	this.sources != null

method not available - call not analyzed Info call on void com.dmdirc.actions.ActionManager:remov eListener(ActionListener)

method not available - call not analyzed Info call on void com.dmdirc.commandparser. CommandManager:unregisterCommand(CommandInfo)

method	void showConfig(PreferencesManager)
pre	manager != null
pre	init'ed(this.order)
presumption	com.dmdirc.config.prefs.PreferencesManager:getCateg ory(...)@106 != null
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
unanalyzed	call on java.util.LinkedList

method not available - call not analyzed Info call on void com.dmdirc.config.prefs. PreferencesCategory(String, String, String, PreferencesInterface)

method not available - call not analyzed Info call on PreferencesCategory com.dmdirc.config. prefs.PreferencesManager:getCategory(String)

method not available - call not analyzed Info call on void com.dmdirc.config.prefs. PreferencesCategory:addSubCategory(PreferencesCateg ory)

method	void saveSettings(List)
presumption	com.dmdirc.config.IdentityManager:getConfigIdentity (...)@116 != null
post	this.order == newOrder
post	init'ed(this.order)

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, List)

method	void loadSettings()
presumption	com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@121 != null
presumption	com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@122 != null
post	init'ed(this.order)
post	new ArrayList(loadSettings#1) num objects <= 1
test_vector	com.dmdirc.config.ConfigManager:hasOptionString(... )@121: {0}, {1}

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 bool com.dmdirc.config.ConfigManager:hasOpt ionString(String, String)

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 List com.dmdirc.config.ConfigManager:getOpt ionList(String, String)

method	void processEvent(ActionType, StringBuffer, Object[])
pre	(soft) arguments != null
pre	(soft) arguments.length >= 1
pre	(soft) arguments[0] != null
pre	(soft) this.managers != null
pre	(soft) this.order != null
pre	(soft) this.sources != null
presumption	init'ed(com.dmdirc.actions.CoreActionType.PLUGIN_ LOADED)
presumption	init'ed(com.dmdirc.actions.CoreActionType.PLUGIN_ UNLOADED)
unanalyzed	call on com.dmdirc.plugins.PluginInfo:getPlugin
unanalyzed	call on java.util.List:remove
unanalyzed	call on java.util.List:iterator
unanalyzed	call on getSources
unanalyzed	call on getAppName
unanalyzed	call on java.util.List:contains
unanalyzed	call on java.util.List:add

method	void addPlugin(PluginInfo)
pre	target != null
pre	(soft) this.managers != null
pre	(soft) this.order != null
pre	(soft) this.sources != null
presumption	java.util.Iterator:next(...)@156 != null
presumption	targetPlugin.sources@146 != null
unanalyzed	call on getAppName
unanalyzed	call on java.util.List:contains
unanalyzed	call on java.util.List:add
test_vector	java.util.Iterator:hasNext(...)@156: {0}, {1}

method not available - call not analyzed Info call on Plugin com.dmdirc.plugins.PluginInfo:getPlu gin()

Prev Msg Next Msg

test always goes same way

click for all messages in this file Low Prob.

Test predetermined because getSources(...) != null

Prev Msg Next Msg

method	void addSourceToOrder(MediaSource)
pre	source != null
pre	this.order != null
test_vector	java.util.List:contains(...)@170: {1}, {0}

call too complex - analysis skipped Info call on String getAppName()

method	void removePlugin(PluginInfo)
pre	target != null
pre	(soft) this.managers != null
pre	(soft) this.sources != null

method not available - call not analyzed Info call on Plugin com.dmdirc.plugins.PluginInfo:getPlu gin()

method	bool hasRunningSource()
pre	this.managers != null
presumption	java.util.Iterator:next(...)@198 != null
post	init'ed(return_value)
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.List:iterator
unanalyzed	call on getSources
unanalyzed	call on java.util.List:addAll
test_vector	getState(...)@199: Addr_Set{&com.dmdirc.addons. nowplaying.MediaSourceState__static_init.new MediaSourceState(MediaSourceState__static_ init#1)}, Inverse{&com.dmdirc.addons. nowplaying.MediaSourceState__static_init.new MediaSourceState(MediaS...
test_vector	java.util.Iterator:hasNext(...)@198: {0}, {1}

call too complex - analysis skipped Info call on MediaSourceState getState()

method	MediaSource getBestSource()
pre	this.managers != null
pre	init'ed(this.order)
presumption	java.util.Iterator:next(...)@221 != null
post	init'ed(return_value)
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.List:iterator
unanalyzed	call on getSources
unanalyzed	call on java.util.List:addAll
test_vector	getState(...)@222: Addr_Set{&com.dmdirc.addons. nowplaying.MediaSourceState__static_init.new MediaSourceState(MediaSourceState__static_ init#1)}, Inverse{&com.dmdirc.addons. nowplaying.MediaSourceState__static_init.new MediaSourceState(MediaS...
test_vector	getState(...)@223: Inverse{&com.dmdirc.addons. nowplaying.MediaSourceState__static_init.new MediaSourceState(MediaSourceState__static_ init#4)}, Addr_Set{&com.dmdirc.addons. nowplaying.MediaSourceState__static_init.new MediaSourceState(MediaS...
test_vector	java.util.Iterator:hasNext(...)@221: {0}, {1}

call too complex - analysis skipped Info call on MediaSourceState getState()

method	String doSubstitution(String, MediaSource)
pre	format != null
pre	source != null
presumption	getState(...)@251 != null
post	return_value != null

call too complex - analysis skipped Info call on String getArtist()

call too complex - analysis skipped Info call on String getTitle()

call too complex - analysis skipped Info call on String getAlbum()

call too complex - analysis skipped Info call on String getAppName()

call too complex - analysis skipped Info call on String getBitrate()

call too complex - analysis skipped Info call on String getFormat()

call too complex - analysis skipped Info call on String getLength()

call too complex - analysis skipped Info call on String getTime()

call too complex - analysis skipped Info call on MediaSourceState getState()

method	MediaSource getSource(String)
pre	this.managers != null
presumption	getAppName(...)@272 != null
presumption	java.util.Iterator:next(...)@271 != null
post	init'ed(return_value)
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.List:iterator
unanalyzed	call on getSources
unanalyzed	call on java.util.List:addAll
test_vector	java.lang.String:equalsIgnoreCase(...)@272: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@271: {0}, {1}

call too complex - analysis skipped Info call on String getAppName()

method	List getSources()
pre	this.managers != null
presumption	java.util.Iterator:next(...)@288 != null
post	return_value == &new ArrayList(getSources#1)
post	new ArrayList(getSources#1) num objects == 1
test_vector	java.util.Iterator:hasNext(...)@288: {0}, {1}

	method not available - call not analyzed	Info	call on PluginManager com.dmdirc.plugins. PluginManager:getPluginManager()
	method not available - call not analyzed	Info	call on Collection com.dmdirc.plugins. PluginManager:getPluginInfos()

	method not available - call not analyzed	Info	call on PreferencesCategory com.dmdirc.config. prefs.PreferencesManager:getCategory(String)
	method not available - call not analyzed	Info	call on void com.dmdirc.config.prefs. PreferencesCategory:addSubCategory(PreferencesCateg ory)

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, List)

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 bool com.dmdirc.config.ConfigManager:hasOpt ionString(String, String)