AliasWrapper.java

AliasWrapper.java

current inspection = 2009-09-03 21:56:13 (id #1)

Filter Options

Annotation Kind:

pre

presumption

post

unanalyzed

test_vector

Kind	Annotation Text
pre	(soft) action.conditions != null
pre	(soft) action.triggers[0] != null
pre	(soft) action.triggers[...] != null
pre	(soft) com/dmdirc/GlobalWindow.globalWindow. tabCompleter != null
pre	(soft) init'ed(action.name)
pre	(soft) init'ed(com/dmdirc/GlobalWindow. globalWindow)
pre	(soft) init'ed(com/dmdirc/ServerManager.me)
pre	(soft) this.actions != null
pre	(soft) this.aliases != null
pre	action != null
pre	action.triggers != null
pre	action.triggers.length >= 1
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	init'ed(new ServerManager(getServerManager#1). servers)
post	new ArrayList(ServerManager#1) num objects <= 1
post	new ServerManager(getServerManager#1) num objects <= 1
unanalyzed	call on com.dmdirc.commandparser.CommandManager:get CommandChar
unanalyzed	call on getConditions
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.List:add
unanalyzed	call on java.util.List:iterator
test_vector	com/dmdirc/GlobalWindow.globalWindow: Addr_Set{null}, Inverse{null}
test_vector	java.lang.Object:equals(...)@85: {0}, {1}

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

Kind	Annotation Text

Kind	Annotation Text
pre	init'ed(me)
post	me != null
post	me == One-of{old me, &new AliasWrapper(getAlias Wrapper#1)}
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
post	return_value == me
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}

Kind	Annotation Text
post	new ArrayList(getAliases#1) num objects == 1
post	return_value == &new ArrayList(getAliases#1)

Kind	Annotation Text
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}

Kind	Annotation Text
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."

Kind	Annotation Text
post	return_value == 0

Kind	Annotation Text
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
pre	action != null
pre	action.triggers != null
pre	action.triggers.length >= 1
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	init'ed(new ServerManager(getServerManager#1). servers)
post	new ArrayList(ServerManager#1) num objects <= 1
post	new ServerManager(getServerManager#1) num objects <= 1
unanalyzed	call on com.dmdirc.commandparser.CommandManager:get CommandChar
unanalyzed	call on getConditions
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.List:iterator
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}