Main.java

Main.java

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

Filter Options

Annotation Kind:

pre

presumption

post

unanalyzed

test_vector

void com.dmdirc.Main$1()

Kind	Annotation Text

com.dmdirc.Main$1__static_init

Kind	Annotation Text

void com.dmdirc.Main$2()

Kind	Annotation Text

com.dmdirc.Main$2__static_init

Kind	Annotation Text

void com.dmdirc.Main()

Kind	Annotation Text

com.dmdirc.Main__static_init

Kind	Annotation Text

void doFirstRun()

Kind	Annotation Text
pre	(soft) controller != null
presumption	com.dmdirc.config.IdentityManager:getConfigIdentity (...)@207 != null
presumption	com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@206 != null
unanalyzed	call on java.util.TimerTask
test_vector	com.dmdirc.config.ConfigManager:getOptionBool(... )@206: {0}, {1}

void ensureExists(PluginManager, String)

Kind	Annotation Text
pre	(soft) init'ed(configdir)
pre	pm != null
presumption	com.dmdirc.plugins.PluginManager:getServicesByType( ...)@161 != null
post	init'ed(configdir)
post	java.lang.StringBuilder:toString(...)._tainted == 0
unanalyzed	call on com.dmdirc.logger.Logger:userError
unanalyzed	call on com.dmdirc.util.resourcemanager. ResourceManager:getResourceManager
unanalyzed	call on com.dmdirc.util.resourcemanager. ResourceManager:getResourcesStartingWithAsBytes
unanalyzed	call on com.dmdirc.util.resourcemanager. ResourceManager:resourceToFile
unanalyzed	call on java.io.File
unanalyzed	call on java.io.File:exists
unanalyzed	call on java.io.File:isDirectory
unanalyzed	call on java.io.File:mkdirs
unanalyzed	call on java.lang.String:lastIndexOf
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.String:startsWith
unanalyzed	call on java.lang.String:substring
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.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
test_vector	java.util.List:isEmpty(...)@161: {0}, {1}

void extractCorePlugins(String)

Kind	Annotation Text
pre	(soft) init'ed(configdir)
presumption	com.dmdirc.util.resourcemanager.ResourceManager:get ResourceManager(...)@325 != null
presumption	com.dmdirc.util.resourcemanager.ResourceManager:get ResourceManager(...)@348 != null
presumption	com.dmdirc.util.resourcemanager.ResourceManager:get ResourcesStartingWithAsBytes(...)@325 != null
presumption	init'ed(com.dmdirc.logger.ErrorLevel.LOW)
presumption	java.lang.String:lastIndexOf(...)@343 <= 2³²-2
presumption	java.util.Iterator:next(...)@327 != null
presumption	java.util.Map:entrySet(...)@327 != null
presumption	java.util.Map_Entry:getKey(...)@329 != null
presumption	java.util.Map_Entry:getKey(...)@332 != null
post	init'ed(configdir)
post	java.lang.StringBuilder:toString(...)._tainted == 0
unanalyzed	call on java.lang.String:startsWith
unanalyzed	call on java.lang.System:getProperty
unanalyzed	call on java.lang.System:getenv
test_vector	java.io.File:exists(...)@339: {1}, {0}
test_vector	java.io.File:isDirectory(...)@347: {1}, {0}
test_vector	java.lang.String:startsWith(...)@332: {1}, {0}
test_vector	java.util.Iterator:hasNext(...)@327: {0}, {1}
test_vector	prefix: Addr_Set{null}, Inverse{null}

String getConfigDir()

Kind	Annotation Text
pre	init'ed(configdir)
presumption	java.lang.System:getProperty(...)@290 != null
post	configdir != null
post	configdir == One-of{old configdir, &java.lang. StringBuilder:toString(...)}
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	return_value == configdir
test_vector	configdir: Inverse{null}, Addr_Set{null}
test_vector	java.lang.String:startsWith(...)@291: {0}, {1}
test_vector	java.lang.String:startsWith(...)@294: {0}, {1}
test_vector	java.lang.System:getenv(...)@295: Inverse{null}, Addr_Set{null}

UIController getUI()

Kind	Annotation Text
pre	init'ed(controller)
post	init'ed(return_value)
post	return_value == controller

void init(String[])

Kind	Annotation Text
pre	(soft) com.dmdirc.actions.CoreActionType__static_ init.new CoreActionType(CoreActionType__static_init #1).type != null
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) controller != 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	(soft) init'ed(com/dmdirc/ServerManager.me)
pre	(soft) init'ed(configdir)
pre	com/dmdirc/actions/wrappers/PerformWrapper.me != null
pre	init'ed(com/dmdirc/actions/ActionManager. killSwitch)
pre	init'ed(com/dmdirc/actions/wrappers/AliasWrapper. me)
presumption	arr$.length@95 <= 2³²-1
presumption	arr$[i$]@95 != null
presumption	com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@120 != null
presumption	com.dmdirc.plugins.PluginManager:getPluginManager(. ..)@108 != null
presumption	init'ed(java.util.logging.Level.OFF)
presumption	java.lang.Runtime:getRuntime(...)@140 != null
presumption	java.util.logging.Logger:getHandlers(...)@95 != null
presumption	java.util.logging.Logger:getLogger(...)@95 != null
post	com/dmdirc/GlobalWindow.globalWindow == One-of{old com/dmdirc/GlobalWindow.globalWindow, &new GlobalWindow(init#1*)}
post	init'ed(com/dmdirc/actions/wrappers/AliasWrapper. me)
post	init'ed(configdir)
post	init'ed(new AliasWrapper(getAliasWrapper#1). actions)
post	init'ed(new AliasWrapper(getAliasWrapper#1). aliases)
post	init'ed(new AliasWrapper(getAliasWrapper#1). author)
post	init'ed(new AliasWrapper(getAliasWrapper#1). component)
post	init'ed(new AliasWrapper(getAliasWrapper#1). description)
post	init'ed(new AliasWrapper(getAliasWrapper#1).name)
post	init'ed(new AliasWrapper(getAliasWrapper#1). settings)
post	init'ed(new AliasWrapper(getAliasWrapper#1). version)
post	init'ed(new ArrayList(ServerManager#1) num objects)
post	init'ed(new GlobalWindow(init#1*).changer)
post	init'ed(new GlobalWindow(init#1*).config)
post	init'ed(new GlobalWindow(init#1*).icon)
post	init'ed(new GlobalWindow(init#1*).listeners)
post	init'ed(new GlobalWindow(init#1*).notification)
post	init'ed(new GlobalWindow(init#1*).tabCompleter)
post	init'ed(new GlobalWindow(init#1*).window)
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	new AliasWrapper(getAliasWrapper#1) num objects <= 1
post	new AliasWrapper(getAliasWrapper#1) num objects == 0
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 == 0
post	new ArrayList(ActionGroup#1) num objects == new AliasWrapper(getAliasWrapper#1) num objects
post	new ArrayList(AliasWrapper#1) num objects == 0
post	new ArrayList(AliasWrapper#1) num objects == new AliasWrapper(getAliasWrapper#1) num objects
post	new ArrayList(ServerManager#1) num objects == 0, if init'ed
post	new ArrayList(ServerManager#1) num objects == undefined
post	new FrameContainer$IconChanger(FrameContainer#2) num objects <= 1
post	new GlobalWindow(init#1*) num objects == new FrameContainer$IconChanger(FrameContainer#2) num objects
post	new HashMap(ActionGroup#2) num objects == 0
post	new HashMap(ActionGroup#2) num objects == new AliasWrapper(getAliasWrapper#1) num objects
post	new ListenerList(FrameContainer#1) num objects == new FrameContainer$IconChanger(FrameContainer#2) num objects
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
post	new TabCompleter(GlobalWindow#1) num objects == new FrameContainer$IconChanger(FrameContainer#2) num objects
post	possibly_updated(com/dmdirc/ServerManager.me)
unanalyzed	call on [Ljava.lang.String;:instanceof
unanalyzed	call on com.dmdirc.FrameContainer
unanalyzed	call on com.dmdirc.ServerState:equals
unanalyzed	call on com.dmdirc.WritableFrameContainer
unanalyzed	call on com.dmdirc.actions.Action
unanalyzed	call on com.dmdirc.actions.ActionGroup
unanalyzed	call on com.dmdirc.actions.ConditionTree$OPERATION: ordinal
unanalyzed	call on com.dmdirc.commandparser.CommandManager:get CommandChar
unanalyzed	call on com.dmdirc.commandparser.CommandManager:get CommandNames
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:addChangeLi stener
unanalyzed	call on com.dmdirc.config.ConfigManager:getOption
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptionBo ol
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptions
unanalyzed	call on com.dmdirc.config.ConfigManager:removeListe ner
unanalyzed	call on com.dmdirc.config.Identity:setOption
unanalyzed	call on com.dmdirc.config.IdentityManager:getConfig Identity
unanalyzed	call on com.dmdirc.config.IdentityManager:getGlobal Config
unanalyzed	call on com.dmdirc.interfaces.ActionListener:proces sEvent
unanalyzed	call on com.dmdirc.interfaces.IconChangeListener:ic onChanged
unanalyzed	call on com.dmdirc.logger.Logger:assertTrue
unanalyzed	call on com.dmdirc.logger.Logger:userError
unanalyzed	call on com.dmdirc.plugins.PluginManager:getPossibl ePluginInfos
unanalyzed	call on com.dmdirc.plugins.PluginManager:getService sByType
unanalyzed	call on com.dmdirc.plugins.Service:activate
unanalyzed	call on com.dmdirc.plugins.Service:getName
unanalyzed	call on com.dmdirc.ui.IconManager:getIcon
unanalyzed	call on com.dmdirc.ui.IconManager:getIconManager
unanalyzed	call on com.dmdirc.ui.NoUIDialog:displayBlocking
unanalyzed	call on com.dmdirc.ui.WindowManager:addWindow
unanalyzed	call on com.dmdirc.ui.input.InputHandler:setTabComp leter
unanalyzed	call on com.dmdirc.ui.input.TabCompleter
unanalyzed	call on com.dmdirc.ui.input.TabCompleter:addEntries
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:getInp utHandler
unanalyzed	call on com.dmdirc.ui.interfaces.InputWindow:instan ceof
unanalyzed	call on com.dmdirc.ui.interfaces.InputWindow:open
unanalyzed	call on com.dmdirc.ui.interfaces.InputWindow:setTit le
unanalyzed	call on com.dmdirc.ui.interfaces.UIController:getAc tiveWindow
unanalyzed	call on com.dmdirc.ui.interfaces.UIController:getIn putWindow
unanalyzed	call on com.dmdirc.ui.interfaces.UIController:showF irstRunWizard
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.ListenerList
unanalyzed	call on com.dmdirc.util.ListenerList:get
unanalyzed	call on com.dmdirc.util.MapList:add
unanalyzed	call on com.dmdirc.util.MapList:clear
unanalyzed	call on com.dmdirc.util.MapList:containsKey
unanalyzed	call on com.dmdirc.util.MapList:get
unanalyzed	call on com.dmdirc.util.resourcemanager. ResourceManager:getResourceManager
unanalyzed	call on com.dmdirc.util.resourcemanager. ResourceManager:getResourcesStartingWithAsBytes
unanalyzed	call on com.dmdirc.util.resourcemanager. ResourceManager:resourceToFile
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 getConfigDir
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.awt.GraphicsEnvironment:isHeadless
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.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:equals
unanalyzed	call on java.lang.String:instanceof
unanalyzed	call on java.lang.String:lastIndexOf
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.String:split
unanalyzed	call on java.lang.String:startsWith
unanalyzed	call on java.lang.String:substring
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.ArrayDeque
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.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:add
unanalyzed	call on java.util.List:contains
unanalyzed	call on java.util.List:get
unanalyzed	call on java.util.List:isEmpty
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:clear
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:entrySet
unanalyzed	call on java.util.Map:put
unanalyzed	call on java.util.Map:values
unanalyzed	call on java.util.Set:iterator
unanalyzed	call on java.util.Timer
unanalyzed	call on java.util.Timer:schedule
unanalyzed	call on java.util.TimerTask
unanalyzed	call on loadActionFromConfig
unanalyzed	call on parseStack
unanalyzed	call on readTerm
unanalyzed	call on remove
unanalyzed	call on test
unanalyzed	call on trigger
unanalyzed	call on triggerActions
unanalyzed	call on values

void loadUI(PluginManager, ConfigManager)

Kind	Annotation Text
pre	cm != null
pre	pm != null
presumption	com.dmdirc.plugins.PluginManager:getServicesByType( ...)@175 != null
presumption	com.dmdirc.plugins.Service:getName(...)@180 != null
presumption	java.awt.GraphicsEnvironment:isHeadless(...)@192 == 0
presumption	java.util.Iterator:next(...)@179 != null
presumption	java.util.Iterator:next(...)@186 != null
test_vector	com.dmdirc.plugins.Service:activate(...)@180: {0}, {1}
test_vector	com.dmdirc.plugins.Service:activate(...)@187: {0}, {1}
test_vector	java.lang.String:equals(...)@180: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@179: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@186: {0}, {1}

void main(String[])

Kind	Annotation Text
presumption	init'ed(com.dmdirc.logger.ErrorLevel.FATAL)

void quit()

Kind	Annotation Text
pre	init'ed(com.dmdirc.Server$4__static_init.new int[](Server$4__static_init#1)[...])
pre	init'ed(com/dmdirc/ServerManager.me)
post	com/dmdirc/ServerManager.me != null
post	com/dmdirc/ServerManager.me == One-of{old com/dmdirc/ServerManager.me, &new ServerManager(getServerManager#1)}
post	new ArrayList(ServerManager#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 clearChannels
unanalyzed	call on close
unanalyzed	call on closeChannels
unanalyzed	call on closeQueries
unanalyzed	call on com.dmdirc.ServerState:name
unanalyzed	call on com.dmdirc.ServerState:ordinal
unanalyzed	call on com.dmdirc.config.ConfigManager:addChangeLi stener
unanalyzed	call on com.dmdirc.config.ConfigManager:getOption
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptionBo ol
unanalyzed	call on com.dmdirc.config.ConfigManager:removeListe ner
unanalyzed	call on com.dmdirc.config.IdentityManager:getGlobal Config
unanalyzed	call on com.dmdirc.interfaces.IconChangeListener:ic onChanged
unanalyzed	call on com.dmdirc.interfaces.InviteListener:invite Expired
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:disconnect
unanalyzed	call on com.dmdirc.parser.irc.ServerInfo:getSSL
unanalyzed	call on com.dmdirc.ui.IconManager:getIcon
unanalyzed	call on com.dmdirc.ui.IconManager:getIconManager
unanalyzed	call on com.dmdirc.ui.interfaces.ChannelWindow:upda teNames
unanalyzed	call on com.dmdirc.ui.interfaces.Window:close
unanalyzed	call on com.dmdirc.util.ListenerList:get
unanalyzed	call on com.dmdirc.util.RollingList:add
unanalyzed	call on com.dmdirc.util.RollingList:getList
unanalyzed	call on disconnect
unanalyzed	call on getConfigManager
unanalyzed	call on getFrame
unanalyzed	call on java.lang.IllegalArgumentException
unanalyzed	call on java.lang.Object:notifyAll
unanalyzed	call on java.lang.StackTraceElement:toString
unanalyzed	call on java.lang.Thread:currentThread
unanalyzed	call on java.lang.Thread:getName
unanalyzed	call on java.lang.Thread:getStackTrace
unanalyzed	call on java.lang.Thread:interrupt
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.List:contains
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.util.List:remove
unanalyzed	call on java.util.Map:values
unanalyzed	call on java.util.Timer:cancel
unanalyzed	call on removeInvites
unanalyzed	call on setIcon
unanalyzed	call on updateIcon

void quit(int)

Kind	Annotation Text
pre	init'ed(com.dmdirc.Server$4__static_init.new int[](Server$4__static_init#1)[...])
pre	init'ed(com/dmdirc/ServerManager.me)
presumption	com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@234 != null
post	com/dmdirc/ServerManager.me != null
post	com/dmdirc/ServerManager.me == One-of{old com/dmdirc/ServerManager.me, &new ServerManager(getServerManager#1)}
post	new ArrayList(ServerManager#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 clearChannels
unanalyzed	call on close
unanalyzed	call on closeChannels
unanalyzed	call on closeQueries
unanalyzed	call on com.dmdirc.ServerState:name
unanalyzed	call on com.dmdirc.ServerState:ordinal
unanalyzed	call on com.dmdirc.config.ConfigManager:addChangeLi stener
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptionBo ol
unanalyzed	call on com.dmdirc.config.ConfigManager:removeListe ner
unanalyzed	call on com.dmdirc.interfaces.IconChangeListener:ic onChanged
unanalyzed	call on com.dmdirc.interfaces.InviteListener:invite Expired
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:disconnect
unanalyzed	call on com.dmdirc.parser.irc.ServerInfo:getSSL
unanalyzed	call on com.dmdirc.ui.IconManager:getIcon
unanalyzed	call on com.dmdirc.ui.IconManager:getIconManager
unanalyzed	call on com.dmdirc.ui.interfaces.ChannelWindow:upda teNames
unanalyzed	call on com.dmdirc.ui.interfaces.Window:close
unanalyzed	call on com.dmdirc.util.ListenerList:get
unanalyzed	call on com.dmdirc.util.RollingList:add
unanalyzed	call on com.dmdirc.util.RollingList:getList
unanalyzed	call on disconnect
unanalyzed	call on getConfigManager
unanalyzed	call on getFrame
unanalyzed	call on java.lang.IllegalArgumentException
unanalyzed	call on java.lang.Object:notifyAll
unanalyzed	call on java.lang.StackTraceElement:toString
unanalyzed	call on java.lang.Thread:currentThread
unanalyzed	call on java.lang.Thread:getName
unanalyzed	call on java.lang.Thread:getStackTrace
unanalyzed	call on java.lang.Thread:interrupt
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.List:contains
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.util.List:remove
unanalyzed	call on java.util.Map:values
unanalyzed	call on java.util.Timer:cancel
unanalyzed	call on removeInvites
unanalyzed	call on setIcon
unanalyzed	call on updateIcon

void quit(String)

Kind	Annotation Text
pre	init'ed(com.dmdirc.Server$4__static_init.new int[](Server$4__static_init#1)[...])
pre	init'ed(com/dmdirc/ServerManager.me)
post	com/dmdirc/ServerManager.me != null
post	com/dmdirc/ServerManager.me == One-of{old com/dmdirc/ServerManager.me, &new ServerManager(getServerManager#1)}
post	new ArrayList(ServerManager#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 clearChannels
unanalyzed	call on close
unanalyzed	call on closeChannels
unanalyzed	call on closeQueries
unanalyzed	call on com.dmdirc.ServerState:name
unanalyzed	call on com.dmdirc.ServerState:ordinal
unanalyzed	call on com.dmdirc.config.ConfigManager:addChangeLi stener
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptionBo ol
unanalyzed	call on com.dmdirc.config.ConfigManager:removeListe ner
unanalyzed	call on com.dmdirc.interfaces.IconChangeListener:ic onChanged
unanalyzed	call on com.dmdirc.interfaces.InviteListener:invite Expired
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:disconnect
unanalyzed	call on com.dmdirc.parser.irc.ServerInfo:getSSL
unanalyzed	call on com.dmdirc.ui.IconManager:getIcon
unanalyzed	call on com.dmdirc.ui.IconManager:getIconManager
unanalyzed	call on com.dmdirc.ui.interfaces.ChannelWindow:upda teNames
unanalyzed	call on com.dmdirc.ui.interfaces.Window:close
unanalyzed	call on com.dmdirc.util.ListenerList:get
unanalyzed	call on com.dmdirc.util.RollingList:add
unanalyzed	call on com.dmdirc.util.RollingList:getList
unanalyzed	call on disconnect
unanalyzed	call on getConfigManager
unanalyzed	call on getFrame
unanalyzed	call on java.lang.IllegalArgumentException
unanalyzed	call on java.lang.Object:notifyAll
unanalyzed	call on java.lang.StackTraceElement:toString
unanalyzed	call on java.lang.Thread:currentThread
unanalyzed	call on java.lang.Thread:getName
unanalyzed	call on java.lang.Thread:getStackTrace
unanalyzed	call on java.lang.Thread:interrupt
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.List:contains
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.util.List:remove
unanalyzed	call on java.util.Map:values
unanalyzed	call on java.util.Timer:cancel
unanalyzed	call on removeInvites
unanalyzed	call on setIcon
unanalyzed	call on updateIcon

void quit(String, int)

Kind	Annotation Text
pre	init'ed(com.dmdirc.Server$4__static_init.new int[](Server$4__static_init#1)[...])
pre	init'ed(com/dmdirc/ServerManager.me)
presumption	getServerManager(...).servers != null
unanalyzed	call on clearChannels
unanalyzed	call on close
unanalyzed	call on closeChannels
unanalyzed	call on closeQueries
unanalyzed	call on com.dmdirc.ServerState:name
unanalyzed	call on com.dmdirc.ServerState:ordinal
unanalyzed	call on com.dmdirc.config.ConfigManager:addChangeLi stener
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptionBo ol
unanalyzed	call on com.dmdirc.config.ConfigManager:removeListe ner
unanalyzed	call on com.dmdirc.interfaces.IconChangeListener:ic onChanged
unanalyzed	call on com.dmdirc.interfaces.InviteListener:invite Expired
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:disconnect
unanalyzed	call on com.dmdirc.parser.irc.ServerInfo:getSSL
unanalyzed	call on com.dmdirc.ui.IconManager:getIcon
unanalyzed	call on com.dmdirc.ui.IconManager:getIconManager
unanalyzed	call on com.dmdirc.ui.interfaces.ChannelWindow:upda teNames
unanalyzed	call on com.dmdirc.ui.interfaces.Window:close
unanalyzed	call on com.dmdirc.util.ListenerList:get
unanalyzed	call on com.dmdirc.util.RollingList:add
unanalyzed	call on com.dmdirc.util.RollingList:getList
unanalyzed	call on disconnect
unanalyzed	call on getConfigManager
unanalyzed	call on getFrame
unanalyzed	call on java.lang.IllegalArgumentException
unanalyzed	call on java.lang.Object:notifyAll
unanalyzed	call on java.lang.StackTraceElement:toString
unanalyzed	call on java.lang.Thread:currentThread
unanalyzed	call on java.lang.Thread:getName
unanalyzed	call on java.lang.Thread:getStackTrace
unanalyzed	call on java.lang.Thread:interrupt
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.List:contains
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.util.List:remove
unanalyzed	call on java.util.Map:values
unanalyzed	call on java.util.Timer:cancel
unanalyzed	call on removeInvites
unanalyzed	call on setIcon
unanalyzed	call on updateIcon

void run()

Kind	Annotation Text
pre	com/dmdirc/Main.controller != null

void run()

Kind	Annotation Text
pre	(soft) com.dmdirc.actions.CoreActionType__static_ init.new CoreActionType(CoreActionType__static_init #2).type != null
pre	(soft) init'ed(com.dmdirc.Server$4__static_init. new int[](Server$4__static_init#1)[...])
pre	init'ed(com/dmdirc/ServerManager.me)
pre	init'ed(com/dmdirc/actions/ActionManager. killSwitch)
presumption	getServerManager(...).servers != null
post	com/dmdirc/ServerManager.me != null
post	com/dmdirc/ServerManager.me == One-of{old com/dmdirc/ServerManager.me, &new ServerManager(getServerManager#1)}
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 == new ArrayList(ServerManager#1) num objects
post	new ServerManager(getServerManager#1).servers == &new ArrayList(ServerManager#1)
post	new ServerManager(getServerManager#1).servers == null
post	new ServerManager(getServerManager#1).servers == undefined
unanalyzed	call on [Ljava.lang.String;:instanceof
unanalyzed	call on clearChannels
unanalyzed	call on close
unanalyzed	call on closeChannels
unanalyzed	call on closeQueries
unanalyzed	call on com.dmdirc.ServerState:equals
unanalyzed	call on com.dmdirc.ServerState:name
unanalyzed	call on com.dmdirc.ServerState:ordinal
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:addChangeLi stener
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptionBo ol
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptions
unanalyzed	call on com.dmdirc.config.ConfigManager:removeListe ner
unanalyzed	call on com.dmdirc.config.IdentityManager:getGlobal Config
unanalyzed	call on com.dmdirc.interfaces.ActionListener:proces sEvent
unanalyzed	call on com.dmdirc.interfaces.IconChangeListener:ic onChanged
unanalyzed	call on com.dmdirc.interfaces.InviteListener:invite Expired
unanalyzed	call on com.dmdirc.logger.Logger:assertTrue
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:disconnect
unanalyzed	call on com.dmdirc.parser.irc.ServerInfo:getSSL
unanalyzed	call on com.dmdirc.ui.IconManager:getIcon
unanalyzed	call on com.dmdirc.ui.IconManager:getIconManager
unanalyzed	call on com.dmdirc.ui.interfaces.ChannelWindow:upda teNames
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.ui.interfaces.Window:close
unanalyzed	call on com.dmdirc.util.ListenerList:get
unanalyzed	call on com.dmdirc.util.MapList:containsKey
unanalyzed	call on com.dmdirc.util.MapList:get
unanalyzed	call on com.dmdirc.util.RollingList:add
unanalyzed	call on com.dmdirc.util.RollingList:getList
unanalyzed	call on disconnect
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 getCompatibleComponents
unanalyzed	call on getConfigManager
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.IllegalArgumentException
unanalyzed	call on java.lang.Integer:parseInt
unanalyzed	call on java.lang.Object:notifyAll
unanalyzed	call on java.lang.Object:toString
unanalyzed	call on java.lang.StackTraceElement: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.Thread:currentThread
unanalyzed	call on java.lang.Thread:getName
unanalyzed	call on java.lang.Thread:getStackTrace
unanalyzed	call on java.lang.Thread:interrupt
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.Collection: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.List:contains
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:entrySet
unanalyzed	call on java.util.Map:values
unanalyzed	call on java.util.Set:iterator
unanalyzed	call on java.util.Timer:cancel
unanalyzed	call on parseStack
unanalyzed	call on readTerm
unanalyzed	call on removeInvites
unanalyzed	call on setIcon
unanalyzed	call on test
unanalyzed	call on trigger
unanalyzed	call on triggerActions
unanalyzed	call on updateIcon

void setConfigDir(String)

Kind	Annotation Text
post	configdir == newdir
post	init'ed(configdir)

void setUI(UIController)

Kind	Annotation Text
pre	controller == null
post	controller == newController
post	init'ed(controller)