Messages

Last Msg First Msg

method

com.dmdirc.addons.nowplaying.NowPlayingCommand__ static_init

method	void com.dmdirc.addons.nowplaying.NowPlayingComman d(NowPlayingPlugin)
post	this.parent == parent
post	init'ed(this.parent)

method not available - call not analyzed Info call on void com.dmdirc.commandparser.commands. ChatCommand()

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

method	void execute(InputWindow, Server, MessageTarget, bool, CommandArguments)
pre	args != null
pre	(soft) target != null
pre	(soft) this.parent != null
pre	(soft) this.parent.managers != null
pre	(soft) init'ed(this.parent.order)
presumption	com.dmdirc.MessageTarget:getFrame(...)@77 != null
presumption	com.dmdirc.MessageTarget:getFrame(...)@89 != null
presumption	com.dmdirc.commandparser.CommandArguments:getArgume nts(...).length@64 >= 1
presumption	com.dmdirc.commandparser.CommandArguments:getArgume nts(...).length@67 >= 1
presumption	com.dmdirc.commandparser.CommandArguments:getArgume nts(...).length@70 >= 2
presumption	com.dmdirc.commandparser.CommandArguments:getArgume nts(...)@64 != null
presumption	com.dmdirc.commandparser.CommandArguments:getArgume nts(...)@67 != null
presumption	com.dmdirc.commandparser.CommandArguments:getArgume nts(...)@69 != null
presumption	com.dmdirc.commandparser.CommandArguments:getArgume nts(...)@70 != null
presumption	com.dmdirc.commandparser.CommandArguments:getArgume nts(...)[0]@64 != null
presumption	com.dmdirc.commandparser.CommandArguments:getArgume nts(...)[0]@67 != null
presumption	com.dmdirc.ui.interfaces.InputWindow:getCommandPars er(...)@77 != null
presumption	com.dmdirc.ui.interfaces.InputWindow:getCommandPars er(...)@89 != null
unanalyzed	call on getSources
unanalyzed	call on java.util.List:iterator
unanalyzed	call on getState
unanalyzed	call on getAppName
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 doSubstitution
unanalyzed	call on java.util.List:isEmpty
unanalyzed	call on com.dmdirc.addons.nowplaying. NowPlayingCommand:sendLine
unanalyzed	call on java.util.List:size
unanalyzed	call on java.lang.String:toLowerCase
unanalyzed	call on com.dmdirc.addons.nowplaying. NowPlayingCommand:doTable
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.List:addAll
unanalyzed	call on getArtist
unanalyzed	call on getTitle
unanalyzed	call on getAlbum
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 java.lang.String:equalsIgnoreCase
unanalyzed	call on java.util.Collections:sort
test_vector	com.dmdirc.commandparser.CommandArguments:getArgume nts(...).length@64: {0}, {1..+Inf}
test_vector	com.dmdirc.commandparser.CommandArguments:getArgume nts(...).length@67: {0}, {1..+Inf}
test_vector	com.dmdirc.commandparser.CommandArguments:getArgume nts(...).length@69: {0,1}, {2..+Inf}
test_vector	getState(...)@76: 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(MediaSo...
test_vector	java.lang.String:equalsIgnoreCase(...)@64: {0}, {1}
test_vector	java.lang.String:equalsIgnoreCase(...)@67: {0}, {1}

method not available - call not analyzed Info call on String[] com.dmdirc.commandparser. CommandArguments:getArguments()

method not available - call not analyzed Info call on void com.dmdirc.addons.nowplaying. NowPlayingCommand:sendLine(InputWindow, bool, String, Object[])

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

method not available - call not analyzed Info call on InputWindow com.dmdirc.MessageTarget:getFra me()

method not available - call not analyzed Info call on CommandParser com.dmdirc.ui.interfaces. InputWindow:getCommandParser()

method not available - call not analyzed Info call on void com.dmdirc.commandparser.parsers. CommandParser:parseCommand(InputWindow, String)

method not available - call not analyzed Info call on void com.dmdirc.addons.nowplaying. NowPlayingCommand:sendLine(InputWindow, bool, String, Object[])

Prev Msg Next Msg

precondition failure

click for all messages in this file Medium Prob.

com/dmdirc/addons/nowplaying/NowPlayingCommand. getInformation: source != null

method not available - call not analyzed Info call on InputWindow com.dmdirc.MessageTarget:getFra me()

method not available - call not analyzed Info call on CommandParser com.dmdirc.ui.interfaces. InputWindow:getCommandParser()

method not available - call not analyzed Info call on void com.dmdirc.commandparser.parsers. CommandParser:parseCommand(InputWindow, String)

Prev Msg Next Msg

method not available - call not analyzed Info call on void com.dmdirc.addons.nowplaying. NowPlayingCommand:sendLine(InputWindow, bool, String, Object[])

method	void doSourceList(InputWindow, bool)
pre	this.parent != null
pre	this.parent.managers != null
presumption	getState(...).niceName@117 != null
presumption	getState(...)@117 != null
presumption	java.util.Iterator:next(...)@113 != null
presumption	java.util.List:size(...)@110 >= 1
unanalyzed	call on getState
unanalyzed	call on getAppName
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 doSubstitution
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 getArtist
unanalyzed	call on getTitle
unanalyzed	call on getAlbum
unanalyzed	call on getBitrate
unanalyzed	call on getFormat
unanalyzed	call on getLength
unanalyzed	call on getTime
unanalyzed	call on java.lang.String:replaceAll
test_vector	getState(...)@116: 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(...)@113: {0}, {1}
test_vector	java.util.List:isEmpty(...)@106: {0}, {1}

method not available - call not analyzed Info call on void com.dmdirc.addons.nowplaying. NowPlayingCommand:sendLine(InputWindow, bool, String, Object[])

Prev Msg Next Msg

array index out of bounds

click for all messages in this file Medium Prob.

check that i < data.length

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

Prev Msg Next Msg

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

method not available - call not analyzed Info call on String com.dmdirc.addons.nowplaying. NowPlayingCommand:doTable(String[], String[][])

method not available - call not analyzed Info call on void com.dmdirc.addons.nowplaying. NowPlayingCommand:sendLine(InputWindow, bool, String, Object[])

method	String getInformation(MediaSource)
pre	source != null
pre	this.parent != null
presumption	com.dmdirc.config.ConfigManager:getOption(...)@139 != null
presumption	com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@139 != null
post	return_value != null
unanalyzed	call on getState
unanalyzed	call on getAppName
unanalyzed	call on getArtist
unanalyzed	call on getTitle
unanalyzed	call on getAlbum
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 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	String getName()
post	return_value == &"nowplaying"

method	bool showInHelp()
post	return_value == 1

method	String getHelp()
post	return_value == &"nowplaying [--sources\|--sourc e <source>] - tells the channel the song you're currently playing"

method	AdditionalTabTargets getSuggestions(int, List)
pre	(soft) previousArgs != null
pre	(soft) this.parent != null
pre	(soft) this.parent.managers != null
presumption	java.util.Iterator:next(...)@174 != null
presumption	java.util.List:get(...)@173 != null
post	return_value == &new AdditionalTabTargets(getSu ggestions#1)
post	new AdditionalTabTargets(getSuggestions#1) num objects == 1
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	arg: {-2³¹..-1, 2..2³²-1}, {0}, {1}
test_vector	getState(...)@175: 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.lang.String:equalsIgnoreCase(...)@173: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@174: {0}, {1}

method not available - call not analyzed Info call on void com.dmdirc.ui.input.AdditionalTabTarge ts()

method not available - call not analyzed Info call on AdditionalTabTargets com.dmdirc.ui.input. AdditionalTabTargets:excludeAll()

method not available - call not analyzed Info call on bool com.dmdirc.ui.input.AdditionalTabTarge ts:add(Object)

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

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

method not available - call not analyzed Info call on bool com.dmdirc.ui.input.AdditionalTabTarge ts:add(Object)

method not available - call not analyzed	Info	call on InputWindow com.dmdirc.MessageTarget:getFra me()
method not available - call not analyzed	Info	call on CommandParser com.dmdirc.ui.interfaces. InputWindow:getCommandParser()
method not available - call not analyzed	Info	call on void com.dmdirc.commandparser.parsers. CommandParser:parseCommand(InputWindow, String)

	method not available - call not analyzed	Info	call on String com.dmdirc.addons.nowplaying. NowPlayingCommand:doTable(String[], String[][])
	method not available - call not analyzed	Info	call on void com.dmdirc.addons.nowplaying. NowPlayingCommand:sendLine(InputWindow, bool, String, Object[])

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)

	call too complex - analysis skipped	Info	call on String getAppName()
	method not available - call not analyzed	Info	call on bool com.dmdirc.ui.input.AdditionalTabTarge ts:add(Object)