Messages

Last Msg First Msg

method

com.dmdirc.actions.wrappers.AliasWrapper__static_ init

method	void com.dmdirc.actions.wrappers.AliasWrapper()
post	this.actions == &new ArrayList(ActionGroup#1)
post	this.aliases == &new ArrayList(AliasWrapper#1)
post	this.author == null
post	this.description == null
post	this.component == -1
post	this.version == -1
post	this.name == &"aliases"
post	this.settings == &new HashMap(ActionGroup#2)
post	new ArrayList(ActionGroup#1) num objects == 1
post	new ArrayList(AliasWrapper#1) num objects == 1
post	new HashMap(ActionGroup#2) num objects == 1
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.HashMap

method	AliasWrapper getAliasWrapper()
pre	init'ed(me)
post	me == One-of{old me, &new AliasWrapper(getAlias Wrapper#1)}
post	me != null
post	return_value == me
post	new AliasWrapper(getAliasWrapper#1) num objects <= 1
post	new AliasWrapper(getAliasWrapper#1).actions == &new ArrayList(ActionGroup#1)
post	new AliasWrapper(getAliasWrapper#1).aliases == &new ArrayList(AliasWrapper#1)
post	new AliasWrapper(getAliasWrapper#1).author == null
post	new AliasWrapper(getAliasWrapper#1).component == -1
post	new AliasWrapper(getAliasWrapper#1).description == null
post	new AliasWrapper(getAliasWrapper#1).name == &"aliases"
post	new AliasWrapper(getAliasWrapper#1).settings == &new HashMap(ActionGroup#2)
post	new AliasWrapper(getAliasWrapper#1).version == -1
post	new ArrayList(ActionGroup#1) num objects <= 1
post	new ArrayList(AliasWrapper#1) num objects <= 1
post	new HashMap(ActionGroup#2) num objects <= 1
unanalyzed	call on com.dmdirc.actions.ActionGroup
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.HashMap
test_vector	me: Inverse{null}, Addr_Set{null}

method	List getAliases()
post	return_value == &new ArrayList(getAliases#1)
post	new ArrayList(getAliases#1) num objects == 1

method	void add(Action)
pre	action != null
pre	action.triggers != null
pre	action.triggers.length >= 1
pre	(soft) action.conditions != null
pre	(soft) init'ed(action.name)
pre	(soft) action.triggers[0] != null
pre	(soft) action.triggers[...] != null
pre	(soft) init'ed(com/dmdirc/GlobalWindow. globalWindow)
pre	(soft) com/dmdirc/GlobalWindow.globalWindow. tabCompleter != null
pre	(soft) init'ed(com/dmdirc/ServerManager.me)
pre	(soft) this.actions != null
pre	(soft) this.aliases != null
presumption	init'ed(com.dmdirc.logger.ErrorLevel.MEDIUM)
presumption	init'ed(com.dmdirc.ui.input.TabCompletionType. COMMAND)
presumption	java.util.Iterator:next(...)@98 != null
presumption	server.tabCompleter@98 != null
post	com/dmdirc/ServerManager.me == One-of{old com/dmdirc/ServerManager.me, &new ServerManager(getServerManager#1)}
post	init'ed(com/dmdirc/ServerManager.me)
post	new ArrayList(ServerManager#1) num objects <= 1
post	new ServerManager(getServerManager#1) num objects <= 1
post	init'ed(new ServerManager(getServerManager#1). servers)
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.List:iterator
unanalyzed	call on getConditions
unanalyzed	call on com.dmdirc.commandparser.CommandManager:get CommandChar
unanalyzed	call on java.util.List:add
test_vector	com/dmdirc/GlobalWindow.globalWindow: Addr_Set{null}, Inverse{null}
test_vector	java.lang.Object:equals(...)@85: {0}, {1}

Prev Msg Next Msg

null dereference

click for all messages in this file Medium Prob.

check that getTriggers(...)[0] != null

use of default init

Low Prob.

check if init'ed(getTriggers(...).length)

Prev Msg Next Msg

method not available - call not analyzed Info call on void com.dmdirc.ui.input.TabCompleter:addEn try(TabCompletionType, String)

method not available - call not analyzed Info call on void com.dmdirc.logger.Logger:userError(Err orLevel, String)

method	void remove(Action)
pre	action != null
pre	action.triggers != null
pre	action.triggers.length >= 1
pre	(soft) action.conditions != null
pre	(soft) action.triggers[0] != null
pre	(soft) action.triggers[...] != null
pre	(soft) init'ed(com/dmdirc/ServerManager.me)
pre	(soft) this.actions != null
pre	(soft) this.aliases != null
presumption	init'ed(com.dmdirc.ui.input.TabCompletionType. COMMAND)
presumption	java.util.Iterator:next(...)@121 != null
presumption	server.tabCompleter@121 != null
post	com/dmdirc/ServerManager.me == One-of{old com/dmdirc/ServerManager.me, &new ServerManager(getServerManager#1)}
post	init'ed(com/dmdirc/ServerManager.me)
post	new ArrayList(ServerManager#1) num objects <= 1
post	new ServerManager(getServerManager#1) num objects <= 1
post	init'ed(new ServerManager(getServerManager#1). servers)
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.List:iterator
unanalyzed	call on getConditions
unanalyzed	call on com.dmdirc.commandparser.CommandManager:get CommandChar
unanalyzed	call on java.util.List:remove
test_vector	java.lang.Object:equals(...)@114: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@121: {0}, {1}

method not available - call not analyzed Info call on void com.dmdirc.ui.input.TabCompleter:remov eEntry(TabCompletionType, String)

method	String getCommandName(Action)
pre	action != null
pre	action.conditions != null
presumption	java.util.Iterator:next(...)@135 != null
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	return_value in Addr_Set{null,&java.lang. StringBuilder:toString(...)}
test_vector	condition.arg@135: {-2³¹..0, 2..2³²-1}, {1}
test_vector	java.util.Iterator:hasNext(...)@135: {0}, {1}

method not available - call not analyzed Info call on char com.dmdirc.commandparser. CommandManager:getCommandChar()

method	bool isDelible()
post	return_value == 0

method	String getDescription()
post	return_value == &"Aliases allow you to create new commands that invoke one or more other ... anage aliases using the "Alias Manager", located in the Settings menu."