ActionManager.java

ActionManager.java

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

Filter Options

Annotation Kind:

pre

presumption

post

unanalyzed

test_vector

bool access$002(bool)

Kind	Annotation Text
post	init'ed(killSwitch)
post	killSwitch == x0
post	return_value == killSwitch

void addListener(ActionListener, ActionType[])

Kind	Annotation Text
pre	(soft) init'ed(types[...])
pre	types != null
pre	types.length <= 2³²-1

void com.dmdirc.actions.ActionManager$1()

Kind	Annotation Text

com.dmdirc.actions.ActionManager$1__static_init

Kind	Annotation Text

void com.dmdirc.actions.ActionManager$2()

Kind	Annotation Text

com.dmdirc.actions.ActionManager$2__static_init

Kind	Annotation Text

void com.dmdirc.actions.ActionManager()

Kind	Annotation Text

com.dmdirc.actions.ActionManager__static_init

Kind	Annotation Text
presumption	com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@84 != null
post	actionComparisons == &new ArrayList(ActionManag er__static_init#3)
post	actionComponents == &new ArrayList(ActionManage r__static_init#2)
post	actionTypeGroups == &new MapList(ActionManager_ _static_init#6)
post	actionTypes == &new ArrayList(ActionManager__ static_init#1)
post	actions == &new MapList(ActionManager__static_ init#4)
post	groups == &new HashMap(ActionManager__static_ init#5)
post	init'ed(killSwitch)
post	listeners == &new MapList(ActionManager__ static_init#7)
post	new ArrayList(ActionManager__static_init#1) num objects == 1
post	new ArrayList(ActionManager__static_init#2) num objects == 1
post	new ArrayList(ActionManager__static_init#3) num objects == 1
post	new HashMap(ActionManager__static_init#5) num objects == 1
post	new MapList(ActionManager__static_init#4) num objects == 1
post	new MapList(ActionManager__static_init#6) num objects == 1
post	new MapList(ActionManager__static_init#7) num objects == 1

void configChanged(String, String)

Kind	Annotation Text
presumption	com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@119 != null
post	init'ed(com/dmdirc/actions/ActionManager. killSwitch)

void deleteAction(Action)

Kind	Annotation Text
pre	(soft) com.dmdirc.actions.CoreActionType__static_ init.new CoreActionType(CoreActionType__static_init #73).type != null
pre	(soft) init'ed(com/dmdirc/ServerManager.me)
pre	action != null
pre	init'ed(action.group)
pre	init'ed(action.location)
pre	init'ed(action.name)
pre	init'ed(killSwitch)
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 ArrayList(ServerManager#1) num objects == 0, if init'ed
post	new ArrayList(ServerManager#1) num objects == undefined
post	new ServerManager(getServerManager#1) num objects <= 1
post	new ServerManager(getServerManager#1) num objects == new ArrayList(ServerManager#1) num objects
post	new ServerManager(getServerManager#1).servers == null
post	new ServerManager(getServerManager#1).servers == undefined
unanalyzed	call on [Ljava.lang.String;:instanceof
unanalyzed	call on com.dmdirc.ServerState:equals
unanalyzed	call on com.dmdirc.actions.ConditionTree$OPERATION: ordinal
unanalyzed	call on com.dmdirc.commandparser.CommandManager:get CommandChar
unanalyzed	call on com.dmdirc.commandparser.parsers. CommandParser:parseCommand
unanalyzed	call on com.dmdirc.commandparser.parsers. GlobalCommandParser:getGlobalCommandParser
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptions
unanalyzed	call on com.dmdirc.config.IdentityManager:getGlobal Config
unanalyzed	call on com.dmdirc.interfaces.ActionListener:proces sEvent
unanalyzed	call on com.dmdirc.logger.Logger:assertTrue
unanalyzed	call on com.dmdirc.ui.input.TabCompleter:removeEntr y
unanalyzed	call on com.dmdirc.ui.interfaces.InputWindow:getCom mandParser
unanalyzed	call on com.dmdirc.ui.interfaces.InputWindow:instan ceof
unanalyzed	call on com.dmdirc.ui.interfaces.UIController:getAc tiveWindow
unanalyzed	call on com.dmdirc.util.MapList:containsKey
unanalyzed	call on com.dmdirc.util.MapList:get
unanalyzed	call on com.dmdirc.util.MapList:removeFromAll
unanalyzed	call on doComponentSubstitutions
unanalyzed	call on doServerSubstitutions
unanalyzed	call on evaluate
unanalyzed	call on get
unanalyzed	call on getArgTypes
unanalyzed	call on getArity
unanalyzed	call on getCommandName
unanalyzed	call on getCompatibleComponents
unanalyzed	call on getConditions
unanalyzed	call on getFrame
unanalyzed	call on getGroup
unanalyzed	call on getServer
unanalyzed	call on getState
unanalyzed	call on getTabCompleter
unanalyzed	call on getTriggers
unanalyzed	call on getType
unanalyzed	call on getUI
unanalyzed	call on java.io.File
unanalyzed	call on java.io.File:delete
unanalyzed	call on java.lang.Character:charValue
unanalyzed	call on java.lang.Character:instanceof
unanalyzed	call on java.lang.Character:valueOf
unanalyzed	call on java.lang.Integer:parseInt
unanalyzed	call on java.lang.Object:equals
unanalyzed	call on java.lang.Object:toString
unanalyzed	call on java.lang.String:charAt
unanalyzed	call on java.lang.String:instanceof
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.String:split
unanalyzed	call on java.lang.String:valueOf
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.ArrayDeque
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.ArrayList:iterator
unanalyzed	call on java.util.Deque:add
unanalyzed	call on java.util.Deque:addFirst
unanalyzed	call on java.util.Deque:isEmpty
unanalyzed	call on java.util.Deque:poll
unanalyzed	call on java.util.Deque:pollFirst
unanalyzed	call on java.util.Deque:pollLast
unanalyzed	call on java.util.Deque:size
unanalyzed	call on java.util.HashMap
unanalyzed	call on java.util.List:get
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.util.List:remove
unanalyzed	call on java.util.List:size
unanalyzed	call on java.util.Map$Entry:getKey
unanalyzed	call on java.util.Map$Entry:getValue
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:entrySet
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.util.Map:put
unanalyzed	call on java.util.Set:iterator
unanalyzed	call on parseStack
unanalyzed	call on readTerm
unanalyzed	call on remove
unanalyzed	call on test
unanalyzed	call on trigger
unanalyzed	call on triggerActions

ActionComparison getActionComparison(String)

Kind	Annotation Text
pre	type != null
presumption	java.lang.Enum:name(...)@645 != null
presumption	java.util.Iterator:next(...)@644 != null
post	init'ed(return_value)
test_vector	java.lang.String:equals(...)@645: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@644: {0}, {1}

ActionComponent getActionComponent(String)

Kind	Annotation Text
pre	type != null
presumption	java.lang.Enum:name(...)@624 != null
presumption	java.util.Iterator:next(...)@623 != null
post	init'ed(return_value)
test_vector	java.lang.String:equals(...)@624: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@623: {0}, {1}

ActionType getActionType(String)

Kind	Annotation Text
presumption	java.lang.Enum:name(...)@522 != null
presumption	java.util.Iterator:next(...)@521 != null
post	init'ed(return_value)
test_vector	java.lang.String:equals(...)@522: {0}, {1}
test_vector	java.lang.String:isEmpty(...)@517: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@521: {0}, {1}
test_vector	type: Addr_Set{null}, Inverse{null}

List getComparisons()

Kind	Annotation Text
post	return_value == &new ArrayList(ActionManager__ static_init#3)

List getCompatibleComparisons(Class)

Kind	Annotation Text
presumption	appliesTo(...)@585 != null
presumption	java.util.Iterator:next(...)@584 != null
post	new ArrayList(getCompatibleComparisons#1) num objects == 1
post	return_value == &new ArrayList(getCompatibleCom parisons#1)
test_vector	java.lang.Object:equals(...)@585: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@584: {0}, {1}

List getCompatibleComponents(Class)

Kind	Annotation Text
presumption	appliesTo(...)@564 != null
presumption	java.util.Iterator:next(...)@563 != null
post	new ArrayList(getCompatibleComponents#1) num objects == 1
post	return_value == &new ArrayList(getCompatibleCom ponents#1)
test_vector	java.lang.Object:equals(...)@564: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@563: {0}, {1}

List getCompatibleTypes(ActionType)

Kind	Annotation Text
pre	(soft) type != null
presumption	java.util.Iterator:next(...)@542 != null
presumption	target.type@542 != null
post	new ArrayList(getCompatibleTypes#1) num objects == 1
post	return_value == &new ArrayList(getCompatibleTyp es#1)
test_vector	java.lang.Object:equals(...)@543: {0}, {1}
test_vector	java.lang.Object:equals(...)@543: {1}, {0}
test_vector	java.util.Iterator:hasNext(...)@542: {0}, {1}

String getDirectory()

Kind	Annotation Text
pre	init'ed(com/dmdirc/Main.configdir)
post	com/dmdirc/Main.configdir != null
post	com/dmdirc/Main.configdir == One-of{old com/dmdirc/Main.configdir, &java.lang. StringBuilder:toString(...)}
post	init'ed(java.lang.StringBuilder:toString(...)._ tainted)
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	return_value == &java.lang.StringBuilder:toStri ng(...)
unanalyzed	call on java.lang.String:startsWith
unanalyzed	call on java.lang.System:getProperty
unanalyzed	call on java.lang.System:getenv

ActionGroup getGroup(String)

Kind	Annotation Text
post	init'ed(return_value)
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.HashMap
test_vector	java.util.Map:containsKey(...)@305: {1}, {0}

Map getGroups()

Kind	Annotation Text
post	return_value == &new HashMap(ActionManager__ static_init#5)

MapList getTypeGroups()

Kind	Annotation Text
post	return_value == &new MapList(ActionManager__ static_init#6)

List getTypes()

Kind	Annotation Text
post	return_value == &new ArrayList(ActionManager__ static_init#1)

void init()

Kind	Annotation Text
pre	(soft) com.dmdirc.actions.CoreActionType__static_ init.new CoreActionType[](CoreActionType__static_in it#74)[...] != null
pre	(soft) com.dmdirc.actions.CoreActionType__static_ init.new CoreActionType[](CoreActionType__static_in it#74)[...].type != null
pre	(soft) init'ed(com.dmdirc.actions.CoreActionCompari son__static_init.new CoreActionComparison[](CoreAct ionComparison__static_init#13)[...])
pre	(soft) init'ed(com.dmdirc.actions.CoreActionCompone nt__static_init.new CoreActionComponent[](CoreActio nComponent__static_init#28)[...])
pre	com/dmdirc/actions/wrappers/PerformWrapper.me != null
pre	init'ed(com/dmdirc/actions/wrappers/AliasWrapper. me)
presumption	com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@114 != null
post	com/dmdirc/actions/wrappers/AliasWrapper.me != null
post	com/dmdirc/actions/wrappers/AliasWrapper.me == One-of{old com/dmdirc/actions/wrappers/AliasWrappe r.me, &new AliasWrapper(getAliasWrapper#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 == new AliasWrapper(getAliasWrapper#1) num objects
post	new ArrayList(AliasWrapper#1) num objects == new AliasWrapper(getAliasWrapper#1) num objects
post	new HashMap(ActionGroup#2) num objects == new AliasWrapper(getAliasWrapper#1) num objects
unanalyzed	call on com.dmdirc.actions.ActionGroup
unanalyzed	call on com.dmdirc.logger.Logger:assertTrue
unanalyzed	call on com.dmdirc.util.MapList:add
unanalyzed	call on getGroup
unanalyzed	call on getType
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.HashMap
unanalyzed	call on java.util.List:add
unanalyzed	call on java.util.List:contains
unanalyzed	call on java.util.Map:put

void installActionPack(String)

Kind	Annotation Text
pre	init'ed(com/dmdirc/Main.configdir)
presumption	com.dmdirc.util.resourcemanager.ZipResourceManager: getInstance(...)@660 != null
post	init'ed(com/dmdirc/Main.configdir)
post	init'ed(new ArrayList(ServerManager#1) num objects)
post	init'ed(new ServerManager(getServerManager#1) num objects)
post	init'ed(new ServerManager(getServerManager#1). servers)
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	possibly_updated(com/dmdirc/ServerManager.me)
unanalyzed	call on com.dmdirc.actions.Action
unanalyzed	call on com.dmdirc.commandparser.CommandManager:get CommandChar
unanalyzed	call on com.dmdirc.logger.Logger:assertTrue
unanalyzed	call on com.dmdirc.logger.Logger:userError
unanalyzed	call on com.dmdirc.ui.input.TabCompleter:removeEntr y
unanalyzed	call on com.dmdirc.updater.components. ActionGroupComponent
unanalyzed	call on com.dmdirc.util.ConfigFile
unanalyzed	call on com.dmdirc.util.ConfigFile:read
unanalyzed	call on com.dmdirc.util.InvalidConfigFileException: getMessage
unanalyzed	call on com.dmdirc.util.MapList:clear
unanalyzed	call on getCommandName
unanalyzed	call on getConditions
unanalyzed	call on getConfigDir
unanalyzed	call on getTabCompleter
unanalyzed	call on getTriggers
unanalyzed	call on java.io.File
unanalyzed	call on java.io.File:createNewFile
unanalyzed	call on java.io.File:exists
unanalyzed	call on java.io.File:getName
unanalyzed	call on java.io.File:isDirectory
unanalyzed	call on java.io.File:listFiles
unanalyzed	call on java.io.File:mkdirs
unanalyzed	call on java.io.IOException:getMessage
unanalyzed	call on java.lang.Object:equals
unanalyzed	call on java.lang.String:startsWith
unanalyzed	call on java.lang.System:getProperty
unanalyzed	call on java.lang.System:getenv
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.ArrayList:iterator
unanalyzed	call on java.util.Collection:iterator
unanalyzed	call on java.util.HashMap
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.util.List:remove
unanalyzed	call on java.util.Map:clear
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:put
unanalyzed	call on java.util.Map:values
unanalyzed	call on loadActionFromConfig
unanalyzed	call on remove

void loadActions()

Kind	Annotation Text
pre	init'ed(com/dmdirc/Main.configdir)
presumption	arr$.length@243 <= 2³²-1
presumption	arr$[i$]@243 != null
presumption	group.actions@224 != null
presumption	group.settings@224 != null
presumption	init'ed(com.dmdirc.logger.ErrorLevel.HIGH)
presumption	init'ed(com.dmdirc.logger.ErrorLevel.MEDIUM)
presumption	java.io.File:listFiles(...)@243 != null
presumption	java.util.Iterator:next(...)@224 != null
presumption	java.util.Map:values(...)@224 != null
post	init'ed(new ArrayList(ServerManager#1) num objects)
post	init'ed(new ServerManager(getServerManager#1) num objects)
post	init'ed(new ServerManager(getServerManager#1). servers)
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	possibly_updated(com/dmdirc/Main.configdir)
post	possibly_updated(com/dmdirc/ServerManager.me)
unanalyzed	call on com.dmdirc.actions.Action
unanalyzed	call on com.dmdirc.commandparser.CommandManager:get CommandChar
unanalyzed	call on com.dmdirc.logger.Logger:assertTrue
unanalyzed	call on com.dmdirc.logger.Logger:userError
unanalyzed	call on com.dmdirc.ui.input.TabCompleter:removeEntr y
unanalyzed	call on com.dmdirc.updater.components. ActionGroupComponent
unanalyzed	call on com.dmdirc.util.ConfigFile
unanalyzed	call on com.dmdirc.util.ConfigFile:read
unanalyzed	call on com.dmdirc.util.InvalidConfigFileException: getMessage
unanalyzed	call on getCommandName
unanalyzed	call on getConditions
unanalyzed	call on getConfigDir
unanalyzed	call on getTabCompleter
unanalyzed	call on getTriggers
unanalyzed	call on java.io.File:getName
unanalyzed	call on java.io.File:isDirectory
unanalyzed	call on java.io.File:listFiles
unanalyzed	call on java.io.IOException:getMessage
unanalyzed	call on java.lang.Object:equals
unanalyzed	call on java.lang.String:startsWith
unanalyzed	call on java.lang.System:getProperty
unanalyzed	call on java.lang.System:getenv
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.ArrayList:iterator
unanalyzed	call on java.util.Collection:iterator
unanalyzed	call on java.util.HashMap
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.util.List:remove
unanalyzed	call on java.util.Map:clear
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:put
unanalyzed	call on java.util.Map:values
unanalyzed	call on loadActionFromConfig
unanalyzed	call on remove
test_vector	java.io.File:exists(...)@230: {1}, {0}
test_vector	java.io.File:isDirectory(...)@244: {0}, {1}
test_vector	java.io.File:listFiles(...)@240: Inverse{null}, Addr_Set{null}
test_vector	java.util.Iterator:hasNext(...)@224: {0}, {1}

void loadActions(File)

Kind	Annotation Text
pre	(soft) init'ed(com/dmdirc/Main.configdir)
pre	dir != null
presumption	arr$.length@276 <= 2³²-1
presumption	arr$[i$]@276 != null
presumption	java.io.File:listFiles(...)@276 != null
post	init'ed(com/dmdirc/Main.configdir)
post	java.lang.StringBuilder:toString(...)._tainted == 0
unanalyzed	call on com.dmdirc.logger.Logger:userError
unanalyzed	call on com.dmdirc.util.ConfigFile
unanalyzed	call on com.dmdirc.util.ConfigFile:read
unanalyzed	call on com.dmdirc.util.InvalidConfigFileException: getMessage
unanalyzed	call on getConfigDir
unanalyzed	call on java.io.IOException:getMessage
unanalyzed	call on java.lang.String:startsWith
unanalyzed	call on java.lang.System:getProperty
unanalyzed	call on java.lang.System:getenv
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.HashMap
unanalyzed	call on loadActionFromConfig
test_vector	java.util.Map:containsKey(...)@272: {1}, {0}

ActionGroup makeGroup(String)

Kind	Annotation Text
pre	group != null
pre	init'ed(com/dmdirc/Main.configdir)
presumption	java.io.File:mkdir(...)@427 == 1
post	com/dmdirc/Main.configdir != null
post	com/dmdirc/Main.configdir == One-of{old com/dmdirc/Main.configdir, &java.lang. StringBuilder:toString(...)}
post	init'ed(new ActionGroup(makeGroup#3).author)
post	init'ed(new ActionGroup(makeGroup#3).component)
post	init'ed(new ActionGroup(makeGroup#3).description)
post	init'ed(new ActionGroup(makeGroup#3).version)
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	new ActionGroup(makeGroup#3) num objects == 1
post	new ActionGroup(makeGroup#3).actions == &new ArrayList(ActionGroup#1)
post	new ActionGroup(makeGroup#3).name != null
post	new ActionGroup(makeGroup#3).name == group
post	new ActionGroup(makeGroup#3).settings == &new HashMap(ActionGroup#2)
post	new ArrayList(ActionGroup#1) num objects == 1
post	new HashMap(ActionGroup#2) num objects == 1
post	return_value == &new ActionGroup(makeGroup#3)
unanalyzed	call on getConfigDir
unanalyzed	call on java.lang.String:startsWith
unanalyzed	call on java.lang.System:getProperty
unanalyzed	call on java.lang.System:getenv
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.HashMap
test_vector	java.io.File:isDirectory(...)@427: {1}, {0}

void processEvent(ActionType, StringBuffer, Object[])

Kind	Annotation Text
pre	(soft) init'ed(com/dmdirc/ServerManager.me)
pre	(soft) type.type != null
pre	arguments != null
pre	init'ed(killSwitch)
pre	type != null
presumption	java.util.ArrayList:iterator(...)@371 != null
presumption	java.util.Iterator:next(...)@371 != null
post	com/dmdirc/ServerManager.me == old com/dmdirc/Serve rManager.me
post	format._tainted == old format._tainted
post	init'ed(format._tainted)
post	new ArrayList(ServerManager#1) num objects == 0, if init'ed
post	new ArrayList(ServerManager#1) num objects == undefined
post	new ServerManager(getServerManager#1) num objects == new ArrayList(ServerManager#1) num objects
post	new ServerManager(getServerManager#1).servers == null
post	new ServerManager(getServerManager#1).servers == undefined
test_vector	com.dmdirc.util.MapList:containsKey(...)@369: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@371: {0}, {1}
test_vector	killSwitch: {1}, {0}

void processEvent(ActionType, StringBuffer, Object[])

Kind	Annotation Text
unanalyzed	call on com.dmdirc.actions.ConditionTree$OPERATION: ordinal
unanalyzed	call on com.dmdirc.interfaces.ActionListener:proces sEvent
unanalyzed	call on com.dmdirc.logger.Logger:appError
unanalyzed	call on com.dmdirc.logger.Logger:assertTrue
unanalyzed	call on com.dmdirc.logger.Logger:userError
unanalyzed	call on com.dmdirc.util.ConfigFile
unanalyzed	call on com.dmdirc.util.ConfigFile:addDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:getFlatDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:isKeyDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:write
unanalyzed	call on com.dmdirc.util.MapList:containsKey
unanalyzed	call on com.dmdirc.util.MapList:get
unanalyzed	call on getArity
unanalyzed	call on getType
unanalyzed	call on java.io.IOException:getMessage
unanalyzed	call on java.lang.IllegalArgumentException
unanalyzed	call on java.lang.Object:toString
unanalyzed	call on java.lang.String:valueOf
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.ArrayList:iterator
unanalyzed	call on java.util.Arrays:toString
unanalyzed	call on java.util.Collection:iterator
unanalyzed	call on java.util.HashMap
unanalyzed	call on java.util.List:add
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.util.Map:put
unanalyzed	call on java.util.Map:values
unanalyzed	call on save
unanalyzed	call on trigger

void registerAction(Action)

Kind	Annotation Text
pre	(soft) init'ed(action.triggers[0])
pre	(soft) init'ed(action.triggers[...])
pre	(soft) init'ed(com/dmdirc/ServerManager.me)
pre	action != null
pre	action.triggers != null
pre	action.triggers.length <= 2³²-1
pre	init'ed(action.group)
presumption	getGroup(...).actions != null
presumption	java.util.Map:get(...)@309 != null
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 add
unanalyzed	call on com.dmdirc.commandparser.CommandManager:get CommandChar
unanalyzed	call on com.dmdirc.logger.Logger:userError
unanalyzed	call on com.dmdirc.ui.input.TabCompleter:addEntry
unanalyzed	call on getConditions
unanalyzed	call on getGlobalWindow
unanalyzed	call on getName
unanalyzed	call on getTabCompleter
unanalyzed	call on getTriggers
unanalyzed	call on java.lang.Object:equals
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.HashMap
unanalyzed	call on java.util.List:add
unanalyzed	call on java.util.List:get
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.util.List:size
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.util.Map:put

void registerActionComparisons(ActionComparison[])

Kind	Annotation Text
pre	(soft) init'ed(comps[...])
pre	comps != null
pre	comps.length <= 2³²-1

void registerActionComponents(ActionComponent[])

Kind	Annotation Text
pre	(soft) init'ed(comps[...])
pre	comps != null
pre	comps.length <= 2³²-1

void registerActionTypes(ActionType[])

Kind	Annotation Text
pre	(soft) types[...] != null
pre	(soft) types[...].type != null
pre	types != null
pre	types.length <= 2³²-1
presumption	getType(...)@167 != getType(...)
test_vector	java.util.List:contains(...)@165: {1}, {0}

void registerComponents()

Kind	Annotation Text
presumption	java.util.Map:values(...)@257 != null
test_vector	java.util.Iterator:hasNext(...)@257: {0}, {1}

void registerDefault(String, String)

Kind	Annotation Text
presumption	com.dmdirc.config.IdentityManager:getAddonIdentity( ...)@143 != null

void registerGroup(ActionGroup)

Kind	Annotation Text
pre	group != null

void removeGroup(String)

Kind	Annotation Text
pre	(soft) init'ed(com/dmdirc/ServerManager.me)
pre	group != null
pre	init'ed(com/dmdirc/Main.configdir)
presumption	arr$.length@458 <= 2³²-1
presumption	arr$[i$]@458 != null
presumption	init'ed(com.dmdirc.logger.ErrorLevel.MEDIUM)
presumption	java.io.File:listFiles(...)@458 != null
presumption	java.util.Iterator:next(...)@451 != null
presumption	java.util.Map:get(...)@451 != null
post	com/dmdirc/Main.configdir != null
post	com/dmdirc/Main.configdir == One-of{old com/dmdirc/Main.configdir, &java.lang. StringBuilder:toString(...)}
post	init'ed(com/dmdirc/ServerManager.me)
post	init'ed(new ArrayList(ServerManager#1) num objects)
post	init'ed(new ServerManager(getServerManager#1) num objects)
post	init'ed(new ServerManager(getServerManager#1). servers)
post	java.lang.StringBuilder:toString(...)._tainted == 0
unanalyzed	call on com.dmdirc.commandparser.CommandManager:get CommandChar
unanalyzed	call on com.dmdirc.logger.Logger:assertTrue
unanalyzed	call on com.dmdirc.ui.input.TabCompleter:removeEntr y
unanalyzed	call on com.dmdirc.util.MapList:removeFromAll
unanalyzed	call on getCommandName
unanalyzed	call on getConditions
unanalyzed	call on getConfigDir
unanalyzed	call on getGroup
unanalyzed	call on getTabCompleter
unanalyzed	call on getTriggers
unanalyzed	call on java.lang.Object:equals
unanalyzed	call on java.lang.String:startsWith
unanalyzed	call on java.lang.System:getProperty
unanalyzed	call on java.lang.System:getenv
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.HashMap
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.util.List:remove
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.util.Map:put
unanalyzed	call on remove
test_vector	java.io.File:delete(...)@459: {1}, {0}
test_vector	java.io.File:delete(...)@467: {1}, {0}
test_vector	java.io.File:isDirectory(...)@457: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@451: {0}, {1}

void removeListener(ActionListener)

Kind	Annotation Text

void removeListener(ActionListener, ActionType[])

Kind	Annotation Text
pre	(soft) init'ed(types[...])
pre	types != null
pre	types.length <= 2³²-1

void renameGroup(String, String)

Kind	Annotation Text
pre	(soft) init'ed(com/dmdirc/ServerManager.me)
pre	init'ed(com/dmdirc/Main.configdir)
pre	newName != null
pre	oldName != null
presumption	getGroup(...).actions != null
presumption	java.util.Iterator:next(...)@500 != null
presumption	java.util.Map:get(...)@309 != null
presumption	java.util.Map:get(...)@500 != null
post	com/dmdirc/Main.configdir != null
post	init'ed(com/dmdirc/ServerManager.me)
post	init'ed(java.lang.StringBuilder:toString(...)._ tainted)
post	init'ed(new ArrayList(ServerManager#1) num objects)
post	init'ed(new ServerManager(getServerManager#1) num objects)
post	init'ed(new ServerManager(getServerManager#1). servers)
post	java.lang.StringBuilder:toString(...)._tainted == 0
unanalyzed	call on add
unanalyzed	call on com.dmdirc.actions.ConditionTree$OPERATION: ordinal
unanalyzed	call on com.dmdirc.commandparser.CommandManager:get CommandChar
unanalyzed	call on com.dmdirc.interfaces.ActionListener:proces sEvent
unanalyzed	call on com.dmdirc.logger.Logger:appError
unanalyzed	call on com.dmdirc.logger.Logger:assertTrue
unanalyzed	call on com.dmdirc.logger.Logger:userError
unanalyzed	call on com.dmdirc.ui.input.TabCompleter:addEntry
unanalyzed	call on com.dmdirc.ui.input.TabCompleter:removeEntr y
unanalyzed	call on com.dmdirc.util.ConfigFile
unanalyzed	call on com.dmdirc.util.ConfigFile:addDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:getFlatDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:isKeyDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:write
unanalyzed	call on com.dmdirc.util.MapList:containsKey
unanalyzed	call on com.dmdirc.util.MapList:get
unanalyzed	call on com.dmdirc.util.MapList:removeFromAll
unanalyzed	call on getArity
unanalyzed	call on getCommandName
unanalyzed	call on getConditions
unanalyzed	call on getConfigDir
unanalyzed	call on getGlobalWindow
unanalyzed	call on getGroup
unanalyzed	call on getName
unanalyzed	call on getTabCompleter
unanalyzed	call on getTriggers
unanalyzed	call on getType
unanalyzed	call on java.io.File
unanalyzed	call on java.io.File:delete
unanalyzed	call on java.io.File:getAbsolutePath
unanalyzed	call on java.io.File:isDirectory
unanalyzed	call on java.io.File:listFiles
unanalyzed	call on java.io.File:mkdir
unanalyzed	call on java.io.File:mkdirs
unanalyzed	call on java.io.IOException:getMessage
unanalyzed	call on java.lang.IllegalArgumentException
unanalyzed	call on java.lang.Object:equals
unanalyzed	call on java.lang.Object:toString
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on java.lang.String:startsWith
unanalyzed	call on java.lang.String:valueOf
unanalyzed	call on java.lang.System:getProperty
unanalyzed	call on java.lang.System:getenv
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.ArrayList:iterator
unanalyzed	call on java.util.Arrays:toString
unanalyzed	call on java.util.HashMap
unanalyzed	call on java.util.List:add
unanalyzed	call on java.util.List:get
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.util.List:remove
unanalyzed	call on java.util.List:size
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.util.Map:put
unanalyzed	call on java.util.Map:remove
unanalyzed	call on remove
unanalyzed	call on save
unanalyzed	call on trigger
test_vector	java.util.Iterator:hasNext(...)@500: {0}, {1}

void reregisterAction(Action)

Kind	Annotation Text
pre	(soft) init'ed(action.triggers[0])
pre	(soft) init'ed(action.triggers[...])
pre	(soft) init'ed(com/dmdirc/ServerManager.me)
pre	action != null
pre	action.triggers != null
pre	action.triggers.length <= 2³²-1
pre	init'ed(action.group)
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 add
unanalyzed	call on com.dmdirc.commandparser.CommandManager:get CommandChar
unanalyzed	call on com.dmdirc.logger.Logger:assertTrue
unanalyzed	call on com.dmdirc.logger.Logger:userError
unanalyzed	call on com.dmdirc.ui.input.TabCompleter:addEntry
unanalyzed	call on com.dmdirc.ui.input.TabCompleter:removeEntr y
unanalyzed	call on com.dmdirc.util.MapList:add
unanalyzed	call on com.dmdirc.util.MapList:removeFromAll
unanalyzed	call on getCommandName
unanalyzed	call on getConditions
unanalyzed	call on getGlobalWindow
unanalyzed	call on getGroup
unanalyzed	call on getName
unanalyzed	call on getTabCompleter
unanalyzed	call on getTriggers
unanalyzed	call on java.lang.Object:equals
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.HashMap
unanalyzed	call on java.util.List:add
unanalyzed	call on java.util.List:get
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.util.List:remove
unanalyzed	call on java.util.List:size
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.util.Map:put
unanalyzed	call on remove

void saveActions()

Kind	Annotation Text
presumption	group.actions@129 != null
presumption	java.util.Iterator:next(...)@129 != null
presumption	java.util.Iterator:next(...)@130 != null
presumption	java.util.Map:values(...)@129 != null
unanalyzed	call on java.util.List:iterator
test_vector	java.util.Iterator:hasNext(...)@129: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@130: {0}, {1}

void triggerActions(ActionType, StringBuffer, Object[])

Kind	Annotation Text
pre	(soft) arguments != null
pre	(soft) arguments[1].length in {1..2³²-1}
pre	(soft) arguments[2].length in {1..2³²-1}
pre	(soft) com/dmdirc/Main.controller != null
pre	(soft) init'ed(arguments[0])
pre	(soft) init'ed(arguments[1])
pre	(soft) init'ed(arguments[2])
pre	(soft) init'ed(arguments[...])
pre	(soft) init'ed(com.dmdirc.actions.ConditionTree$1__ static_init.new int[](ConditionTree$1__static_init# 1)[...])
pre	(soft) init'ed(com/dmdirc/ServerManager.me)
presumption	action.conditions@395 != null
presumption	action.response.length@395 <= 2³²-1
presumption	action.response@395 != null
presumption	action.triggers.length@395 >= 1
presumption	action.triggers@395 != null
presumption	action.triggers[0].type@395 != null
presumption	action.triggers[0]@395 != null
presumption	java.util.ArrayList:iterator(...)@395 != null
presumption	java.util.Iterator:next(...)@395 != null
post	init'ed(com/dmdirc/ServerManager.me)
post	init'ed(format._tainted)
post	init'ed(new ServerManager(getServerManager#1). servers)
post	new ArrayList(ServerManager#1) num objects == 0
post	new ServerManager(getServerManager#1) num objects == 0
unanalyzed	call on [Ljava.lang.String;:instanceof
unanalyzed	call on appliesTo
unanalyzed	call on com.dmdirc.ServerState:equals
unanalyzed	call on com.dmdirc.actions.ConditionTree$OPERATION: ordinal
unanalyzed	call on com.dmdirc.commandparser.parsers. CommandParser:parseCommand
unanalyzed	call on com.dmdirc.commandparser.parsers. GlobalCommandParser:getGlobalCommandParser
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptions
unanalyzed	call on com.dmdirc.config.IdentityManager:getGlobal Config
unanalyzed	call on com.dmdirc.logger.Logger:assertTrue
unanalyzed	call on com.dmdirc.ui.interfaces.InputWindow:getCom mandParser
unanalyzed	call on com.dmdirc.ui.interfaces.InputWindow:instan ceof
unanalyzed	call on com.dmdirc.ui.interfaces.UIController:getAc tiveWindow
unanalyzed	call on doComponentSubstitutions
unanalyzed	call on doServerSubstitutions
unanalyzed	call on evaluate
unanalyzed	call on get
unanalyzed	call on getArgTypes
unanalyzed	call on getCompatibleComponents
unanalyzed	call on getFrame
unanalyzed	call on getServer
unanalyzed	call on getState
unanalyzed	call on getType
unanalyzed	call on getUI
unanalyzed	call on java.lang.Character:charValue
unanalyzed	call on java.lang.Character:instanceof
unanalyzed	call on java.lang.Character:valueOf
unanalyzed	call on java.lang.Integer:parseInt
unanalyzed	call on java.lang.Object:equals
unanalyzed	call on java.lang.Object:toString
unanalyzed	call on java.lang.String:charAt
unanalyzed	call on java.lang.String:instanceof
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.String:split
unanalyzed	call on java.lang.String:valueOf
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.ArrayDeque
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.Deque:add
unanalyzed	call on java.util.Deque:addFirst
unanalyzed	call on java.util.Deque:isEmpty
unanalyzed	call on java.util.Deque:poll
unanalyzed	call on java.util.Deque:pollFirst
unanalyzed	call on java.util.Deque:pollLast
unanalyzed	call on java.util.Deque:size
unanalyzed	call on java.util.List:add
unanalyzed	call on java.util.List:get
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.util.List:size
unanalyzed	call on java.util.Map$Entry:getKey
unanalyzed	call on java.util.Map$Entry:getValue
unanalyzed	call on java.util.Map:entrySet
unanalyzed	call on java.util.Set:iterator
unanalyzed	call on parseStack
unanalyzed	call on readTerm
unanalyzed	call on test
test_vector	com.dmdirc.util.MapList:containsKey(...)@394: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@395: {0}, {1}

void unregisterAction(Action)

Kind	Annotation Text
pre	(soft) init'ed(com/dmdirc/ServerManager.me)
pre	action != null
pre	init'ed(action.group)
presumption	getGroup(...).actions != null
presumption	java.util.Map:get(...)@309 != null
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 com.dmdirc.ui.input.TabCompleter:removeEntr y
unanalyzed	call on getCommandName
unanalyzed	call on getConditions
unanalyzed	call on getTabCompleter
unanalyzed	call on getTriggers
unanalyzed	call on java.lang.Object:equals
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.HashMap
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.util.List:remove
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.util.Map:put
unanalyzed	call on remove